Ildefonso
Ildefonso
[ONOM]
Antropónimo de orixe visigótica que procede da forma Hildifuns ‘veloz na batalla’, composto de *hildis ‘batalla, loita’ e *funs ‘rápido, veloz’. Destaca con este nome santo Ildefonso de Toledo (607?-667) que se celebra o 23 de xaneiro.