Guyslain : adding an "end" for a module, missing in the .mlt
Fix authors.
Clarity.
log n ↝ integral part of log n
English.
Avoid a single-line paragraph.
Ocaml mode: better rendering of :: .