Where does “Ildefonso” come from?

Words derived from “Ildefonso”

Ildefonso — Etymology, Origin & Word History | Etymology Explorer