Typos, reviews, notations et exemples
Merge branch 'master' of https://github.com/mbagnol/logspace

Conflicts:
	introduction.tex
	normativity.tex
	permutations.tex
	pointer.tex
	soundness.tex
	unification.tex