Documents sur l'Etat d'Israël - France, Direction de la documentation française