Treaties of Nijmegen
1678 taking of Saint-Omer, Treaties of Nijmegen, end of the war