Salaires et droits des fonctionnaires : grève du 9 mai - commentaires