La mayor tradición es la que se celebra a San Ildefonso de Toledo, santo hispano de la Iglesia católica, el 23 de enero.