Journée d’action du 9 octobre : le taux de grévistes