Point fixe et implications pour K

Correction i, j pour la preuve de K non récursif
Nombres calculables
Modèles et ND

Précision sur l’intuition ND
Automates
Grammaires
Merge pull request #3 from lvpeschke/master

Ortho, mise en page, précisions et petites erreurs