Edificaciones teatrales. Repertorio de edificios y casas para el teatro en Colombia. 1775-2000