Aperçu sur le problème musulman en URSS - France, Direction de la documentation française