Bonjour Serge, Serge Leblanc <[EMAIL PROTECTED]> writes:
> J'ai écrit une preuve COQ et réalisé une extraction de la méthode de > Condorcet. Je crois que Jérémy s'intéresse plutôt à l'aspect réseau et spécification du système par rapport aux différents acteurs. > Cela peux peut-être t'intéresser ? > http://thread.gmane.org/gmane.politics.organizations.demexp.fr/144 Je crois que tu t'es trompé de lien, ne serait-ce plutôt http://thread.gmane.org/gmane.politics.organizations.demexp.fr/309 ? Amicalement, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Liste de discussion demexp-fr. Pour se désinscrire, cliquer sur le lien ci-après. mailto:[EMAIL PROTECTED]
