Vous êtes sur la page 1sur 15

1

De l'enseignement de la gomtrie
rudolf bkouche IREM de Lille <rbkouche@wanadoo.fr>
Nicolas Rouche in memoriam

Introduction Toute science a deux objectifs, celui de la construction de l'intelligibilit du monde et celui de la rsolution des problmes. Loin de s'opposer, ces deux objectifs sont complmentaires, c'est pour rsoudre les problmes que l'on rencontre que l'on est conduit construire l'intelligibilit du monde, et c'est la construction de cette intelligibilit qui permet en retour de rsoudre ces problmes1. Cette complmentarit doit apparatre dans l'enseignement d'une science et ngliger l'un de ces objectifs revient mutiler cet enseignement. Si la construction de l'intelligibilit se traduit pas l'laboration d'un discours cohrent, la rduction de l'enseignement au seul discours de la science conduit ce que nous avons appel l'illusion langagire dont l'un des exemples emblmatiques reste celui de la rforme dite des mathmatiques modernes, mais la rduction de l'enseignement la seule rsolution des problmes conduit au dveloppement d'un activisme pdagogique qui rduit l'enseignement un ensemble d'activits disparates comme l'a montr la contre-rforme qui a succd la rforme des mathmatiques modernes et qui reste prsente comme le montrent les programmes actuels2. Au volontarisme de la rforme des annes soixante-dix s'appuyant sur la notion de structure, on a oppos des activits tout va, cet activisme pdagogique tant renforc par un usage irraisonn de l'informatique, celle-ci se rduisant un simple gadget. Cet activisme pdagogique s'est dvelopp au dtriment de toute structuration du savoir, occultant ainsi le caractre hypothtico-dductif des mathmatiques et s'appuyant sur une interprtation quelque peu simpliste de ce que l'on peut appeler le caractre exprimental des mathmatiques3. La gomtrie lmentaire est ne de deux grandes problmatiques, d'une part la problmatique de l'galit, d'autre part la problmatique de la forme. Ces problmatiques fondatrices ont t oublies avec la rforme des mathmatiques modernes. Si l'oubli de ces problmatiques avait une certaine cohrence lors de la rforme dans la mesure o celle-ci mettait en avant l'aspect structural des mathmatiques4, la contre-rforme, au nom d'une modernit mal comprise, n'a pas os revenir ces problmatiques, se rfugiant dans l'tude de quelques situations dites concrtes, lesquelles, selon la vulgate constructiviste, devraient permettre aux lves de reconstruire le savoir gomtrique. Comme nous l'avons dj dit, la fascination devant l'informatique ne pouvait que renforcer cette tendance.
Nous n'aborderons pas la question de savoir si le monde est intelligible ou non. La question est moins celle du monde que celle du rapport de l'homme au monde ; autant dire que l'intelligibilit du monde est essentiellement une affaire humaine, la possibilit de rsoudre des problmes en s'appuyant sur des constructions thoriques pouvant tre considre comme un critre de validit de ces constructions. 2 Rudolf Bkouche, "L'enseignement scientifique entre l'illusion langagire et l'activisme pdagogique" 3 Rudolf Bkouche, "Du caractre exprimental des mathmatiques ( propos des laboratoires de mathmatiques)" 4 Nous avons dit ailleurs en quoi cette volont de cohrence mettant en avant une progression purement logique au dtriment de toute progression pdagogique constituait une erreur. Cf. Rudolf Bkouche, "La place de la gomtrie dans l'enseignement des mathmatiques en France, de la rforme de 1902 la rforme des mathmatiques modernes"
1

C'est pourquoi nous proposons de revenir ces deux problmatiques mises en place dans les Elments d'Euclide en y ajoutant les trois principes mis en avant lors de la rforme de 1902, savoir, la fusion consistant ne plus sparer gomtrie plane et gomtrie dans l'espace, l'introduction explicite du mouvement et le caractre exprimental de la gomtrie5. Mais ct de cet aspect de la gomtrie lmentaire qui la relie aux sciences physiques, il faut ajouter le rle que joue la gomtrie comme cl d'entre dans la science contemporaine via ce que l'on peut appeler la gomtrisation, celle-ci apparaissant la fois comme un langage universel6 et comme un dveloppement de mtaphores conduisant ce que Jean Dieudonn a appel des transferts d'intuition7. Critique des programmes actuels Nous avons rappel dans l'introduction comment la contre-rforme qui a suivi la rforme des mathmatiques modernes a, au nom d'un prtendu retour au concret, conduit vider l'enseignement scientifique de tout caractre thorique. Le refus de tout caractre thorique a contribu non seulement occulter le caractre hypothtico-dductif de la gomtrie mais rduire ce que l'on peut appeler le caractre exprimental del gomtrie quelques manipulations dont on esprait qu'elles amneraient les lves redcouvrir la gomtrie conformment au slogan devenu classique on observe, on conjecture, on dmontre . Cela a conduit la fois un appauvrissement de l'enseignement et des exigences inutiles. Nous nous contenterons de donner deux exemples de cette inconsistance des programmes, le premier relevant d'un excs d'exigence sous prtexte de modernit, l'autre au contraire conduisant l'enseignement de la gomtrie la limite du faux. Mais qu'importe le faux si les lves ne s'en aperoivent pas !!! Aprs la rforme des mathmatiques modernes que l'on peut considrer comme une caricature de Hilbert, la contre-rforme peut se dfinir, en ce qui concerne la gomtrie, comme une caricature du Programme d'Erlangen de Felix Klein. On sait8, depuis le Programme d'Erlangen, que la gomtrie est l'tude de l'action d'un groupe de transformations oprant sur un ensemble et des proprits invariantes par cette action. Il fallait donc construire l'enseignement de la gomtrie autour de la notion de transformation, donc trouver des transformations convenables pour laborer un programme d'enseignement, de l vient la progression invente pas les programmes Chevnement de 1986 : symtrie axiale en sixime, symtrie centrale en cinquime, ensuite les translations et les rotations9. Cette progression prsente deux inconvnients, d'abord les transformations ainsi dfinies ne transforment pas les objets sur lesquels elles oprent10, ensuite elles sont, en ce qui concerne les translations et les rotations, le rsultat d'un mouvement, ce qui exige de distinguer mouvement et transformation, distinction qui ne va pas de soi et que l'on ne saurait exiger d'un lve de collge. Ainsi, au nom de la modernit et du concret runis, on introduit une notion difficile, et ce, pour viter les classiques cas d'galit des triangles renvoys dans les poubelles de l'histoire de la gomtrie. Il est vrai que les cas d'galit, sous le nom de cas d'isomtrie, ont t rintroduits en seconde, c'est--dire bien tard, alors qu'une progression cohrente et t de parler de cas d'galit des triangles au collge et d'aborder la question des relations entre mouvement et transformations au lyce devant des lves qui ont acquis une premire pratique gomtrique.
5 6

ibid. Nicolas Bourbaki, Histoire des Mathmatiques, p. 174 7 Jean Dieudonn, The universal domination of geometry 8 Cette expression devenue classique renvoie la question : qui est "on" ? 9 Les derniers programmes ont supprim translations et rotations, mais n'ont pas pour autant rsolu la question. 10 Dire que la longueur est un invariant est une tautologie et n'apprend rien.

Il faut signaler ici une incongruit des programmes, l'usage de l'expression "figures isomtriques" plutt que de parler de "figures gales", ce que l'on peut considrer comme un rsidu de la rforme des mathmatiques modernes11. Nous reviendrons plus loin sur cette incongruit. Le second exemple qui constitue une lacune dans l'enseignement vient de l'absence de l'nonc du postulat des parallles. Comment, dans ces conditions, peut-on dmontrer que la somme des angles d'un triangle vaut deux droits, comment peut-on dmontrer les proprits des angles inscrits et comment peut-on dmonter que les deux dfinitions du paralllogramme : 1- un paralllogramme est un quadrilatre dont les cts opposs sont parallles 2- un paralllogramme est un quadrilatre dont les diagonales se coupent en leur milieu. sont quivalentes ? C'est encore le postulat des parallles qui permet de montrer la proprit suivante (composition des paralllogrammes) : "Si ABCD est un paralllogramme et si CDEF est un paralllogramme, alors ABFE est un paralllogramme" proprit qui est la base de la notion de translation et du calcul vectoriel. On sait aussi que c'est le postulat des parallles qui permet de montrer le thorme de la droite des milieux et par consquent le thorme de Thals, tout au moins pour les rapports rationnels. En l'absence d'une thorie des nombres rels, on peut admettre, au collge et au lyce, que le thorme de Thals, dmontr pour les rapports rationnels, est encore vrai pour les rapports irrationnels, mais ce qui importe, dans l'enseignement de la gomtrie lmentaire, c'est le lien avec le postulat des parallles. Il faudrait, pour tre complet, parler de la similitude, du calcul des aires et de la gomtrie analytique. Passer sous silence le postulat des parallles revient ainsi fausser l'enseignement de la gomtrie lmentaire. Quelques principes pour l'enseignement de la gomtrie lmentaire Aprs ces ncessaires critiques, nous proposons d'noncer quelques principes d'enseignement de la gomtrie qui prciseront les deux grands problmatiques dont nous avons parles. Le premier principe s'appuie sur le caractre physique de la gomtrie lmentaire12. On peut considrer la gomtrie lmentaire comme l'tude des corps solides du point de vue de la grandeur et de la forme. Son premier objectif est donc de prciser les notions de grandeur et de forme et c'est le rle des deux grandes problmatiques rappeles ci-dessus. Le second principe est le caractre hypothtico-dductif de la gomtrie, c'est--dire la possibilit de montrer, par le seul raisonnement, les vrits gomtriques partir de certaines d'entre elles considres comme videntes que l'on appelle les axiomes. Nous renvoyons ce qu'crit Legendre au dbut de ses Elments de Gomtrie : "Axiome est une proprit vidente par elle-mme. Thorme est une vrit qui devient vidente au moyen d'un raisonnement appel dmonstration."13 Cette dfinition de l'axiomatique suppose d'abord l'existence d'objets gomtriques, ces objets tant dfinis partir des corps solides, ensuite l'nonc de vrits premires que l'on apprhende par leur caractre d'vidence. Dans ce cadre, la dmonstration a une triple fonction.
11 12

Dans le cadre de la thorie des ensembles, deux objets sont gaux s'ils sont identiques. Rudolf Bkouche, "La gomtrie lmentaire, une science physique ?" 13 Adrien-Marie Legendre, Elments de Gomtrie, p. 4

D'abord elle permet la dcouverte de nouvelles vrits par le seul usage d'un discours convenablement rgl que constitue une dmonstration. Ensuite le discours dmonstratif permet de comprendre pourquoi une proprit est vraie, ce que l'on peut exprimer de faon image sous la forme suivante : la dmonstration a sert comprendre. Ce dernier point fait apparatre un caractre essentiel des vrits ainsi obtenues, leur ncessit : non seulement la dmonstration assure que les proprits dmontres sont vraies, mais elle montre qu'elles ne peuvent pas ne pas tre vraies. Enfin ces deux aspects, connaissance discursive et ncessit, conduisent la question de l'universalit : la dmonstration faite sur une situation particulire, la figure sur laquelle on travaille, reste vraie pour une autre figure ds que l'on peut tenir le mme discours, c'est cette universalit lie au discours qui conduit la notion d'idalit mathmatique. Dire que l'on raisonne, non sur la figure dessine mais sur la figure idale qu'elle reprsente, n'a aucun sens pour l'apprenti gomtre ; c'est le raisonnement discursif qui conduit penser l'objet idal et redfinir la figure dessine comme reprsentant cet objet idal14. C'est donc le raisonnement qui conduit l'abstraction sans laquelle il n'est pas de science. Si on ne met pas l'accent sur la fonction de la dmonstration, cette dernire apparat comme un exercice de style propre aux mathmaticiens et l'on comprend que les lves s'en mfient et la refusent. Nous n'aborderons pas ici le point de vue formaliste dvelopp par Hilbert et ses successeurs ; les mthodes formalistes sont une rponse ce que l'on a appel la crise des fondements et ne prennent sens que pour qui a acquis une pratique mathmatique et qui peut ainsi comprendre les raisons qui ont conduit ces mthodes. Si les mthodes formalistes participent de la modernit mathmatique, mme si cette modernit ne se rduit pas aux seules mthodes formalistes, ces mthodes ne sauraient s'inscrire dans un premier enseignement des mathmatiques. Nous rappelons le dbut du "mode d'emploi" qui accompagnait les premires ditions des Elments de Mathmatiques de Bourbaki : " Le trait prend les mathmatiques leur dbut Nanmoins, le trait est destin plus particulirementdeslecteurspossdantaumoinsunebonneconnaissancedesmatires enseignesdanslapremireoulesdeuxpremiresannesdel'Universit." phrase trop souvent oublie par les promoteurs de la rforme des mathmatiques modernes Le rle d'un enseignement scientifique n'est pas de raconter la modernit scientifique, c'est-dire "la science qui se fait", il consiste, en s'appuyant sur "la science dj faite", de donner aux lves les moyens de comprendre la modernit scientifique15. La problmatique de l'galit "Geometry is a physical science" crit Clifford dans son ouvrage, the common sense of the exact sciences16. En disant que la gomtrie est une science physique, on rappelle que la gomtrie a pour objet l'tude des corps et particulirement de ceux qui ne changent pas de grandeur et de forme lorsqu'ils se meuvent, c'est--dire les corps solides.

On peut considrer que c'est le caractre de toute science que de construire, partir d'un ensemble de situations particulires des objets idaux dont les situations particulires deviennent des reprsentants. 15 L'opposition "science qui se fait" vs "science dj faite" est un lieu commun du discours des rformateurs des annes soixante du sicle dernier. 16 William K. Clifford, the commun sense of the exact sciences, p. 43
14

L'un des premiers problmes que pose la gomtrie est alors celui de prciser la notion de "mme forme et mme grandeur" en explicitant des rgles permettant d'affirmer que deux corps ont mme forme et mme grandeur. C'est l'objet du principe de l'galit par superposition tel que l'nonce Euclide dans ses Elments, principe que nous noncerons sous la forme suivante : "Deux objets que l'on peut superposer sont gaux." L'opration de superposition suppose le mouvement ; on voit ainsi le rle du mouvement dans la mise en place de la gomtrie17. Cependant l'nonc mme du principe de l'galit par superposition marque les limites d'application de ce principe. En effet, si l'on peut montrer l'galit de deux figures planes en les superposant (par exemple deux triangles ou deux quadrilatres), il est impossible de montrer l'galit de deux cubes en bois en les superposant. On voit ainsi apparatre la ncessit d'noncer des critres pour que deux corps soient superposables, c'est--dire des conditions qui assureront que deux objets sont superposables sans qu'il soit besoin de raliser matriellement l'opration. On peut voir dans l'explicitation de telles conditions le dbut de la gomtrie rationnelle. Parmi ces critres, les classiques cas d'galit des triangles. C'est en cela qu'ils ont leur place au dbut de l'enseignement de la gomtrie lmentaire. Les cas d'galit ont un double rle. D'une part, en liminant tout recours au mouvement, ils permettent la mise en place d'un discours dbarrass de tout empirisme. D'autre part, ils montrent que si la superposition de deux triangles impliquent six galits, galit des cts et galit des angles, il suffit de trois d'entre elles convenablement choisies pour assurer les trois autres galits et la superposition. Les critiques des promoteurs de la rforme des mathmatiques modernes l'encontre de la gomtrie lmentaire portaient sur le manque de rigueur des dmonstrations des cas d'galit des triangles, en particulier l'appel au mouvement. C'tait oublier que, si l'usage de la superposition intervient effectivement dans la dmonstration de la proposition 4 du livre I des Elments d'Euclide (le premier cas d'galit des triangles), c'est justement pour permettre de se passer ensuite de tout usage de la superposition. Par contre on peut reprocher cette dmonstration d'utiliser implicitement une rciproque du principe de superposition en ce qui concerne l'galit des segments et des angles. C'est pour viter ces difficults que Hilbert a nonc les axiomes de congruence qui remplacent le recours au mouvement18. Hilbert dfinit d'abord la relation de congruence entre segments ce qui le conduit noncer l'axiome : IV.1- Si l'on dsigne par A, B, deux points d'une droite a, et par A' un point de cette mme droite ou bien d'une autre droite a', l'on pourra toujours, sur la droite a', d'un ct donn du point A', trouver UN POINT ET UN SEUL B' tel que le segment AB soit congruent au segment A'B', ce que l'on crit : AB A'B' Tout segment est congruent lui-mme. Le segment AB est toujours congruent au segment BA.
Sur le rle du mouvement en gomtrie nous renvoyons l'ouvrage de Houl cit dans la bibliographie. David Hilbert, "Les principes fondamentaux de la gomtrie" (traduit par A. Laugel), Annales ENS, 3e srie, tome 17 (1900), p. 103-129
18 17

L'axiome IV.2 exprime que la relation de congruence est une relation d'quivalence. Hilbert dfini de mme la relation de congruence entre les angles. IV.6- Dans deux triangles ABC et A'B'C', si les congruences AB A'B' sont vrifies, les congruences ABC A'B'C' le seront galement. On peut alors dmontrer le premier cas d'galit des triangles. Si on veut conserver la caractre physique de la gomtrie lmentaire, on peut introduire les dplacements que l'on peut considrer comme les effets du mouvement. Nous nous appuyons pour cela sur la distinction explicite par Bricard : "On appelle dplacement toute opration qui fait passer un corps d'une position une autre. Un dplacement rsulte toujours, dans la pratique, d'un mouvement au cours duquel le corps occupe une srie continue de positions, depuis la position initiale la position finale Un dplacement donn peut tre ralis par une infinit de mouvements diffrents entre eux, soit par leurs dfinitions gomtriques, soit par leurs lois du temps.19 Cette distinction ne va pas de soi et ce peut tre l'un des objectifs du collge que d'amener les lves prendre conscience de cette distinction. On peut alors noncer les axiomes des dplacements20. On dfinit d'abord le dplacement d'une demi-droite sur une demi-droite de la faon suivante. A tout couple de demi-droites (Ox,O'x') on associe une application appele dplacement de la premire demi-droite sur la seconde qui envoie le point O sur le point O' et la demi-droite Ox dans la demi-droite O'x'. En particulier, au couple (Ox,Ox) on associe l'application identique. On peut alors noncer les axiomes dfinissant la composition et l'inverse, ainsi que des axiomes permettant de dfinir les dplacements d'une droite sur une autre. Aprs avoir dfini les dplacements de demi-droites, on dfinit les applications de drapeaux. Un drapeau (Ox,) est la donne d'une demi-droite Ox et d'un demi-plan bord par la droite (Ox). A tout couple de drapeaux ((Ox,), (O'x',')) on associe une application appele dplacement qui induit le dplacement de Ox sur O'x' et qui envoie le demi-plan dans le demiplan '. En particulier au couple ((Ox,), (Ox,)) on associe l'application identique. On peut alors noncer les axiomes dfinissant la composition et l'inverse, ainsi que les axiomes permettant de dfinir les dplacements d'un plan sur un plan. Les axiomes des dplacements tant noncs, on dfinit l'galit des segments et des angles. Deux segments AB et A'B' sont gaux si le dplacement qui envoie la demi-droite AB) sur la demi-droite A'B') envoie le point B sur le point B'. Deux angles xOy et x'O'y' sont gaux si le dplacement qui envoie le drapeau (Ox,) o est le demi-plan bord par la droite (Ox) et contenant la demi-droite Oy sur le drapeau (O'x',')
19 20

AC A'C'

BAC B'A'C'

et

ACB A'C'B'

Raoul Bricard, Cinmatique et mcanismes, p. 1 Cela sera prcis dans un ouvrage paratre crit en collaboration avec Boris Allard.

o ' est le demi-plan bord par la droite (O'x') et contenant la demi-droite O'y' envoie la demi-droite Oy sur la demi-droite O'y'. Les axiomes des dplacements impliquent les proprits de l'galit. On peut alors dvelopper la gomtrie lmentaire et aboutir aux groupes d'isomtries du plan et de l'espace. On peut aussi tudier les figures rgulires, figues invariantes par certains sousgroupes d'isomtries :polygones rguliers, polydres rguliers, pavages, cristaux. une question de terminologie Nous voulons revenir ici sur une question de terminologie, le terme "cas d'galit" nous paraissant plus pertinent que le terme "cas d'isomtrie". Le terme "isomtrie" suppose dfini la mesure des longueurs, or, non seulement les cas d'galit des triangles sont indpendants de toute notion de mesure, mais, si on se place d'un point de vue mtrologique, c'est la superposition qui permet de dfinir l'galit des segments et des angles et par consquent la mesure des longueurs et des angles. Le terme "galit" a disparu de l'enseignement de la gomtrie lmentaire avec la rforme des mathmatiques modernes, celle-ci s'appuyant sur le point de vue ensembliste. Du point de vue ensembliste, l'galit n'est autre que l'identit. Cette notion ensembliste d'galit est-elle pertinente en gomtrie lmentaire ? Rappelons que le point de vue ensembliste, loin d'tre lmentaire, ne prend sens qu'aprs une certaine pratique des mathmatiques et que, enseign trop tt, il peut constituer un obstacle l'enseignement des mathmatiques et particulirement l'enseignement de la gomtrie21. On pourrait, il est vrai, remplacer le terme "galit" de la gomtrie lmentaire par un terme plus adquat, soit celui de "superposabilit" soit celui de "congruence". Mais il ne semble pas utile de changer une terminologie classique lorsque son usage n'implique pas de difficults spcifiques. La polysmie du terme "galit", comme toute polysmie, n'empche pas de comprendre ce terme dans un contexte bien dfini. On peut par contre remarquer qu'un texte qui se veut monosmique est souvent plus difficile lire comme le montrent par exemple les Elments de Mathmatiques de Bourbaki. La problmatique de la forme On peut dire que deux figures sont semblables si elles ont mme forme ; on renvoie ainsi la notion intuitive de forme et la question se pose de prciser la notion de "mme forme". C'est l'objet de la thorie des figures semblables que l'on trouve au livre VI des Elments d'Euclide. "Les figures semblables sont celles qui ont les angles gaux chacun chacun, et dont les cts autour des angles gaux sont proportionnels."22 Cette dfinition met en jeu des relations entre longueurs (la proportionnalit) et des galit d'angles. Ici encore se pose la question de critres de similitude : dans le cas des triangles, ce sont les classiques cas de similitude. On peut alors montrer que, deux triangles ABC et A'B'C' tant donns, les assertions suivantes sont quivalentes : a) Les cts AB, BC, CA sont proportionnels aux cts A'B', B'C', C'A'. b) Les angles BAC, ACB, CBA sont respectivement gaux aux angles B'A'C', A'C'B', C'B'A'.
Une figure n'est pas un ensemble de points, elle est constitue de points, de lignes et de surfaces. Rappelons qu'au dbut du XXe sicle, on distinguait une droite et l'ensemble de ses points. 22 Les uvres d'Euclide, o.c. Livre VI, dfinition 1
21

On voit ici apparatre une quivalence entre des relations de proportionnalit et des galits d'angles, c'est un point fondamental de la thorie de la similitude. Notons que la dfinition de la similitude donne ci-dessus est purement relationnelle et ne fait pas appel la notion de transformation. On peut mettre cela en parallle avec la notion d'galit ; si cette dernire fait appel au mouvement via la superposition, elle n'utilise pas la notion de transformation et les cas d'galit font ressortir cet aspect relationnel. Une fois dfinie la similitude, la question se pose de la construction effective de triangles semblables non gaux, construction assure pas une transformation simple, l'homothtie. Celle-ci joue ainsi un rle essentiel dans la thorie des figures semblables. La mise en place de l'homothtie s'appuie sur le thorme des lignes proportionnelles (le thorme de Thals23) et ce thorme s'appuie sur le postulat des parallles. On peut ensuite dfinir les similitudes comme transformations en remarquant que les assertions suivantes sont quivalentes : a) la transformation f conserve l'alignement et le rapport de segments. b) la transformation f conserve l'alignement et les angles. On peut alors dfinir une similitude comme une transformation qui satisfait les proprits a et b et tudier les groupe des similitudes. Transformations et invariants Avec le Programme d'Erlangen, Felix Klein a systmatis les relations entre gomtrie, thorie des groupes et thorie des invariants. La relation entre transformations et invariants est ancienne et on peut en trouver l'une des premires formulations dans le Brouillon Project d'une atteinte aux vnemens des ren contresducneavecunplan de Desargues24. Notons que la notion d'invariant devenue aujourd'hui une notion fondamentale n'est devenue explicite que lorsque l'on a mis en vidence des invariants non triviaux. Dire que le mouvement conserve les longueurs est une banalit qui ne prend sa pleine signification que dans un contexte plus large ; plus intressant est de remarquer que la transformation de similitude conserve les rapports de longueurs et les angles. Mais la notion d'invariant prend son importance dans les transformations qui transforment, c'est--dire qui modifient la forme. Parmi les transformations qui transforment, la perspective a jou un rle important comme le montrent les travaux de Desargues et de ses disciples. C'est en remarquant que la perspective peut changer familles de droites parallles et familles de droites concourantes que Desargues a dfini un point l'infini comme le point commun une famille de droites parallles et considr un tel point comme un point ordinaire. Mais plus intressant est le fait qu'une projection transforme six points en involution en six points en involution25. Aujourd'hui, on dirait plutt qu'une projection conserve le birapport (le rapport anharmonique de Chasles)26 ; ainsi le birapport dfini comme rapport de rapports de longueurs, et par consquent dfini en termes mtriques, est ce que l'on appelle un invariant projectif. Il faut voir dans cette dcouverte des invariants mtriques projectifs27 un point essentiel de l'histoire de la gomtrie projective. C'est la dcouverte d'invariants l o on ne les attendait
La dnomination "thorme de Thals" est rcente (les annes quatre-vingts du XIXe sicle) Girard Desargues, "Brouillon project d'une atteinte aux vnemens des rencontres du cne avec un plan" (1639) in Ren Taton, L'Oeuvre mathmatique de G. Desargues, PUF, Paris 1959, rditions : Vrin, Paris 1981, Vrin-Institut Interdisciplinaire d'Etudes Epistmologiques, Paris-Lyon 1988. 25 Sur la notion d'involution, nous renvoyons au mmoire cit de Desargues. 26 Sur la notion de birapport nous renvoyons l'Aperu historique de Chasles, p. 302 27 Jean-Victor Poncelet, Trait des Proprits Projectives des Figures, volume 1, p. 5-12
24 23

pas qui a permis de donner toute sa richesse la notion. Plus tard les gomtres chercheront une dfinition purement projective de ces invariants mtriques projectifs, mais ce n'est pas ici le lieu de dvelopper ces travaux28. Disons seulement que l'tude des invariants projectifs conduit une premire approche de la gomtrie projective. C'est dans ce cadre que l'on peut aborder le Programme d'Erlangen de Klein dj cit et prciser le lien entre la gomtrie lmentaire (mtrique) et la gomtrie projective, une fois montr que les isomtries et les similitudes sont des transformations projectives particulires, ce qui permet un nouveau regard sur la notion d'invariant29. Enfin, pour tre complet, il faudrait parler des coniques dfinies comme projection de cercles, ceux-ci apparaissant alors comme des coniques particulires. Autre transformation qui change la forme, l'inversion. Ici encore on peut mettre en vidence des invariants simples, d'abord le cercle, ce qui demande de considrer la droite comme un cercle particulier, ensuite l'angle de deux courbes. Une fois l'inversion dfinie, on peut dfinir le groupe des transformations circulaires sur le plan augment d'un point ou sur la sphre, plan et sphre tant relis par la projection strographique ce qui conduit la gomtrie anallagmatique que l'on peut relier l'tude des nombres complexes. Nous terminerons ce paragraphe par deux remarques. Il n'est pas besoin de faire une thorie gnrale des groupes pour introduire la notion de groupe de transformations. On dmontre alors les proprits dont on a besoin in situ, quitte mettre l'accent sur les analogies de raisonnement qui permettent de dgager la notion gnrale de groupe lorsque cela sera ncessaire. Toute classification se dfinit dans un contexte. La gomtrie projective conduit distinguer les droites et les coniques, un cercle apparaissant comme une conique particulire. Par contre la gomtrie anallagmatique conduit placer droites et cercles dans une mme famille. La raison de cette distinction est lie au groupe structural de la gomtrie. Une question analogue se pose avec l'introduction des points l'infini. En gomtrie projective on ajoute un point l'infini la droite, une droite l'infini au plan, alors qu'en gomtrie anallagmatique on ajoute un point l'infini au plan. On peut comprendre ici l'apport du point de vue structural. Linarisation de la gomtrie La gomtrie lmentaire peut-tre dfinie, sur le plan structural, comme un chapitre de l'algbre linaire, et de faon prcise comme l'tude d'un espace affine euclidien de dimension 3 sur le corps des rels. La gomtrie lmentaire fait l'objet du paragraphe 10 du chapitre IX du Livre II des Elments de Mathmatiques de Bourbaki et on retrouve les grands rsultats de la gomtrie lmentaire dans les exercices qui suivent ce paragraphe30. On retrouve encore cette conception dans l'ouvrage de Jean Dieudonn, Algbre linaire et gomtrie lmentaire ou dans le beau livre de Michle Audin, Gomtrie, l'usage des tudiants prparant les concours d'enseignement. La question se pose alors de la relation entre cette conception structurale et la tradition gomtrique issue des Elments d'Euclide. Cette question est loin d'tre facile comme on peut le voir lorsque l'on demande des tudiants prparant les concours d'enseignement de comparer ces deux sommes de la gomtrie publies aux deux bouts du XXe sicle, les Leons de Gomtrie Elmentaire de Hadamard et l'ouvrage de Marcel Berger intitul Gomtrie. On y retrouve les mmes termes et les mmes thormes, mais les dfinitions des termes et les d
Nous renvoyons ici aux travaux de Von Staudt et aux articles de Fano-Carrus et de Schnflies-Tresse dans l'Encyclopdie des Sciences Mathmatiques. 29 On peut noter ici que le Programme d'Erlangen introduit un point de vue structural en gomtrie, point de vue indpendant du point de vue formaliste. 30 Nicolas Bourbaki, Formes sesquilinaires et formes quadratiques
28

10

monstrations des thormes sont diffrentes mme si on y retrouve les mmes figures. La question est moins de dfinir quelle est la "bonne" gomtrie enseigner que de comprendre le rapport entre ces deux ouvrages, en quoi ils se ressemblent et en quoi ils diffrent. Dans la prface de l'ouvrage Algbre linaire et gomtrie lmentaire cit ci-dessus, Dieudonn explique que l'algbre linaire est devenue la "voie royale" pour tudier l gomtrie lmentaire, mais la question est moins celle d'une voie royale qui s'est mise en place la fin du XIXe sicle que celle de comprendre en quoi l'algbre linaire constitue une voie royale, autrement dit de savoir transformer un problme de gomtrie un problme d'algbre linaire. Il nous faut pour cela revenir sur les deux grands moments de cette linarisation que sont la gomtrie analytique d'abord et le calcul vectoriel ensuite31. La gomtrie dite analytique peut tre dfinie comme une mise en calcul de la gomtrie lmentaire, c'est ainsi qu'elle apparat dans les textes fondateurs de Descartes et de Fermat. Si pour ces derniers, ce calcul porte sur les longueurs32, le dveloppement des mthodes analytiques sera marqu par la numrisation des coordonnes et conduira une opposition entre les mthodes analytiques et les mthodes dites synthtiques33. On peut lire cette opposition dans un article de Fano-Carrus publi dans l'Encyclopdie des Sciences Mathmatiques34 : "Nouspouvonstoutd'abordconcevoirlagomtriecommeunescienceautonome,nede considrationsd'espace.Ellesesertdenotionsfondamentales(point,lignedroite,etc.)et s'appuiesurunesriedepropositionsou postulatstirsdenotreperceptionmaissoumis ensuiteuneabstractionquiaaussipoureffetdeleurdonneruneformeplusprcise.Par tantdel,onarrivepardductiondesrsultatsabstraits,applicablesaumondephysique " alorsquelagomtrieanalytiqueestdfiniecommeunereformulationdenotionsnu mriques permettant d'tablir "une thorie de l'espace analytique qui s'identifie avec la gomtrie,sansquel'onsoitobligdefaireappell'examendesfiguresoudesnotionset oprationsgomtriques". Rappelons que la gomtrie analytique a t critique, par Leibniz d'abord qui prnait un calcul gomtrique35, puis par les gomtres projectifs au XIXe sicle. Nous pourrions citer cette phrase de Poinsot qui tudie "gomtriquement" des questions de mouvement dj tudies analytiquement par Euler et D'Alembert et qui crit au dbut de son article : "Nous voil donc conduits par le seul raisonnement une ide claire que les gomtres n'ontputirerdesformulesdel'analyse.C'estunnouvelexemplequimontrel'avantagede cettemthodesimpleetnaturelledeconsidrerleschosesenellesmmes,etsanslesper dredevuedanslecoursduraisonnement." C'est cependant la numrisation de la gomtrie qui a permis de mettre en vidence le lien avec les systmes d'quations linaires via deux types de problmes, d'une part la dtermination des intersections de droites et de plans, d'autre part la dtermination de l'quation d'une courbe satisfaisant des conditions donnes.
Il peut tre utile de rappeler le rle du postulat des parallles dans la mise en place de la gomtrie analytique et du calcul vectoriel. 32 L'algbrisation de la gomtrie propose par Descartes et Fermat est un calcul sur les grandeurs. 33 On peut considrer le terme "synthtique" comme une faon de s'opposer au terme "analytique". 34 Fano-Carrus, "Expos parallle du dveloppement de la gomtrie synthtique et de la gomtrie analytique pendant le XIXe sicle" 35 G.W. Leibniz, La caractristique gomtrique
31

11

Le calcul vectoriel qui s'est dvelopp au XIXe sicle apparat, par contre,0 comme la mise en place du calcul gomtrique espr par Leibniz. Dans son ouvrage sur l'histoire du calcul vectoriel, Crowe nonce trois grandes ides qui ont conduit au calcul vectoriel, le paralllogramme des forces, le calcul gomtrique de Leibniz et la reprsentation gomtrique des nombres complexes. Si les deux dernires ides participent de la mise en place d'un calcul portant directement sur les objets gomtriques (c'est ainsi que l'on peut comprendre la reprsentation gomtrique des nombres complexes, moins comme une reprsentation gomtrique d'objets numriques que comme un calcul portant sur les objets gomtriques eux-mmes36), la premire renvoie la signification physique, plus prcisment mcanique, du calcul vectoriel. Les vecteurs sont alors une faon de reprsenter des concepts mcaniques (les forces et les vitesses), un vecteur permettant de "mesurer" les grandeurs correspondantes de la mme faon que les nombres permettent de mesurer les grandeurs scalaires (les longueurs, les temps). On distingue ainsi les grandeurs scalaires, une telle grandeur tant dtermine, une fois choisie l'unit de mesure, par le nombre qui la mesure et les grandeurs orientes qui, pour tre dtermines, exigent des informations supplmentaires. On voit ainsi se dessiner une problmatique des grandeurs orientes qui s'inscrit autant dans la gomtrie que dans la mcanique et qui se propose la mise en place d'un calcul sur ces grandeurs, le calcul vectoriel. Le calcul vectoriel, en tant qu'il est un calcul sur les grandeurs orientes, se situe ainsi au carrefour de la gomtrie et de la mcanique et c'est un point qui doit apparatre dans l'enseignement. Il s'agit moins d'appliquer le calcul vectoriel la mcanique et plus gnralement la physique que de montrer comment s'tablissent des liens entre diverses disciplines. On peut alors noter la diffrence entre le calcul vectoriel qui s'inscrit dans un calcul portant sur des objets gomtriques ou mcanique spcifiques et l'algbre linaire, laquelle participe d'un calcul sur les signes, indpendamment de toute signification de ces signes. En ce sens le calcul vectoriel ne se rduit pas l'algbre linaire mme si, sur le plan formel, il peut n'apparatre que comme une partie d'icelle. On peut noter que le terme espace vectoriel n de la rencontre du calcul vectoriel et du calcul linaire est moins la rduction du calcul vectoriel l'algbre linaire qu'une heureuse mtaphore ouvrant vers de nouvelles manires de penser les situations linaires, d'autant plus heureuse qu'elle a permis un regard gomtrique sur d'autres domaines tels par exemple l'analyse mathmatique37 ou le calcul des probabilits. Il reste dire comment le calcul linaire et le calcul vectoriel se sont rencontrs ; nous nous contenterons, dans le cadre de cet article, de citer deux ouvrages, Calcolo Geometrico de Giuseppe Peano et Space, Time, Matter de Hermann Weyl, dans lequel on peut lire d'une part une dfinition gnrale des espaces vectoriels, appels "espaces linaires" par Peano, et d'autre part comment la gomtrie se construit dans ce contexte. Modernit de la gomtrie lmentaire Dans l'un de ses ouvrages le philosophe Leszek Kolakowski crivait : "Il est plus ais de suivre dans l'histoire les sauts accomplis dans les sciences empiriques et dans les humanits que de rpondre la toute simple question: comment se fait-il que Galile et Newton ont laiss sur le carreau d'un massacre pistmologique la physique aristotlicienne alors que les dmonstrations d'Euclide, elles, gardent toute leur validit?"38
C'est la recherche d'un tel calcul pour l'espace qui a conduit Hamilton inventer les quaternions. Il nous faut rappeler ici le rle qu'a jou l'analyse dans la gense de l'algbre linaire; cf. Jean Dieudonn, History of functionnal analysis. 38 Leszek Kolakowski, Horreur mtaphysique, p. 13
37 36

12

Cette question est loin d'tre anecdotique et ce fut l'un des arguments des promoteurs de la rforme des mathmatiques modernes que de s'appuyer sur le caractre obsolte de la physique aristotlicienne pour affirmer le caractre obsolte de la gomtrie d'Euclide. Pour aborder cette question nous reviendrons sur les objectifs de l'enseignement de la gomtrie. Nous avons dit ailleurs que le rle de l'enseignement scientifique est moins d'enseigner la modernit que d'en donner les cls39. Cette volont de modernit fut l'une des causes de l'chec de la rforme des mathmatiques modernes. La modernit scientifique est loin d'tre transparente et sa comprhension s'appuie sur la science antrieure. On est loin de l'opposition "science qui se fait vs science dj faite" qui a marqu l'idologie des promoteurs de la rforme des mathmatiques modernes, au contraire, c'est en s'appuyant sur ce que l'on sait que l'on peut apprhender des savoirs nouveaux. Mais il faut aussi rappeler que l'enseignement scientifique doit permettre celui qui le reoit de construire son propre rapport au monde et celui-ci ne relve pas de la seule modernit40, ainsi la gomtrie lmentaire dans la mesure o elle dfinit le rapport aux objets de l'espace est toujours actuelle la fois dans son contenu et dans ses mthodes, mme si au long de l'histoire contenus et mthodes se sont transforms. On pourrait ajouter que c'est via les deux problmatiques originelles que l'on peut comprendre ces transformations. Cela nous conduit dfinir trois objectifs de l'enseignement de la gomtrie lmentaire, d'abord l'tude des corps solides du point de vue de la grandeur et de la forme, tude qui constitue le socle de la connaissance gomtrique, ensuite l'tude des relations de la gomtrie lmentaire avec d'autres domaines de la connaissance, ainsi l'astronomie, la godsie ou la mcanique, enfin la gomtrisation, c'est--dire l'intervention de la gomtrie comme langage universel et comme mtaphore, dans divers domaines de la connaissance, soit l'intrieur des mathmatiques comme l'usage de la notion d'espace en analyse ou en calcul des probabilits, soit dans les divers domaines de la physique. Il faut alors remarquer que la gomtrisation ne peut tre comprise et ainsi fournir de nouvelles formes d'intuition que si on connat la gomtrie lmentaire. Sans cette connaissance, on ne peut apprhender ce que Dieudonn appelle la "domination universelle de la gomtrie" que comme un simple jeu de langage. Lorsque Bourbaki crit, dans le chapitre sur l'histoire de la gomtrie lmentaire : "Dpasse en tant que science autonome et vivante, la gomtrie classique s'est ainsi transfigure en un langage universel de la mathmatique contemporaine, d'une souplesse et d'une commodit incomparables."41 il oublie de dire qu'il y a plus qu'un langage au sens que ce langage est crateur d'intuition et que c'est cela qui fait sa richesse. Nous pourrions citer comme exemple l'article de Riemann "Sur les hypothses qui servent de fondement la gomtrie" que l'on peut lire comme un largissement de l'intuition spatiale, ou encore la vision gomtrique des espaces de fonctions de l'analyse fonctionnelle moderne. Mais ce n'est pas ici le lieu de dvelopper la gomtrisation, encore que certains aspects de cette gomtrisation puissent tre tudis ds le collge. Quelques remarques didactiques L'objectif de ce texte n'est pas d'crire un programme d'enseignement de la gomtrie pour l'enseignement secondaire mais d'expliciter quelques lments pour laborer un tel programme. Un tel programme doit reprendre les trois objectifs dfinis ci-dessus.
Rudolf Bkouche, "Quelques remarques propos de l'enseignement de la gomtrie" Lorsque nous parlons de modernit, nous prenons ce terme dans son sens chronologique, dbarrassant l'usage de ce terme de ses oripeaux idologiques. 41 Nicolas Bourbaki, Elments d'histoire des mathmatiques, p. 174
40 39

13

Comme nous l'avons dit, le premier objectif reste toujours actuel et ne saurait tre limin de l'enseignement. Le second objectif prolonge le premier. Les relations de la gomtrie lmentaire avec la mcanique, la godsie ou l'astronomie ne se rduisent pas l'application de la gomtrie ces domaines mais sont au cur de la gomtrie. Cela implique que ces relations, loin d'tre renvoyes un interdisciplinaire quelque peu magique, apparaissent dans le cours de gomtrie lui-mme. Rappelons que nombre de traits d'enseignement de la gomtrie lmentaire contiennent des chapitres sur la topographie et la godsie, ainsi les Leons de Gomtrie Elmentaire de Jacques Hadamard. Nous avons dj dit que le calcul vectoriel relve de la gomtrie et de la mcanique et cela doit apparatre la fois dans le cours de mathmatiques et dans le cours de physique. Il faut alors parler de grandeurs orientes, en particulier des forces, ce qui permet ensuite de relier l'tude des barycentres aux problmes d'quilibre. De mme qu'il n'est pas besoin de faire un expos gnral de thorie des groupes pour tudier quelques groupes de transformations gomtriques, il n'est pas besoin de s'appuyer sur un cours d'algbre linaire pour mettre en avant les aspects linaires de la gomtrie analytique ou du calcul vectoriel. Reste la question de la gomtrisation. Il n'est pas question dans le cadre de cet article de dvelopper la question de la gomtrisation dans sa gnralit. Nous nous bornerons rappeler quelques questions classiques que l'on peut aborder dans l'enseignement secondaire. Nous avons dj rappel que l'invention de la gomtrie analytique s'inscrivait la fois dans l'algbrisation de la gomtrie et dans la gomtrisation de la thorie des quations. C'est, un niveau relativement lmentaire, une premire approche de l'unit des mathmatiques. Second lieu d'intervention de la gomtrisation, la reprsentation graphique des fonctions, reprsentation qui permet une approche globale de la fonction. Ici il faut prciser que la gomtrisation ne se rduit pas interprter une courbe comme la reprsentation d'une fonction mais expliciter comment une fonction peut tre reprsente par une courbe, ce qui suppose que les lves aient construit " la main" des reprsentations graphiques de fonction42. Si on dfinit une fonction comme une rgle de calcul qui associe toute valeur de la variable dpendante la valeur de la variable dpendante, la reprsentation graphique permet une approche globale de la fonction tudie, la question est alors de comprendre le lien entre la dfinition calculatoire de la fonction et la courbe qui la reprsente ; cela exige deux dmarches complmentaires, lire les proprits de la fonction sur le dessin de la courbe reprsentative, construire la courbe reprsentative partir de la fonction. Nous n'avons repris ici que des exemples classiques. On peut citer quelques autres exemples plus sophistiqus qui mettent en valeur la charge intuitive de la gomtrisation. Nous nous contenterons de citer le calcul des probabilits. Si on introduit la notion de variable alatoire sur un espace de probabilit, on peut dfinir sur l'ensemble des variables alatoires une structure d'espace vectoriel, la notion de valeur moyenne comme forme linaire et les notions d'cart quadratique moyen et de covariance43, on peut alors considrer la covariance comme produit scalaire et relier la notion d'indpendance et l'orthogonalit. Conclusion

Le point de vue ensembliste n'est pas ncessaire pour dfinir la reprsentation graphique d'une fonction. On peut, au contraire, considrer que c'est la reprsentation graphique qui permet de comprendre le point de vue ensembliste, celui-ci tant apprhend via la gomtrisation. 43 Point n'est besoin d'un cours d'algbre linaire pralable pour dfinir ces notions.
42

14

Les remarques ci-dessus montre l'importance d'un regard scientifique sur les disciplines que l'on enseigne. Mais cela exige de se dbarrasser de l'idologie de la centralit de l'lve, que cette centralit s'exprime travers ce que l'on peut appeler les idologies savantes ou les idologies moralisantes44. Nous ne reviendrons pas sur les idologies moralisantes qui ont contribu, en mettant l'instruction au second rang, remettre en cause l'idal de dmocratisation de l'enseignement. Par contre nous reviendrons sur les idologies savantes qui, via les thories de l'apprentissage et la didactique, ont contribu substituer aux obstacles pistmologiques auxquels se heurte tout apprentissage ce que l'on peut appeler des obstacles didactiques qui renvoient moins aux difficults rencontres par les lves confronts aux savoirs qu'ils tudient qu'aux difficults rencontres par ceux qui esprent construire une thorie scientifique de l'apprentissage. On retrouve ici un problme essentiel des sciences de l'homme, celui de l'objectivation du phnomne humain. Si ce n'est pas ici le lieu de discuter de l'pistmologie des sciences de l'homme, rappelons que, en substituant la question des obstacles des contenus de savoir enseigns, les questions poses par les thories de l'apprentissage ou par la didactique, on prend le risque de passer ct des difficults rencontres par les lves pour fabriquer des artefacts qui peuvent s'opposer l'apprentissage. En attendant un article ultrieur sur le sujet, nous renvoyons un article ancien sur la transposition didactique45. Bibliographie Michelle AUDIN, Gomtrie, "De la licence l'agrgation", Belin, Paris 1999 Marcel BERGER, Gomtrie (5 volumes), CEDIC-Nathan, Paris 1977 Rudolf BKOUCHE, "L'enseignement scientifique entre l'illusion langagire et l'activisme pdagogique" Repres-IREM n9, octobre 1992, p. 5-12 Rudolf BKOUCHE, "La place de la gomtrie dans l'enseignement des mathmatiques en France, de la rforme de 1902 la rforme des mathmatiques modernes", in Les Sciences au Lyce, sous la direction de Bruno Belhoste, Hlne Gispert et Nicole Hulin, Vuibert, Paris 1996 Rudolf BKOUCHE, "Quelques remarques propos de l'enseignement de la gomtrie", Repres-IREM n26, janvier 1997, p. 49-71 Rudolf BKOUCHE, "De la transposition didactique", Didactiques n4, IREM de Lorraine Rudolf BKOUCHE, La gomtrie lmentaire, une science physique ?" in Enseigner la Gomtrie dans le Secondaire, Commission Inter-IREM Gomtrie (Lige 2003), IREM de Reims 2004 Rudolf BKOUCHE, "Du caractre exprimental des mathmatiques ( propos des laboratoires de mathmatiques)", Repres-IREM, n70, janvier 2008, p. 33-76 Nicolas BOURBAKI, Algbre, chapitre IX, "Formes sesquilinaires et formes quadratiques", Hermann, Paris Nicolas BOURBAKI, Elments d'Histoire des Mathmatiques, nouvelle dition augmente, Hermann, Paris 1974 Raoul BRICARD, Cinmatique et Mcanismes, cinquime dition, Collection Armand Colin, Armand Colin, Paris 1947 Michel CHASLES, Aperu historique sur l'origine et le dveloppement des mthodes en gomtrie (Bruxelles, 1837), rdition Jacques Gabay, Paris, 1989 William K. CLIFFORD, thecommonsenseoftheexactsciences,edited,andwithapreface, by Karl Pearson, newly edited, with an introduction, by James R. Newman, preface by BertrandRussell,DoverPublication,NewYork1955
44 45

Rudolf Bkouche, "L'enseignement scientifique entre l'illusion langagire et l'activisme pdagogique" Rudolf Bkouche, "De la transposition didactique"

15

Michael J. CROWE, A History of Vector Analysis (1967), Dover Publ. New York 1985 Robert DELTHEIL & Daniel CAIRE, Gomtrie et Complments (), Editions Jacques Gabay, Paris 1989 Jean DIEUDONNE, Algbre linaire et gomtrie lmentaire, "Enseignement des sciences", Hermann, Paris 1964 Jean DIEUDONNE, The universal domination of geometry, International Congress of Mathematical Education IV, Berkeley 1980 Jean DIEUDONNE, History of functionnal analysis, North-Holland Publications, Amsterdam 1981 EUCLIDE, Les uvres d'Euclide, traduites littralement par F. Peyrard 1819), nouveau tirageaugmentd'uneimportanteintroductionparJeanItard,Blanchard,Paris1993 G.FANO,S.CARRUS,"Exposparallledudveloppementdelagomtriesynthtiqueet delagomtrieanalytiquependantleXIXesicle"in Encyclopdie des Sciences mathmatiques pures et appliques, dition franaise rdige et publie d'aprs l'dition allemande sous la direction de Jules Molk, rdition Jacques Gabay, Paris 1991, tome III, premier volume, p. 185-259 Jacques HADAMARD, Leons de gomtrie lmentaire (2 volumes), Armand Colin, Paris 1898, plusieurs rditions David HILBERT, "Les principes fondamentaux de la gomtrie" (traduit pas A. Laugel), AnnalesENS,3esrie,tome17(1900),p.103129 JulesHOUL,Essai critique sur les principes fondamentaux de la gomtrie lmentaire, Gauthier-Villars, Paris 1867 FelixKLEIN, Le Programme d'Erlangen (considrations comparatives sur les recherches gomtriques modernes) (1872), traduction de M.H. Pad, prface de J. Dieudonn, postface du P. Franois Russo s.j., Collection "Discours de la Mthode", Gauthier-Villars, Paris 1974 Leszek KOLAKOWSKI, Horreur mtaphysique (traduit de l'anglais par Michel Barat), Payot, Paris 1989 Adrien-Marie LEGENDRE, Elments de Gomtrie, douzime dition, Firmin Didot, Paris 1823 G.W. LEIBNIZ, La caractristique gomtrique (1677-1685), Texte tabli, introduit et annot par Javier Echeverria, traduit, annot et postfac par Marc Parmentier, Collection "Mathesis", Vrin, Paris 1995 Giuseppe PEANO, Calcolo Geometrico (secondo l'Ausdehnunglehrer di H. Grassmann), Fratelli Bocca Editori, Torino 1888 Louis POINSOT, "Une nouvelle thorie de la rotation des corps" Journal de Mathmatiques pures et appliques, tome XVI, 1851, p. 9-72, 73-129, 289-336 Jean-Victor PONCELET, Trait des Proprits Projectives des Figures (2 tomes), deuxime dition, Gauthier-Villars, Paris 1824/1865-1866 Bernhart RIEMANN, "Sur les hypothses qui servent de fondement la gomtrie", traduction Jules Houl, in Oeuvres Mathmatiques, Blanchard, Paris 1968, rdition Gabay, Paris 1989 A. SCHNFLIES, A. TRESSE, "Gomtrie projective", in Encyclopdie des Sciences mathmatiques pures et appliques, dition franaise rdige et publie d'aprs l'dition allemande sous la direction de Jules Molk, rdition Jacques Gabay, Paris 1992, tome III, deuxime volume, p. 1-143 Ren TATON, L'uvre mathmatique de G. Desargues, PUF, Paris 1959, rditions : Vrin, Paris 1981, Vrin-Institut Interdisciplinaire d'Etudes Epistmologiques, Paris-Lyon 1988. Hermann WEYL, Space, Time, Matter (1918), translated from the German by Henry L. Brose, Dover 1952