Anticiper les épidémies est le souhait le plus vif de toutes les institutions qui veillent sur la santé publique. Un raisonnement naïf permet de penser qu’il suffit de faire évoluer en laboratoire un organisme potentiellement pathogène pour savoir comment sa descendance pourra devenir plus virulente pour l’homme. Il est alors facile de faire croître cet organisme sur des cellules humaines, qu’il infecte mal pour commencer, puis de retenir ses descendants au fur et à mesure qu’ils deviennent plus infectieux. La vision (...) optimiste affirme alors que les caractériser permettra de construire des défenses appropriées. Bien des variations sur ce thème sont possibles, y compris avec l’aide de la synthèse artificielle de variants dont on saurait imaginer la pathogénicité pour l’homme. Depuis plus de deux décennies, des chercheurs développent des expériences de ce type, dite de « gain de fonction » (GdF). Leur interprétation repose sur l’illusion que nous savons prévoir l’évolution des êtres vivants. En réalité, ceux que nous observons aujourd’hui ont été sélectionnés au cours du temps précisément parce qu’ils conduisent toujours à des comportements imprévisibles. Une règle clé de l’évolution est que la vie, pour durer dans des circonstances qui ne peuvent être prévues, doit sans cesse faire émerger des formes innovantes. À ce caractère propre à la vie s’ajoute un imprévisible lié à l’impéritie humaine, cause de l’omniprésence des accidents de laboratoire. Or, en virologie spécialement, l’accident est la règle et non l’exception. Il faut ajouter que le caractère public de ces expériences les rend utilisables par toutes les structures malveillantes qui sont hélas répandues dans le monde. Il n’est pas difficile alors d’imaginer les conséquences catastrophiques des expériences de GdF. Nous proposons donc qu’elles soient purement et simplement interdites et que toute transgression soit sévèrement punie, en frappant d’abord au porte-monnaie, ce qui semble être la meilleure façon de faire dans nos sociétés devenues universellement vénales. (shrink)

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)