m
Tweestammige Germ. (oorspr. Westgot.) naam met de betekenis ‘bereid tot de strijd', uit Hild- ‘strijd’ en -fons ‘wagend’ (zie Alfons). Westgot. Ildefons werd in het Spa. Ildefonso. Heiligennaam: lldefonsus, aartsbisschop van Toledo (657-’67), schrijver van ‘De virginitate S.
Mariae contra tres infideles’ (De maagdelijkheid van de heilige Maria verdedigd tegen drie ongelovigen); kerk. feestdag: 23 jan. Uit Spa. kwam de naam naar het noorden.
