Qual a história e origem do sobrenome e família "Ildefonso"?

A família ILDEFONSO é originária da Espanha. A história da família ILDEFONSO é longa e complexa, mas a origem do sobrenome é conhecida. O sobrenome ILDEFONSO é derivado de um nome próprio, que era o nome de um antepassado da família. O nome provavelmente era um nome de batismo, que era o nome dado a um bebê quando era batizado.