Modernisation de la gestion immobilière de l'État : transformation de l'Agence de gestion de l'immobilier de l'État en un nouvel établissement public. · Rostres