Merge commit '1cd2021a5f0cd46aab28827c8f33058f7bcda0d8' into feature/paper

* commit '1cd2021a5f0cd46aab28827c8f33058f7bcda0d8':
  Presentation of earlier works
  Add bibliographic entries
  Very small english correction
  Some small improvements
  Add a bib entry
  Begin experiments section
  Some minor corrections
  Begin LUnivRPI presentation
  Add a section for LUnivRPI
  Add isUnvalent algorithm
  BUGFIX: prop that LUniv is better than LU
  BUGFIX: definition and proof of prop.4
  File for charts parametrable
Make a small change in the abstract.
Make small changes in the introduction
Improve a sentence in the introduction
Fix the paragraph about transitive closures
Revert "Fix the paragraph about transitive closures"

This reverts commit 7384b2fe3c2d5e694057187d3a45ad2cb9a055d8.
Fix the "delete" algorithm
Improve text in proposition 2
Merge commit '64b0220833a28af8f61e707ee63145d5d7eb907e' into feature/paper

* commit '64b0220833a28af8f61e707ee63145d5d7eb907e':
  Add a chart comparing order of combinations
  Improved and cleaned bib refs
  Difficulties to combine LU after RPI
  Experiments layout and discussion
  Update csv file + Acknowledgements
  Improve charts

Conflicts:
	doc/papers/LUniv/univalent.tex
Fix typos and a mistake in the definition of univalent subproof.
Fix the wrong fixing of the previous commit
Fix typos and add small contributions to the text
Fix LNCS bibliography style issue
Small arguable modifications
Merge remote-tracking branch 'bruno/feature/paper'

Conflicts:
	doc/papers/LUniv/univalent.tex
Replace LNCS bib style file by the last version