BGer 8C_80/2018 vom 9. Oktober 2018 , Droit de la fonction publique (droit de grève), - Bundesgericht (2018)