Merge pull request #4 from lvpeschke/master

Fin de la partie calculabilité
Correct a proprety
Correct some propreties
S-m-n afaiblie: duplicate line
S-m-n afaiblie: wrong justification
S-m-n: remove TODO
Point fixe: change a step
Point fixe: misspeling
Demonstration K: misspeling
Bloop: missing word
MT: Plusieurs ruban: speedup
MTND-récursif: correct if x not in A
fonction récursive: bad indice
fonction récursive: missing paranthese
récursif: propriété importante: correct an implication
complexité: time vs space: missing exposant
Hoare Allison: Add non trivial language
Erreurs dans les defs des classes de complexité