Vauban, la sueur épargne le sang