Premier commit, résultats de la première semaine de recherche sur le projet, voir le README pour plus d'informations.
Merge branch 'master' of https://github.com/Sitzva/proof

Conflicts:
	README.md