je pense que c'est Lionel qui a raison : la contribution du programme informatique moyen est surtout dans son comportement (= en math le théorème qu'il prouve), et la preuve elle-même est sans importance. Et si on appliquait cette correspondance dans l'autre sens on aboutirait à la conclusion que les théorèmes eux-mêmes sont soumis au copyright

Hippo> c'est probable que si (par contre la couverture médiatique certainement pas ^^)