France. Direction de la documentation. Bibliothèque