Algérie: 12 "terroristes" tués aux frontières avec le Mali