Coup d'Etat au Mali : quelles conséquences pour l'opération Barkhane ?