git juste pour l editeur scxml