Le porte-avions Charles de Gaulle, en période d'entretien, au quai industriel Vauban de la base navale de Toulon (20 juin 2009).