Look up Ildefonso in Wiktionary, the free dictionary.
Ildefonso (Ildefonsus) is a Spanish given name, ultimately from Gothic Hildefuns, the name of 7th-century saint Ildephonsus of Toledo.
Ildefonso (Ildefonsus) is a Spanish given name, ultimately from Gothic Hildefuns, the name of 7th-century saint Ildephonsus of Toledo.