omtala redan D. Pedros inmarsch i Coimbra.