Abadía de Arbas, el coro a los pies del templo, ARBAS DEL PUERTO