Il a été annoncé que le porte-avions français Charles de Gaulle avait été déployé en mer Rouge