Ce que nous dit le 5 décembre, jour de grèves et de manifestations dans la fonction publique