No,è un generico cognome. Ti confesserò che sugli antipapi non sono molto preparato: anche se come antipapa mi sembra un po’ sfigato, con la capitale dell’Impero a Milano, non è che i vescovi di Roma, accettati o contestati, contassero così tanto a quell’epoca.