San Juan de la Peña. Portada a la iglesia del siglo X; fue trasladada al claustro en el s. XII. Fot. Garikoitz Estornés Zubizarreta, 1985