Le porte-avions Charles de Gaulle se rendra dans l'océan Indien en 2019, quand les travaux de rénovation du bâtiment