Je me souviens que "Porte Vauban" n'apparaît que sur le panneau indiquant l'entrée du centre-ville (qui apparaît en haut de https://panoramax.openstreetmap.fr/?s=p3d24cfcc-504e-4348-bb84-8798fc02ea26 malheureusement l'image est tronquée).
C'est donc peut-être le véritable/nouveau nom de "Porte Martrou" (node/10585119772), qui alors se situerait du côté du Pont du Martrou/Transbordeur.