France. Division de la documentation générale des publications et de la bibliothèque.