São Ildefonso
Ele nasceu em uma família nobre, foi pupilo de São Isidoro de Sevilha e é venerado na Espanha. Ainda jovem entrou para um monastério e eleito arcebispo de Toledo. São Ildefonso serviu a igreja até sua morte. Ele escrevia bastante, mas poucas coisas podem ser encontradas de sua autoria.