Relecture (partielle) jusqu'au théo du point fixe

Pour le théorème Smn, le forum epl donne une preuve (http://www.forum-epl.be/viewtopic.php?t=4890). A voir si on doit prouver \phi_k calculable ou pas.