Relecture jusqu'à la fin
Merge branch 'master' of https://github.com/barakeel/HOLtoTFF
Correction biblio
Conflicts:
	paper/JFLA14/experiences.tex
	paper/JFLA14/traces.tex
	paper/JFLA14/traduction.tex