Formalidad Batalin-Vilkovisky para la teoría de Chern-Simons