Syntaxe théorique et formelle