Mali : trois soldats français tués par un engin explosif lors d'une opération