Porte de Saint-Jaequec en la muralla, Saint-Jean-Pied-de-Port