Aspects du problème démographique de l'Afrique du Nord - France, Direction de la documentation française