Exterior del Monasterio de San Juan de la Peña, JACA