Guyslain: add naive code for balancing a list
Guyslain: rename functions in naive ocaml code
guyslain: adding section 2 on naive algorithm, first version
Better title and lead for the section on encodings in ocaml.
Fixes compilation.

log ↝ log_