Algérie, Tunisie, Maroc, départements d'outre-mer — France. Direction de la documentation française