Argument pour le libre dan sla recherche scientifique

[Yves Combe <ycombe AT april.org>]

Bonsoir,

au hasard de mes pérégrinations sur la toile, je suis tombé sur cet 
argument, que je trouve très juste, en faveur de l'utilisation du libre 
dans la recherche scientifique. L'auteur est prof à Télécom Paris, si 
j'ai bien compris, et c'est un matheux;

http://www.madore.org/~david/weblog/2009-03.html#d.2009-03-27.1624

L'argument de M. Madore est celui-ci, je le cite in extenso:
----------------------
En l'occurrence, ce n'est pas qu'une préférence abstraite pour le 
logiciel libre ni un souci d'argent qui me font m'agacer de Magma, c'est 
aussi une troisième raison, une inquiétude scientifique pour la 
reproductibilité des calculs. Car si un théorème dépend du résultat d'un 
calcul (comme c'était le cas dans l'article que je rapportais), et si ce 
calcul n'est faisable qu'avec /un unique/ logiciel dont, de plus, le 
code source n'est pas visible, peut-on avoir complètement confiance en 
l'exactitude du théorème ? Il ne suffit pas que les algorithmes annoncés 
être utilisés par le logiciel soient publiés et validés, encore faut-il 
qu'ils soient correctement implémentés et exempts de bugs, et cela on ne 
peut pas s'en assurer même en théorie. Je proposerais donc comme critère 
pour qu'un calcul puisse être considéré comme tenant lieu de 
démonstration inconditionnelle (lorsqu'il repose, évidemment, sur des 
algorithmes garantis et qui prouvent effectivement la conclusion 
annoncée) qu'il puisse être reproduit sur au moins deux logiciels 
développés de façon complètement indépendante, dont au moins un ait un 
code source publié. Certes je n'irai pas relire le code complet du 
logiciel, mais je n'ai pas non plus lu la démonstration du théorème de 
Hironaka <http://en.wikipedia.org/wiki/Resolution_of_singularities>, je 
fais confiance à des spécialistes pour ça, et je ne me prive pas de 
l'utiliser : il m'importe cependant de pouvoir lire au moins en théorie 
tout ce sur quoi mes démonstrations reposent, que ce soit d'autres 
démonstrations ou des logiciels ; la vérification par un second logiciel 
tiendrait, dans cette analogie, lieu de vérification d'une démonstration 
par un rapporteur — cela ne valide pas les logiciels tout entiers, mais 
ça valide au moins le calcul précis qu'on a fait refaire.
----------------------

--
yves