Et si on donnait le nom de l’amiral Philippe de Gaulle au porte-avions de nouvelle génération ?