Organisation et rôle des Administrations fiscales françaises - France, Direction de la documentation française