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