Le 15 août est un jour férié : Qu'en est-il pour les travailleurs qui ne devaient pas travailler ce jour-là ?