Dernière otage française dans le monde, Sophie Pétronin a été libérée au Mali