¿Quién era San Ildefonso, el santo que da nombre al colegio de los niños de la Lotería?

 

https://www.eldebate.com/religion/20251222/quien-san-ildefonso-santo-da-nombre-colegio-ninos-loteria_367838.html