Guyslain : movie a paragraph explaining why we use an alternating list at the beginning of the section 2.
Merge branch 'master' of https://github.com/aspiwack/fulltrees

Conflicts:
	fulltrees.mlt

Guyslain: two successive lines where modified independantly, but not really conflicting.
guyslain: renaming variables in full.ml
guyslain: typos + renaming variables in ocaml code + style, only above section 3.3
Guyslain : rename variable in PL.map (in .ml and .mlt)
Even more updates.

Section Ocaml.Padding.