Prolonger le porte-avions Charles de Gaulle au-delà de 2038 coûterait au moins 1 milliard d’euros