Sophie Pétronin, otage au Mali depuis 2016, a été libérée