Garnier, Charles: Le nouvel opéra de Paris. Paris : Ducheur 1880