Budget rectificatif 2022 : le déficit public un peu moins élevé que prévu, à 4,9%