* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
Merge remote-tracking branch 'upstream/master'

It feels good to write this commit in vim

Conflicts:
	src/elaboration/elaborateDictionaries.ml