Fonction publique : 19% d'agents ont fait grève jeudi