De Serval et Barkhane : Une présence qui a failli coûter chère au Mali