après la manif du 19 octobre, grève le 20 novembre