ILDEFONSO

Ildefonso est un nom de famille d'origine espagnole, dérivé du prénom Ildefonso (Alphonse en français), lui-même issu du germanique Alphons ou Adalfuns, composé de « adal » (noble) et « funs » (prêt, disposé). Ce prénom a été porté notamment par le roi d'Espagne Alphonse X et le saint Ildefonso de Tolède, archevêque du VIIe siècle. L'usage du prénom comme patronyme s'est développé en Espagne puis a progressivement migré vers la France, particulièrement dans les régions frontalières et portuaires.

Sur les 38 naissances enregistrées en France entre 1891 et 2000 sous le nom ILDEFONSO, aucun département n'atteint le seuil INSEE de 30 occurrences. La donnée publique ne permet donc pas de désigner une zone d'implantation précise — les porteurs sont dispersés sur plusieurs départements, chacun en faible effectif.