Grève de la fonction publique : ce qu'il faut retenir de la mobilisation en demi-teinte des agents de ce mardi