Ildefonso (nombre propio): Nombre de pila de varón.