Fonction publique d'État : près de 11 % de grévistes, en majorité dans l'éducation nationale