Ildefonso, nascido em Toledo, de sangue real, a 8 de dezembro de 606. Foi pela intercessão de Nossa Senhora que seus pais obtiveram do céu este filho. Crê-se que estudou com Santo Isidoro em Sevilha e aí aprendeu a desprezar o espírito do mundo.