Grève dans la fonction publique de ce jeudi 5 décembre : plusieurs secteurs touchés, forte mobilisation attendue dans les écoles