Mouvement de grève dans la fonction publique annoncé le 9 mai .