La gestion des ressources humaines publiques à l'heure de la performance — Observatoire de la dépense publique. France