Or selon B. , sur près de 4 1/2 ans: - l'horaire journalier a toujours été de 12 heures du lundi au samedi, sauf pendant seize jours, soit deux fois en 1990 (28.3 et 7.7), deux fois en 1991 (25.12 et 31.12), deux fois en 1992 (1.1 et 18.1), cinq fois en 1993 (4.9, 27.9, 25, 27 et 31.12), et cinq fois en 1994 (1.1, 3.2, 11.2, 2 et 3.3), plus les mois de novembre et décembre 1992 qui comptent 12.30 heures. - le travail du dimanche est tout aussi régulier, puisqu'il y a toujours 8 heures de travail, sauf 7 heures d'août à octobre 1990, de juin à août 1991, en juin 1992, et de mai à juillet 1993.