Update syntaxe.h