Ildefonso \Prononciation ?\ masculin
Ildefonso de Toledo.
Palacio Real de la Granja de San Ildefonso.