Le mercredi 1er novembre 2023 est un jour férié : qu'en est-il pour les travailleurs qui ne doivent normalement pas travailler ce jour-là ?