Finished machine, onto proofs
Merge branch 'master' of github.com:Gueust/Report-MethodB

Conflicts:
	MethodeB.tex