FHachez/SyntheseQ6 — pull request #5 by lvpeschke (2014-06-03 22:50:48+00:00)
Title: Partie complexité

Dans les définitions du début, il y a eu quelques erreurs de recopiage je pense.
Pour la preuve de Cook, je pense qu'on doit pouvoir au moins la commencer, même si en cours on ne l'a pas faite jusqu'au bout.
Voilà voilà :)