Les militaires de l’opération Barkhane au Mali ont tué une vingtaine de djihadistes près de la frontière algérienne, selon plusieurs sources militaires.