Guerre au Moyen-Orient : le Charles de Gaulle, porte-avions français, mobilisé