Début parser/lexer pour SMT