FHachez/SyntheseQ6 — pull request #2 by lvpeschke (2014-05-27 12:13:08+00:00)
Title: 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.