Le porte-avions Charles-de-Gaulle enfin rénové, au prix fort