Coronavirus : "un certain nombre de travaux" accomplis sur le Charles de Gaulle cet été