implémentation setSyntax(fini) et avancement main