Parser debugge pour smt a priori =)