Durant ce service, le
nombre d'heures de travail doit être effectué, soit huit heures, mais les employés
peuvent aménager leur horaire. Il se pouvait dès lors que le recourant débute sa
journée à 06h00 et qu'il la termine à 17h00. La différence avec le service (…) ou (…)
est que dans ces situations, les employés sont susceptibles d'être appelés à tout
moment durant le service de piquet. Ce plan de service correspond à la réalité, il n'y
a pas eu de changements. Avant janvier 2009, les heures d'arrivée et de départ
n'étaient pas notées.