Documents sur la situation sociale et syndicale en Allemagne orientale - France, Direction de la documentation française