Where does “Ildefonso” come from?

Words derived from “Ildefonso”