Aujourd'hui, journée de grève dans la fonction publique.