Vous avez expliqué que, pour les emprises parisiennes qui devaient être vendues, un plan serait réalisé en fonction des départs des effectifs qui les occupent actuellement. Pouvez-vous aussi nous donner quelques indications sur la façon dont l'Hôtel de la Marine sera loué, et sous quelle forme ? Quelle est à l'heure actuelle la nature du projet ?