Le porte avion Charles de Gaulle devrait être utilisé dans la guerre contre l'Etat islamique.