Mercerie (fabrication, gros) à Vauban