Population de Vauban (71800)