Opéra de Paris. Bibliothèque, archives et musée.