Algeria: esercitazioni militari al confine con il Mali, dopo la morte del leader jihadista