Lorsque les obligations du service nécessiteront certains travaux un jour férié, les heures de travail effectuées ce jour férié seront considérées comme des heures supplémentaires exécutées en dehors de l'horaire hebdomadaire normal. Ces heures pourront, au choix du salarié, soit être payées au taux majoré de 25 % ou 50 % suivant les cas, soit être rendues en repos compensateur correspondant au temps travaillé, augmenté de l'incidence de la majoration qui aurait été payée comme heures supplémentaires.