Barkhane : Les commandos ont pris part à une « vaste opération de harcèlement » des groupes terroristes