Corrections

  

• Correction d’un bug qui pouvait empêcher la reconnexion au “marché en direct” et “notification en direct” dans certains cas.