BGer 8D_2/2023 vom 5. September 2023 , Droit de la fonction publique (réclamation; indemnité de procédure), - Bundesgericht (2023)