Hildephonsus
Hildephonsus vel etiam Ildefonsus, Ildefons (-fontis, m.) aut Hildefonsus, est praenomen masculinum originis Visigothicae (e vocabulis hild, 'pugna', atque funs, 'paratus'). Etymologia nominis fortasse ipsa alii praeominis, Alphonsus, est.