Démantèlement, bateau-musée, revente... Quel avenir pour le porte-avions Charles de Gaulle après son retrait du service actif ?