Taux d’agents publics en grève, à 18 heures, pour le mouvement national du 5 décembre 2019