Horreur ! la fonction publique va etre obligée de travailler 35 heures !