Petrus, de Hibernia