Débat entre dockers à Marseille : faut-il faire grève ou pas contre la guerre d'Indochine.