Mali : plusieurs dizaines de djihadistes tués par l'armée française