Ildefonso ( Ildefonsus ) es un nombre español, en última instancia del gótico Hildefuns , el nombre del santo Ildefonso de Toledo del siglo VII .