Palace ou musée, où va l’Hôtel de la marine ?