Infanken Michael i Portugal , ehuru med än.