Déficit public: pour faire des économies, l'État a vendu 645 biens immobiliers en 2023 pour 280 millions d'euros