Budget de l’État : déficit en baisse à 11,7 milliards d’euros en 2023