Quatre otages libérés au Mali, dont la Française Sophie Pétronin