grève du 18 octobre