Simplified syntax of tags.
Implements operational semantics
Rédaction sémantique opérationnelle
Implem typeur partiel