Merge commit 'dbe388d3973c7e003c9cd2b562a2dc68d4651e24' into feature/paper

* commit 'dbe388d3973c7e003c9cd2b562a2dc68d4651e24':
  Improve English
  Move the full algorithm to its place
  Clean charts
  Add lines to the last algo
  Add LowerUnivalent as delete enhancement algorithm
  Improved definitions
  First "complete" paper
  Conclusion and other improvements
  Replace LNCS bib style file by the last version
  Small arguable modifications
Fix an imprecise statement in the paragraph about related work
Delete a margin comment
Merge commit '15658a944dc23b8d7245dc2da429033e4f2276b3' into feature/paper

* commit '15658a944dc23b8d7245dc2da429033e4f2276b3':
  Typo in delete pseudo-algorithm
Improve the description of the propagation of deletion
Make several small improvements in the text
Fix english mistakes
Improve the conclusion section
Merge remote-tracking branch 'bruno/feature/paper'
Fix error in sect 2