L'Industrie atomique française — Pierre Devaux, France. Direction de la documentation française