Budget : 5 milliards d'euros d'économies additionnelles dévoilées, coupes dans la fonction publique