Grève du 1er octobre 2024 : qui est mobilisé ? A quoi s'attendre ?