* Fix a bug in the OCaml pretty-printer.
* sujet.pdf: Minor remarks about identifiers.
* value_definition: Fix an invalid threading of the typing environment .
* Fix an inconsistency in parsing precedence: 'f x . y' was parsed as '(f x). y' and pretty-printed the other way.
* Extend the deadline.
merge