Porte-avions: comment s'appelera le successeur du Charles de Gaulle?