Le Charbon dans l'économie française — France. Direction de la documentation française