Rédaction du traducteur AST -> SMT