Origin of the name Hildefons

Old Germanic form of Ildefonso.