Antonius (= ~herceg, fejedelem, előljáró; római nemzetségnév) >

> (rövidülve, magyarosan) > Antal