Le successeur du porte-avions Charles-de-Gaulle sera entretenu au port de Toulon