Ildefons

nom propi masculí Ildefonso.