XX . Mafalda " la Bienheureuse " de Portugal, infante de Portugal