Le porte-avions Charles de Gaulle repart en opérations après des mois de travaux