Fin de l'opération Barkhane au Mali : quelles suites pour la lutte contre le terrorisme ?