Ildefons

Ildefons – imię męskie pochodzenia germańskiego. Wywodzi się od słów hild "walka, potyczka" i funs "gotowy", co mogło oznaczać "gotowego do walki". Patronem tego imienia jest św. Ildefons z Toledo, zakonnik, biskup (VII wiek).