"Le chef du groupe État islamique au Grand Sahara est mort dans une frappe opportune"