Updated version of the 1st article

Cleaned commentaries (halfway)
Sketch of complexity
Init of upperbound