Ildefonso (given name)

Ildefonso (Ildefonsus) is a Spanish given name, ultimately from Gothic Hildefuns, the name of 7th-century saint and archbishop Ildephonsus.

Other people with the given name include:

See also