Le Portugal vingt ans après la Révolution des oeillets — France. Direction de la documentation française