Armistice deuxième guerre mondiale