Try to improve thm 1
Solutions couplages
Merge avec les commits de Sébastien de Fauw (sdefauw) qui n'a pas rempli le wiki (pas bien :D)

Merge branch 'master' of https://github.com/blegat/LINMA1691

Conflicts:
	ape/5.tex
	ape/6.tex
Ajout des .bak dans le gitignore
Add missing demo to thm2
Un peu de correction orthographique
Merge branch 'master'
Add missing demo in thm2
Merge branch 'master' of github.com:blegat/LINMA1691
2 démonstrations et correction orthographique automatique en bonus
Random improvements to thm 2
Merge branch 'master' of github.com:blegat/LINMA1691
Fix Harary proof and other things in thm 3
G -> $ in thm 4
Various details in thm 5
Minor improvements to thm 6
Minor cleanups in thm 7
Cleanups in thm7
Add missing demo in thm7
Fix Ramsey exist proof