Il était une fois Vauban ; Au temps de Vauban