Kerk van Santo Ildefonso, gebouwd tussen 1730 en 1737 met tegels die het leven van St. Ildefonso laten zien