Opérations militaires au Mali: des dépenses élevées, un lourd bilan humain et toujours des terroristes très actifs