Mali : plusieurs terroristes tués dans le nord-ouest du pays (armée)