Mali : la MINUSMA met fin à ses opérations à Tombouctou