On connaît le nom du futur porte-avions nucléaire qui remplacera le Charles-de-Gaulle