verification syntaxique ST2 et ST3