troussil/convergents — pull request #61 by homeostasie (2013-06-12 16:02:55+00:00)
Title: Report - contribution + plan non détaillé de dev info et conclusion.

J'utilise maintenant l’environnement définition à la place de proof.

J'ai attaqué la parti contribution dans les grandes lignes.

J'ai également rajouté un fichier pour la conclusion et un autre pour le développement informatique. Le plan est là, mais pas vraiment détaillé.