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