Grève du 18 octobre : les services de renseignements redoutent une "contagion" à d'autres secteurs