Ildefonso

Em uso pelo menos desde o século XI. ◆ Santo Ildefonso (607-667), arcebispo de Toledo.
Porto Editora – Ildefonso no Dicionário infopédia de Nomes Próprios (Antroponímia) [em linha]. Porto: Porto Editora. [consult. 2021-12-04 22:56:02]. Disponível em