BGer 8C_789/2020 vom 4. November 2021 , Réglementation des horaires de travail dans la fonction publique, - Bundesgericht (2021)