Histoire de Vauban de Georges Michel