Thanks for the reminder Paul! It's still called Armistice day (Jour d'armistice) in France and it's a national holiday here also.