S, Smn, machines de Turing, lambda calcul
Merge remote-tracking branch 'upstream/master'
Partie ésotérique du cours

propriété S
H-calculable
Merge pull request #4 from lvpeschke/master

Fin de la partie calculabilité