Une grève générale mardi 18 octobre ? Le renseignement territorial craint une "possible contagion" du mouvement social qui touche les raffineries