puerta de la iglesia de san martin, CASALARREINA