Den portugisiske konungen har i Frankrike,