Budget de la sécu : revu à la hausse, le déficit 2023 s'établit à 7,2 milliards d'euros