Merge pull request #3 from lvpeschke/master

Ortho, mise en page, précisions et petites erreurs
Ajout de la démonstration de S
Ajout des contributeurs
Ajout de la démonstration de S-m-n
Formatage des contributeurs
S, Smn, machines de Turing, lambda calcul