1 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 11111111111111111111111111111111111111111111111111111111111111111111111111111111111 1111111111111La mtaphysique du nombre.

Intervention de Jacques VAUTHIER la runion de lUnit de Recherche du Projet Nouveau Regard PARIS, 1er Octobre 2005 L ES noces dApollon et de Dionysos semblent se profiler dans le domaine de linformatique, o lirrationnel et le rationnel se ctoient dans ce domaine scientifique de pointe. Ce couple, hier inconcevable, semble tre lavenir de la pense en Science, tout simplement parce que de plus en plus de scientifiques extrapolent leur sujet favori pour en faire une nouvelle vision de lunivers et de son organisation. On pourrait objecter, videmment, quil est bien difficile de trouver dautre nom que celui de Lucrce, le promoteur de la notion dionysienne datome. En revanche, Einstein et Planck sont de vritables Apolliniens dans la rigueur de leur pense, mme si celle-ci tait la recherche dun Graal : harmonie des formules et puret des concepts. Le paradoxe rside dans le fait que, si la science devient de plus en plus le lieu de la recherche de la vrit au contraire dautres domaines o les opinions prvalent et sont discutes, ce qui mne la notion de consensus au centre de la problmatique, comme lEcole de Cologne le propose autour de Jurgen Habermas les interprtations dionysiennes se font de plus en plus prgnantes. Certainement, la Science apparat comme un lieu de scurit o les concepts sont stables et donns de toute ternit. La loi de la gravitation, pour prendre un exemple, est donne, et ne soufre aucune discussion, mme si son expression reoit des raffinements successifs. Malgr cela, certains points de vue esthtiques et thiques arrivent dans ce domaine qui paraissait tanche toute intrusion de cette nature, et rendent possible le mariage que nous voquions au dbut. Les scientifiques sont en effet tirs malgr eux dans un coin o ils ne pensaient certainement pas aller, et sont amens dire ce quils pensent de leur science et des consquences de leur recherche dans la vie du citoyen. La biothique est un des lieux o les scientifiques sont pris dclairer le lgislateur. Une autorit dans le domaine de lthique quils nimaginaient pas : la science devait rester neutre dans sa description du monde leur est donc donne. Mais, mme pour des Apolliniens comme Dirac on se souvient de la formule dHeisenberg : Dieu nexiste pas et Dirac est son prophte ! lutilisation darguments utilisant la notion dharmonie des formules ou de symtries (les ruptures de symtrie de mcanique quantique sont fondamentales) est plus du domaine de Dionysos, et se dmarque de la rigueur scientifique. Les nouveaux dveloppements en physique, en Mcaniqu sparabilit sans parler dun prtendu transfert instantan dinformations, comme dans la fameuse exprience dEinstein, Podolsky et Reisen. Heisenberg crit ainsi : Les sciences exprimentales ne dcrivent pas seulement la nature ni ne lexplique, elles sont une part de linteraction entre la nature et nous [] Cest la question dune possibilit qui rend impossible la sparation entre lunivers et moi.

La distinction cartsienne entre la res cogitans et la res extensa na aucun avenir dans ce contexte. Le conflit entre Einstein et Bohr, dont le blason tait le Ying et le Yang, est celui dun Apollinien contre un Dionysien. Le prix Nobel de Physique Bryan Josephson ne va-t-il pas jusqu prtendre que chacun dentre nous a un corps astral qui se diffuse dans lespace temps. Pour confirmer sa thorie, il utilise des textes de Maharishi liant conscience et intelligence. En France, Costa de Beauregard pense que linformatique fondamentale doit affronter tous les problmes de linteraction entre cosmos et conscience . Le physicien Capra fait observer, dans la mouvance de Schrdinger (dont la lecture favorite tait les Upanisads), que la sparation entre conscience et matire est fondamentalement en contradiction avec la sagesse Vda . Dans les Upanisads, les deux phnomnes ne sont pas essenti2e2l2l2e2m2e2n2t2 2d2i2s2t2i2n2g2u22s2,2 2m2a2i2s2 2s2o2n2t2 2s2i2t2u22s2 22 2d2e2u2x2 2n2i2v2e2a2u2x2 2d2i2s2t2i2n2c2t2s2 2d2e2 2d22v2e2l2o2p2p2e2m2e2n2t2s2.2 2 2I2l2 2e2s2t2 22 2o2b2s2e2r2v2e2r2 2q2u2e2 2l2a2 2l2e2t2t2r2e2 2g2r2e2c2q2u2e2 2y 22 2p2s2i2 22 2e2s2t2 2u2t2i2l2i2s22e2 22 2l2a2 2f2o2i2s2 2e2n2 2m22c2a2n2i2q2u2e2 2q2u2a2n2t2i2q2u2e2 2p2o2u2r2 2d22s2i2g2n2e2r2 2l2a2 2f2o2n2c2t2i2o2n2 2d2 o2n2d2e2,2 2e2t2 2e2n2 2p2s2y2c2h2o2l2o2g2i2e2.2 2 2 2I2m2r2e2 2L2a2k2a2t2o2s2 2a2 2t2e2n2t22 de maintenir une stricte rationalit, mais en vain : la thorie du chaos est le dernier avatar de cette dviance o lirrationalit se conjugue avec le dsir de populariser un domaine de la science qui fascine le grand public. Le phnomne de laile de papillon nimpressionne que ceux qui nont jamais mis le nez dans les calculs concernant la stabilit des quations diffrentielles. La continuit nest plus le dogme qui fonde la science le fameux adage Natura non fecit saltum - mais se trouve en porte faux avec la ralit qui apparat comme fondamentalement discontinue. Le seul endroit o une continuit apparat encore est au niveau macroscopique : avec lhomognit dans les structures dissipatives de Prigogine (par exemple les horloges chimiques qui oscillent dune couleur une autre) ou la thorie des catastrophes de Ren Thom, qui classifie les bifurcations comme le dferlement des vagues sur la grve. Russell a crit dans Logic and Knowledge : La mtaphysique, qui est une tentation dembrasser le monde, sest dvelopp depuis ses dbuts en associant ou en dissociant la fois deux tendances trs diffrentes qui poussent lesprit humain soit vers le mysticisme soit vers la science [] Les plus grands philosophes ont pris en compte ce double besoin de science et de mystique. Cest la raison pour laquelle, si lon en croit certains, la philosophie, malgr sa fatigante incertitude, est plus grande que la science et la religion. La philosophie semble tre au confluent de la science et de la mystique. Certainement, le dionysiaque Hraclite aurait t capable den faire une synthse, si lon se souvient de ses aphorismes : Nous descendons et nous ne descendons pas la mme rivire ou : Nous sommes et nous ne sommes pas , ou encore : Le bien et le mal ne fond quun ! Platon, comme apollonien, proposa malheureusement une division au lieu dune distinction entre la science et la philosophie. Les philosophes ne font que rajouter dans le contexte philosophique qui sous-tend la science des notes en bas de page luvre de Platon pour reprendre la formule de Whitehead. La mystique rapparat dans la science, si lon en crot Russell, ds que lintuition est prfre au raisonnement analytique ou discursif, une foi en une totalit, et le refus de toute division ou opposition. On ne peut que citer de nouveau Hraclite : Le chemin qui monte et celui qui descend sont un mme chemin . Wittgenstein pense, lui, que le mysticisme est l, quand on pense lunivers comme une totalit, mais limite. Cette limite impose la totalit est dans lineffable, car elle ncessiterait par dfinition dtre dpasse. On ne peut lapprhender que de lintrieur. Cette exprience de la contingence radicale de la ncessit est par consquent contradictoire. Dans sa confrence sur lthique, Wittgenstein montre que cette contradiction conduit inluctablement au mysticisme. Notons au passage que la conception

dun univers fini a reu un statut au sein de la science grce la relativit dEinsteinMais la thorie du chaos dploie son poids affectif quand les phnomnes non linaires sont associs la complexit. Mlange une dose de hasard, la complexit modifie le regard sur la science. Or, la thorie du mouvement brownien nest ni plus ni moins quune thorie de la mesure en dimension infinie, et la complexit non linaire est associe des quations diffrentielles non linaires que lon ne sait pas rsoudre, et dont on calcule les solutions par des ordinateurs. Isabelle Stengers peut alors proposer, dans son livre Dune science lautre, que la science offre une infinit de solutions aux diffrents problmes qui lui sont soumis. Mais la complexit deviendra plus encore : ce sera en elle-mme une thorie, et Prigogine et Stengers peuvent alors parler de la science comme une coute potique de la ralit . Ce nest pas seulement la complexit qui conduit une vision quasi magique de la science. Paradoxalement le paradigme du calcul nest pas l pour offrir une antidote cette tendance mystique, et Apollon va de nouveau se lier avec Dionysos Calculons tait le cri de Leibniz, et son universalit est devenue quasi magique. Ne pensons-nous pas en effet avec Drrenmatt que les physiciens ne cherchent que la formule universelle qui dcrira le monde ? Le calcul nest-il pas prcision, exactitude, objectivit et certes pas posie ? Et pourtant le voil entr sur de nouvelles terres de conqute. Il faut se souvenir que la science du calcul est sortie telle Athna du crne de Zeus de la logique abandonne par les mathmaticiens traumatiss par le choc du rsultat de Gdel. La dmonstrabilit tait dissocie de la vracit La mathmatique se replia sur des territoires plus pragmatiques : comme la contradiction ne semble pas au bout du chemin, continuons sans trop nous soucier de tout cela. Les logiciens utilisrent leur intelligence pour dterminer le langage le plus adquat, quil fut PASCAL, LISP ou dautres innombrables. Puis lintelligence artificielle fut dveloppe, et les algorithmes se propagrent dans toutes sortes de domaines. Un nouveau pythagorisme, pour lequel les nombres sont le cur de la comprhension du monde, apparut au travers des ordinateurs qui sont bourrs de zros et de uns. Dieu nous a donn les nombres et nous avons fait le reste , disait Kronecker, mathmaticien allemand. On aurait pu penser que seules les mathmatiques seraient concernes par cette rvolution. Herbert Simon, John Mac Carty et Marvin Minsky furent les promoteurs de la transformation de lintelligence humaine en machine de Turing. LA question qui surgissait alors tait de se demander si la machine ntait pas plus intelligente que lhomme (on se souvient de lordinateur Big Blue jouant aux checs contre Gary Kasparof). Toute lcole de connaissance positive est sous tendue par cette conception. Jacques Monod, dans son livre Le hasard et la ncessit, identifie la cellule une usine chimique cyberntique, cest--dire contrle par un programme dordinateur. LADN ne serait ni plus ni moins quun programme dordinateurLes rsultas rcents en gntiques montrent quon en est loin ! Franois Jacob dans son livre La logique du vivant est convaincu que les dpartements de physique ne sont concerns que par des algorithmes vivants. La biologie thorique conduit souvent une ontologie mcaniciste , mais il faut remarquer que les succs dans le domaine des calculs en physique a fait merger une nouvelle forme de pense. Les lois de la physique sont considres comme des algorithmes, une suite finie de rgles organises pour la rsolution de problmes. Cette conception de la physique rejoint par certains aspects celle de Duhem au dbut du sicle mais il ajoutait que le bon sens tait essentiel en science, ce qui nest plus toujours le cas aujourdhui ! Stephen Wolfram, comme physicien annonce que les systmes physiques ne font rien dautre que de grer de linformation, et le biologiste Dawkings prtend que seule linformation est concerne dans la lutte darwinienne pour la vie, les gnes tant l pour accompagner cette information et la transmettre en inventant un individu qui se reproduit. Des acteurs essentiels en

cyberntique comme Norbert Wiener ou Warren Mac Cullogh dfendaient avec vhmence le fait que des systmes organiques ou sociaux ntaient rien dautres que des programmes crits pour traiter de linformation, et lhomme une sorte de machine adapte ce contexte de transfert dinformations. La science du calcul provoque une rvolution dans les diffrentes sciences. La puissance de calcul des ordinateurs de la dernire gnration double tous les deux ans suivant la loi de Gordon Moore. Cette capacit de calcul a permis des dcouvertes comme les fameux attracteurs tranges de la thorie du chaos qui sont apparus dans une simulation numrique de phnomnes atmosphriques. Le glissement insensible, provoqu par cette puissante science du calcul, dune mthodologie vers une ontologie, est particulirement fascinant. Lordinateur donne une lgitimit certains rsultats, alors que parler des systmes physiques ou des processus naturels en tant que systmes informatiques requiert non seulement un minimum dinterprtation mais aussi une transposition au travers de ce quil faut bien appeler une mcanique, savoir lordinateurChacun doit rester conscient de ce changement et limportante distance qui existe entre les diffrents domaines en question. Le paradoxe est ici que lordinateur donne une sorte de validit ontologique aux phnomnes. La culture ambiante ne seraitelle pas celle o lordinateur est pris comme rfrence intellectuelle, car on imagine de moins en moins de faons de penser sans eux, et surtout pas de faon aussi efficace pour valider des hypothses ! Bien sr, on pourrait dire que lembryologie ou les sciences du comportement sont peu concernes, alors que la psychologie cognitive se sert de simulations numriques. Mais les sciences dures comme les mathmatiques relativisent srieusement lutilisation de lordinateur comme lieu de dmonstration de thormes. Par exemple, la dmonstration du problme dit des quatre couleurs, o lenjeu est de prouver que lon peut colorier une carte quelconque avec seulement quatre couleurs et en distinguant les diffrents pays. Les mathmaticiens avaient rduit la dmonstration ltude de quelques milliers de cas particuliers qui ont t programms. La vraie preuve consisterait tre convaincu que le programme est compltement sr, ce qui nest pas le casRcemment des articles de mathmatiques ont t rejets, car ils sappuyaient pour leur rsultats sur des programmes dordinateur non fiables. Le calcul a toujours fascin lhomme part la magie de ses formules synthtiques, par une efficacit qui est invisible, par son indpendance par rapport aux sens sujets au doute la gomtrie cartsienne faite de calculs a t invente par Descartes pour se dbarrasser de ce doute par la complexit des contextes de son utilisation mais aussi par son lgance. Le grand public est sduit par la puissance des rsultats, dont les voyages interstellaires ne sont que des avatars. Cette technologie du calcul semble rserve quelques initis qui vivent dans une sorte de nirvana o la difficult des preuves est prise en charge par la machine qui donnent des rsultas inesprs voire miraculeux. Voil que la science se marie avec la posie, une harmonie dun nouveau type apparat, qui permet dentendre lharmonie des sphres chre aux Grecs dans le doux ronron de lordinateur. Tout est soft et cool . Les humains sont transforms en dmiurges mme si la science du calcul est duale, car lharmonie doit faire face la raideur des rsultats associs. Les nombres forment une suite discontinue : ce fait est lui seul irrductible. Le passage du discontinu au continu ne laisse pas dvoquer les clbres discussions autour du paradoxe de Znon et de ses succdans qui sont prsents dans la Physique dAristote. Les concepts diffrents de continuit , de contigut et de conscutivit montrent la subtilit de cette recherche. La continuit des processus du vivant, en particulier, repousse loin toute vellit de modlisation par des algorithmes, mme si des auteurs et non des moindres tentent dsesprment de combler le foss. Penrose est lun dentre eux, et il nous entrane dans son livre The emperors new mind dans une enqute impressionnante sur la nature des activits du cerveau. Des algorithmes seraient-ils constitutifs de la pense humaine, puisque la mcanique quantique est grosse de nombres, et intervient au niveau des

changes molculaires des cellules. Cest l que ce situerait laspect numrique qui permettrait de faire surgir la pense dans des robots suffisamment arms de transistors. Dans cette perspective, la thorie du chaos vient mettre quelques bmols ces affirmations par son caractre essentiellement continu : lattracteur de Lorentz, dont les horloges chimiques sont la meilleurs illustration, est un exemple de ce phnomne. Lutilisation de linformatique dans la recherche scientifique apporte de leau au moulin de la tlonomie et du sens ultime. En effet, si tout est calculable, alors il ny a plus dala et tout est dtermin par le programme de calcul. Y-a-t-il encore de la place en particulier pour le libre arbitre? Et lvolution ? Pour les tenants les plus durs de cette thorie, le hasard est source de crativit. Dawkings dans son approche du Gne goste propose que les stratgies de la nature tournent autour de la sauvegarde de linformation qui est code par les gnes et exprime dans les individus. La meilleure information est celle qui correspond la meilleure survie On voit comment la boucle est boucle entre la vie comme processus continu et linformation exprime en bits. Lupasco prsente lthique, au travers doprations dductives, comme anticipant et crant la ralit. La science du calcul offre des possibilits inespres dans ce domaine, ne serait-ce dans le domaine ultra sensible de lnergie nuclaire o les expriences dexplosions de bombes sont maintenant traites par ordinateur. Mais cest aussi dans le domaine du parapsychisme et du paranormal, que lordinateur vient prouver des rsultats, grce des simulations qui permettent entre autres de remonter le temps. De nouveau, la confusion entre les niveaux est patente, la simulation nayant pas le statut dexprience falsifiable. La capacit de pouvoir refaire une exprience simule contrairement une exprience psychique lui donne un statut scientifique. Lidalisation de la ralit est une fois de plus dmontre. Les images numrises font, de fait, un lien trs fort entre ralit et fiction. Les chographies des enfants dans le ventre de leur mre conduisent des reprsentations en trois dimensions de leurs images. Les images virtuelles permettent une cration et une exprimentation, puisque le modle remplace le rel. Le comble est atteint dans les mathmatiques elles-mmes qui deviennent un lieu dexprimentation. Leur spcificit, qui est dans la relation entre des structures, ne peut tre atteinte par ces jeux numriques, mais dans une simulation de rsultats, en particulier dans le cadre des solutions dquations ou dans la recherche de proprits de nombres particuliers. Dans ce contexte, il faut remarquer quun thorme rcent (qui rsout une question en suspens depuis de nombreuses annes) montre quil existe des quations diophantiennes, i.e. des quations qui ne font intervenir que des nombres entiers, ne pouvant recevoir des solutions algorithmiques. Ce point est souligner quand certains esprent que tout sera un jour rsolu par des calculs sur ordinateur. Les simulations sur ordinateur permettent de prvoir ou de reproduire des phnomnes complexes. Les phnomnes mtorologiques en sont un exemple, et leur simulation par des quations dj trs simplifies a mis en vidence les fameux attracteurs tranges de Lorentz. Lintelligence artificielle met en jeu des systmes experts qui ont une certaine performance en fonction du but fix. La modlisation du problme dans un cadre mathmatique permet une certaine comprhension des phnomnes, si elle ne permet pas den lucider la structure profonde. La prdiction nest quun des aspects seconds, et les calculs qui sont induits par des quations ne sont faits quavec des approximations et des erreurs darrondis qui saccumulent au fur et mesure. Le pire est que lon peut tester une thorie fausse avec un ordinateur : il suffit de le programmer pour dmontrer ce que lon veut prouver ! Nous sommes donc en face dune inversion complte du test de falsifiabilit de Popper. La question qui se pose maintenant face ce contexte concerne la science elle-mme : est-elle oprative ou prdictive ?

Le paradoxe est donc que la science du calcul vient renforcer un certain irrationalisme au sein de la communaut scientifique. On voit poindre, par la transversalit des calculs dans la science, un nouvel encyclopdisme ce qui ne serait pas un mal, compte tenu de lclatement des sciences mais cette nouvelle unit propage une certaine standardisation du langage et des procdures qui deviennent tt ou tard algorithmiques. Les ordinateurs jouent maintenant un rle mta-scientifique en poussant dans le domaine scientifique des zones qui en taient exclues. La parapsychologie en est un exemple. Do il dcoule une vision moniste de la science qui apporte de leau au moulin du club de la gnose de Princeton. Ses affilis prtendaient que la naissance de la science datait du dbut du sicle dernier ; la preuve en tait lmergence de la notion de machine de Turing et de la question de lintelligence artificielle. Si lunit de la science prsuppose des lments de science, la diversification des domaines scientifiques durant le dbut du vingtime sicle ntait pour les Dionysiens que lexpression dune priode pr-scientifique. Le monde tait en attente des ordinateurs pour assurer lunit de la science. Mais peu admettent que la nuova scienza implique une nouvelle dfinition de la vrit : on doit passer de l' adaequatio rei et intellectus ladhesio. La radicalit de cette nouvelle donne ne doit chapper personne. La vrit sera obtenue par consensus grce des simulations sur ordinateur : Habermas ne peut pas ne pas tre satisfait de voir sa thorie vrifie dans les sciences. Le mariage entre Dionysos et Apollon a radicalement modifi le contexte scientifique. Le dfi est de reconstruite une vritable philosophie de la nature. Mutatis mutandis, nous sommes dans la mme situation que les thologiens aprs Wittgenstein : lapproche philosophique du langage du philosophe viennois mettait mal tout vellit de discours thologique. Le dfi est l : que devient le concept de vrit en science ? Une ouverture est offerte par le thorme de Gdel qui a radicalement transform le paysage des mathmatiques o la notion de vrit, si ce nest de vracit, est videmment prgnante. La distinction du mathmaticien de Brno entre dmontrable et vraie est fondamentale. Une assertion mathmatique peut tre vraie sans tre dmontrable et tre fausse tout en tant dmontrable Une assertion est vraie sans tre dmontrable si vous ne pouvez pas exhiber un contre-exemple. Le thorme de Gdel montre, en effet, que quoique vous fassiez, quelque soit le choix de vos axiomes, vous npuiserez pas toutes les assertions arithmtiques . Les mathmatiques ont un corpus clairement dfini, indpendant du systme daxiomes. Cette ralit a un certain nombre de proprits, par exemple de rsister comme peut le faire la ralit qui nous entoure. Connes fait remarquer qu elle a la proprit dtre une source inpuisable dinformations . Limpossibilit dpuiser les diffrentes assertions vraies par la dmonstrabilit en donne lintuition. Une proposition vraie sera du type quels que soient les entiers a et b, nous avons P(a,b) : la vracit de cette proposition ncessitera une infinit de vrifications, et il ny a aucune raison quelle soit possible ou dmontrable dans le systme daxiome do nous sommes partis. Au contraire, une assertion du type il existe un entier tel que P(a ) ne peut tre vraie sans tre dmontrable puisque si elle est vraie elle exhibe un entier pour lequel P(a) est vrifi ! Un point plus puissant dans lapproche gdelienne rside dans le fait quun systme daxiomes non contradictoires fait surgir une assertion arithmtique qui est vraie, mais non dmontrable lintrieur du systme daxiomes de dpart De l, Pythagore est prt senvoler : les nombres contrlent aussi la vrit ! La mtaphysique a donc un travail essentiel de distinction faire pour resituer tous ces lments leur place. La notion de ralit dont parle Connes nest pas la ralit qui nous entoure et sur laquelle sexercent nos sens pour que lintelligence la classifie et en dgage des concepts. La ralit mathmatique est concerne par des objets qui existent cause de la prgnance de leur relations mutuelles. La mathmatique est la science des relations entre des structures. La gomtrie non

commutative dAlain Connes en est un merveilleux exemple : relation entre des oprateurs et une gomtrie dans un cadre analogique avec la gomtrie classique qui produit des oprateurs diffrentiels. Le jeu tant de faire le chemin inverse partir de certains oprateurs qui voluent dans des structures bien dfinies. La capacit infinie de recherche de lesprit humain dans le monde mathmatique est relie avec la nature mme de lintelligence humaine et avec rien dautre. Cette ralit ne fait quexprimer la capacit que nous avons de nous projeter dans labstraction. Il est noter que Descartes a t un des premiers, avec sa gomtrie cartsienne, se dtacher des sens dont il se mfiait pour proposer une gomtrie qui se dployait de manire abstraite, algbrique. Dans ce cadre, Descartes est bien loin de la pense chinoise. Franois Jullien fait observer : si le Discours de la Mthode commence par lloge du sens commun la chose du monde la mieux partage sans oublier la clart , la distinction , ces concepts sont totalement trangers la pense chinoise. Les Chinois nont pas de conjugaisons ni de verbe tre . Pas despoir de traduire le fameux cogito ergo sum ! Ils dtestent les distinctions intellectuelles cartsiennes, car sil existe des lettrs en Chine comme Wang Bi (3e sicle) ou des penseurs comme Wang Fuzhi (17e sicle), on ne peut trouver des intellectuels au sens occidental du terme. Les Apolloniens semblaient lemporter par une science du calcul dont la rigueur et la froide efficacit vacueraient toute vellit de donne extrieure la science. Et voil que Dionysos les a sduit en leur offrant ce qui leur manquait le plus : une spiritualit. La science du calcul vhicule de manire souterraine des donnes transcendantes : un finalisme,