Conform to specification
Début du typage des expressions.