Dix milliards d'euros d’économies réalisées sur le budget de l'Etat