Libye: raid américain contre l’EI.