Grève du 5 novembre : environ 3800 personnes ont manifesté à Metz