Le porte-avions Charles-de-Gaulle a bel et bien quitté la rade de Toulon