La journée du jeudi 1er novembre est chômée et payée pour l'ensemble des personnels des institutions et administrations publiques y compris les personnels payés à l'heure ou à la journée, et ce à l'occasion de la célébration de la fête de la révolution, indique dimanche un communiqué de la direction générale de la Fonction publique. Toutefois, les personnels exerçant en travail posté sont tenus d'assurer la continuité du service, ajoute la même source.