Grève et manif du mardi 12 octobre