Comme j'avais 5 minutes en revenant du café cet aprem j'ai rapidement montré P=NP en sauvant la preuve dans un fichier texte pour commencer l'article en Docbook. Comme je n'ai pas réussi à compiler le source Docbook (c'est dur la validation) j'ai laissé tomber et j'ai effacé mes données pour installer hurd à la place. Plutôt bosser sur un projet d'avenir que sur un résultat inintéressant.