O nome Idefonso é de origem germânica e significa "pronto para o combate". É uma variação do nome Alfonso ou Afonso.
Compartilhe: