Iglesia de San Miguel y Arco de Medina, AREVALO