Immobilier : l'État a vendu pour 280 millions d'euros de ses biens en 2023