Abadía de Arbas, dintel de la entrada, ARBAS DEL PUERTO