Les Institutions politiques de l'Espagne — France. Direction de la documentation française