reorganisation du moteur de sequents dans engine. amelioration du CSS.