Le porte-avions Charles de Gaulle a été remis à flot