La noche del 18 de diciembre de 665 San Ildefonso junto con sus clérigos y algunos otros, fueron a la iglesia, para cantar himnos en honor a la Virgen María.