Sommaire 1. Grève le 13, ou le 14, novembre ? 1 bis. RIS du mercredi 13 novembre. 1 ter. Mouvement social en décembre. 2. Permutations.