Le porte-avions Charles de Gaulle a appareillé de Toulon