Page [100]: “Vauban” was printed as “Vanban” but changed here.