San Ildefonso
San Ildefonso, conocido como Ildefonso de Toledo (Toledo, 607-667), fue arzobispo de dicha ciudad entre 657 y 667. Testigo de una aparición mariana, es considerado como uno de los padres de la Iglesia.
En el catálogo de Ganso y Pulpo, esta instancia aparece mencionada o citada, directa o indirectamente, en el siguiente texto:
