Real Monasterio de San Juan de la Peña,. Monasterio Viejo. Detalle en Claustro. S. XII