Départ du Mali : le début de la fin pour l'opération Barkhane ?