Les ressources mondiales de charbon - France, Direction de la documentation française