Opéra de Paris. Bibliothèque