* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .