guyslain : renaming variables in PL.of_list in full.ml
Guyslain: renaming variables of APL.of_list in full.ml and in .mlt
Merge branch 'master' of https://github.com/aspiwack/fulltrees
Guyslain: renaming some variables.
Section Ocaml.Padding: proof reading.