Vauban, anciennement Saint-Sernin