un editeur de chaines pour les Stream