San Juan de la Peña

Monastère : église supérieure