Et vous, comment appelleriez-vous le nouveau porte-avions qui va remplacer le « Charles-de-Gaulle » ?