Bibliothèque de l'Institut de France, Paris