Grève du 9 octobre