Algèbre nouvelle

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page couverture de l'Opera Mathematica publié à Leyde en 1646 par Bonaventure et Abraham Elzevier.
Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre (homonymie).

L’algèbre nouvelle, logistique ou analyse spécieuse, est un projet de formalisation de l’écriture algébrique réalisé par François Viète et par ses successeurs. L'acte fondateur en est la parution chez Jamet Mettayer (en 1591) de l'artem Analyticem Isagoge. Son apparition conduit, fin XVIe - début XVIIe siècle, à l'abandon progressif de l'algèbre rhétorique. Ce formalisme a évolué selon les rédacteurs, notamment sous l'impulsion d'Anderson, de Vaulezard, de James Hume de Godscroft et de Pierre Hérigone. Lorsqu'en 1637, René Descartes illustre sa méthode par un traité de géométrie, le philosophe achève cette révolution1. En supprimant les contraintes d'homogénéité introduites par Viète2, il fournit à l'algèbre sa forme littérale actuelle (ou peu s'en faut).

L'algèbre avant l'Isagogemodifier | modifier le code

Jusqu'à 1591 la formalisation du langage algébrique s'est limitée à l'introduction d'une ou deux lettres3, désignant une ou deux quantités inconnues. On trouve cette innovation fondamentale dans Jordan Nemorarius4 à la frontière du XIIe - XIIIe siècle, mais cette symbolisation, déjà connue des Grecs5,6 ne progresse pas jusqu'à Jacques Peletier du Mans, Jean Borrel et Guillaume Gosselin. Cette notation, qui n'est pas utilisée de façon suivie par les mathématiciens médiévaux disparaît même à l'aube de la Renaissance, où l'on use davantage d'abréviations. Des premières traductions de Johannes Hispalensis7 jusqu'à Nicolas Chuquet ou Regiomontanus, on ne peut pas vraiment parler d'algèbre littérale. Comme le note F.Russo3 :

« La symbolisation des quantités indéterminées se rencontre déjà chez les Grecs ; également au Moyen Age, notamment chez Léonard de Pise et Jordanus Nemorarius ; mais ces symboles ne sont pas vraiment engagés dans une « technique opératoire ». Ils demeurent comme à l'état statique. Les symboles de quantités indéterminées ne se rencontrent pas avant Viète chez les algébristes du XVIe siècle. Celui-ci, le premier, renoue avec la tradition antique et médiévale, mais en la conjuguant avec une technique opératoire qui va lui donner toute sa fécondité. »

Autographe de Nicolas Chuquet

Les mathématiciens du XVIe siècle éprouvent d'ailleurs les pires difficultés à manier formellement des équations polynomiales ; la même lettre sert parfois à désigner en même temps l’inconnue et la racine carrée, comme chez Peletier (en 1554), Jean Borrel (en 1559) et Gosselin (en 1577). L'arithmétique demeure rhétorique8 et il est d'usage de justifier géométriquement les résolutions de problèmes algébriques9. Les efforts de l'école allemande portant davantage sur la structuration des opérations que sur leur formalisation, la mise en place de la notation symbolique s'effectue de façon dispersée.

L'enseignement de Pierre de La Ramée et les résolutions de systèmes numériques exposés par ses élèves10 vont cependant préparer une rupture radicale. Pierre de La Ramée, dit Ramus, a restauré la place des mathématiques dans l'université11. Logicien, lettré hellénisant, latinisant et hébraïsant, il s'est opposé à la pensée d'Aristote et a construit son propre système de logique binaire, où l'homogénéité joue un rôle fondamental. Ses « élèves », Guillaume Gosselin et Jacques Peletier du Mans ont introduit une première notation formelle pour les inconnues des systèmes numériques de deux équations linéaires. Pour autant, leur algèbre demeure tout au plus syncopée.

En Italie, Francesco Maurolico, maître de Federico Commandino et de Clavius publie en 1575, année de sa mort, quelques propositions faisant intervenir des lettres par leur produit, noté "A in B" et dénommé "C plano" en respectant l'homogénéité des formules. L'influence de ses ouvrages sur Viète demeure inconnue12, il convient néanmoins de noter la similitude des idées de Maurolico (alias Marule) et de ses préoccupations, géométriques et cosmographiques, avec celles de Viète. Pour autant, l'écriture du père Francesco de Messine demeure marginale dans son œuvre, et dépourvue de théorisation.

Dans ce contexte, la publication de l'Isagoge par François Viète inaugure le début d'une nouvelle ère et annonce la formalisation algébrique contemporaine13.

L'acte de naissance de l'algèbremodifier | modifier le code

L'Isagoge peut également se lire comme l'annonce d'un projet global14,15 ; il s'offre d'emblée, en termes modernes, comme une axiomatique des calculs littéraux et une méthode pour bien inventer des mathématiques. En cela aussi l'algèbre nouvelle est un apport fondamental à la construction de l'algèbre littérale actuelle, comme l'illustre B. Lefebvre dès 189016 :

« Cette Algèbre numérique, où l'inconnue est seule désignée par une lettre ou par un mot (coss, res, radix, corn) et où les connues sont représentées par des nombres, a persisté à travers les âges jusqu'à l'époque de Viète. Cependant, longtemps avant Viète et même de tout temps17, on a vu apparaître l'emploi des lettres non seulement pour représenter l'inconnue d'un problème, mais même pour désigner dans la suite d'un raisonnement des quantités ou des objets soit déterminés soit indéterminés. Aristote, Euclide, Archimède, Pappus raisonnent souvent sur des lettres ; Jean de Séville, Léonard de Pise quelquefois ; Jordanus de Saxe fréquemment, et d'autres encore, tels que Pacioli, Stifel, Regiomontanus, Peletier, Butéon, les uns plus, les autres moins, énoncent et démontrent des théorèmes de Mathématiques sur des lettres, qui expriment des quantités déterminées ou indéterminées. N'est-ce point déjà de l'Algèbre littérale ? - Non. Mais soumettre au calcul ces lettres, ces quantités littérales; figurer sur ces lettres des calculs virtuels qu'on ne peut exécuter que sur des nombres; effectuer des transformations d'expressions algébriques; résoudre des équations à coefficients littéraux; en un mot entreprendre le calcul des symboles, c'est là l'objet de l'algèbre littérale ou de la sciences des formules. »

Publiant ces travaux à ses frais13 et de façon parfois confidentielle18, Viète eut quelques élèves, qui complétèrent ses publications et utilisèrent ses méthodes de raisonnement et ses notations. On en trouve la liste ci-après. Parmi les plus célèbres, on connaît Nathanael Tarporley, Jacques Aleaume, Marin Ghetaldi, Jean de Beaugrand et Alexander Anderson. Par la suite, Antoine Vasset, Le sieur de Vaulezard, James Hume de Godscroft, Noël Duret l'éditèrent et se servirent de son langage. Enfin on retrouve ses notations chez Adrien Romain, Thomas Harriot, Albert Girard, Pierre de Fermat, Blaise Pascal, Frans van Schooten, Christian Huygens et Isaac Newton.

Il faut noter toutefois que la forme littérale proposée par Viète n'est pas vraiment la nôtre : Chez Viète, seules les solutions positives sont considérées19 et de façon plus profonde, il ne construit pas une algèbre de polynôme à n indéterminées, mais une Algèbre graduée, collection de polynômes homogènes20 dont les indéterminées désignent des longueurs, des surfaces, des volumes, des hypervolumes.

Exemple d'écriture de François Viète

\frac{A \text{ plano}}{B} \text{ subducere } \frac{Z \text{ quadratum}}{G}

residua erit

\frac {A \text{ planum in }G = Z \text{ quadrato in }B}{B \text{ in } G}

Néanmoins, par cette voie détournée, Viète parvient à donner la première symbolisation effective des équations algébriques. On doit ajouter d'autre part, qu'il a particulièrement conscience d'opérer une rupture : dans sa dédicace de l'Isagoge à Catherine de Parthenay il affirme en effet21

« Toute chose nouvelle se présente ordinairement à son origine rude et informe, pour être polie et perfectionnée dans les siècles suivants. L'art que je produis aujourd'hui est un art nouveau, ou du moins tellement dégradé par le temps, tellement sali et souillé par les barbares, que j'ai cru nécessaire de lui donner une forme entièrement neuve, et après l'avoir débarrassé de toutes ses propositions erronées, afin qu'elle ne retînt aucune souillure, et qu'elle ne sentît la vétusté, imaginer et produire des mots nouveaux auxquels les oreilles étant jusqu'à présent peu habituées, il sera difficile que plusieurs personnes n'en soient pas dès le seuil même épouvantées et offensées »

Chronologie des publicationsmodifier | modifier le code

On peut dater ainsi les différentes étapes de ce processus22 :

En 1591 : la description du programme dans In artem Analyticem Isagoge.

En 1591 : les Zeteticorum libri quinque. Tours, Mettayer, 24 folio, qui forment les cinq livres des Zététiques. Il s'agit d'une série de problèmes diophantiens, résolus par la méthode développée dans l'Isagoge.

Entre 1591 et 1593  : deux exégétiques géométriques  : Effectionum Geometricarum Canonica recensio qui fait le lien entre des expressions et équations algébriques du second degré et certains problèmes géométriques et un exemple d’utilisation de l'algèbre nouvelle  : Variorum de rebus Mathematicis responsorum, Libri septem (Huitième Livre des réponses variées) Tours, Mettayer, 1593, 49 fol, à propos des défis de Joseph Juste Scaliger, dans lequel il revient sur les problèmes de la trisection de l'angle.

En 1600 : une exégétique numérique De numerosâ potestatum ad Exegesim resolutione, publiée par Marin Ghetaldi.

En 1600 : des exemples d’utilisation de la nouvelle algèbre de Viète dans Francisci Vietae Apollonius Gallus seu Apollonii Pergaei περι επαιρων Geometri.

Telles sont les œuvres recensées du vivant de Viète. Elles se poursuivent par la publication de ses élèves :

En 1600 : Confutatio problematis ab Henrico Monantholio ... proposiiti. Quo conatus est demonstrare octavam partem diametri circuli aequalem esse lateri polygoni aequilateri & aequianguli eidem circulo inscripti, cuius perimeter ad diametrum rationem habet triplam sesquioctavam... à Paris, chez David le Clerc, par Jacques Aleaume.

En 1607 : une exégétique géométrique  : Apollonius Gallus, publiée par Marin Ghetaldi.

En 1612 : Supplementum Apollonii Galli de Marin Ghetaldi. En 1615 : deux traités de Logistique spécieuse : De recognitione Æquationum et De Emendatione Æquationum Tractatus Secundus, publiés par Alexander Anderson qui, dit-il, eut beaucoup à faire pour les mettre en état d'être publiés, des passages manquant entièrement, d'autres étant simplement indiqués et le papier partout sali et déchiré.

Le même donne des exemples d’utilisation de la nouvelle algèbre dans Ad Angularium Sectionum Analyticem Theoremata, qui développe la théorie des équations.

En 1624 : une Zététique ou logistique spécieuse, Ad Logisticem Speciosam, réédité en 1631 et publiée les deux fois par Jean de Beaugrand.

En 1629, Albert Girard publie sa propre algèbre nouvelle.

Ce mouvement d'édition des œuvres de Viète et de commentaires qui s'approprient les notations de façon de plus en plus personnelle, se poursuivra au travers des traductions d'Antoine Vasset et de Sieur de Vaulezard vers 1630, puis en 1631, par une algèbre facile présentée par James Hume de Godscroft, mathématicien d'origine écossaise ; puis dans son Apollonii Pergaei tactionum geometria, à Francisco Vieta restituta.

En 1634 la diffusion de l'algèbre spécieuse ou spéculative prend son essor au travers du Cursus Mathematicus de Pierre Hérigone, qui accomplit dans le tome V de son cours une première vulgarisation de l'œuvre de Viète.

Quoiqu'en 1637, avec la publication de sa "Géométrie", René Descartes conteste ouvertement les contraintes d'homogénéité et de vérification (géométrique ou numérique) portées par l'algèbre nouvelle, celle-ci connaît encore plusieurs décennies d'engouement. Son édition se poursuit en 1644, par l'algèbre de Viète de Noël Duret23 ; enfin, par l'édition complète des œuvres de Viète (Harmonicum Céleste excepté), en 1646, par Frans Van Schooten, professeur à l'université de Leyde (presses des Elzévirs), aidé dans son travail par Jacques Golius et par le Père Mersenne.

On se limite ici aux seules éditions qu'on peut attribuer aux élèves et aux héritiers directs. D'autres ouvrages étant publiés dans cette écriture, notamment en Italie, où elle perdura près d'un siècle chez certains auteurs.

L'Isagogemodifier | modifier le code

François Viète.

Son nom exact est In artem analyticem Isagoge (1591) ; il est le programme déclaré de ce vaste projet axiomatique.

L'ouvrage, de 18 pages, disponible sur Gallica24, est écrit en latin par François Viète. Il s'annonce comme le premier d'une série divisée en dix parties :

  • In artem Analyticem Isagoge
  • Ad Logiticem speciosam Nota priores
  • Zeteticorum libri quinque
  • De numerosa potestatum ad exegesim resolution
  • De recognitione Aequationum
  • Ad logiticem speciosam nota posteriores
  • Effectionum geometricarum Canonica recensio
  • Supplementum Geometria
  • Analytica angularium sectionum in tres partes
  • Varorium de rebus Mathematicis responsorum

Il fournit à lui seul une approche nouvelle de l'écriture algébrique et s'ouvre sur la fameuse dédicace à la princesse mélusinide Catherine de Parthenay dont on trouvera une traduction par Frédéric Ritter25.

chapitre I : Présentationmodifier | modifier le code

Dans une première partie, Viète donne les définitions de son analyse spécieuse. Celle-ci se décompose dans un mouvement ternaire : Zététique, Poristique, Exégétique. Elle a pour but de fournir la Doctrine pour bien inventer en Mathématiques.

  • La Zététique est la mise en équation du problème et la manipulation de cette équation pour la mettre sous une forme canonique qui donne lieu à une interprétation en termes de proportions.
  • La Poristique est l'examen de la vérité des propositions au travers des théorèmes ordinaires.
  • L'Exégétique, est la détermination, Vasset dira l'exhibition, des solutions, numériques ou géométriques, obtenues à partir des propositions générales de la poristique.

Il s'agit de la mise en place, concomitante, d'une axiomatique de calculs sur les grandeurs (connues et inconnues) et d'un programme, censé fournir des règles euristiques, qui impose trois étapes à la résolution d'un problème algébrique ou géométrique : la Formalisation, la Résolution générale, la Résolution particulière.

Viète y ajoute que, contrairement aux anciens analystes, sa méthode fait agir la résolution sur des symboles (non iam in numeris sed sub specie), ce qui en est un des apports majeurs. Il prédit en outre, qu'après lui, la formation à la Zététique se fera par l'analyse des symboles et non par celle des chiffres.

chapitre II : De Symbolis aequalitum et proportionummodifier | modifier le code

Viète continue, dans cette seconde partie, à décrire les symboles employés dans les égalités et les proportions ; il donne des règles axiomatiques :

  • De 1 à 6 sur les propriétés de l'égalité :

La transitivité de l'égalité, sa conservation par somme, soustraction, produit, et division,

  • de 7 à 11 sur les propriétés des lois sur les fractions.
  • de 15 et 16 sur l'égalité de fractions.

chapitre III : De lege homogeneorum...modifier | modifier le code

Viète poursuit ensuite en donnant les lois d'homogénéité ; distinguant ainsi les symboles selon leur puissances, 1 étant le côté (ou racine), 2 le carré, 3 le cube, etc. Cela exige que les facteurs de ces puissances soient d'homogénéité complémentaire, qu'il note

1. Longueur, 2 Plane, 3 Solide, puis 4 Plane/Plane, 5 Plane/Solide, 6 Solide/Solide, etc comme s'il avait l'intuition qu'une géométrie puisse se déployer au-delà de l'ordinaire dimension 3.

chapitre IV : De praeceptis logistices speciosaemodifier | modifier le code

Viète fournit dans ce quatrième chapitre les préceptes de la logique spécieuse, c'est-à-dire les axiomes d'addition, de produit, etc, de symboles désignant des grandeurs de natures comparables.

Dans un premier temps, son attention se porte sur l'addition des grandeurs de même ordre, leur soustraction, en donnant des règles comme A-(B+D)=A-B-D ou A-(B-D)=A-B+D

Puis, dans un second temps il la porte sur la dénomination des produits de quantités homogènes, sur la dénomination des quotients. Il note alors

\frac{A \text{ plano}}{B} \text{ subducere } \frac{Z \text{ quadratum}}{G} \text{ residua erit } \frac {A \text{ planum in }G = Z \text{ quadrato in }B}{B \text{ in } G}

ce que l'on note aujourd'hui \frac{A }{B} - \frac {Z }{G} =  \frac {A G - Z  B}{B  G} sans s'attacher à marquer l'homogénéité des facteurs.

chapitre V : Des lois de la Zététiquemodifier | modifier le code

Page d'aide sur les redirections Pour la définition de la Zététique dans son sens actuel, voir Zététique.

Dans ce chapitre se trouve renfermés les fondements de la formulation des équations et particulièrement dans le point 5 de ce chapitre, l'idée qu'il convient de réserver certaines lettres aux quantités connues (datas) et d'autres aux quantités inconnues (incertitus), Viète désignant, dans une première version, les premières par des voyelles et les secondes par des consonnes.

Suivent alors quelques propositions.

L'ouvrage se termine sur deux courts chapitres qui décrivent comment en pratique, il convient de mener l'analyse du problème, sa résolution et sa vérification géométrique.

chapitre VI : Des théorèmes de l'examen poristiquemodifier | modifier le code

Viète développe l'idée que, une fois la modélisation achevée par l'art de la zététique, le mathématicien produit ses théorèmes selon son invention et dans les règles de la syntaxe, comme cela a été établi depuis l'antiquité avec Apollonius, Théon et Archimède.

chapitre VII : De la Rhétique ou exégétiquemodifier | modifier le code

Page d'aide sur les redirections Pour la définition de l'Exégétique dans son sens courant, voir Exégétique.

Divisant l'exégétique en deux parts, une numéreuse et une géométrique, Viète explicite dans ce chapitre la nécessité de transformer la 'formule' générale obtenue à la fin de l'examen poristique en un résultat chiffré ou une construction géométrique. Le mathématicien doit, selon les cas, se faire arithméticien, en montrant qu'il sait extraire les racines et calculer leurs affectations ou géomètre et établir par une figure le résultat vrai26. Il précise d'ailleurs que le résultat obtenu sur les lettres est également vrai, mais d'une vérité d'une autre nature qu'il ne précise pas.

chapitre VIII : Épiloguemodifier | modifier le code

Dans cette dernière partie, Viète définit encore quelques notations, et résume les vingt-neuf étapes du raisonnement ; il y définit notamment les racines d'ordre 1 et 2 (en fait carrée et cubique dans la nomenclature actuelle). À la fin de ce chapitre il annonce que, par cette méthode, on pourra résoudre le problème de tous les problèmes, à savoir : ne laisser aucune question irrésolue ou Non nullum probeblum solvere13

Variantes de 1631modifier | modifier le code

Le manuscrit publié par Vasset contient en place de la définition de la poristique et de l'exégétique, quelques résultats sur le développement du binôme (jusqu'au degré 6) et des théorèmes généraux de poristique dont la façon d'insérer tant de moyennes proportionnelles qu'on voudra entre deux longueurs.

Ce qui signifie que la suite A^6,A^5B,A^4B^2,A^3B^3,A^2B^4,AB^5,B^6 est géométrique.

Traduisant Viète, Vasset écrit :

A -B cubus cubus aequabitur A cubo-cubus - 6 A quadrato-cubus in B +15 A quad.quad. i n B quad. -20 A cubus in B cubum + 15A quadratum in B quad.-quad- 6 A B quad.-cub. + B cubus-cubus

en place de (A-B)^6=A^6-6A^5B+15A^4B^2-20A^3b^3+15A^2B^4-6AB^5+B^6.

Il donne ensuite la règle de formation des coefficients binomiaux (déjà connue de Tartaglia et de Stiffel), notant que pour former les coefficients du développement, il suffit d'additionner, dans le développement de la puissance précédente, le premier et le second coefficient, le second et le troisième, etc. Ce qui donne en pratique le triangle de Pascal.

La traduction de Ritter (1867)modifier | modifier le code

Ingénieur des ponts et chaussées en poste à Fontenay le Comte, Frédéric Ritter a passé sa vie à étudier l'œuvre de Viète. Il a écrit une biographie et une traduction de son œuvre qui demeurent largement inexploitées. En 1868, le comte Baldassare Boncompagni publie dans son bulletin27 les 50 premières pages extraites de cet ouvrage qui ne compte pas moins de 9 livres. Ritter y livre sa traduction de l'algèbre nouvelle de Viète telle que la publie Frans Van Schooten en 1646. Les variantes sont importantes et, quoique le plan initial et celui de Vasset soient respectés, cette traduction jette un regard neuf sur le projet des éditeurs de Viète.

De plus, Ritter et Boncompagni publient dans ce bulletin la traduction des Notae priores, -première série des formules de l'algèbre spécieuse- véritable introduction aux livres des Zététiques. C'est cet ouvrage que nous détaillons ici.

Zététique, Poristique et Exégétiquemodifier | modifier le code

Comme le suggère Maximilien Marie dans son cours à polytechnique28:

« Il nous reste à présenter l'analyse des principaux de ses ouvrages, qui sont, dans l'ordre où les a placés Schooten : In artem Analyticen Isagoge ; Ad Logisticen speciosam notœ priores; Zeteticorum libri quinque ; De Recognitione œquatiomis; De Emendatione œquationum ; De numerosa potestatiim purarum Resolutione ; Effectionum geometricarum canonica Recensio; Supplementum Geometriœ ; et le Pseudo Mesolabum et alla quœdam adjuncta Capitula: »

Ces livres sont dans l'ordre chronologique d'impression : les cinq livres de la Zététique, puis Effectionum Geometricarum Canonica recensio, Supplementum geometriae, Variorum de Rebus Mathematicis Responsorum - Liber VIII, De Numerosa Potestatum ad Exegesim resolutione et enfinn à titre posthume : De Recognitione œquationum et De Emendatione œquationum.

Les cinq livres de la Zététique.modifier | modifier le code

Dans la foulée de l'Isagoge, Viète publie le Zeteticorum libri quinque, qui complète et enrichit l'algèbre nouvelle. Zététique vient du grec zêtêin : chercher à pénétrer la raison des choses29.

Cet ouvrage est composée de cinq livres renfermant dix problèmes de recherche de quantités dont on connaît la somme ou la différence et le quotient ou le produit, des équations de degré 2 et 3 et des partitions de nombres en carrés. Il y offre un exemple de la logistique symbolique et termine avec un problème de Diophante.

Ces cinq livres développent la méthode proposée dans l’Isagoge.

L'algèbre nouvelle y est présenté comme un nouveau langage pour formaliser le calcul mais aussi comme l’instrument permettant de poser et de résoudre de nouveaux problèmes. Ces livres sont un banc d’essai, où Viète traite des questions soulevées par Diophante à la façon des anciens mais aussi, particulièrement dans le livre III, des questions nouvelles, sans équivalents chez Diophante30.

On y trouve entre autres, le joli problème suivant :

Dato adgregato extremarum, et adgregato mediarum in serie quatuor continue roportionalium, invenire continue proportionales.

Et quelques questions d'arithmétique résolues à l'aide de triangles rectangles rappelant par leurs longueurs les parties réelles et imaginaires du produit de 2 nombres complexes. On donne ci dessous un résumé des questions exposées dans quelques uns de ces livres ; on les donne traduits en langage moderne d'après l'original et les traductions de Vaulezard, celles de Frédéric Ritter dans ses notes31,32.. et l'exposé qu'en fait Jean Grisard dans sa thèse de 196833.

La nouveauté de ce procédé fait écrire à Grisard dans sa thèse :

« Que dire en conclusion qui n'ait été dit sur les Zététiques ? Ils sont peut-être un des ouvrages les plus importants de l'histoire des mathématiques. En effet, marquent un tournant, ils constituent une période charnière entre les mathématiques classiques, au XVIe siècle, héritées par un canal ou un autre, des anciens, et les mathématiques de type moderne (lesquelles sont elles-mêmes en train de devenir classiques, aujourd'hui34. »

L'Exégétique géométrique, le Canonmodifier | modifier le code

En 1593, dans Effectionum Geometricarum Canonica recensio ou revue canonique des constructions géométriques, Viète commence par démontrer les relations entre les constructions géométriques et les équations algébriques. Son objet est la résolution graphique des équations du second degré ; on y trouve également les solutions de problèmes de géométrie du second degré, traités algébriquement.

La poristique, Le Supplémentummodifier | modifier le code

En 1593, dans le Supplementum geometriae, Viète donne une caractérisation plus complète de la poristique. On y trouve : la trisection de l'angle ; la construction de l'heptagone régulier ; la résolution des équations cubiques ou quadrato-quadratiques et leur équivalence aux problèmes de trisection angulaire.

En 1592-1593, dans Variorum de Rebus Mathematicis Responsorum, Liber VIII, Viète donne une réponse aux problèmes soulevés par Scaliger. Il y traite à nouveau des problèmes de duplication du cube et de trisection de l'angle. Ce qu'il appelle un problème irrationnel.

L'exégétique numérique, le De Numerosamodifier | modifier le code

En 1600, dans De Numerosa Potestatum ad Exegesim resolutione, Viète, aidé par Marin Ghetaldi, se fixe pour but initial de résoudre des équations de degrés quelconques à l'aide de radicaux. Cette croyance sera déçue définitivement par Niels Abel en 1828. Il donne en compensation une méthode d'approximation des racines d'une équation. Cette méthode influencera Newton et la règle de Newton-Raphson lui doit beaucoup. Joseph Raphson l'a énoncé en 1690.

Publications posthumesmodifier | modifier le code

le De Recognitione

En 1615, dans le De Recognitione œquationum publié par Anderson, on trouve parmi vingt chapitres assez répétitifs, le lien entre coefficients et racines, des équations dans lesquelles l'inconnue entre par son cube et sa première puissance, La manière de faire disparaître le second terme d'une équation (ou méthode de Ferrari pour la résolution des équations de degré 4) et l'équivalence entre les équations du troisième degré et connaissant la première de quatre grandeurs continûment proportionnelles, et la différence entre la seconde et la quatrième, de trouver cette seconde. Viète donne encore dans cet ouvrage quelques moyens d'abaisser le degré d'une équation. Maximilien Marie, les résume sur quelques pages28 :

« Après avoir indiqué, dans les deux premiers chapitres, les questions qu'il traitera et les moyens qu'il emploiera pour les résoudre, Viète s'occupe, dans le troisième et le quatrième, de former les énoncés les plus généraux des problèmes de Géométrie pouvant conduire aux équations quadratiques et cubiques ; celles-ci manquant d'abord du terme qui contiendrait le carré de l'inconnue. Il montre qu'il s'agit toujours de problèmes relatifs à trois ou quatre grandeurs continuement proportionnelles. Il distingue, dans chacun des deux degrés, trois cas,... car la manie des distinctions n'était pas encore tombée en désuétude. »

Les questions se ramènent à : connaissant la moyenne de trois grandeurs continûment proportionnelles et la différence ou la somme des extrêmes ; trouver la plus petite de ces extrêmes, la plus grande ou les deux extrêmes. Les mêmes questions se posent si, connaissant la première de quatre grandeurs continûment proportionnelles et la somme de la seconde et de la quatrième, de trouver la seconde. Ces équations se ramènent aux problèmes suivants : connaissant la première de quatre grandeurs continûment proportionnelles et la différence entre la quatrième et la seconde, de trouver cette seconde.

Viète traite de même, les trois équations cubiques dans lesquelles l'inconnue entre par son cube et son quarré, qu'il ramène par ailleurs à celles où l'inconnue entre par son cube et sa première puissance. Dans le chapitre VII ali methodo transmutandarum œquationum il donne les transformations qui altèrent les racines, et celles où les racines demeurent invariables.

On y trouve comment augmenter ou à diminuer toutes les racines d'une grandeur donnée ou les modifier en les multipliant par une raison donnée. Enfin, Viète enseigne la manière de faire disparaître le second terme d'une équation ; procédé mis en œuvre dans les Chapitres IX, X, XI, XII, XIII et XIV.

Dans le chapitre XV est exposée la théorie des équations du second degré (Viète ne considère que les racines positives)

Dans le chapitre XVI, il donne les liaisons entre les coefficients et les racines.

le De Emendatione

Dans le De Emendatione œquationum, publié la même année par Anderson, et composé de quatorze chapitres, on trouve les noms que Viète donnait à quelques opérations algébriques : L'Isomérie pour faire disparaître les dénominateurs des équations sans introduire de coefficient à la plus haute puissance de l'inconnue ; la climactique Paraplérosine pour ramener une équation du quatrième degré à une équation du second en prenant comme intermédiaire une équation du troisième, méthode semblable à celle de Ferrari (que Viète redécouvre à l'occasion). On y retrouve également (sous le nom de duplicata Hypostasîs) la résolution des équations du troisième degré (Cardan n'ayant publié que la vérification d'une formule juste, mais empirique)28.

Enfin, ce livre expose (par l'exemple et jusqu'au degré 5) la décomposition d'un polynôme ayant autant de solutions que son degré.

Les apports de l'algèbre nouvellemodifier | modifier le code

L'isagoge : une oeuvre qui fait datemodifier | modifier le code

L'introduction de notations littérales pour les paramètres dans les équations algébriques et la volonté de dégager l'algèbre des règles embrouillées et des procédures médiévales, en lui apportant une formalisation efficace, sont au cœur du projet de François Viète. Mais pour établir cette formalisation, il a fallu à Viète réaliser bien plus et l'Isagoge est l'exposé d'une science nouvelle des individus et des espèces affirme Lucien Vinciguerra35 qui n'hésite pas à mettre en parallèle l'Isagoge et le discours de la méthode.

Les obstacles de l'innovationmodifier | modifier le code

L'idée de noter par des lettres une inconnue a déjà été introduite par Euclide, et à sa suite par Diophante, toutefois, il s'agit ici de géométrie ou d'abréviations, dans une langue où chaque lettre cache un chiffre ou un nombre et sans qu'aucun règle de calcul explicite ne permette de suivre un calcul formel réduit à l'état de pure notation. De surcroît, toute l'algèbre antique repose sur l'obtention de figures résolutoires (appelées Gnomons36), qui remplacent la formalisation algébrique, mais rendent difficile la résolution d'équations de grand degré37.

Les mathématiciens arabes, qui ont repris une grande part des exigences des géomètres grecs, ont donné à l'algèbre une première autonomie. Toutefois, les mêmes obstacles linguistiques38 ne leur ont pas permis de fixer ces règles sous la forme de formule littérale comparable à celle de notre algèbre moderne et leur symbolique apparaît, dans l'état des recherches actuelles, limitée à des abréviations39.

La notation de l'inconnue par une (seule) lettre fut reprise par Jordanus Nemorarius au XIIe siècle, puis par les calculateurs médiévaux. Ni Michael Stifel ni Regiomontanus en Allemagne au XVIe siècle, ni le lyonnais Nicolas Chuquet, pourtant très en avance sur son temps, ni Luca Pacioli, ni Bombelli et encore moins Cardan n'ont cependant donné à leurs notations le caractère général qu'elles auront avec Viète. Jusqu'à l'Isagoge toutes les grandeurs mesurables ne peuvent intervenir ensemble dans une équation sous forme d'inconnues et de paramètres.

Les sources de l'innovationmodifier | modifier le code

Pour réaliser son projet de formalisation des questions géométriques, Viète dut donc décrire de nouvelles règles de multiplications, d'additions, de soustraction, etc, opérant, non sur les nombres, mais sur les grandeurs (longueur, aire, volume, etc). Car Viète adopte le principe de base des géomètres grecs selon lequel on ne peut additionner, soustraire et prendre le rapport que pour des grandeurs homogènes40. La nécessité de conserver l'homogénéité des formules s'en déduit comme celle de donner des noms différents à ces opérations. Par exemple, la multiplication des grandeurs, (ducere in), notation héritée des italiens et de leurs prédécesseurs arabes traduit concrètement l'idée qu'on mène le côté a sur le côté b pour former le rectangle ab. Leur soustraction est notée du signe =, qui, à l'époque, n'a pas encore pris son sens actuel d'égalité.

L'idée d'opérer sur des symboles (species) peut en partie s'expliquer par ses études juridiques41 ; le mot species désignant alors l'ensemble de leurs clients dans le jargon des avocats (première profession du protégé des Parthenay)42.

L'idée de noter par des voyelles et des consonnes, les unes réservée aux inconnues, les autres aux quantités connues (ou paramètres) les points du plan, les angles, ou les longueurs des côtés d'une figure géométrique, avait déjà été exploré dans l'antiquité et au XVIe siècle par Ramus (dont Viète parle comme d'un homme très subtil : logikotatos43) ; Guillaume Gosselin et Jacques Peletier du Mans avaient fait évoluer ces notations de façon décisive entre 1560 et 1570, donnant des moyens effectifs de travailler avec deux inconnues. Pour autant, leur algèbre, comme celle de Pedro Nunez44, demeurait essentiellement numérique.

En l'état actuel des connaissances, l'Isagoge est donc le premier livre où apparaissent les fondements du formalisme actuel (Les manuscrits de Thomas Harriot, publiés pour la première fois en 2007, laissent penser que le mathématicien anglais avait élaboré (vers la même époque) des prémices de calcul littéral, mais les avait tenus secrets45).

Un art de raisonnermodifier | modifier le code

Pour autant l'apport de l'Isagoge ne se limite pas à cette considérable invention : les résultats annoncés par cette méthode sont variés et nombreux. Ils vont de la détermination des solutions positives des équations de degré 2, 3 et 4 à l'énoncé des relations entre coefficients et racines d'un polynôme, qu'en anglais, on nomme la formule de Viète46 ; les formules du binôme, et la formation des coefficients binomiaux, qui seront reprises par Pascal et Newton ; l'apparition du premier produit infini, la reconnaissance du lien entre trisection de l'angle et équation du troisième degré ; et cette innovation, considérée comme l'une des plus importante dans l'histoire des mathématiques, ouvre véritablement la voie au développement de l'algèbre moderne47.

Mais il y a plus. Car la nécessité de fonder un calcul symbolique sur les grandeurs en respectant l'homogénéité (exigence des anciens renouvelée par Ramus), a obligé Viète à expliciter comment se conduisent les opérations sur les grandeurs mêmes. Et cette contrainte a fait de l'Isagoge, un véritable programme de raisonnement. Ainsi, il serait profondément réducteur de résumer son projet à l'idée de noter les quantités connues et inconnues par des lettres. L'ouvrage propose véritablement une première axiomatique algébrique ; et on saisit par ce biais tout ce qu'a de moderne l'exposé de Viète, qui en développant son idée de façon systématique, offre en fait dans cette introduction à l'Art de l'Analyse, non seulement un premier travail d'algèbre symbolique abouti, mais aussi une première mise en forme de l'art de raisonner algébriquement semblable à ce qu'avait réalisé Euclide pour la géométrie48.

Les aléas de la postéritémodifier | modifier le code

Selon le mot de Maximilien Marie, Viète fit de la bonne Algèbre avec de l'excellente Géométrie. Toutefois, dans son désir de faire respecter la forme homogène de l'écriture diophantienne28, Viète a été amené à conserver le langage des anciens. Son latin, mâtiné de grec, n'est pas toujours aisé à lire. Le mathématicien forge des mots nouveaux à l'instar des membres de la Pléiade ; comme le fait remarquer Frédéric Ritter en 1868 dans son Introduction à l'art analytique de François Viète49 :

« Logistices speciosa, arithmétique spécieuse. Speciosa du latin species, forme, image, figure; arithmétique dans laquelle les nombres sont représentés par des images, des figures. Cette acception du mot speciosa a été créée par Viète, car elle n'a aucun rapport avec celles du mot latin ou français, propres ou figurées. C'est pour ce motif que je l'ai également adoptée, car elle caractérise mieux la pensée de l'auteur que les mots symboliques, figurée, littérale, etc. que j'avais d'abord eu l'intention d'employer. »

De même, le choix de partager l'alphabet en voyelle (inconnues) et consonnes (paramètres), quoique directement hérité de Ramus, ne se révèle pas des plus heureux. S'il marque le renouveau des études des langues sémitiques au XVIe siècle50, il ne résistera pas aux choix opérés par Descartes de réserver aux inconnues les dernières lettres de l'alphabet.

De surcroît, l'écriture qu'il forge fournit une symbole réduite pour noter la multiplication (in), les racines ou l'égalité (aeq, ou aequabitur), les puissances (même si on trouve sous la plume d'Anderson qc, ou quadcubo pour quadrato-cubus soit ^{A^5}) ; elle n'a pas le caractère achevé que lui donnera le grand siècle et ses exigences d'homogénéité la condamne à faire sans cesse référence au sens géométrique des paramètres en jeu. Cette seconde révolution dans l'art algébrique sera accompli à la génération suivante avec les publications d'Alexander Anderson, de William Oughtred, de Thomas Harriot, de Noël Duret, puis après eux, de Pierre de Fermat, de René Descartes et de Frans van Schooten. L'incomplétude de ces notations se fait d'ailleurs sentir très tôt : lorsque Albert Girard rend hommage à Viète51 :

La géométrie de Descartes
Touchant François Viète, qui surpasse tous ses devanciers en l'algèbre, on peut voir en son traité (De recognitione equationium)...

il lui reproche déjà d'oublier dans ses résolutions les solutions négatives (moins que rien) et complexes (qu'il nomme enveloppées). Mais la même année, James Hume de Godscroft note déjà ^{A^{iii}} en place de ^{Acubus} préparant la synthèse entre les points de vue de Viète et d'Harriot.

Toutefois, lorsque Viète écrit :

\frac{S \text{ in } A \text{ planum } + R\text{ bis in } A \text{ planum }}{R} \text{ aequabitur } B \text{ plano }

ce qui s'écrit aujourd'hui

\frac{S A+ 2RA}{R} = B

on voit en germe qu'il s'agit d'une écriture efficace, qui autorise les remplacements et les transformations mécaniques. À terme, c'est toute la façon de penser les mathématiques, et le monde, qui s'en verra modifiée52. Comme l'assure Michel Serfati53 :

« Tout l'art (mathématiques) consiste à faire que cette convention (séparer le connu de l'inconnu) soit intériorisée ; après, on calcule librement. Ce rapport que nous entretenons avec le système symbolique a été à la source de la formation d'une communauté, à savoir celle des mathématiciens, en même temps qu'il nous sépare des autres communautés. Les professeurs de mathématiques me comprennent très bien : ils rencontrent cette difficulté avec leurs élèves. Certains ne sont pas d'accord avec la convention initiatique. C'est elle qui, à mon avis, sépare les mathématiciens des autres communautés savantes. »

Après Viète, les Français Pierre de Fermat et Roberval54, le Hollandais Snellius, les Anglais Thomas Harriot et Newton, ainsi que Christian Huygens utiliseront des notations de Viète55. Plus tard, Leibniz, qui appréciait son héritage56 cherche à faire en analyse ce que Viète a fait pour les équations57 mais après 1649 et la réédition de La Géométrie de Descartes, sa renommée sera éclipsée par celle du philosophe de la Haye, qui avait rénové en profondeur ce formalisme, et auquel le siècle suivant attribuera souvent, à tort, l'entière paternité de la formalisation algébrique58.

Sourcesmodifier | modifier le code

Notes et référencesmodifier | modifier le code

  1. Jean-Louis Gardies, Du mode d’existence des objets de la mathématique, Vrin, coll. « Problème et controverses »,‎ 2004, 151 p. (ISBN 2-7116-1694-0, lire en ligne), p. 81-82
  2. Viète adopte le principe de base des géomètres grecs selon lequel on ne peut additionner, soustraire et prendre le rapport que pour des grandeurs homogènes (de même espèce) et l’algèbre pour Viète est essentiellement une algèbre des grandeurs, ce que la vulgarisation de son œuvre met fort mal en évidence. [PDF]André Pressiat : Calculer avec les grandeurs d'après : I. Bashmakova et G. Smirnova intitulé « The beginnings & evolution of algebra »
  3. a et b F. Russo  : La constitution de l'algèbre au XVIe siècle. Étude de la structure d'une évolution] dans la Revue d'histoire des sciences et de leurs applications ; Année 1959 ; Volume 12  ; Numéro 12-3 pp. 201
  4. Furthermore, Jordanus used letters in place of numbers in his books on mathematics, and was able to articulate general algebraic theorems in this manner à lire dans Neil Schlager, Josh Lauer : Science and its times: understanding the social significance of scientific discovery Gale Group, 2001, page 298
  5. Éléments d'histoire des mathématiques page 69
  6. Siophante écrit : Le nombre qui possède une quantité indéterminée d’unités s’appelle l’arithme, et sa marque distinctive est S dans son livre Les Arithmétiques in histoire des symboles  : Irem Poitiers
  7. Michel Chasles : Aperçu historique sur l'origine et le développement des méthodes en géométrie page 519-535
  8. Pierre Forcadel, L'Arithmétique de Rainer Gemma Frisius
  9. Tibor Klaniczay, Eva Kushner, Paul Chavy, L'époque de la Renaissance: 1400-1600, Volume 4
  10. Peletier du Mans : Algèbre
  11. Philippe Boulier, Méthode dialectique et mathématiques chez Pierre de La Ramée et François Viète
  12. On notera particulièrement dans la proposition 21 du Livre II de Maurolico les formules développant le binôme au cube : cubus ab aequatur cubo a cubo b triplo solidi a a b triplo solidi b b a
  13. a, b et c Évelyne Barbin (dir.) et Anne Boyé (dir.), François Viète, un mathématicien sous la Renaissance, Vuibert, 2005, (ISBN 2-7117-5380-8)
  14. André Robinet, Aux sources de l'esprit cartésien : l'axe La Ramée-Descartes
  15. Pierre Baumann : Histoire des mathématiques pages 93 et seq, sur le site de l'université de Strasbourg
  16. B. Lefebvre Cours d'introduction à l'algèbre élémentaire Publication: A. Wesmael-Charlier (Namur) 1897-1898
  17. A. Gloden : VIÈTE, père de l'algèbre moderne. Bull. Soc. Nat. luxemb. 57 : 30-33, 1953
  18. Nicolas de Chamfort, Maximes et Pensées Des savants et des gens de lettres Chapitre VII, pensée CDXIX
  19. H. Bosmans in Annales de la société scientifique de Bruxelles Albert Girard et Viète ; page 36-38
  20. Polynômes homogènes sur le site Bibmath
  21. F. Ritter, Traduction française de la dédicace de 1591 de l'Introduction à l'Art analytique ou Algèbre Nouvelle, sur le site de Jean-Paul Guichard.
  22. Charbauneau Un exemple de travail de à l'UQAM
  23. L'Algèbre, effections géométriques, et partie de l'Exégétique nombreuse de François Viète, traduites de latin en françois, où est adjouté des notes et commentaires et quantité de problèmes zététiques, par N. Durret. De François Viète et Natalis Durret 1644 ; 238 pages édité par l'auteur ASIN: B001D6IYEO Bibliothèque Mazarine 30053 ou BNF V 20154
  24. Texte de l'Isagoge ou In artem Analycem : gallica.bnf.fr
  25. La traduction par Frédéric Ritter de la dédicace à Catherine de Parthenay cc-parthenay.fr
  26. Jean-Pierre Aubin ; Zététique, Poristique et Rhétique, les trois termes des métaphores mathématiques
  27. Da. B. Boncopagni Bullettino di bibliografia e di storia delle science matematiche Volume 1 Rome 1868
  28. a, b, c et d Maximilien Marie : Histoire des sciences mathématiques et physiques (1883) Tome III de Viète à Descartes Paris Gauthier-Villars, page 27 à 65.
  29. La Zététique vue par Aubin à polytechnique
  30. Un article de Dhombres sur l'algèbre nouvelle.
  31. Étude sur la vie du mathématicien François Viète (1540-1603), son temps et son œuvre, par Frédéric Ritter, polytechnicien et ingénieur des Ponts et Chaussées : tome I disponibles sous forme de microfilm (87Mi/1) auprès du CARAN
  32. [PDF] Ritter, François Viète inventeur de l'algèbre moderne
  33. Jean Grisard, François Viète, mathématicien de la fin du seizième siècle : essai bio-bibliographique. Thèse de doctorat de 3e cycle, École pratique des hautes études, Centre de recherche d'histoire des sciences et des techniques, Paris, 1968 ; disponible au Centre Koyré Jardin des Plantes : Pavillon Chevreul 3e étage 57 rue Cuvier 75005
  34. Jean Grisard dans François Viète, mathématicien de la fin du seizième siècle : essai bio-bibliographique. Thèse de doctorat de 3e cycle, École pratique des hautes études, Centre de recherche d'histoire des sciences et des techniques, Paris, 1968; disponible au Centre Koyré Jardin des Plantes : Pavillon Chevreul 3e étage 57 rue Cuvier 75005 [archive]
  35. Lucien Vinciguerra : Langage, visibilité, différence: histoire du discours mathématique page 76
  36. Jacques Ozanam donne un autre sens à ce mot voir : Recréations mathématiques et physiques: qui contiennent plusieurs problèmes
  37. Nicole Bopp ; Comment utiliser les volumes pour résoudre une équation du 3 degré par l'Irem de Stasbourg
  38. Ghani Alani, la caligraphie et l 'alphabet arabe Al Simiya la magie des lettres arabes page 3
  39. Ahmed Djebbar, L'algèbre arabe
  40. [PDF]André Pressiat : Calculer avec les grandeurs : à télécharger sur l'université de Clermont-Ferrand
  41. Giovanna Cifoletti : L’idéal de la science Droit et mathématiques dans la France du XVIe siècle
  42. Dominique Berlioz, Filipe Drapeau Contim. Un essai logique de Leibniz, « Le calcul des ingrédients »
  43. André Robinet, Aux sources de l'esprit cartésien : l'axe La Ramée-Descartes page 172
  44. R.P. Henri Bosmans : Pedro Nunez dans cette étude sur Nunez, Bosmans affirme : Ce progrès immense dans les notations algébrique est dû tout entier à Viète. Ce sera son éternel honneur de 1'avoir imaginé.
  45. Joël Biard, Sabine Rommevaux : Mathématiques et théorie du mouvement: XIVe ‑ XVIe siècles
  46. Voir Relations entre coefficients et racines sur Wikipedia de langue anglaise
  47. les Mathématiciens dans the Dictionary of Scientific Biography archive.org
  48. Michel Serfati : [La révolution symbolique - La constitution de l'écriture symbolique mathématique] chez Petra (ISBN 2-84743-006-7)
  49. Frédéric Ritter : Introduction à l'art Analytique, publiée à Rome rue Lata page 10 - 14
  50. C. Henry, « Sur l'origine de quelques notations mathématiques », Revue archéologique, vol. XXXVIII, 1879, p. 8 [cité par F. Cajori, op. cit., p. 183].
  51. Albert Girard Invention nouvelle en l'algèbre
  52. Philippe Quéau : Éloge de la simulation page 126
  53. Michel Serfati : interviewé par Stic-Hebdo
  54. J.E. Hofmann Revue d'histoire des sciences et de leurs applications ; 1952, volume 5, Numéro 5-4 pp. 312-333
  55. Jean-Louis Gardies, Du mode d'existence des objets de la mathématique
  56. Victor Cousin, Lettre de Leibniz dans Fragments philosophiques, Volume 3
  57. Nicolas Boubaki, Éléments de mathématiques, Fonctions de la variables réelle, Springer, 2007, p 58.
  58. Léon Brunschvicg, Descartes et Pascal lecteurs de Montaigne, 1942.

Liens externesmodifier | modifier le code

On consultera également :

Bibliographiemodifier | modifier le code

  • Le texte en latin : sur Gallica
  • La traduction de Frans van Schooten : Francisci Vietae Opera Mathematica. Rassemblées par F. Van Schooten. Leyde, Elzévir, 1646, 554 p réédité par Georg Olms Verlag, Hildesheim-New-York, 1970.
  • La traduction d'Antoine Vasset : L'algèbre nouvelle de Mr Viète ; imprimée chez Pierre Rocolet (A Paris) Bibliothèque nationale de France, département Littérature et art, V-6922 (bis)
  • Viète, François, 1540-1603 : La nouvelle algèbre de M. Viète :précédée de Introduction en l'art analytique /[traduction et commentaire], Vaulézard ; [texte revu par Jean-Robert Armogathe] [Paris] : Fayard, [1986] 271 p.
  • Les cinq Livres des Zetetiques de Francois Viete par J. L. Vaulezard : en français 1630 ; édité à Paris chez J.Jacquin.
  • Charbonneau Une analyse du rôle de Viète
  • (en) Ball, W. W. Rouse (1850-1925) : A short account of the history of mathematics (1893)
  • (en) D. J. Struik A Source Book in Mathematics, 1200-1800 ; Harvard University Press, 1969 p 73-81 available here
  • (en) François Viète, T. Richard Witmer : The Analytic Art: Nine Studies in Algebra, Geometry and Trigonometry
Cet article est reconnu comme « bon article » depuis sa version du 28 décembre 2009 (comparer avec la version actuelle).
Pour toute information complémentaire, consulter sa page de discussion et le vote l'ayant promu.







Creative Commons License