Merge pull request #2 from lvpeschke/master

Relecture (partielle) jusqu'au théo du point fixe
Point fixe et implications pour K

Correction i, j pour la preuve de K non récursif