BGer 8D_3/2016 vom 1. Juni 2017 , Droit de la fonction publique (déni de justice), - Bundesgericht (2017)