Porte de Saint-Jaequec en la muralla