Observatoire de Paris. Bibliothèque.