Entrada y coro de la abadía de Arbas, ARBAS DEL PUERTO