Algérie: trois militaires tués à la frontière avec le Mali