Es "Petrus Hispanus" y, hasta el momento, el único papa portugués de la historia.