Fonction publique: 9,664 milliards de F pour la modernisation