grève;5 octobre;