Quel nom pour le futur porte-avions remplaçant du Charles de Gaulle? Une piste sort du lot