Después está la antigua Capilla de san Ildefonso, hoy dedicada a la Virgen del Carmen.