Explo Maths

l
a brochure Lexplosion des mathmatiques , conue par la Socit mathmatique de France (SMF) et la Socit de mathmatiques appliques et industrielles (SMAI), a t ralise avec le soutien financier du Ministre de la Recherche et du CNFM (Comit national franais des mathmaticiens). Les diteurs remercient chaleureusement Madame Brigitte Vogler, chef de la Mission de la Culture et de lInformation scientifiques et techniques et des Muses, au Ministre de la Recherche.
Conception ditoriale et coordination Mireille Martin-Deschamps, Patrick Le Tallec et Michel Waldschmidt, avec la participation de Fabian Astic, Francine Delmer et Maurice Mashaal. Comit de lecture Fabian Astic, Jean-Michel Bismut, Jean-Pierre Bourguignon, Mireille Chaleyat-Maurel, Francine Delmer, Mireille Martin-Deschamps, Patrick Le Tallec, Grard Tronel, Michel Waldschmidt. Rdaction Maurice Mashaal Recherche iconographique Electron libre, Francine Delmer et Maurice Mashaal Maquette et mise en page Patricia Rocher (cole polytechnique, Palaiseau) Couverture Christophe Bongrain Ralisation et impression cole polytechnique, Palaiseau
SMF et SMAI, juillet 2002 ISBN 2-85629-120-1

SMF Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris Cedex 05, France Tel. 01 44 27 67 96 http://smf.emath.fr SMAI Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris Cedex 05, France Tel. 01 44 27 66 62 http://smai.emath.fr
Les titres, intertitres, textes de prsentation et lgendes ont t tablis sous la responsabilit de la rdaction.
Sommaire
5 7
......................... .........................
Avant-propos Le temps quil fera
Mireille Martin-Deschamps et Patrick Le Tallec Claude Basdevant
La prvision mtorologique ou climatique nest pas une mince affaire. Elle implique la modlisation de nombreux phnomnes de natures diffrentes, et lintervention de plusieurs sciences, des mathmatiques la biologie, en passant par linformatique, la physique ou la chimie.
11
.........................
Les dessous du tlphone portable
Daniel Krob
Le tlphone mobile est maintenant un objet relativement banal. Qui na jamais vu un portable ou tlphon avec ? Mais rares sont ceux qui ont une pense pour la science et la technologie mises en jeu.
15
...........................
Cryptage et dcryptage : communiquer en toute scurit Jean-Louis Nicolas

Dans le monde actuel, o les tlcommunications occupent une place cruciale, la cryptographie est un enjeu majeur. Elle est aussi devenue une science complexe, qui ne peut se passer de mathmaticiens de haut niveau.
19
.........................
Contrler un monde complexe
Pierre Perrier
Quil sagisse de la manuvrabilit dun avion, de la tenue mcanique dune structure complique ou de la gestion du trafic automobile, le progrs dans ces domaines ne vient pas uniquement des inventions purement techniques. Il nat aussi de recherches abstraites, comme la thorie mathmatique du contrle.
23
.........................
Le thorme du soufflet
tienne Ghys
Une rgle, un crayon, du carton, des ciseaux et de la colle : il nen faut gure plus pour procurer aux mathmaticiens du plaisir et de jolis problmes dont ltude se rvle souvent, aprs coup et de manire inattendue, utile dans dautres mtiers.
28
........................
Trouver un gne responsable de cancer
Bernard Prum
Les dveloppements de la biologie moderne, et notamment ceux de la gntique molculaire, exigent de nouveaux outils mathmatiques. Exemple avec la statistique et son rle dans la recherche dun gne li au cancer du sein.
32
.........................
Des ondelettes pour comprimer une image
Stphane Mallat
Quelles soient stockes numriquement dans des mmoires informatiques ou quelles voyagent travers Internet, les images occupent beaucoup de place. Heureusement, il est possible de les condenser sans altrer leur qualit !
36
........................
Empcher les ondes de faire du bruit
Daniel Bouche
Comment chapper la dtection par un radar ? Quelle est la forme optimale dun mur anti-bruit ? Peuton amliorer les images chographiques ? Pour recevoir une rponse satisfaisante, ces questions demandent des analyses thoriques pousses.
41
.........................
Quand art rime avec maths
Francine Delmer
Les mathmatiques ninspirent pas que les scientifiques. De nombreux artistes y ont puis la matire de certaines de leurs uvres. La rciproque est parfois vraie aussi, comme dans le cas de la perspective, o lart a montr le chemin des thories gomtriques.
47
.........................
De lADN la thorie des nuds
Nguyen Cam Chi et Hoang Ngoc Minh
Lactivit biologique de la molcule dADN dpend notamment de son agencement dans lespace et de la faon dont elle est entortille choses qui sont du ressort de la thorie mathmatique des nuds.
51 .........................
Le philosophe et le mathmaticien
Pierre Cassou-Nogus
Tout au long de leur histoire, la philosophie et les mathmatiques ont entretenu une relation aussi troite qunigmatique. Il faudrait revenir Platon dans le monde grec et Descartes laube de lpoque moderne. voquons ici deux grandes figures du XXe sicle, David Hilbert et Edmund Husserl.
56
.........................
Comment rationaliser les ventes aux enchres ? De lconomtrie pour vendre des vins ou des obligations Les casse-tte des compagnies ariennes
Jean-Jacques Laffont
Grce notamment Internet, les ventes aux enchres se gnralisent. La modlisation de ces procds de vente permet de dfinir les rgles et stratgies optimales de leur utilisation.
61
.............................
Philippe Fvrier et Michael Visser
Grands vins ou bons du Trsor font lobjet de ventes aux enchres. Mais quel type denchres faut-il pratiquer? Pour le savoir, on complte les modlisations gnrales des enchres par des tudes conomtriques.
66
.........................
Jean-Christophe Culioli
Les problmes dorganisation et de planification poss une compagnie arienne sont analogues ceux rencontrs dans dautres secteurs dactivit. La recherche oprationnelle, domaine qui concerne des dizaines de milliers de mathmaticiens et dingnieurs dans le monde, svertue les rsoudre au mieux.
70
.........................
De la gomtrie 11 dimensions pour comprendre la Gense ?
Maurice Mashaal
Les physiciens aspirent depuis longtemps une thorie capable denglober toutes les particules lmentaires et toutes leurs interactions. Depuis une quinzaine dannes, ils ont une piste srieuse. Pour lexplorer, ils doivent naviguer dans des espaces hautement abstraits o mme les mathmaticiens ne staient pas encore aventurs.
75
.........................
Internet : modliser le trafic pour mieux le grer Le prix des options financires
Franois Baccelli
Les spcialistes des rseaux de communication sefforcent de bien comprendre les proprits statistiques du trafic de donnes quils doivent acheminer. La gestion de ces rseaux et leur dveloppement en dpendent.
80
.........................
Elys Jouini
Le monde de la finance fixe le prix des options au moyen de formules qui ont t obtenues grce des travaux mathmatiques relativement rcents. La recherche de meilleures formules se poursuit et cela ne concerne pas que les boursicoteurs !
84
.........................
Communiquer sans erreurs : les codes correcteurs Reconstruire des surfaces pour limagerie
Gilles Lachaud
Pour dtecter et corriger les invitables erreurs qui affectent les changes dinformation numrise, les spcialistes du codage numrique en appellent des mthodes abstraites qui relvent de lalgbre ou de la gomtrie.
88
.........................
Jean-Daniel Boissonnat
Reconstituer une surface en ne connaissant que certains de ses points : un problme que lon rencontre souvent, quil sagisse dexploration gologique, darchivage de vestiges archologiques, dimagerie mdicale ou industrielle.
92
.........................
Les mathmaticiens en France et dans le monde
Jean-Pierre Bourguignon
Jusque vers la fin du XIXe sicle, les gomtres , comme on appelait jadis les mathmaticiens, taient peu nombreux. En un sicle, leurs rangs se sont considrablement renforcs. Aujourdhui, ils doivent faire face une profonde mutation de leur discipline.
98
.........................
Comment devenir mathmaticien ?
Maurice Mashaal
De longues annes dapprentissage et des talents vidents sont ncessaires pour qui veut faire de la recherche fondamentale en mathmatiques. Mais les passionns ont leur disposition plusieurs filires de formation, avec des dbouchs varis.
Avant-propos
ous vivons aujourdhui une situation pour le moins paradoxale. Les mathmatiques sont un instrument irremplaable de formation la rigueur et au raisonnement ; elles dveloppent lintuition, limagination, lesprit critique ; elles sont aussi un langage international, et un lment fort de la culture. Mais elles jouent en outre, par leurs interactions avec les autres sciences, un rle grandissant dans la conception et l'laboration des objets de notre vie quotidienne. Or cet tat de fait est en gnral totalement ignor par la majorit de nos concitoyens, pour qui les mathmatiques ont souvent perdu leur sens. Il est parfois de bon ton, y compris dans des postes responsabilit, de se vanter dtre nul en maths , ou den contester lutilit. On peut trouver ce paradoxe et cette incomprhension des explications qui tiennent la spcificit des mathmatiques. C'est une discipline qui se nourrit de ses liens avec les autres sciences et avec le monde rel, mais qui galement s'enrichit ellemme : les thories ne se dmolissent pas, elles se construisent les unes sur les autres. Rciproquement, mme si bon nombre de chercheurs en mathmatiques sont intresss avant tout par le ct intellectuel et mme esthtique de leur discipline, les applications surgissent parfois de manire inattendue. Ainsi, les applications enrichissent la recherche, mais ne peuvent seules la piloter. Cet quilibre subtil entre les facteurs de dveloppement interne et externe doit absolument tre prserv. Vouloir dfinir l'activit ou la recherche en mathmatiques par ses applications potentielles reviendrait les faire disparatre. l'oppos, privilgier l'axiomatisation, l'tude des structures et la dynamique interne de la discipline comme l'ont fait les mathmatiques franaises partir des annes 1940, et pendant plusieurs dcennies, a conduit retarder le dveloppement en France des mathmatiques dites appliques, contrairement ce qui se passait au mme moment aux tatsUnis et en Union Sovitique. Les facteurs de progrs sont trs souvent aux frontires de la discipline. Aujourd'hui, et nous nous en rjouissons, les mathmatiques ont rtabli, et parfois cr, des liens forts avec les autres sciences et avec de nombreux secteurs conomiques. La frontire entre mathmatiques pures et mathmatiques appliques est devenue floue : les mathmatiques les plus fondamentales servent rsoudre des problmes de plus en plus difficiles. Ainsi, des domaines comme la gomtrie algbrique et la thorie des nombres ont trouv des applications inattendues en thorie du codage et en cryptographie. De mme, les liens des mathmatiques avec la finance se sont intensifis pour valuer, voire crer, des produits financiers de plus en plus complexes, en fonction des besoins et des demandes des acteurs conomiques.
Lexplosion des mathmatiques

Cependant, un travail trs important de communication et de sensibilisation reste faire, pour modifier une image qui, elle, na pas suffisamment volu, et faire dcouvrir tous les attraits et les atouts du monde des mathmatiques et de ses applications. Le but du prsent document est de faire connatre les mathmatiques sous leurs aspects les plus divers scientifiques, techniques, culturels, sociologiques ; de souligner la diversit et luniversalit dune discipline qui entretient des liens aussi bien avec la physique, la chimie, lconomie et la biologie quavec lhistoire, la musique et la peinture. Les mathmatiques sont partout. Sans elles, pas dordinateurs, pas de systmes d'information, pas de tlphonie mobile ; pas dateliers de conception pour les constructeurs automobiles et aronautiques ; pas de systmes de localisation par satellite, de traitement du signal, de dcryptage du gnome, de prvisions mto, de cryptographie, de cartes puce, de robots. Au-del de leur rle de science acadmique et de formation de base l'cole, les mathmatiques sont omniprsentes dans la socit d'aujourd'hui. Elles suivent, accompagnent et quelquefois prcdent les dveloppements scientifiques et technologiques actuels, qui font aussi bien appel aux rsultats de la recherche fondamentale contemporaine la plus rcente qu'ils tirent profit des dcouvertes accumules dans le pass. Enfin, les besoins en mathmatiques croissent avec l'acclration des mutations et crations technologiques. On ne peut s'en passer, alors qu'on est confront la ncessit d'laborer, de matriser, ou d'analyser des systmes de complexit croissante. Les tats-Unis l'ont bien compris, puisque la NSF (National Science Foundation, lorganisme fdral charg de distribuer les crdits pour la recherche universitaire) a dcid depuis lan 2000 d'augmenter considrablement son soutien financier aux mathmatiques. Notre chance est que l'cole mathmatique franaise reste une des meilleures au monde, et que la culture mathmatique de ses scientifiques et ingnieurs reste de trs bon niveau l'chelle internationale. Le nombre de mdailles Fields, quivalent du prix Nobel qui nexiste pas en mathmatiques, en tmoigne. Rcemment, lors du troisime Congrs europen de mathmatiques qui s'est tenu Barcelone en juillet 2000, cinq des dix laurats prims taient issus de cette cole. Donnons-nous les moyens de garder ce niveau dexcellence.
Mireille Martin-Deschamps Prsidente de la SMF de 1998 2001 Patrick Le Tallec Prsident de la SMAI de 1999 2001
Le temps quil fera

Claude Basdevant
La prvision mtorologique ou climatique nest pas une mince affaire. Elle implique la modlisation de nombreux phnomnes de nature diffrente et lintervention de plusieurs sciences, des mathmatiques la biologie, en passant par linformatique, la physique ou la chimie.
errire la charmante prsentatrice qui tous les soirs la tlvision nous dcrit les prvisions mto pour les jours venir, il ny a plus de grenouille et de thermomtre depuis longtemps. Il y a des ordinateurs super-puissants auxquels on a fait absorber un grand nombre de mesures, obtenues principalement par satellites, beaucoup de lois de la mcanique et de la physique, mais aussi beaucoup de mathmatiques, parfois trs rcentes. Pour que les ordinateurs fournissent des prvisions, il faut laborer au pralable ce quon appelle un modle numrique de prvision du temps. Schmatiquement, un tel modle de prvision lchance de huit dix jours reprsente ltat de latmosphre par les valeurs des paramtres mtorologiques (vitesse du vent, temprature, humidit, pression, nuages, etc.) aux centres de botes denviron cinquante kilomtres de ct et de quelques dizaines quelques centaines de mtres de hauteur. Ce dcoupage imaginaire de toute latmosphre en botes est invitable,
Vue dartiste des botes de calcul dun modle de prvision du temps ou du climat. (Illustration L. Fairhead LMD/CNRS).
car il est impossible de spcifier les paramtres mtorologiques en tous les points de latmosphre (ces points sont en nombre infini !). En principe, plus les botes sont petites et donc nombreuses , plus la description de ltat atmosphrique est prcise, et plus les prvisions le seront aussi. Mais en pratique, les botes ne font pas moins dune cinquantaine de kilomtres ; en de, la puissance des plus gros ordinateurs ne suffirait pas : il faut bien que le calcul sachve en temps utile, cest-dire en nettement moins de 24 heures !
8
Partant de ltat de latmosphre suppos connu au dbut de la priode prvoir, le modle fait calculer par lordinateur son volution future en utilisant les lois de la dynamique et de la physique. Lvolution dans le temps est calcule pas pas, par intervalles de quelques minutes. Tel est le principe de la prvision numrique du temps, un principe connu depuis le dbut du XXe sicle mais qui a attendu les annes 1940-1950 et les premiers ordinateurs avant dtre mis en uvre.

auquel ont beaucoup contribu le chercheur russe Lev Pontriaguine (1908-1988) et lcole mathmatique franaise, on a pu mettre au point, dans les annes 1980, des mthodes dites d assimilation variationnelle qui permettent de reconstruire de faon optimale ltat initial. Lide sous-jacente ces mthodes, oprationnelles depuis lanne 2000 MtoFrance, est dobliger en quelque sorte la trajectoire du modle numrique passer prs des donnes observes pendant les 24 heures prcdentes. Lassimilation variationnelle nest dailleurs pas la seule technique mathmatique moderne qui a boulevers le traitement des observations: lutilisation des rseaux neuromimtiques ou des ondelettes, invents depuis moins de vingt ans, a donn lieu des gains spectaculaires en efficacit, prcision et rapidit dans le traitement des donnes fournies par les satellites.
Les mesures mtorologiques ne sont pas directement exploitables

Premier problme dans le schma idal de prvision qui vient dtre dcrit : savoir construire l tat initial de latmosphre . Les observations sont loin dtre bien adaptes cet exercice. Les stations mto au sol sont fort mal rparties sur le globe et fournissent trs peu de mesures en altitude. Quant aux satellites, ils sont pour la plupart dfilement, cest--dire quils balayent continment la Terre. Leurs mesures ne sont donc pas obtenues au mme instant en tous points. De plus, les satellites mesurent des quantits intgres sur toute lpaisseur de latmosphre (il sagit en gnral des flux dnergie reus dans une certaine gamme de longueurs donde) et non pas les grandeurs mtorologiques (vent, temprature, humidit, etc.) qui entrent en jeu dans les quations des modles. On dispose donc dune masse de donnes disparates, mal distribues la surface du globe, tales sur 24 heures, avec lesquelles il faut initialiser une prvision, cest--dire construire un tat mtorologique initial dont le modle simulera lvolution. Or grce aux travaux sur loptimisation dynamique, domaine
Quand lanalyse numrique entre en action

Une fois connu ltat atmosphrique initial dont a besoin le modle numrique de prvision, reste crire le programme informatique capable de calculer le temps futur partir de cet tat initial et des lois de la physique. Celles-ci reposent sur une description continue de lespace et du temps ; mais notre modle numrique, lui, ne connat quun nombre, certes grand, mais fini, de botes ; de mme, les intervalles de temps entre deux tats calculs sont de plusieurs minutes on dit que le problme a t discrtis . Passer des quations continues des schmas numriques pour le modle discrtis, tout en gardant la meilleure prcision possible, tel est le domaine de lanalyse numrique, une branche des mathmatiques qui a explos depuis lar-
Le temps quil fera
amricain Edward N. Lorenz, dans un clbre article de 1963, a montr que ctait probablement sans espoir. Latmosphre est un systme chaotique, cest--dire que toute erreur sur ltat mtorologique initial, aussi petite soit-elle, samplifie rapidement au cours du temps ; si rapidement quune prvision lchance dune dizaine de jours perd toute sa pertinence. Nanmoins, cela ne Panache d'ozone sur la rgion parisienne le 7 aot 1998 16 heures et 300 m d'altitude. veut pas dire que lon ne peut Codes en couleurs, les concentrations simules par le modle numrique CHIMERE du pas prvoir le climat cestLMD/IPSL; en incrustation, les mesures par avion (Illustration MERLIN de Mto-France). -dire faire une prvision de rive des ordinateurs. Lanalyse numrique a type statistique plutt que dterministe, sinpour but de savoir rsoudre des quations et tresser la moyenne des tempratures ou mener les calculs jusquau bout, cest--dire des prcipitations sur une priode, plutt jusqu lobtention de valeurs numriques pr- quau temps prcis quil fera sur la Bretagne cises, en investissant le moins de temps et def- tel jour du mois de juillet. Lenjeu est dimforts possible. Elle est indispensable pour que portance : notre climat futur est menac par simulation ne soit pas synonyme de simulacre les rejets de gaz dus aux activits humaines et pour valuer lincertitude des prvisions. et il faut prvoir leffet long terme de ces Par exemple, des progrs trs importants ont perturbations. Cest la thorie des systmes t obtenus rcemment concernant les dynamiques qui donne des outils pour justimthodes permettant de simuler le dplace- fier cette modlisation du climat. Ce domaine, ment des espces chimiques ou des particules pour lequel le mathmaticien Henri Poincar, dans la turbulence atmosphrique. Ces avan- au dbut du XXe sicle, fut un grand prcurces ont significativement amlior ltude et seur, a connu des progrs trs importants dans les vingt dernires annes. La thorie la prvision de la pollution de lair. des systmes dynamiques permet par exemple de dgager ce que les mathmatiPeut-on prdire le temps longtemps ciens appellent des attracteurs, ou des lavance ? Non, indique la thorie des rgimes de temps pour les mtorologues. systmes dynamiques Elle permet aussi de savoir quels sont les rgimes de temps les plus prvisibles et ceux On a voqu jusquici la prvision du qui sont les plus instables. Dans les situations temps courte chance, de huit dix jours. dinstabilit, un bon outil serait la modliMais pourquoi ne fait-on pas des prvisions sation probabiliste du climat, cest--dire la plus longue chance ? Le mtorologue conception de modles prenant explicite-
10
ment en compte le caractre alatoire de la prvision. Encore peu dveloppes, les modlisations de ce type doivent sappuyer sur des outils trs rcents de la thorie des quations aux drives partielles stochastiques et des statistiques.

dveloppent ?). Il reste, dans toutes ces questions, encore beaucoup de matire dveloppements mathmatiques.
Des prvisions mtorologiques aux prvisions climatiques

Les modles numriques de prvision du climat ressemblent comme des frres aux modles de prvision du temps, deux diffrences essentielles prs. Pour des raisons de temps de calcul, leurs botes sont plus grandes (200 300 km de ct) ; les temps simuls allant de quelques mois des centaines voire des milliers dannes, il est impossible dtre plus prcis. Mais la diffrence importante tient au fait que les variations climatiques ont lieu de longues chelles de temps, et quil nest alors plus possible de ngliger les interactions entre latmosphre, locan, les glaces de mer, voire la biosphre. Cest pourquoi un modle de climat doit combiner un modle datmosphre, un modle docan, un modle de glaces de mer, un modle de biosphre. Au-del de la complexit informatique dune telle construction, se posent de dlicats problmes mathmatiques sur la bonne manire de coupler ces domaines et sur la spcification des conditions aux interfaces atmosphre-ocan, ocanglaces, etc. Et pour que le calcul dans les grandes botes reste significatif, il faut valuer leffet statistique, lchelle de cette bote, de processus qui se produisent des chelles beaucoup plus petites (par exemple : quel est leffet statistique, sur le bilan dnergie dune bote de 300 km de ct, des petits cumulus de quelques km de diamtre qui sy
Claude Basdevant Laboratoire de mtorologie dynamique, cole normale suprieure, Paris et Laboratoire Analyse, gomtrie et applications, Universit Paris-Nord.
Quelques rfrences :
La Mtorologie, n 30, numro spcial sur la prvision mtorologique numrique (2000). M. Rochas, et J.-P. Javelle, La Mtorologie La prvision numrique du temps et du climat (collection Comprendre , Syros, 1993). R. Temam et S. Wang, Mathematical Problems in Meteorology and Oceanography , Bull. Amer. Meteor. Soc., 81, pp. 319-321 (2000).

Daniel Krob
Le tlphone mobile est maintenant un objet relativement banal. Qui na jamais vu un portable ou tlphon avec ? Mais rares sont ceux qui ont une pense pour la science et la technologie mises en jeu.
e tlphone mobile est aujourdhui dun usage trs courant dans beaucoup de pays. Il ny a pas si longtemps, la situation tait bien diffrente. En 1985, existaient un grand nombre de systmes de tlphonie sans fil, conus, dvelopps et commercialiss par les grands oprateurs nationaux historiques; mais ils taient mutuellement incompatibles. Diffrant par leurs caractristiques techniques, ces systmes ne permettaient pas de communiquer dun rseau lautre. Pour les rendre compatibles, il fallait donc se mettre daccord sur tout un ensemble de spcifications techniques, cest--dire sur une norme commune. Cela a dbut au cours des cinq annes suivantes, quand a merg en Europe la norme GSM (Global System for Mobile communications), la suite dune initiative de France Tlcom et de Deutsche Telekom, les deux oprateurs tlphoniques franais et allemand de lpoque. Les premiers systmes commerciaux fonds sur cette norme ont alors vu le jour au dbut des annes 1990. Mais ce nest finalement que vers le milieu, pour ne pas dire la
Une radiographie dun tlphone mobile. Llectronique de cet appareil semble complique, mais elle ne laisse pas entrevoir les travaux de nature mathmatique qui ont t ncessaires pour mettre au point la tlphonie mobile. (Clich Stock Image)
12
fin, de cette mme dcennie que le GSM sest vraiment impos comme le seul rel standard international de tlphonie mobile. Le dveloppement actuel des rseaux mobiles de troisime gnration est dailleurs un excellent tmoin de limportance prise par le GSM, dans la mesure o la norme sous-jacente cette troisime gnration, lUMTS (Universal Mobile Telecommunications System), constitue une extension naturelle de la norme GSM.

cialiste ! Et le GSM est loin dtre fig : dnormes efforts de recherche et dveloppement sont investis, tant par les grandes socits dingnierie radio-tlphonique que par les laboratoires universitaires, pour amliorer sans cesse la qualit et lefficacit des rseaux de tlphonie mobile. La norme GSM repose sur un ensemble de techniques labores provenant tant des tlcommunications classiques que de linformatique, des mathmatiques et du traitement du signal. En particulier, les mathmatiques et lalgorithmique jouent un rle fondamental dans la conception et le bon fonctionnement des mcanismes internes des rseaux radio-mobiles. Les mathmatiques fournissent le substrat thorique sur lequel sappuient presque toutes les tapes fondamentales de traitement de linformation ncessaires la gestion dune communication tlphonique partir dun portable. Lalgorithmique, elle, permet de transformer ces rsultats fonda-
La norme GSM cache une grande complexit scientifique et technologique

Lutilisateur a rarement conscience que, derrire les rseaux radio-mobiles, se cache une grande complexit scientifique et technologique. Par exemple, la norme GSM reprsente plus de 5 000 pages de spcifications techniques, difficiles lire mme pour le sp-
Une antenne relais pour la tlphonie mobile GSM, en campagne, sur exploitation agricole. (Clich REA)

mentaux en protocoles effectifs et efficaces, pouvant tre mis en uvre concrtement au sein dun rseau radio-mobile.
13
paquet est crypt laide dun protocole cryptographique spcifi par la norme et utilisant des clefs secrtes propres chaque oprateur (et lon sait que les mthodes cryptographiques reposent sur des techniques et concepts algbriques ou gomtriques souvent trs labors). La gestion de la transmission hertzienne proprement dite ncessite elle-mme un traitement pralable de chaque paquet dinformation. Le canal hertzien est en effet soumis plusieurs types de perturbations qui affectent les signaux mis par un portable. Par exemple, les absorptions et rflexions des ondes hertziennes par les btiments entranent une attnuation et un dphasage de chaque signal mis par un portable. De mme, chaque signal engendre de nombreux chos, dont il faut tenir compte. Aussi, une partie de chaque paquet dinformation est spcialement dvolue la rcupration du signal dorigine au sein de la mer dchos dans laquelle il est noy. Ces problmes ont bien entendu t tudis depuis longtemps, tant au niveau thorique que pratique. Les contraintes dingnierie propres aux rseaux radio-mobiles ont nanmoins ncessit de dvelopper et dadapter une partie importante de lappareil mathmatique classiquement utilis dans ces contextes.
Des algorithmes pour numriser linformation, la dcouper en paquets, la crypter, etc.

Pour illustrer limpact de ces deux disciplines en tlphonie mobile, regardons un peu plus en dtail la manire dont une communication tlphonique est gre lorsquun utilisateur compose un numro sur son appareil. Tout dabord, toutes les donnes transmises au sein dun rseau radio-mobile sont uniquement numriques : elles sont en effet constitues de paquets , cest--dire de suites de 0 et de 1 de longueur fixe, mis tous les quarts de seconde, qui contiennent lensemble des informations (parole, identification du portable, qualit de rception telle que la mesure le mobile, etc.) lies une communication tlphonique donne. Outre la gestion de la mobilit des utilisateurs, la grande diffrence entre la tlphonie mobile et la tlphonie fixe classique rside bien entendu dans le fait que les paquets dinformation numrique sont transmis par ondes hertziennes et non par cbles ; cela a ncessit la mise au point dun ensemble de techniques algorithmiques et mathmatiques trs spcifiques. Celles-ci font intervenir la fois de lalgorithmique rpartie, de loptimisation combinatoire, du traitement numrique du signal, de la gomtrie algorithmique ou du codage correcteur derreurs, pour ne citer que quelques domaines parmi beaucoup dautres. Les paquets dinformation ne sont en effet pas transmis de manire brute. Pour assurer la confidentialit des communications, chaque
De la thorie des graphes pour allouer convenablement les frquences

Lapport de lalgorithmique et des mathmatiques ne se limite pas la chane de traitement de linformation numrique que nous venons (trs rapidement) desquisser. Les techniques algorithmiques sont en particulier fon-
14
damentales pour grer efficacement les frquences radio dont dispose chaque oprateur. Les pouvoirs publics louent relativement cher chaque oprateur la bande de frquence quil peut utiliser ; cependant, seul un petit nombre, de lordre de 300, de frquences est rellement utilisable au sein de cette bande. Deux communications ralises en mme temps par deux portables diffrents, mais gographiquement proches, ne peuvent tre achemines sur des frquences voisines sous peine dinterfrences affectant la qualit des transmissions. Il est donc ncessaire de savoir rpartir de faon optimale les frquences disponibles parmi tous les utilisateurs qui sont bien plus nombreux que les frquences. On peut dmontrer quun tre humain nest pas capable de rsoudre exactement ce type de problme en un temps raisonnable. Les mthodes algorithmiques, fondes sur des modles mathmatiques tels que la thorie des graphes, ont ici t dterminantes pour raliser des logiciels de planification qui permettent effectivement de rsoudre de manire approche ces problmes dallocation de frquences. Tous ces problmes ont une grande importance du point de vue industriel, et font encore lobjet de recherches trs actives.
Quelques rfrences :
D. Krob et E.A. Vassilieva, Performance evaluation of demodulation methods : a combinatorial approach , Proceedings of DM-CCG, Discrete Mathematics and Theoretical Computer Science, pp. 203-214 (2001) (disponible en ligne : http://dmtcs.loria.fr). X. Lagrange, P. Godlewski, S. Tabbane, Rseaux GSM-DCS (Herms, 1997). J. G. Proakis, Digital communications (McGraw-Hill, 3e dition, 1995). C. Servin, Tlcoms : de la transmission larchitecture de rseaux (Masson, 1998).
Daniel Krob Directeur de recherches au CNRS et directeur du LIAFA (Laboratoire dinformatique algorithmique : fondements et applications), Universit Paris 7 et CNRS
Cryptage et dcryptage : communiquer en toute scurit

Jean-Louis Nicolas
Dans le monde actuel, o les tlcommunications occupent une place cruciale, la cryptographie est un enjeu majeur. Elle est aussi devenue une science complexe, qui ne peut se passer de mathmaticiens de haut niveau.
n mars 2000, un gros titre avait fait la une des journaux : Alerte la scurit des cartes bancaires . Que stait-il pass? En France, le secret des cartes puce tait protg depuis 1985 grce une mthode de cryptage faisant intervenir un grand nombre N, constitu de 97 chiffres. Ce nombre N doit tre le produit de deux grands nombres premiers, cest--dire de nombres qui, comme 7 ou 19, ne sont divisibles que par 1 et Payer avec sa carte de crdit, faire des achats sur Internet : les mthodes cryptographiques, qui mettent en jeu de belles mathmatiques, sont indispensables la scurit de ces oprations. par eux-mmes. Le secret (Photo : Getty Images.) dune carte bancaire est constitu prcisment par ce couple de mthodes mathmatiques, la taille des nombres premiers ; les calculer partir de N nombres N dont on peut calculer les facteurs tait pratiquement impossible dans la dcen- premiers en un temps raisonnable a dpass nie 1980. Mais avec laugmentation de la puis- la centaine de chiffres dans les dernires sance des ordinateurs et lamlioration des annes du sicle (le record actuel, 158 chiffres,
16
date de janvier 2002). Un informaticien astucieux, Serge Humpich, avait ainsi pu trouver les deux nombres premiers ultra-secrets dont le produit vaut N et les avait utiliss pour fabriquer de fausses cartes. Alors, pour garantir la scurit de nos petits rectangles de plastique, lorganisme de gestion des cartes bancaires a aussitt construit de nouveaux nombres N, nettement plus grands.

lun des pres de linformatique thorique, qui a apport une contribution essentielle ce dcryptage. Dans les annes 1970, la cryptographie a connu une petite rvolution : linvention de la cryptographie cl publique , avec la mthode RSA. De quoi sagit-il ? Jusque-l, les correspondants voulant changer des messages secrets devaient partager une cl secrte, et le risque dinterception de cette cl par lennemi tait grand. Le protocole RSA, nomm ainsi daprs ses trois inventeurs (Ronald Rivest, Adi Shamir et Leonard Adleman), rsout ce problme. Cette mthode utilise deux cls : une cl de cryptage publique elle peut tre connue de tous et une cl de dcryptage, qui reste secrte. Elle est fonde sur le principe (utilis par la suite pour protger les cartes bancaires, comme on la vu plus haut) quil est possible de construire de grands nombres premiers (de cent, mille chiffres, voire plus), mais quil est extrmement difficile de retrouver les facteurs premiers p et q dun grand nombre N = p x q lorsque lon connat seulement N. Schmatiquement, la connaissance de N revient celle de la cl publique de cryptage, tandis que la connaissance de p et q revient celle de la cl secrte de dcryptage. videmment, si quelquun trouvait une mthode pour dcomposer rapidement en leurs facteurs premiers de grands nombres, le protocole RSA deviendrait caduc. Mais il se pourrait aussi que les mathmaticiens prouvent quune telle mthode nexiste pas, ce qui renforcerait la scurit du protocole RSA. Ce sont l des sujets de recherche dcisifs. Les mthodes qui, comme le protocole RSA, font intervenir de la thorie des nombres labore, apportent une grande leon : des
La cryptographie moderne, au croisement des mathmatiques et de linformatique

Cette priptie illustre limportance considrable que revt aujourdhui la science du cryptage, cest--dire du codage de messages en vue de les rendre illisibles par des personnes indiscrtes. Crypter et dcrypter des messages secrets est une activit vieille de plusieurs sicles, voire millnaires. Et cette activit a largement dbord du cadre strictement diplomatique ou militaire pour investir des pans entiers de lunivers des communications civiles: procdures dauthentification, transactions bancaires, commerce lectronique, protection de sites et fichiers informatiques, etc. La cryptographie a connu beaucoup davances au cours des dernires dcennies. Ce faisant, elle est devenue une science complexe, o les progrs sont gnralement le fait de spcialistes ayant reu une formation pousse en mathmatiques et en informatique. Cette spcialisation sest manifeste ds la Deuxime guerre mondiale. On le sait aujourdhui, le dchiffrage par les Allis des messages cods par les fameuses machines allemandes Enigma a jou un rle dterminant dans ce conflit. Or cest un minent mathmaticien britannique, Alan Turing, par ailleurs
Cryptage et dcryptage
recherches mathmatiques (sur les nombres premiers notamment) tout fait dsintresses peuvent se rvler, des annes ou des dcennies plus tard, cruciales pour telle ou telle application ; et ce de manire imprvisible. Dans son livre Lapologie dun mathmaticien, le grand thoricien des nombres britannique G. H. Hardy (1877-1947), qui tait un fervent pacifiste, se targuait de travailler dans un domaine parfaitement pur, larithmtique, et de navoir rien fait qui puisse tre considr comme utile . Ses travaux taient peut-tre inutiles son poque. Cest faux aujourdhui.
17
Courbes elliptiques : la gomtrie algbrique au service des agents secrets

Et cela ne concerne pas uniquement la thorie des nombres. Dautres domaines des mathmatiques, auparavant considrs comme dpourvus dapplications, contribuent la science du cryptage. Des mthodes cryptographiques prometteuses et fondes sur des principes voisins de ceux du protocole RSA sont apparues au cours des dernires annes. Il en est ainsi de la mthode dite du logarithme discret. Celle-ci a servi son tour concevoir des mthodes qui sappuient sur les proprits des courbes elliptiques. Il ne sagit pas de courbes ayant la forme dune ellipse, mais de courbes dont ltude a dbut au XIXe sicle pour rsoudre le problme difficile du calcul du primtre dune ellipse. Ces courbes, dont les coordonnes (x, y) de leurs points vrifient une quation de la forme y2 = x3 + ax + b, ont dintressantes proprits dont ltude fait partie de la gomtrie algbrique, trs vaste domaine des mathmatiques actuelles. Par exemple, laide dune construction gomLe graphe de la courbe elliptique dquation y2 = x3 + 1. Les courbes elliptiques ont une proprit remarquable: on peut additionner leurs points selon le procd reprsent sur le dessin. L addition ainsi dfinie respecte les lois arithmtiques attendues, telles que (P1 + P2) + P3 = P1 + (P2 + P3). Certaines mthodes modernes de cryptographie font appel aux courbes elliptiques et leurs proprits algbriques.
trique approprie, il est possible de dfinir une addition entre les points dune courbe elliptique. Plus gnralement, les objets gomtriques que sont les courbes elliptiques possdent des proprits arithmtiques que lon continue dexplorer susceptibles de rendre service la cryptographie. Cest ainsi qua t dveloppe une mthode cryptographique intitule logarithme discret sur les courbes elliptiques. Une autre direction sest rvle rcemment. Au congrs international des mathmaticiens Berlin en 1998, Peter Shor, des laboratoires AT & T, obtenait le prix Nevanlinna
18
pour ses travaux sur la cryptographie quantique. Que signifie ce terme ? Il y a quelques annes, des physiciens et des mathmaticiens ont imagin quil serait un jour possible de raliser un ordinateur quantique, cest--dire dont le fonctionnement exploiterait les lois bizarres de la physique quantique, celles qui rgnent dans le monde de linfiniment petit. Or on sest rendu compte quun tel ordinateur, sil tait ralisable, serait capable de factoriser trs vite de grands nombres et rendrait ainsi inefficace la mthode RSA. Des recherches visant la ralisation concrte dun ordinateur quantique ont dailleurs t publies trs rcemment, dans la revue britannique Nature (cf. dernire rfrence ci-dessous). Dun autre ct, des chercheurs ont labor des protocoles de cryptographie quantique, cest--dire des mthodes de cryptage utilisant des objets (photons, atomes,...) obissant aux lois quantiques. Ces protocoles quantiques pourraient garantir une scurit infaillible. Tout cela est ltude et risque de devenir oprationnel dans quelques annes Jean-Louis Nicolas Institut Girard Desargues, Mathmatiques, Universit Claude-Bernard (Lyon 1)
Quelques rfrences :
D. Kahn, La guerre des codes secrets (Interditions, 1980). J. Stern, La science du secret (Odile Jacob, 1998). S. Singh, Histoire des codes secrets (J.-C. Latts, 1999). J.-P. Delahaye, Merveilleux nombres premiers (Belin/Pour la Science, 2000). D. Stinson, Cryptographie, thorie et pratique (Vuibert, 2001). L. M. K. Vandersypen et al., Experimental realization of Shors quantum factoring algorithm using nuclear magnetic resonance , Nature, vol. 414, pp. 883-887 (20 dcembre 2001).

Pierre Perrier
Quil sagisse de la manuvrabilit dun avion, de la tenue mcanique dune structure complique ou de la gestion du trafic automobile, le progrs dans ces domaines ne vient pas uniquement des inventions purement techniques. Il nat aussi de recherches abstraites, comme la thorie mathmatique du contrle.
n comprend aisment lintrt de savoir Penchons-nous sur lexemple de la gestion contrler la raction dun avion ou dune fuse des pannes dans un rseau de distribution aux turbulences de lcoulement de lair, de dlectricit. Un incident tel quun court-cirdterminer la dmarche suivre en cas din- cuit ou une rupture de contact (due par cident dans une centrale nuclaire, de grer le rseau de distribution de llectricit en cas de pannes, etc. Dans des situations normales, le contrle vise optimiser quelque chose, amliorer des performances, faire des conomies de matriaux ou dargent : cest le cas lorsquon veut maintenir un satellite sur sa bonne orbite en uti- Le pont Vasco de Gama sur le Tage, Lisbonne. La rsistance dune structure complexe telle quun pont peut tre contrle de faon active en plaant, en des endroits bien choisis, des dispositifs qui vont, selon les lisant le minimum de mouvements de la structure, modifier ses caractristiques mcaniques afin de contrecarrer les effets de rsonance. La thorie mathmatique du contrle traite de telles situations. (Clich Gamma/Gilles Bassignac) carburant.
20
exemple la chute dun pylne), un surcrot de consommation dnergie en un lieu donn, peut avoir sur le rseau une cascade de consquences. Or il nest gnralement pas possible de raliser une tude exhaustive de tous les incidents possibles, ni de calculer exactement chaque tape de la propagation de leffet dun tel incident. Le nombre de possibilits explorer est gigantesque, en tout cas beaucoup trop lev, mme pour les ordinateurs les plus puissants. On est alors conduit concevoir un modle mathmatique qui dcrit de faon simplifie le rseau et son fonctionnement. Moyennant des essais et des calculs dampleur raisonnable, une telle modlisation permet de cerner le comportement du systme, au moins approximativement. En retour, cela peut aider amliorer la conception des rseaux. Mais on voudrait aussi pouvoir contrler une situation critique, provoque par exemple par une surcharge localise ou rpartie sur une rgion entire. Autrement dit, on voudrait savoir quel est lenchanement des actions que le poste de commande doit effectuer afin de minimiser les consquences de la panne. Une telle connaissance est-elle possible, en thorie ? Existe-t-il des stratgies de contrle optimales ? Si oui, quelles sont-elles? Et ensuite, quels algorithmes faut-il employer pour les vrifier par une simulation numrique, sur ordinateur, avant de tenter lessai en grandeur relle ? Il est important de fournir un cadre dtude rigoureux ce problme de gestion des ressources, si lon ne veut pas gaspiller lnergie, ni tre victime de coupures de courant gnralises. On a avec cet exemple un premier type de problmes de contrle complexe o les mathmaticiens renfort de logique mathmatique, de thorie des nombres, de thorie des probabilits, danalyse et de thorie du contrle apportent leur contribution.

tout le moins, ils peuvent fournir quelques certitudes a priori quant lexistence dune solution acceptable et aux moyens de lobtenir solution que des expriences devront par la suite valider.
Empcher les ponts de scrouler

La complexit nest pas ncessairement rattache un rseau. Elle peut rsider dans la manire dont ragit un objet, comme un pont. La tenue dune telle structure dpend dun grand nombre de paramtres, de son comportement vibratoire entre autres. Comme chacun sait, les vibrations dun pont peuvent tre provoques par le passage de camions en file ou par le vent dune tempte. Parfois, ce phnomne samplifie jusqu provoquer la rupture de louvrage. Un pont, comme toute autre structure mcanique, possde une srie de frquences de vibration caractristiques; si la perturbation extrieure apporte de lnergie des frquences qui correspondent aux frquences propres de vibration, une rsonance se produit et le pont accumule de lnergie dans ses modes propres de vibration. Ceux-ci samplifient alors, tant que dure la perturbation extrieure, et tant que la structure rsiste aux contraintes mcaniques qui en rsultent. Pour contrler de tels phnomnes, il faut les comprendre, savoir les prvoir et mettre en place des dispositifs techniques capables de contrecarrer les dangereuses rsonances. On parle de contrle passif lorsquon calcule o installer les amortisseurs qui absorberont assez dnergie avant quelle ne saccumule aux endroits critiques. Mais on parle de contrle actif si, une fois reprs ces points critiques, on place en des endroits bien choisis des dispositifs actifs, des actionneurs; ces derniers agiront

alors en fonction de lamplitude des dplacements des points critiques, de faon viter toute volution dangereuse de la structure. Cest une analyse mathmatique du systme tudi qui dtermine les emplacements adquats des capteurs et actionneurs et les procdures de contrle les mieux adaptes. Malheureusement, le calcul exact du comportement du systme en labsence de contrle, de sa sensibilit et de son aptitude tre contrl est, le plus souvent, inaccessible. La raison est en gnral soit la complexit mathmatique des problmes ds quils sont non linaires (impossibilit de les dcomposer en somme dlments simples et peu prs indpendants du point de vue mathmatique), soit le temps de calcul sur ordinateur qui serait trop long. En consquence, le contrle est souvent imparfait. Il se peut par exemple que lon russisse contrler des modes de vibration provisoirement seulement lnergie extrieure saccumule dabord dans de nombreux modes de vibration de faible amplitude, avant de se combiner et de resurgir dans un nombre plus petit de modes, mais avec une forte amplitude. Beaucoup reste faire pour bien comprendre ces processus et remdier leurs effets ngatifs.
21
lences peuvent gner considrablement le mouvement dun vhicule, arien ou autre. On comprend que le contrle soit ici beaucoup plus difficile obtenir. Mais ces problmes ont une grande importance pratique. Aussi les ingnieurs ont-ils essay, par ttonnements, et en sinspirant par exemple du vol des oiseaux pour concevoir les avions, dassurer une certaine contrlabilit de lcoulement. Ils y ont partiellement russi en renforant notamment les bords de fuite et dattaque des ailes, en plaant des capteurs en des endroits peu perturbs et des actionneurs des gouvernes aux endroits sensibles, prs des bords de fuite.
Limage du haut montre un coulement fluide supersonique relativement rgulier. Dans limage du bas, laction dun petit jet de fluide inject latralement a eu pour rsultat le dveloppement dinstabilits dans lcoulement. Une telle manipulation illustre lide que lon peut agir sur un coulement laide de petits dispositifs, notamment en vue de le contrler (Clich Erwan Collin-LEA/CEAT-Universit de Poitiers).
Tenir bon malgr les turbulences

Prenons un troisime exemple : les coulements de fluide grande vitesse, comme lcoulement de lair autour dun avion, dune fuse en dcollage, ou de leau autour dun bateau rapide. Dans ces situations, on est confront la turbulence, cest--dire des mouvements complexes et instables du fluide, une perptuelle destruction et reconstruction de structures si compliques quelles semblent relever dun dsordre total. Les turbuLa thorie mathmatique du contrle a permis dans un premier temps de retrouver ces rsultats empiriques. Puis elle a permis de proposer des stratgies dactions, des plans de conception qui renforcent ou diminuent, selon le cas, la sensibilit aux actions dun oprateur humain ou aux perturbations extrieures. On en est maintenant au point didentifier des dispositifs lmentaires de contrle actif qui agiraient lchelle quasi microscopique, celle dune couche de fluide de
22
quelques diximes de millimtre dpaisseur : par exemple de petits volets ou des micromcanismes permettant de dformer localement le profil du vhicule aux points critiques de lcoulement du fluide. En coordonnant laction de trs nombreux micro-dispositifs de ce genre, on obtiendrait, lchelle macroscopique, un coulement fluide ayant les proprits souhaites. Dans le domaine du contrle de la turbulence des fluides, des recherches mathmatiques, allies des essais physiques ou techniques, vont ainsi ouvrir un monde de performances inimaginables il y a quelques annes ; un monde o, pour obtenir un mme effet, lnergie ou la taille des dispositifs ncessaires sera diminue de plus dun ordre de grandeur.

ves partielles, qui contiennent des termes reprsentant des actions de contrle, dfinies par lhomme. Notons globalement C ces termes de contrle, et f la fonction reprsentant le comportement du systme ; f est la solution dquations diffrentielles o intervient C, et donc f dpend de C. Le but de la thorie du contrle est alors, en gros, de dterminer le C adquat pour que f, le comportement du systme, soit acceptable. Pour un mathmaticien, il ne sagit pas tant de le faire avec telle ou telle quation particulire, mais plutt dobtenir des rsultats gnraux, valables pour de nombreuses classes dquations et donc applicables de nombreuses situations diffrentes. En France, la thorie du contrle figure en bonne place au sein de la brillante cole de mathmatiques appliques qua su crer Jacques-Louis Lions (1928-2001). Mais elle seule, une bonne cole mathmatique ne suffit pas. Il faut galement que ses rsultats soient connus et appliqus par tous ceux qui pourraient en avoir besoin. Do lintrt de resserrer les liens entre la communaut mathmatique et les mcaniciens, les ingnieurs, les chimistes ou les biologistes. Pierre Perrier Acadmie des sciences et Acadmie des technologies, Paris.
La thorie du contrle met en jeu divers champs mathmatiques, en particulier la thorie des quations diffrentielles
Les problmes de contrle que lon a voqus ici peuvent concerner de banals essuieglaces de voiture comme le lanceur spatial le plus labor. La thorie du contrle, ne dans les annes 1940-1950 en relation notamment avec les activits arospatiales, puise ses mthodes et ses concepts dans plusieurs branches des mathmatiques. Elle concerne surtout des quations diffrentielles (o linconnue est une fonction) et des quations aux drives partielles (quations diffrentielles o la fonction inconnue est une fonction de plusieurs variables), un vaste champ dtude dj ancien mais toujours trs actif. En effet, pour la plupart des systmes rencontrs dans le monde rel, leur comportement peut tre modlis laide dune telle quation. Un problme de contrle se traduit alors par une ou plusieurs quations diffrentielles ou aux dri-
Quelques rfrences :
J. R. Leigh, Control theory. A guided tour (Peter Peregrimus, Londres, 1992). J. Zabczyk, Mathematical control theory: an introduction (Birkhaser, 1992). J.-L. Lions, Contrlabilit exacte, perturbations et stabilisation de systmes distribus (Masson, 1988).
tienne Ghys
Une rgle, un crayon, du carton, des ciseaux et de la colle : il nen faut gure plus pour procurer aux mathmaticiens du plaisir et de jolis problmes dont ltude se rvle souvent, aprs coup et de manire inattendue, utile dans dautres mtiers.
onstruisons une pyramide en carton Pour cela, on commence par dcouper un patron SABCDE dans une feuille de carton comme indiqu sur la figure 1, puis on plie le long des lignes pointilles et, enfin, on colle les cts AS et ES.
Figure 1. La construction dune pyramide en carton. Dpourvu de la base ABCDA, cet objet est flexible.
Le rsultat est une espce de cornet dont le sommet est le point S et dont le bord est un quadrilatre ABCD. Cet objet est flexible. Si on le tient dans la main, le quadrilatre ABCD peut se dformer et souvrir plus ou moins : la construction nest pas trs solide. Pour complter la pyramide, il faut encore dcouper un carr en carton et le coller sur le quadrilatre pour former la base. Aprs cette opration, la pyramide est solidifie, rigidifie. Si on la pose sur une table, elle ne scroule pas. Si on la
prend dans la main et si on essaye de la dformer (avec douceur !), on ny parvient pas, moins de dformer les faces en carton. De mme, un cube en carton est rigide comme tout le monde la souvent constat. Quen estil pour un polydre plus gnral, possdant peut-tre des milliers de faces ? La gode de la Villette, Paris, est-elle rigide ? Cette dernire question laisse entrevoir que le sujet de la rigidit et de la flexibilit nest peut-tre pas seulement thorique !
24
Un problme encore dactualit et qui remonte lAntiquit

Le problme de la rigidit de ce type dobjets est trs ancien. Euclide en avait probablement connaissance. Le grand mathmaticien franais Adrien-Marie Legendre sy est intress vers la fin du XVIIIe sicle et en a parl son collgue Joseph-Louis Lagrange ; lequel suggra son tour au jeune AugustinLouis Cauchy dtudier cette question en 1813. Ce sera le premier rsultat marquant du baron A.-L. Cauchy, qui deviendra par la suite lun des plus grands mathmaticiens de son sicle. Cauchy sest intress aux polydres convexes, cest--dire aux polydres qui nont pas dartes rentrantes. Par exemple, la pyramide que nous avons construite ou le ballon
Figure 2. Un polydre convexe et un polydre toil, non convexe.
de football sont convexes, tandis que lobjet dessin droite de la figure 2 ne lest pas. Le thorme tabli par Cauchy est le suivant : tout polydre convexe est rigide. Cela signifie que si lon construit un polydre convexe avec des polygones indformables (en mtal par exemple) ajusts par des charnires le long de leurs artes, la gomtrie globale de lensemble empche les jointures de jouer. Le cornet que nous avons construit est flexible mais cela ninvalide pas le thorme : il lui manque une face, et cest la dernire face qui rigidifie la pyramide Faire des mathmatiques, cest dmontrer ce quon affirme ! Or la dmonstration de Cauchy est superbe (mme si certains ont fait remarquer par la suite quelle tait incomplte). Il nest malheureusement pas question dans ce petit article de donner une ide de cette preuve, mais jaimerais en extraire un lemme , cest-dire une tape dans la dmonstration. Posons sur le sol une chane constitue de quelques barres mtalliques assembles bout bout, comme sur la figure 3. En chacun des angles de cette ligne polygonale, bougeons les deux barres de faon diminuer langle correspondant. Alors, les deux extrmits de la chane se rapprochent. Cela vous semble vident ? Essayez de le dmontrer
Augustin-Louis Cauchy (1789-1857), lun des grands mathmaticiens de son poque. (Clich Archives de l'cole polytechnique)
Pendant longtemps, beaucoup de mathmaticiens se sont demand si les polydres non convexes taient galement rigides. Peut-on trouver une preuve de la rigidit qui nutiliserait pas lhypothse de convexit ? Les mathmaticiens aiment les noncs dans lesquels toutes les hypothses sont utiles pour obtenir la conclusion. Il a fallu attendre plus de 160 ans pour connatre la rponse dans ce cas particulier.
25
La gode de la Villette, la Cit des sciences Paris, est un polydre convexe form de 1730 facettes triangulaires. La rigidit des polydres articuls donne lieu un joli problme mathmatique qui a t rsolu seulement en 1997. (Clich Cosmos/R. Bergerot)
En 1977, le mathmaticien canadien Robert Connelly cra la surprise. Il a construit un polydre (assez compliqu) qui est flexible, bien sr non convexe pour ne pas contrarier Cauchy! Depuis, sa construction a t quelque peu simplifie, en particulier par Klaus Steffen. Je prsente dans la figure 4 un patron qui permettra au lecteur de construire le flexidron de Steffen. Dcoupez, pliez le long des lignes. Les lignes en continu sont des artes saillantes et les lignes en pointill correspondent aux artes rentrantes. Collez les bords libres de la manire vidente. Vous obtiendrez une espce de Shadok et vous verrez quil est effectivement flexible (un peu).
Le volume dun polydre varie-t-il lorsquon le dforme ?

lpoque, les mathmaticiens furent enchants par ce nouvel objet. Un modle mtallique fut construit et dpos dans la salle de th de lInstitut des hautes tudes scientifiques, Bures-sur-Yvette prs de Paris, et lon pouvait samuser faire bouger cette chose vrai dire pas trs jolie, et qui grince un peu. Lhistoire raconte que Dennis Sullivan eut lide de souffler de la fume de cigarette lintrieur du flexidron de Connelly et quil constata quen faisant bouger lobjet, aucune fume ne sortait Il eut donc lintuition que quand le flexidron se dforme, son volume ne varie pas ! Lanecdote est-elle vraie ? Quoi quil en soit, Connelly et Sullivan conjecturrent que lorsquun polydre se dforme, son volume est constant. Il nest pas difficile de vrifier cette proprit dans lexemple particulier du flexidron de Connelly ou encore pour celui de Steffen (au prix de calculs compliqus mais dpourvus dintrt). Mais la conjecture en question considre tous les polydres, y com-
Figure 3. Si lon diminue les angles que font les segments entre eux, les extrmits de la chane de segments se rapprochent.
26
pris ceux qui nont jamais t construits en pratique ! Ils ont appel cette question la conjecture du soufflet : le soufflet au coin du feu jecte de lair quand on le presse; autrement dit, son volume diminue (et cest dailleurs sa fonction). Bien sr, un vrai soufflet ne rpond pas au problme de Connelly et Sullivan : il est en cuir et ses faces se dforment constamment, contrairement nos polydres aux faces rigides. En 1997, Connelly et deux autres mathmaticiens, I. Sabitov et A. Walz, ont finalement russi prouver cette conjecture. Leur dmonstration est grandiose, et illustre une fois de plus les interactions entre toutes les parties des mathmatiques. Dans cette question minemment gomtrique, les auteurs ont utilis des mthodes trs fines dalgbre abstraite moderne. Il ne sagit pas dune dmonstration que Cauchy aurait pu trouver : les techniques mathmatiques de lpoque taient insuffisantes. Je voudrais rappeler une formule que lon apprenait autrefois lcole secondaire. Si les longueurs des cts dun triangle sont a, b et c, on peut calculer facilement la superficie du triangle. Pour cela, on calcule

dabord le demi-primtre p = (a + b + c)/2 et ensuite on obtient la superficie en extrayant la racine carre de p(p - a)(p - b)(p - c). Cette jolie formule porte le nom du mathmaticien grec Hron et nous vient de la nuit des temps. Peut-on calculer, de faon analogue, le volume dun polydre si lon connat les longueurs de ses artes ? Nos trois mathmaticiens contemporains ont montr que oui. Ils partent dun polydre construit partir dun patron form dun certain nombre de triangles et ils appellent l1, l2, l3, etc. les longueurs des cts de ces triangles (ventuellement trs nombreux). Ils trouvent alors que le volume V du polydre doit satisfaire une quation du ne degr, cest--dire une quation de la forme a0 + a1V + a2V2 + + anVn = 0. Le degr n dpend du patron utilis et les coefficients de lquation (a0, a1, etc.) dpendent explicitement des longueurs des cts l1, l2, l3, etc. Autrement dit, si lon connat le patron et les longueurs des cts, on connat lquation. Si le lecteur se souvient quune quation a en gnral une solution lorsquelle est du premier degr, deux solutions lorsquelle est du second degr, il pourra deviner quune quation de degr n na gure que n solutions. Conclusion : si lon connat le patron et les longueurs, on ne connat pas ncessairement le volume, mais on sait au moins que ce volume ne peut prendre quun nombre fini de valeurs. Lorsque le flexidron se dforme, son volume ne peut donc pas varier continment (sinon, le volume prendrait une infinit de valeurs successives) ; ce volume est bloqu et la conjecture du soufflet est tablie
Figure 4. La patron du flexidron de Steffen.
Le thorme du soufflet Oui, le problme du soufflet est digne dintrt !

Ce problme est-il utile, intressant ? Quest-ce quun problme mathmatique intressant ? Question difficile laquelle les mathmaticiens rflchissent depuis longtemps, bien sr. Voici quelques lments de rponse, quelques indices de qualit . Lanciennet est un premier critre: les mathmaticiens sont trs sensibles la tradition, des problmes noncs depuis longtemps, sur lesquels des mathmaticiens de plusieurs gnrations ont planch. Un bon problme doit galement snoncer simplement, sa solution doit mener des dveloppements surprenants, si possible mettant en relation des domaines trs diffrents. De ces points de vue, le problme de la rigidit que nous venons daborder est intressant. La question de savoir si un bon problme doit avoir des applications utiles dans la pratique est plus subtile. Les mathmaticiens y rpondent de manire trs variable. Incontestablement, les questions pratiques , issues par exemple de la physique, servent bien souvent de motivation pour les mathmatiques. Parfois, il sagit de rsoudre un problme bien concret, mais le lien est souvent plus flou : le mathmaticien ne se sert alors de la question concrte que comme dune source dinspiration et la rsolution effective du problme initial nest plus la motivation vritable. Le problme de rigidit appartient cette dernire catgorie. Lorigine physique est assez claire : la stabilit et la rigidit de structures, par exemple mtalliques. Pour linstant, les exemples de Connelly ne sont daucune utilit pour les ingnieurs. Cependant, il parat clair que ce genre de recherche ne manquera pas, dans un avenir indtermin,
27
de permettre une meilleure comprhension globale de la rigidit des vastes structures constitues dun grand nombre dlments individuels (macromolcules, btiments, etc.). Il sagit donc de recherches thoriques et dsintresses , mais qui ont de bonnes chances de savrer utiles un jour tienne Ghys cole Normale Suprieure de Lyon, CNRS-UMR 5669
Quelques rfrences :
M. Berger, Gomtrie, vol. 3. - Convexes et polytopes, polydres rguliers, aires et volumes (CEDIC/Nathan Information, 1977). R. Connelly, I. Sabitov, A. Walz, The bellows conjecture , Beitrge Algebra Geom., 38 (1997), n 1, pp. 1-10. R. Connelly, A counterexample to the rigidity conjecture for polyhedra , Institut des Hautes tudes Scientifiques, Publication Mathmatique n 47 (1977), pp. 333-338. N. H. Kuiper, Sphres polydriques flexibles dans E3, daprs Robert Connelly , Sminaire Bourbaki, 30e anne (1977/78), expos n 514, pp. 147-168 (Lecture Notes in Math. 710, Springer, 1979).

Bernard Prum
Les dveloppements de la biologie moderne, et notamment ceux de la gntique molculaire, exigent de nouveaux outils mathmatiques. Exemple avec la statistique et son rle dans la recherche dun gne li au cancer du sein.
innombrables maladies ont une composante hrditaire : le risque dtre atteint est plus ou moins lev chez un individu selon quil est porteur ou non dun gne dit de susceptibilit la maladie en question. Cest pourquoi la gntique daujourdhui cherche comprendre le rle des diffrents gnes, et en particulier leur rle dans ltiologie des maladies dans lespoir de mettre au point un jour une thrapie. Prenons comme exemple le cancer du sein qui, en France, touche ou touchera environ une femme sur huit. ct de divers facteurs de risque (alimentation, tabac, exposition aux radiations, etc.), on a identifi il y a quelques annes un gne dont les mutations sont impliques dans un pourcentage lev de femmes atteintes dun tel cancer. Ce gne a t baptis BRCA1 (pour breast cancer 1). Un tel rsultat, de nature biomdicale, na pu tre obtenu que par une succession danalyses statistiques qui, nous allons le voir, ont permis de localiser le gne de faon de plus en plus prcise.
Dans cette mammographie en fausses couleurs, une tumeur cancreuse est visible en rose. Une partie des recherches sur les cancers du sein sont consacres leur aspect gntique. La thorie des statistiques y joue un rle capital. (Clich Kings College School/SPL/Cosmos)

La gntique a longtemps ignor la nature matrielle des gnes. Ce nest que depuis une vingtaine dannes que lon a accs massivement aux squences dADN, la chane molculaire qui matrialise linformation gntique transmise des parents aux enfants. Pour autant, lignorance de la composition chimique des gnes na nullement empch dobtenir des rsultats fins sur lhrdit de tel ou tel trait.
29
Figure 1. Une famille o lon observe une concentration de cancers du sein. Les carrs indiquent les hommes, les cercles les femmes. Un individu est indiqu en noir sil est atteint, barr sil est dcd. On constate que la grand-mre, une de ses filles et trois de ses petites filles ont eu un cancer. Bien sr, chez dautres membres de la famille, la maladie peut encore se dclarer. Cest partir de tels pedigrees que les gnticiens sont conduits supposer lexistence de gnes de susceptibilit la maladie.
La premire question que lon se pose face une maladie comme le cancer du sein est : est-ce une maladie gntique, existe-t-il des gnes qui prdisposent cette maladie? . Pour les cancers, la rponse a longtemps t incertaine. On sattend une rponse positive si lon constate des concentrations familiales de la maladie, si lon peut attribuer la fille ou la sur dune femme atteinte un risque plus grand que celui encouru par lensemble de la population. Et pendant longtemps, le statisticien gnticien a eu pour donnes de base des pedigrees comme celui de la figure 1. Que faire dun tel pedigree ? On sait, presque depuis Mendel, quun caractre hrditaire est souvent dtermin par un gne pouvant prendre plusieurs formes, appeles ses allles. Chaque individu hrite un allle de son pre et un allle de sa mre; il transmet chacun de ses enfants lun de ces deux allles au hasard. Le gnticien propose alors, pour la transmission de la maladie tudie, un modle, qui suppose lintervention de certains gnes et allles. Ce modle, le statisticien doit le valider laide de tests statistiques appropris, qui permettront par exemple dliminer les hypothses
les plus simples, comme: la maladie tudie na aucune composante gntique . Dans le cas de plus en plus tudi des maladies tiologie complexe (cas du cancer du sein), o interviennent des facteurs denvironnement ou bien dont lincidence dpend de lge, il convient de traiter des donnes qui dpendent du temps ; on doit alors faire appel la statistique des processus. Cest une branche mathmatique labore, qui sappuie en grande partie sur les rsultats obtenus par lcole franaise de probabilits des annes 1980 (P. A. Meyer, J. Jacod) et ceux de statistique dus lcole scandinave.
Des statistiques pour dterminer le chromosome porteur du gne

Une fois tablie par lanalyse des pedigrees lexistence dun gne de susceptibilit au cancer du sein, la seconde tape consiste le localiser, au moins grossirement, sur lun des 23 chromosomes humains. Pour cela, on dispose depuis les annes 1980 de marqueurs; ce sont de petites chanes dADN bien dtermines que lon peut lire moindre cot, disons par une analyse chimique rapide. Balises
30
relativement faciles localiser, les marqueurs permettent par exemple dvaluer la ressemblance entre des rgions de chromosomes examines chez des personnes malades et apparentes. Plus grande est la similitude dune mme rgion de chromosome chez des personnes apparentes atteintes, plus leve est la probabilit que cette rgion porte un gne impliqu dans la maladie. Mais une telle analyse, statistique bien sr, est complique par le fait que chaque parent ne transmet pas ses enfants les chromosomes quil a lui-mme hrits de ses parents, mais une recombinaison de ceux-ci (figure 2). Si lon considre deux gnes situs au dpart sur un mme chromosome, ils pourront aprs recombinaison se retrouver sur deux chromosomes diffrents ; la probabilit que cela arrive est dautant plus leve que les deux gnes en question sont loigns. Analyser le taux de similarit le long dun chromosome, cest donc tudier un processus alatoire. Grce la statistique des processus, on peut donc dlimiter un intervalle dans lequel se trouve un gne de susceptibilit. Lemploi des marqueurs a ainsi permis lquipe amricaine de Jeff

M. Hall, Berkeley, de localiser en 1990 le gne BRCA1 sur le chromosome 17.
Lire la molcule dADN pour dcrire compltement le gne et ses formes anormales
Il sagit ensuite de localiser prcisment le gne et de dterminer sa structure. On sait que lADN, le matriau gntique, est une longue chane molculaire crite dans un alphabet de 4 lettres (a, c, g et t, initiales des quatre types de molcules dont est forme la chane dADN). Les banques de donnes gntiques rpertorient plusieurs milliards de telles lettres (il en arrive quelque 25 millions par jour).
La prcision de la mthode des marqueurs permet au mieux de localiser un gne sur une squence dADN comptant quelque 4 millions de lettres. Pour savoir exactement quel allle, ou quelle mutation est responsable, par exemple, du cancer du sein, il faut lire ces squences chez les sujets sains et malades pour les comparer. Cela revient trouver une faute de frappe dans un texte de 4 millions de caractres, disons un livre de 2000 pages ou plutt dans autant de livres de 2000 pages que lon a dindividus tudier. Cette tche est lourde, mme avec des moyens informatiques puissants. Or chez lhomme, les gnes ne constituent pas plus de 3 % des chromosomes. Le reste du matriel chromosomique est qualifi dintergnique. Si lon parvient limiter la recherche des Figure 2. Pour chaque paire de chromosomes dun individu, un chromosome est fautes de frappe aux seuls gnes, on hrit de son pre (en noir) et lautre hrit de sa mre (en blanc). Un parent transmet chaque descendant un seul chromosome de chaque paire. Mais avant la trans- rduit la squence explorer une trenmission, les chromosomes de chaque paire peuvent schanger des morceaux, au taine de pages, ce qui devient accessible hasard. Ce processus dit de recombinaison fait que le parent transmet son enfant tout ordinateur. un chromosome recombin (lune des quatre possibilits indiques dans la figure, Mais comment distinguer les gnes o lon suppose que les chromosomes schangent deux rgions).

du reste ? Il savre que le style dans lequel sont crits les gnes diffre du style intergnique : les frquences de successions de lettres ne sont pas les mmes. On peut chercher exploiter cette diffrence de style pour annoter la squence et distinguer les gnes de la partie intergnique. Le dfi est ardu. On doit faire appel des modles statistiques appels chanes de Markov caches et dvelopps dans les annes 1980, en liaison notamment avec des problmes de reconnaissance automatique de la parole ; ils ont d tre adapts la gnomique, en mme temps que lon mettait au point des algorithmes capables la fois de caractriser les diffrents styles et dattribuer un style chaque position sur le chromosome. Cest ainsi que lon a fini par localiser prcisment BRCA1. On peut dsormais le lire facilement chez chaque malade. Ce gne de susceptibilit au cancer du sein compte 5 592 lettres et lon en connat plus de 80 allles. Reste un nouveau travail pour le statisticien : tablir les relations entre les divers allles et la prvalence de ce cancer.
31
dans leur fonction). Un nouveau dfi est aujourdhui lanc au statisticien: on est actuellement capable de placer quelques milliers de ractifs sur une surface de verre dun centimtre carr (les puces ) et de savoir ainsi quels gnes travaillent dans quels tissus, dans quelles conditions exprimentales ou dans quelles cellules cancreuses. Les mesures effectues en laboratoire, selon des centaines de conditions diverses, fournissent aux chercheurs un nombre considrable de donnes numriques, qui caractrisent lexpression de milliers de gnes. ce jour, seules des analyses statistiques peuvent prtendre les traiter et prciser ainsi les liens entre gnes et maladies. Bernard Prum Laboratoire Statistique et Gnome (UMR CNRS 8071), La Gnopole, Universit dvry
Quelques rfrences :
La biologie offre aux mathmatiques un nouveau terrain daction

Lexemple du gne BRCA1 le suggre, la biologie jouera probablement vis--vis des mathmatiques le rle dtenu par la physique au cours dune bonne partie du XXe sicle : offrir un champ dapplication aux outils thoriques rcents et susciter llaboration de nouveaux outils (nous avons voqu ici les outils statistiques, mais on pourrait voquer dautres domaines des mathmatiques comme les systmes dynamiques, loptimisation, jusqu la gomtrie la conformation spatiale des molcules joue, on le sait, un rle essentiel
B. Prum, Statistique et gntique dans Development of Mathematics 1950-2000 (sous la dir. de J.-P. Pier, Birkhuser, 2000). C. Bonati-Pelli, F. Doyon et M. G. L, O en est lpidmiologie du cancer en lan 2001 , Mdecine-Science, 17, pp. 586-595 (2001). F. Muri-Majoube et B. Prum, Une approche statistique de lanalyse des gnomes , Gazette des mathmaticiens, n 89, pp. 63-98 (juillet 2001). B. Prum, La recherche automatique des gnes , La Recherche, n 346, pp. 84-87 (2001). M. S. Waterman, Introduction to computational biology (Chapman & Hall, 1995).

Stphane Mallat
Quelles soient stockes numriquement dans des mmoires informatiques ou quelles voyagent travers Internet, les images occupent beaucoup de place. Heureusement, il est possible de les condenser sans altrer leur qualit !
Figure 1. Ces trois images illustrent la puissance des mthodes de compression actuelles. Limage originale (A) est constitue de 512 x 512 points, chacun deux ayant un certain niveau de gris, pris dans une palette de 256 niveaux. Limage (B) est le rsultat dune compression par un facteur 8, ralise en rduisant les niveaux de gris 2 valeurs possibles seulement (noir ou blanc). Limage (C) a t obtenue de (A) par une compression dun facteur 32 en utilisant une base dondelettes. La diffrence de qualit avec limage initiale est peine perceptible. (Illustration auteur)
ne image numrise se comprime, tout comme un jus dorange que lon rduit quelques grammes de poudre concentre. Il ne sagit pas dun tour de passe-passe, mais de techniques mathmatiques et informatiques permettant de rduire la place occupe par une image dans un ordinateur ou dans un cble de communication. Elles sont aujourdhui indispensables pour stocker de linformation ou la transmettre par Internet, tlphone, satellite ou autre.
La compression dune image revient reprsenter celle-ci laide dun nombre rduit de paramtres, en liminant les redondances. Un exemple caricatural aidera comprendre lide de principe : dans le cas dune image uniformment blanche, il est inutile de prciser explicitement pour chacun de ses points le niveau de gris correspondant; cela serait beaucoup plus long que dnoncer: tous les points de limage sont blancs . Le problme de la reprsentation est un sujet central en math-

matiques, et ses applications vont bien audel de la compression de donnes. Durant ces dix dernires annes, des avances considrables ont eu lieu grce au dveloppement de la thorie des ondelettes. Dans le domaine du traitement dimages, ces progrs ont abouti ladoption du nouveau standard de compression JPEG-2000. Cette histoire a de nombreux mandres, qui illustrent bien le rle des mathmatiques dans le paysage scientifique et technologique moderne.
33
Au commencement tait lanalyse de Joseph Fourier

Comme on la dit, limage numrise est dfinie par les 512 x 512 nombres qui spcifient lintensit lumineuse en chaque point. On peut donc interprter cette image comme un point dans un espace 512 x 512 dimensions de la mme faon quun point sur une surface, espace deux dimensions, peut tre repr par deux coordonnes et se demander quels sont les axes de coordonnes les plus appropris pour reprsenter un tel point. Un systme daxes (ici de nature plus abstraite que les axes familiers de la gomtrie lmentaire) dfinit ce que lon appelle une base. Une premire avance fondamentale a t ralise par le mathmaticien-physicien Joseph Fourier en 1802, dans son mmoire lAcadmie des Sciences sur la propagation de la chaleur, sujet a priori sans relation avec notre problme. Fourier a notamment montr que, pour reprsenter de faon compacte et commode une fonction f(x) (du point de vue mathmatique, une telle fonction est un point dans un espace ayant une infinit de dimensions), on peut utiliser des axes construits laide dun ensemble infini de fonctions sinusodales. En des termes un peu plus prcis : Fourier a montr que lon peut reprsenter une fonction f(x) par une somme dune infinit de fonctions sinus et cosinus de la forme sin (ax) ou cos (ax), chacune affecte dun certain coefficient. Ces bases de Fourier sont devenues un outil essentiel, dusage extrmement frquent dans les sciences, car elles servent reprsenter de nombreux types de fonctions, donc de nombreuses grandeurs physiques. En particulier, on les utilise aussi pour reprsenter
Trente-deux fois moins de place grce aux ondelettes

Considrons une image comme celle de la figure 1A. Elle est constitue de 512 x 512 points, dont les niveaux de gris peuvent varier de 0 (noir) 255 (blanc). Chacun des 256 niveaux de gris possibles peut tre reprsent par un octet, cest--dire un nombre binaire constitu de 8 bits (un octet est donc simplement une suite de 8 chiffres 0 ou 1, comme 11010001). Il faut donc 512 x 512 x 8 = 2097152 bits pour coder une seule image de ce genre, ce qui est beaucoup ! Premire ide qui vient lesprit pour rduire le nombre de bits : diminuer le nombre de niveaux de gris, par exemple en se limitant du blanc ou du noir, comme dans la figure 1B. Les deux valeurs possibles du niveau de gris se codent avec un seul bit (valant 0 ou 1), et lon a ainsi diminu le nombre de bits par 8. videmment, la qualit de limage sest beaucoup dgrade. Regardez maintenant limage de la figure 1C. Elle est code avec 32 fois moins de bits que limage originale, par une mthode utilisant la thorie des ondelettes ; pourtant, la dgradation est peine perceptible ! Pourquoi? Parce quau lieu de rduire la prcision, cest la manire de reprsenter linformation qui a ici t change.
34
des sons ou des images. Et pourtant, les ingnieurs savent bien que ces sinusodes sont loin dtre idales pour des signaux aussi complexes que des images: elles ne reprsentent pas efficacement des structures transitoires telles que les contours de limage.

ntaient pas bien adaptes pour analyser les tats dun atome. Cela a t lorigine de nombreux travaux qui ont, ultrieurement, beaucoup apport la thorie des ondelettes. Cest aussi vers les annes 1930 que des mathmaticiens se sont mis tenter damliorer les bases de Fourier pour analyser des structures singulires localises, ce qui a ouvert un important programme de recherche toujours trs vivant. Autrement dit, une multitude de communauts scientifiques ont dvelopp, avec les moyens du bord, des modifications des bases de Fourier. Dans les annes 1980, Yves Meyer, un mathmaticien franais, a dcouvert les premires bases dondelettes orthogonales (lorthogonalit dsigne une proprit qui facilite beaucoup les raisonnements et les calculs ; les bases de Fourier sont galement orthogonales). Cette dcouverte, suivie de quelques rencontres inopines autour de photocopieuses ou de tables de caf, ont dclench en France un vaste mouvement scientifique pluridisciplinaire, dont limpact international fut considrable. Les applications de la thorie et des algorithmes dondelettes ont fait leur chemin non seulement dans de nombreux domaines scientifiques et technologiques, mais sont aussi lorigine de la cration de plusieurs entreprises aux tats-Unis.
puis est venue la transforme en ondelettes

Les spcialistes du traitement des signaux ntaient pas les seuls prendre conscience des limitations des bases de Fourier. Dans les annes 1970, un ingnieur-gophysicien franais, Jean Morlet, sest rendu compte quelles ntaient pas le meilleur outil mathmatique pour explorer le sous-sol; cela conduisit lune des dcouvertes dans un laboratoire dElfAquitaine de la transforme en ondelettes. Cette mthode mathmatique, fonde sur un ensemble de fonctions de base diffrentes des fonctions sinusodales utilises dans la mthode de Fourier, remplace avantageusement la transforme de Fourier dans certaines situations. Par ailleurs, ds les annes 1930, les physiciens staient rendu compte que les bases de Fourier
Les mathmatiques des ondelettes ont jou un rle de pivot dans nombre de domaines
Les mathmatiques ont eu ici un rle fondamental, la fois de catalyse, de nettoyage et dapprofondissement. En dgageant les concepts fondamentaux des appli-
Figure 2. Le graphe dune ondelette utilise dans la compression dimages.

cations spcifiques, elles ont permis des scientifiques de domaines trs divers en physique, en traitement du signal, en informatique, etc. de se rendre compte quils travaillaient sur le mme outil. Aller au-del, affiner ces outils, contrler leurs performances : ce sont les travaux mathmatiques modernes sur lanalyse de Fourier qui ont rendu tout cela possible. Enfin, cette thorie a donn une technique standard de calcul scientifique (la transforme en ondelettes rapide) grce une collaboration entre mathmaticiens et spcialistes du traitement des signaux. Limage de la figure1C a ainsi t obtenue grce aux mmes bases dondelettes que celles utilises en statistique, en sismique, ou en calcul scientifique, avec le mme algorithme rapide. Et travers le standard international JPEG-2000 pour la compression dimages, ces ondelettes envahissent actuellement tous les domaines de limage, de lInternet aux appareils photos numriques, et se dirigent vers les satellites.
35
figurant dans limage des courbes gomtriques assez simples. Mettre profit ces courbes et leur rgularit devrait donc permettre damliorer considrablement les rsultats obtenus jusqu prsent ; mais la thorie des ondelettes nen est pour linstant pas capable. Construire ce pont avec le monde de la gomtrie pose des problmes mathmatiques difficiles. Cependant, lenjeu scientifique et industriel tant important, on peut sattendre ce quil soit construit dans les dix annes venir. En France ? Stphane Mallat Dpartement de mathmatiques appliques, cole polytechnique, Palaiseau
Un pont reste construire entre le monde des ondelettes et le monde de la gomtrie

Les bases de Fourier ntaient pas bien adaptes lanalyse des phnomnes transitoires, tandis que les bases dondelettes le sont. Est-ce la fin de lhistoire ? Non. En traitement dimages, comme dans tous les autres domaines o les ondelettes sont devenues un outil de base, chacun bute actuellement sur le mme type de problme: exploiter les rgularits gomtriques. En effet, on sait quune image, mme complexe, est remarquablement bien reprsente par un simple dessin compos de relativement peu de traits, et lon peut souvent assimiler les contours des objets
Quelques rfrences :
B. B. Hubbard, Ondes et ondelettes - La saga dun outil mathmatique (Pour la Science/Belin, 1995). S. Mallat, Une exploration des signaux en ondelettes (cole polytechnique/Ellipses, 2000). Y. Meyer, Ondelettes et algorithmes concurrents (Hermann, 1992).

Daniel Bouche
Comment chapper la dtection par un radar ? Quelle est la forme optimale dun mur anti-bruit ? Peut-on amliorer les images chographiques ? Pour recevoir une rponse satisfaisante, ces questions demandent des analyses thoriques pousses.
uest-ce quune onde ? Bien malin celui qui saurait donner une rponse la fois prcise et unique cette question ! Pourtant, les ondes sont omniprsentes et constituent le quotidien dun grand nombre de scientifiques et dingnieurs. En termes un peu vagues et intuitifs, on peut dire quune onde est la propagation dun signal, dune perturbation, dans un certain milieu, une vitesse identifiable.
que loreille ne peroit pas. Lorsquelles se propagent au sein dun solide, on parle plutt dondes lastiques, dont font partie les ondes sismiques qui traversent lintrieur de notre plante et que dtectent les sismographes. Le cas des ondes lectromagntiques est particulirement important. Ce sont des variations de champs lectrique et magntique, qui se propagent dans le vide la vitesse de la lumire. La lumire visible, les infrarouges, les ultraviolets, les rayons X, les rayons gamma, les micro-ondes, les ondes radio, les ondes radar, tous ces phnomnes sont des ondes lectromagntiques. Ce qui les distingue, cest leur frquence, ou encore leur longueur donde (quelques fractions de micromtre pour la lumire visible, encore moins pour les ultraviolets et les rayons X et gamma, quelques centimtres quelques centaines de mtres pour les ondes radar et radio). Ltude du comportement des ondes sert non seulement comprendre la nature qui
Les exemples ne manquent pas. Il y a bien sr les vaguelettes que lon peut crer la surface de leau en y jetant un petit caillou ; ici, cest une perturbation de la hauteur de leau qui se propage. La distance entre deux vaguelettes successives est la longueur donde, une grandeur fondamentale dans la description des phnomnes ondulatoires. Les ondes sonores, elles, mettent en jeu des variations de la pression et de la densit du milieu ambiant (lair le plus souvent), ces variations se produisant des frquences audibles. Les ondes acoustiques sont de mme nature, et englobent la fois les ondes sonores et celles

nous entoure, mais aussi matriser quantit de techniques, et a fortiori crer de nouvelles inventions pointues. Le comportement des ondes lumineuses touche tout le domaine des instruments optiques, quil sagisse dobjectifs photographiques, de microscopes, dappareils de tlmtrie, etc. On peut penser aux ondes radar et leurs applications militaires, la conception dengins militaires furtifs, cest--dire qui chappent autant que faire se peut la dtection par les radars. Quant aux ondes acoustiques, on peut voquer la conception de salles de concert ayant une acoustique optimale, de matriaux ou de structures absorbant le bruit, de dispositifs anti-bruit actifs (cest--dire qui mettent des ondes sonores opposes celles du bruit, pour neutraliser celui-ci), dappareils dchographie ou de destruction de calculs rnaux, dappareils de contrle non destructif (dtection de dfauts dans des pices davions par exemple), etc.
37
Des quations connues, mais difficiles rsoudre avec prcision

Les quations qui rgissent les diffrents types dondes sont bien connues depuis longtemps. Ainsi, celles relatives aux ondes lectromagntiques ont t tablies par le physicien cossais James Clerk Maxwell il y a plus dun sicle, vers 1870. Mais il ne suffit pas de connatre les quations auxquelles obit une onde radar, par exemple, pour savoir comment cette onde va se propager, interagir avec lobstacle constitu par un avion ou un autre objet que lon cherche dtecter et localiser et se rflchir partiellement vers lantenne radar qui la mise. Il faut en effet pouvoir rsoudre ces quations, dont linconnue est le champ ondulatoire, cest--dire les amplitudes de londe en chaque point de lespace et tout instant. Ce nest pas du tout facile. Il sagit dquations aux drives partielles (o interviennent lamplitude inconnue de londe et ses drives par rapport aux coordonnes spatiales et au temps), que lon doit complter par des conditions aux limites . Celles-ci spcifient mathmatiquement des donnes essentielles comme le champ ondulatoire linstant initial, la forme de lobstacle et la faon dont londe se comporte sa surface (rflexion, absorption, etc.), la manire dont lamplitude de londe dcrot trs grande distance de la source et de lobstacle. La rsolution de ce type de problmes, o londe est diffracte (dvie, modifie) par des objets, est complexe; elle ncessite des outils mathmatiques, certains simples et connus depuis longtemps, dautres beaucoup plus labors et encore en dveloppement. Plus
Le Petit duc est un drone (petit avion tlcommand) que dveloppe Dassault Aviation. Cest un appareil furtif: sa forme et ses matriaux sont choisis de manire ce quil soit difficile dtecter par les ondes radar. Ce choix seffectue sur la base de calculs compliqus portant sur la propagation dondes ; dans certains cas, la prcision de tels calculs laisse dsirer et fait lobjet de recherches soutenues (Clich Dassault Aviation).
38
gnralement, dailleurs, les quations aux drives partielles reprsentent une branche trs importante des mathmatiques, qui fait lobjet de recherches actives depuis plus de deux cents ans. Une fois les quations et leurs conditions aux limites tablies, lune des premires tches du mathmaticien consiste formuler le problme en termes rigoureux et dmontrer que les quations ont une solution, et que si cest le cas, la solution est unique (autrement, cela signifierait que le problme est mal pos, que la modlisation est incomplte). Une telle tude peut tre ardue, et on ne sait pas toujours la mener bien ; mais elle permet de sassurer que lon ne se lancera pas en vain dans des calculs de rsolution !

tion du problme soit unique, il faut imposer une condition dite de rayonnement qui spcifie comment lamplitude de londe dcrot au fur et mesure quelle sloigne. Cette condition nest pas simple imposer numriquement. Lune des solutions proposes consiste transformer lquation aux drives partielles dorigine en une quation intgrale (quation o les fonctions inconnues apparaissent dans des intgrales) ; lavantage de cette formulation est quelle satisfait automatiquement la condition de rayonnement. Cest dans les annes 1960 quont t crits les premiers programmes informatiques de
Lanalyse mathmatique permet de formuler rigoureusement le problme et de mettre au point des mthodes de rsolution efficaces
Il sagit ensuite de proposer des mthodes efficaces pour rsoudre, avec une prcision suffisante, le problme pos. La rsolution dite analytique, o lon obtient un rsultat exact et gnral, exprim par une formule compacte, est gnralement hors de porte, sauf cas exceptionnels et trs simples. Le scientifique ou lingnieur doit se contenter dune rsolution numrique ralise par ordinateur car les calculs ncessaires sont trs volumineux qui donne le rsultat sous forme de valeurs numriques (des nombres), valables avec une certaine approximation. Dimportantes difficults apparaissent ici aussi. Ainsi, dans les problmes mettant en jeu la diffraction dondes par des objets, le milieu de propagation est souvent illimit : londe peut aller jusqu linfini. Or pour que la solu-
Un problme typique de propagation dondes : une source S met une onde radar, lumineuse, acoustique ou autre (en rouge sur la figure) de longueur donde bien dfinie ; londe se rflchit partiellement (en bleu et vert sur la figure) sur les deux obstacles prsents O1 et O2 ; quelle va tre lamplitude de londe rsultante en chaque lieu, par exemple au niveau dun dtecteur plac en S? La rsolution de ce problme difficile doit prendre en compte le type dondes mises, leur longueur donde, la forme des obstacles, le matriau dont ceux-ci sont constitus, etc.
rsolution par quations intgrales. Ils ne permettaient de calculer que la diffraction par des objets petits par rapport la longueur donde ; de plus, ils donnaient souvent des

rsultats aberrants, faute dune analyse mathmatique suffisante. La comprhension des problmes rencontrs et leur rsolution ont permis, partir de la fin des annes 1980, de calculer avec de plus en plus de prcision la diffraction dune onde par des objets de plus en plus grands par rapport la longueur donde. Les recherches se prolongent aujourdhui dans divers domaines : choix de la formulation intgrale la mieux adapte au problme, techniques numriques pour rsoudre lquation. En particulier, les mthodes dites multipolaires ont permis daugmenter notablement la taille des problmes traitables. Ces travaux ont contribu la ralisation doutils logiciels fiables, capables de calculer avec prcision le champ ondulatoire diffract par des objets de taille atteignant plusieurs dizaines de fois la longueur donde. Cest, notamment, le cas dun avion dans le champ dun radar de longueur donde mtrique.
39
faiblement diffractants. Mais les techniques numriques faisant appel aux conditions aux limites absorbantes ont elles aussi considrablement progress ; elles offrent prsent un niveau de rflexion parasite trs faible, grce des travaux thoriques raliss essentiellement au dbut des annes 1990.
Loptique gomtrique et ses gnralisations, au service des courtes longueurs donde

Lorsque la taille des obstacles qui diffractent les ondes est trs grande par rapport la longueur donde (une gouttelette deau claire par de la lumire visible, un avion balay par un radar de longueur donde dcimtrique, etc.), il existe une voie un peu plus facile que la rsolution directe des quations des ondes : la bonne vieille optique gomtrique. Celle-ci assimile les ondes lumineuses des rayons qui se propagent en ligne droite dans un milieu donn, et qui sont soumis aux lois simples de la rflexion et de la rfraction dcouvertes plusieurs sicles avant les qua-
Une mthode concurrente de la formulation en quations intgrales consiste rsoudre directement lquation aux drives partielles, et saffranchir de la condition de rayonnement en limitant artificiellement le milieu de propagation par une condition aux limites absorbantes : on impose (mathmatiquement) la prsence dune frontire imaginaire qui absorbe compltement toutes les ondes quelle recueille. Ces conditions aux limites absorbantes ont longtemps t responsables de lapparition, dans les solutions numriques, de phnomnes de rflexions parasites ; ils taient particulirement Des ondes se propageant la surface de leau : mme ce phnomne quotidien et banal peut gnants dans le cas dobjets tre extrmement difficile dcrire correctement et avec prcision. (Photo : Getty Images)
40
tions dcrivant les ondes lectromagntiques. Lun des apports des physiciens, en particulier lAllemand Arnold Sommerfeld (1868-1951), a t de montrer que loptique gomtrique est en dfinitive une manire de rsoudre les problmes de diffraction lorsque les objets sont infiniment grands par rapport la longueur donde. Mais bien sr, la taille des objets rels nest pas infinie : loptique gomtrique nest donc quune approximation plus ou moins bonne. Aussi a-t-elle t ensuite tendue et gnralise afin de dterminer le champ ondulatoire aux endroits o loptique gomtrique classique prvoyait uniquement de lombre. Ces travaux, entams dans les annes 1950, se poursuivent ; ils permettent de disposer doutils, certes moins prcis que les mthodes de rsolution numrique directe dquations aux drives partielles, mais oprants dans le domaine des courtes longueurs donde. Malgr toutes ces avances, de nombreux problmes ondulatoires ne sont toujours pas rsolus de manire satisfaisante. Il en est ainsi de la diffraction par des objets de grande taille par rapport la longueur donde, mais de forme complexe, avec des dtails fins par rapport la longueur donde (cas dun avion, ou dun missile, lorsquon veut prendre en compte leur forme dtaille au boulon prs, et non leur allure gnrale). Il reste encore beaucoup faire ! Daniel Bouche CEA (Commissariat lnergie atomique), Dpartement de physique thorique et applique, Direction dle-de-France
Quelques rfrences :
Site Internet du projet de recherche Ondes lINRIA: http://www.inria.fr/recherche/equipes/ondes.fr.html G. B. Whitham, Linear and non-linear waves (Wiley, 1974). D. S. Jones, Acoustic and electromagnetic waves (Oxford University Press, 1986). J. A. Kong, Electromagnetic wave theory (Wiley, 1990). E. Darve, The fast multipole method: numerical implementation , Journal of Computational Physics, 160 (1), pp. 195-240 (2000). D. Bouche et F. Molinet, Mthodes asymptotiques en lectromagntisme (Springer-Verlag, 1994).

Francine Delmer
Les mathmatiques ninspirent pas que les scientifiques. De nombreux artistes y ont puis la matire de certaines de leurs uvres. La rciproque est parfois vraie aussi, comme dans le cas de la perspective, o lart a montr le chemin des thories gomtriques.
e novembre 2000 janvier 2001, la Galerie et informatique thorique. La mme anne, nationale du Jeu de Paume prsente une Proof de David Auburn, qui met en scne la rtrospective du plasticien Franois Morellet, vie de mathmaticiens, obtient le prix Pulitzer artiste que le critique Thomas McEvilley qua- de thtre. crite pour un public nophyte, lifie, dans le catalogue de lexposition, de pythagoricien postmoderne . En fvrier 2001, Tom Johnson se voit dcerner la Victoire de la musique de cration musicale contemporaine pour sa pice Kientzy Loops. Ce compositeur labore des transpositions musicales de suites qui agissent comme des contraintes, dtourne les automates, dcline le triangle de Pascal (SelfReplicating Loops, Canons rythmiques, etc.). Il place toujours les concepts mathmatiques en pralable ses uvres, et pour- On raconte que Galile aurait observ, dans la cathdrale de Pise, les balancements des lustres suit de longue date dialogues pendus la vote au lieu d'couter le sermon. Il eut l'ide de compter les oscillations, remaret questionnements fructueux qua que leurs frquences taient diffrentes mais qu'elles taient inversement proportionnelles la racine carre de la longueur du pendule. C'est sur cette constatation que s'appuie avec Jean-Paul Allouche, cher- l'uvre Galileodu compositeur Tom Johnson. Ici, les pendules sont suspendus une structure cheur en thorie des nombres dessine et construite par l'artiste-ingnieur bordelais Eric Castagns. (Clich Eric Castagns)
42
cette uvre offre une vision intressante du travail de chercheur et met en exergue certaines caractristiques de ce milieu. On peut y dceler des clins dil lhistoire rcente et singulire du mathmaticien amricain John Forbes Nash, des allusions celle de la dmonstration du thorme de Fermat par le chercheur anglais Andrew Wiles. Ces trois vnements, relays par les mdias, illustrent lactualit de la fascination rciproque entre mathmaticiens et artistes. Continment dans lhistoire, leurs relations parcourent lensemble des domaines artistiques et sentretiennent des niveaux trs diversifis, comme en tmoignent philosophes, historiens de lart, pistmologues, artistes et mathmaticiens lorsquils dbattent de leur ralit et de leur pertinence. Il ne sagira pas ici de lgitimer quelque cration artistique par ses rfrences des thories scientifiques, ni de porter un jugement de valeur ou de tenter une quelconque classification des pratiques mathmatiques et artistiques. Nous nous bornerons seulement clairer ces liens dun regard pointilliste.

lesprit humaniste de la Renaissance, se sont intresss la gomtrie, loptique, larchitecture et aux questions tant thoriques que pratiques inhrentes ces domaines. Drer, nourri des rflexions et des travaux des Italiens, en particulier Piero della Francesca et Alberti, a fix dans son trait de gomtrie Underweysung der messung (1525) les rgles de la perspective. Ds lors, les artistes en feront largement usage dans leurs uvres, tandis que les mathmaticiens franais Girard Desargues puis Gaspard Monge dvelopperont aux XVIIe et XVIIIe sicles les gomtries projective et descriptive. Il faut noter dans ce cas prcis la prsance de lart sur la science: comme lexplique lhistorien de lart Eric Valette, linvention de la perspective est certainement un des plus flagrants exemples o le systme symbolique artistique apporte une connaissance du monde encore inconnue pour la science . En littrature, la mathmatique pourrait paratre moins prsente. Cependant, les membres de lOulipo (Ouvroir de littrature potentielle, fond en 1960 par Raymond Queneau et Franois Le Lionnais, crivains et mathmaticiens), y puisent souvent leurs contraintes dcriture. Ainsi, dans La Vie mode demploi de Georges Perec, les ressorts de lintrigue rpondent au problme combinatoire du carr bi-latin orthogonal dordre dix. Au XXe sicle, la cration musicale a t marque par les compositeurs Pierre Boulez et Iannis Xenakis, tous deux forms aux mathmatiques. Boulez dveloppe dans ses compositions les principes du srialisme, tandis que Xenakis fait appel un contrle statistique des paramtres musicaux dans sa musique stochastique, pour ne citer quun exemple dans le foisonnement de leur cration. LIRCAM cr en 1970 par Pierre Boulez et au sein duquel travaillent nombre de
Entre les arts et les mathmatiques, des liens tisss de tout temps
Cest pour la construction des pyramides dit-on, que les gyptiens, environ 2 700 ans avant notre re, utilisaient les triangles sacrs de cts 3, 4, 5 donnant langle droit (ces mesures vrifient la relation carr de lhypotnuse = somme des carrs des deux autres cts qui caractrise les triangles rectangles). On pense aussi aux thories pythagoriciennes vers 500 ans avant J.-C. des rapports numriques qui vont gouverner lharmonie musicale. Plus prs de nous, Albrecht Drer et Lonard de Vinci, figures emblmatiques de

musiciens, acousticiens, mathmaticiens et informaticiens aux formations mixtes atteste encore de limbrication profonde des mathmatiques et de la musique en ce dbut du XXIe sicle, tant au niveau technique que thorique. Une intressante mise en perspective des questions relatives ce sujet y fut prsente au cours du Quatrime forum mathmatique Diderot organis en dcembre 1999 par la Socit europenne de mathmatiques, sous le titre Logiques mathmatiques, logiques musicales au XXe sicle.
43
mathmatiques sont-elles utilises, par tel art, pour des raisons techniques ou thoriques ? Inspirent-elles les artistes de faon mtaphorique ou symbolique ? Le peintre Franois Morellet, dj cit, utilise au plus prs loutil mathmatique; en tmoignent ses uvres Rpartition alatoire de quarante mille carrs suivant les chiffres pairs et impairs dun annuaire de tlphone, ironicon n 2, etc., o il suggre lide de linfini. Selon le critique dart Gilles Gheerbrandt, chez lui, les mathmatiques (lmentaires) peuvent servir la formulation des problmes, mais elles sont un simple outil, jamais une fin en soi . Lartiste, de son ct, affirme utiliser les mathmatiques pour chapper toute subjectivit ou affectivit, pour garder une distance vis-vis de luvre, pour la dsensibiliser; il renoue ainsi avec la vieille idologie platonicienne
Les mathmatiques, tantt simple outil, tantt moteur thorique de la cration

Ces quelques chantillons illustrent la diversit des relations entre mathmatiques et arts et posent quelques questions. Les
Lartiste Franois Morellet, un pythagoricien postmoderne . (Clich Gamma/Raphal Gaillarde)
44
consistant dnoncer les charmes de lart qui ne seraient que tromperie. Si certains artistes usent de notions lmentaires comme rfrences ou prtextes, dautres sapproprient les principes de thories mathmatiques dans leurs fondements, puisant alors lessence du raisonnement. Le peintre Albert Aym, lun des exemples les plus radicaux de plonge dans labstraction, sappuie sur une dmarche analogue celle de la recherche mathmatique. Rejetant les mcanismes combinatoires, il dveloppe sa rflexion dans des traits Approche dun langage spcifique, Sur les paradigmes, etc. qui donnent le cadre de son projet pictural : Je mefforce davancer dans mon travail avec la rigueur dun scientifique mais sans me dissocier pour autant de la passion du pote ou du musicien . Luvre, au demeurant, peut se passer du discours et reste intrinsquement belle , lart abstrait ntant, son sens, pas une affaire de got mais de mthode . Activits humaines, les mathmatiques et les arts sont le fait dindividus plongs dans le mme climat culturel, politique, religieux. Les grandes ruptures de lhistoire ne laissent aucun de ces domaines sur le bord du chemin en raison dinteractions qui semblent tributaires de lesprit du temps. Nest-ce pas, en effet, la lecture des crits philosophiques de Henri Poincar, qui popularise au tournant du XXe sicle les ides de la gomtrie non euclidienne, que les cubistes balayent la perspective traditionnelle ? Soyons en conscients, toute volont de fusion ou dunification entre mathmatiques et arts serait rductrice et vaine. Cest bien la connaissance et la curiosit qui permettent changes et confrontations dans un abord

propre chaque forme dexpression. Constatons seulement avec bonheur que les mathmatiques et les arts jouent ensemble, encore et toujours, une partition de lumire. Francine Delmer Laboratoire Arithmtique et Algorithmique exprimentale Universit Bordeaux 1, Talence
Quelques rfrences :
E. Valette, La perspective lordre du jour (LHarmattan, 2000). G. Gheerbrant, Franois Morellet , Parachute, Montral, n 10, p. 5 (printemps 1978). M. Loi (sous la dir. de), Mathmatiques et arts (Hermann, 1995). J.-L. Binet, J. Bernard, M. Bessis (sous la dir. de), La cration vagabonde (Hermann, collection Savoir, 1980). V. Hugo, Lart et la science (Anas et Actes Sud, 1864/1995). M. Sicard (sous la dir. de), Chercheurs ou artistes (Autrement, srie Mutations, n 158, 1995). I. Xenakis, Arts/sciences. Alliages (Casterman, 1979). J.-M. Lvy-Leblond, La pierre de touche - la science l'preuve (Gallimard, 1996). J. Mandelbrot, Les cheveux de la ralit - autoportraits de lart et de la science , Alliage, 1991. D. Boeno, De lusage des sections coniques , Cahiers art et science, n 5, pp. 41-54 (Confluences, 1998).

Nguyen Cam Chi et Hoang Ngoc Minh
Lactivit biologique de la molcule dADN dpend notamment de son agencement dans lespace et de la faon dont elle est entortille choses qui sont du ressort de la thorie mathmatique des nuds.
ersonne aujourdhui ne peut lignorer: lADN est la molcule qui, dans chaque cellule des tres vivants, porte linformation gntique et commande pour une large part lactivit cellulaire. LADN comporte en gnral deux longs brins parallles constitus dun enchanement de molcules appeles bases nuclotidiques, les deux brins tournant lun autour de lautre en formant une structure hlicodale : la clbre double hlice.
Une molcule dADN circulaire et noue, vue au microscope lectronique. La topologie de la molcule dADN influence son activit. (Clich N. Cozzarelli, universit de Berkeley)
Linformation porte par lADN est code par la squence de paires de bases nuclotidiques. Cette squence ne dpend pas de la faon dont la molcule est tortille, mle ou
noue. Dans les annes 1960-1970, cependant, aprs la dcouverte des molcules dADN circulaires (des boucles composes dun seul brin ou de deux brins enrouls lun autour de lautre), on a commenc sinterroger sur linfluence de la forme topologique de lADN,
48
cest--dire sa disposition dans lespace. En 1971, le biochimiste amricain James Wang a mis en vidence que certaines enzymes, les topo-isomrases, peuvent modifier la configuration topologique de lADN, par exemple en y crant des nuds, et que la topologie de la molcule dADN influe sur son fonctionnement dans la cellule. Ltude des configurations topologiques de lADN peut donc nous renseigner sur la faon dont lADN intervient dans les mcanismes cellulaires. La topologie, que certains dfinissent comme la gomtrie du caoutchouc cest--dire ltude de proprits qui ne sont pas modifies par une dformation, par une modification des longueurs est une branche importante et fondamentale des mathmatiques. Ses concepts et mthodes sont ncessaires quasiment tous les mathmaticiens. La thorie des nuds en est une manation particulire. Ne il y a environ un sicle, celleci vise tudier prcisment la structure des nuds, et les classer. Elle a trouv des applications dans dautres disciplines scientifiques (en chimie molculaire, en physique statistique, en physique thorique des particules, etc.), en plus de ses liens avec dautres domaines de la recherche mathmatique. La question fondamentale de la thorie des nuds est la suivante : tant donns deux nuds (pas trop simples!) raliss par exemple avec du fil, peut-on dire sils sont quivalents ? En dautres termes, peut-on tirer ou dformer lun pour le rendre identique lautre, sans rien couper ? Comme les topologues sautorisent des dformations, leur dfinition dun nud est lgrement diffrente de celle de lhomme de la rue : pour eux, un nud sobtient en joignant les deux extrmits du fil ; sinon, on pourrait en tirant et en dformant convenablement le fil dnouer nim-

porte quel nud, et tous les nuds seraient alors quivalents. Du point de vue de la topologie, donc, un nud est obligatoirement constitu dune ou plusieurs boucles ce qui est le cas des ADN circulaires.
Classer les nuds en recherchant des invariants : un problme de topologie algbrique

Les spcialistes des nuds font en gnral de la topologie algbrique : ils cherchent associer chaque nud topologiquement diffrent un invariant , un objet mathmatique qui le caractrise, calculable aisment et qui se prte des manipulations algbriques. Cet objet mathmatique peut tre, a priori, un nombre, un polynme (une expression algbrique comme x6 - 3x2 + x + 2) ou quelque chose de plus compliqu ou abstrait. Limportant, cest quil soit le mme pour tous les nuds topologiquement quivalents (do le terme dinvariant). Lidal est de trouver des invariants qui caractrisent compltement les nuds, cest--dire tels que deux nuds distincts aient forcment des invariants diffrents. Alors le problme de classification sera rsolu. Pour rsumer, les principales questions sont : a-t-on une manire de caractriser les nuds afin de les distinguer ? Existe-t-il un algorithme pour distinguer deux nuds ? Existe-t-il un programme informatique permettant un ordinateur de distinguer deux nuds donns en un temps raisonnable ? Malgr plusieurs dcennies de recherches, la rponse ces questions reste incomplte. Dimportants progrs ont toutefois t raliss. voquons en quelques-uns, brivement. En 1928, le mathmaticien amricain James Alexander a introduit le premier invariant poly-

nomial (le polynme dAlexander) permettant de classer des nuds. Mais le polynme dAlexander est un invariant incomplet : certains nuds distincts ont le mme polynme dAlexander. Beaucoup plus rcemment, en 1984, le mathmaticien no-zlandais Vaughan Jones a dcouvert un nouvel invariant, lui aussi polynomial ; il est plus efficace que le polynme dAlexander, mais lui non plus ne rsout pas entirement le problme de classification. Quelque temps aprs, dautres chercheurs ont affin et gnralis linvariant de Jones ; l encore, les nouveaux invariants polynomiaux introduits sont incomplets et chouent faire la diffrence entre certains nuds topologiquement distincts. Un dbut de solution complte est peuttre intervenu vers 1990, avec les travaux du chercheur moscovite Victor Vassiliev. Ce dernier a introduit une nouvelle classe dinvariants dfinis de manire implicite, cest--dire dfinis seulement par les relations quils doivent vrifier entre eux. Les invariants de Vassiliev sont numriques, cest--dire qu chaque nud est associ un nombre (qui peut tre dtermin partir dune analyse combi-
49
natoire de la topologie du nud). Vassiliev a conjectur que ces invariants forment un systme complet, autrement dit que des nuds distincts ont toujours des invariants de Vassiliev diffrents. Bien quaucun contre-exemple nait t trouv jusqu prsent, la conjecture reste prouver, de mme quil reste trouver des mthodes pour calculer de faon effective et efficace les invariants de Vassiliev. Tout de mme, lavance est considrable.
Un parallle existe entre des transformations mathmatiques et des mcanismes enzymatiques
Ces recherches mathmatiques ont des liens avec les questions que se posent les biologistes propos de molcules comme lADN. Par exemple, vers 1973, le mathmaticien britannique John Conway a introduit des oprations chirurgicales lmentaires (le flip et le dcroisement) qui permettent de transformer un nud en un autre en modifiant le nud au niveau dun croisement de ses brins. Or ces oprations de nature mathmatique ont des quivalents biochimiques, raliss par des topo-isomrases. Ces enzymes, indispensables au fonctionnement de toutes les cellules, peuvent couper dabord lun des brins ou les deux brins de lanneau dADN circulaire et passer un segment de lanneau travers louverture, et refermer ensuite les extrmits couLes deux nuds reprsents ici sont topologiquement distincts: on ne peut passer de lun lautre en tirant pes pour faire un nud seulement les fils, sans couper et recoller. Le nud de gauche (nud de trfle) a pour polynme dAlexander dans chaque anneau. En le polynme P(t) = t2 t + 1 ; celui de droite a pour polynme dAlexander P(t) = t2 3t + 1. Comme il se doit, ces deux polynmes sont distincts. Cependant, il existe des nuds distincts associs un mme effectuant les oprations de coupure, de passage et polynme dAlexander: les polynmes dAlexander ne constituent pas des invariants complets.
50
de ressoudage, elles peuvent couper un brin, faire passer lautre brin par louverture obtenue puis ressouder cette coupure (cela correspond lopration flip de Conway), ou bien effectuer deux coupures, deux ressoudages en attachant les deux brins lenvers (opration dcroisement de Conway). Maintenant, comment la topologie de lADN peut-elle influencer son activit biologique ? Illustrons-le sur lexemple du surenroulement de la molcule dADN. Dans son tat habituel, les brins de la double hlice molculaire dcrivent un certain nombre de tours autour de laxe de lhlice. Certaines topo-isomrases peuvent augmenter ou rduire cet entortillement, un peu comme on peut surenrouler ou sous-enrouler un fil de tlphone, ce qui modifie sa forme. Qui plus est, dans un ADN circulaire, le nombre de tours de la double hlice est une proprit topologique invariante : il ne peut tre chang par aucune modification de la forme de la structure, sauf celle qui implique la coupure et la reconstruction des brins de lanneau de lADN bicatnaire. Or si un anneau dADN est dsenroul, on voit aisment que la double hlice devient moins compacte, et que sa partie interne devient plus expose laction des enzymes qui lentourent. Une telle exposition prconditionne la rplication (formation dun deuxime exemplaire de la molcule) de lADN et sa transcription (processus qui conduit la cellule synthtiser des protines). La configuration topologique de lADN tant dtermine par un mcanisme enzymatique, une des questions lgitimes pour les biologistes est de savoir dans quelle mesure une classification topologique des nuds permet de remonter aux mcanismes enzymatiques luvre. Une autre question voisine

est de savoir si lon peut simuler tous ces mcanismes enzymatiques en utilisant les oprations de base introduites pour les nuds mathmatiques. Les recherches aux frontires entre mathmatiques des nuds et biologie molculaire sont loin dtre puises.
Nguyen Cam Chi et Hoang Ngoc Minh Dpartement de mathmatiques et dinformatique, Universit de Lille 2
Quelques rfrences :
La science des nuds , dossier hors-srie de Pour la Science, avril 1997. A. Sossinsky, Nuds - Gense dune thorie mathmatique (Seuil, 1999). D. W. Sumners, Lifting the curtain : using topology to prob the hidden action of enzymes , Notices of the American Mathematical Society, 42 (5), pp. 528-537 (mai 1995).
Pierre Cassou-Nogus
Tout au long de leur histoire, la philosophie et les mathmatiques ont entretenu une relation aussi troite qunigmatique. Il faudrait revenir Platon dans le monde grec et Descartes laube de lpoque moderne. voquons ici deux grandes figures du XXe sicle, David Hilbert et Edmund Husserl.
dmund Husserl et David Hilbert se rencontrent Gttingen en 1901. Le philosophe, Husserl, a suivi des tudes de mathmatiques. Il a t Berlin lassistant de Karl Weierstrass, grand mathmaticien analyste, avant de rencontrer Franz Brentano, Vienne, et de se tourner vers la philosophie. Il a publi en 1891 la Philosophie de larithmtique. Le premier tome de ses Recherches logiques parat en mme temps que le philosophe s'installe Gttingen. Le mathmaticien, Hilbert, est Gttingen depuis 1897. Il a rsolu un problme fameux, le problme de Gordan , en thorie des invariants, qui, depuis une vingtaine dannes, proccupait les gomtres allemands. Il a dvelopp, en algbre, la thorie des corps algbriques . Husserl et Hilbert ont peu prs le mme ge. Ils se croisent la Facult de philosophie qui regroupe, en ralit, les philosophes et les mathmaticiens. Ils vont, lun comme lautre, transformer leur discipline. Husserl dcouvre la phnomnologie. Hilbert met en place la mthode abstraite qui caractrise les mathmatiques modernes.
David Hilbert (1862-1943) tait, avec le Franais Henri Poincar, lun des grands mathmaticiens des annes 1900. Par la profondeur de ses travaux et de ses points de vue, par le dynamisme quil a su insuffler Gttingen, il a exerc une influence considrable sur les mathmatiques du XXe sicle. (Clich AKG)
52

Gttingen se runit autour dun confrencier, de Gttingen ou dailleurs. Husserl, le philosophe, parle en avril 1901 du problme des imaginaires en arithmtique. Gttingen est un lieu consacr aux mathmatiques. On raconte quun jour Minkowski, se promenant dans la rue principale, vit un jeune homme pensif, en proie quelque tourment ; il lui tapa gentiment sur lpaule et lui dit : ne vous inquitez pas, a converge , sur quoi le jeune homme sloigna, rassur. Cest Gttingen que Hilbert mrit la mthode abstraite des mathmatiques modernes. La mthode abstraite est ne dans lalgbre du XIXe sicle. Richard Dedekind et Leopold Kronecker, notamment, ont introduit ce quon appelle des structures. On dfinit une structure mathmatique, comme celle de groupe , d espace vectoriel , de corps ,
Gttingen, lieu dexcellence mathmatique, accueille les philosophes

Si Gttingen ntait quune petite ville, prs de Stuttgart, elle devient, peu aprs 1900, le centre du monde mathmatique. Felix Klein est la tte de la Facult. Ce grand gomtre, qui a tabli de faon dfinitive lexistence des espaces non euclidiens, renonce la recherche et se consacre ses cours, sur le dveloppement des mathmatiques au XIXe sicle, et ladministration de la Facult, pour laquelle il runit de nouveaux moyens financiers. Il fait venir Hilbert puis Hermann Minkowski. Ce dernier introduira, lors dune leon clbre, le continuum despace-temps qui porte son nom et qui servira de cadre Einstein pour formuler la thorie de la relativit. Chaque semaine, la Socit mathmatique de
Un des btiments de mathmatiques (lInstitut de mathmatiques appliques et numriques) de luniversit de Gttingen, aujourdhui. Entre 1900 et 1930, Gttingen a t pour les mathmatiques un centre de renomme mondiale, grce aux efforts de David Hilbert. Les mathmaticiens y cotoyaient des philosophes et des scientifiques dautres disciplines. (Clich universit de Gttingen)
en fixant les rgles que vrifient les oprations, sans considrer la nature des objets soumis ces oprations. Ainsi, une mme structure peut sappliquer des objets de nature diffrente des nombres, des fonctions, des transformations gomtriques, etc. Labstraction, en mathmatiques, consiste se dtourner, ou faire abstraction, de la nature des objets pour ne considrer que les relations quentretiennent ces objets. Ce point de vue, qui merge dans lalgbre de Dedekind et qui est rest anonyme au XIXe sicle, Hilbert le rend explicite.
53
des axiomes. Les axiomes, cest--dire la structure, suffisent dfinir les objets et effectuer des dmonstrations sur ces objets. Dans son axiomatisation de la gomtrie et dans ses travaux ultrieurs, Hilbert explicite la mthode abstraite de lalgbre, la radicalise et lutilise pour produire de nouveaux rsultats. En ralit, Hilbert parcourt et transforme, dans une perspective abstraite, toutes les mathmatiques de son temps : la gomtrie ; lalgbre et la thorie des nombres, avec une premire dmonstration de la conjecture de Waring en 1909; lanalyse, o il introduit les espaces de Hilbert, espaces abstraits dont les points sont par exemple des fonctions. La mthode abstraite sera reprise, Gttingen, par lcole dEmmy Noether et dEmil Artin, puis, en France, par le groupe Bourbaki. Elle nourrira ds lors toutes les mathmatiques.
Hilbert donne une reprsentation axiomatique de la gomtrie

Ds son arrive Gttingen, Hilbert annonce un cours sur la gomtrie. Ce cours, qui sera publi sous le titre Les fondements de la gomtrie, s'appuie sur la mthode abstraite pour donner une axiomatisation de la gomtrie. Hilbert fait abstraction de la nature des objets gomtriques, le point, la droite, le plan, et se contente de poser entre eux des relations dont les proprits sont explicites par les axiomes. Autrement dit, les axiomes fixent les proprits des relations existant entre des objets dont la nature est laisse indtermine. Ainsi, les axiomes dfinissent une structure, analogue aux structures algbriques. Mais, de lalgbre la gomtrie, le primat de la structure est renforc. En algbre, on donne une structure des objets supposs connus, des nombres, des fonctions. On peut dduire un thorme en raisonnant partir de la structure ou bien en raisonnant sur les objets, avec leur nature propre. En revanche, par axiomatisation, le raisonnement est rduit une simple dduction partir des axiomes et les objets sont dfinis par la seule position
Donner un fondement aux mathmatiques

Paralllement, Hilbert dveloppe la mthode abstraite pour lancer un programme de fondement des mathmatiques. Fonder les mathmatiques, cest donner leurs raisonnements une garantie ultime. Il s'agit en particulier de justifier les raisonnements qui supposent un infini existant en acte, les raisonnements transfinis, tout en faisant lconomie de lhypothse de lexistence de linfini. Le programme formaliste comporte deux tapes. La premire tche est de formaliser les thories mathmatiques. On considre un alphabet de symboles. On fixe des rgles, analogues lorthographe et la grammaire, pour construire une formule partir de ces symboles. On explicite des axiomes, qui serviront
54
de prmisses dans les dmonstrations, et des rgles pour dduire une formule dune autre. Les mathmatiques sont remplaces par un stock de formules. Une dmonstration consiste en manipulations de symboles selon des rgles explicites, abstraction faite du sens des symboles. Une dmonstration se prsente comme un assemblage de symboles conforme des rgles explicites, un dessin construit selon les rgles quon sest fix. La seconde tche est de dmontrer la non-contradiction de ces systmes formels au moyen de raisonnements finitistes, cest--dire ne faisant pas intervenir linfini actuel. La premire thorie laquelle Hilbert tente dappliquer ce programme est larithmtique, qui comporte dj des raisonnements transfinis. Ainsi, Hilbert ouvre une thorie de la dmonstration, qui consiste en raisonnements finitistes portant sur les dessins qui reprsentent les dmonstrations dans un systme formel. Toutefois, en 1931, le logicien autrichien Kurt Gdel tablit quil est impossible de prouver, au moyen de raisonnements finitistes, la non-contradiction dun systme formel incluant larithmtique lmentaire. Il faut donc renoncer au programme initial de Hilbert.

exerc une sorte de fascination sur les philosophes. Demble, dans ses Recherches logiques de 1901, puis dans Logique formelle et logique transcendantale de 1929, Husserl intgre la reprsentation abstraite des mathmatiques la phnomnologie naissante. Husserl distingue deux mathmatiques, une mathmatique applique, qui comprend par exemple la gomtrie en tant que thorie de notre espace, lespace dans lequel nous vivons, et une mathmatique formelle. Partant dune thorie applique, un mathmaticien en dgage larchitecture et isole un systme daxiomes, quil peut ensuite faire varier pour obtenir de nouvelles formes pour des thories possibles. Ainsi, la mathmatique formelle apparat comme une thorie des formes de thories ou, dans le vocabulaire de Husserl, une apophantique formelle, qui vise dfinir
La mthode abstraite et le programme formaliste ont fascin les philosophes

Il reste que Hilbert a russi transformer une question philosophique, celle du fondement, en un problme mathmatique, trait au moyen de la mthode abstraite et relevant dune nouvelle thorie, la thorie de la dmonstration, qui reste aujourdhui encore vivante. En retour, la mthode abstraite et le programme formaliste quelle sous-tend ont
Edmund Husserl (1859-1938), qui sest en partie inspir de problmatiques mathmatiques pour difier sa philosophie. (Clich AKG)
et classer tous les systmes possibles de jugements. En outre, comme lavait montr Hilbert, procder de faon axiomatique revient faire abstraction de la nature des objets. Par consquent, chaque forme de thories, correspond un domaine dobjets, dobjets quelconques dtermins par ceci seul quils sont soumis tel systme daxiomes. La thorie des formes de thories reprsente donc une ontologie formelle, une thorie du pur quelque chose , qui vise dfinir et classer, par leur seule forme, toutes les multiplicits possibles dobjets. La mathmatique formelle comporte une double orientation : elle est apophantique formelle, lorsque le mathmaticien se tourne vers les systmes de jugements; elle est ontologie formelle, lorsque le mathmaticien se tourne vers les domaines dobjets. Si Husserl, qui avait tudi de prs la gomtrie du XIXe sicle, disposait des concepts de forme de thories et de multiplicit formelle avant 1901, il est certain que la rencontre avec Hilbert et les discussions la Socit mathmatique de Gttingen ont jou un rle dcisif dans llaboration dune phnomnologie systmatique. Hilbert a russi poser lintrieur des mathmatiques la question du fondement des mathmatiques. Cest lintriorisation dans les mathmatiques dune question philosophique. Husserl a opr l'intriorisation inverse, de la mthode abstraite des mathmatiques dans la philosophie. Le parcours de deux hommes, le philosophe Husserl et le mathmaticien Hilbert, tmoigne dune intriorisation, rciproque et concomitante, des mathmatiques dans la philosophie et de la philosophie dans les mathmatiques. Pierre Cassou-Nogus CNRS, Laboratoire Savoirs et Textes, Universit Lille III
55
Quelques rfrences :
P. Cassou-Nogus, Hilbert (Les Belles Lettres, 2001). P. Cassou-Nogus, De l'exprience mathmatique. Essai sur la philosophie des sciences de Jean Cavaills (Vrin, 2001). J.-T. Desanti, La philosophie silencieuse (Seuil, 1975). D. Hilbert, Gesammelte Abhandlungen (Springer, Berlin, 1931-35). E. Husserl, Recherches logiques (tr. fr. H. Elie, A. L. Kelkel et R. Schrer, P. U. F., 1959). C. Reid, Hilbert (Springer, 1970). H. Sinaceur, Corps et modles (Vrin, 1991).
Comment rationaliser les ventes aux enchres ?

Jean-Jacques Laffont
Grce notamment Internet, les ventes aux enchres se gnralisent. La modlisation de ces procds de vente permet de dfinir les rgles et stratgies optimales de leur utilisation.
es enchres constituent un mode dachat et de vente de plus en plus rpandu. Cest en particulier le cas sur Internet, comme en tmoigne le succs foudroyant du site eBay o des biens de toutes sortes des livres aux voitures, en passant par des objets dart ou des appareils lectromnagers sont mis aux enchres. Une vente aux enchres duvres dartistes du XXe sicle chez Christies. Chaque acqureur potentiel se Mthode dallocation des comporte en fonction de ce quil croit que les autres vont faire. La thorie des jeux analyse de telles situaressources rares, les tions et aide trouver les stratgies optimales (Clich Gamma Liaison/Jonathan Elderfield) enchres sont traditionnelles dans les marchs de produits de llevage Lutilisation du systme des enchres est et de lagriculture (poissons, fleurs, etc.). Elles trs ancienne, et remonte lAntiquit. ont t tendues rcemment des biens plus Ainsi, Hrodote dcrit le march du mariage coteux, comme les appartements, et des de Babylone comme une enchre au preobjets beaucoup plus complexes, comme les mier prix (cest--dire que loffre la plus lelicences pour la tlphonie mobile de troisime ve remporte l objet vendre), qui gnration. dmarrait avec les plus belles jeunes femmes.

En Asie, le rcit le plus ancien denchres concerne la vente des effets des moines dcds, au VIIe sicle.
57
Les premires conceptualisations des enchres taient inadaptes, car trop simplistes
Si les enchres remontent presque laube de lhumanit, leur conceptualisation est, elle, beaucoup plus rcente. La premire uvre acadmique importante consacre ce sujet est une thse de 1955, dont lauteur tait lAmricain L. Friedman. Ctait lune des premires thses de recherche oprationnelle. Elle portait sur le dveloppement des stratgies denchre par les entreprises loccasion de la vente des droits de forage ptroliers dans le Golfe du Mexique. Il sagissait denchres au premier prix sous pli ferm : dans cette procdure, les offres ne sont pas rendues publiques et cest loffre la plus leve qui remporte les enchres. La dmarche adopte par Friedman consistait simplement rendre maximale ce quon appelle lesprance de profit. En cas de succs, lenchrisseur gagne la diffrence (v b) entre son valuation v de lobjet mis en vente et le prix b quil propose de payer. Lesprance de gain est donc cette diffrence multiplie par la probabilit P(b) de remporter lenchre avec un tel prix, soit (v b)P(b). La probabilit P(b) est a priori inconnue; mais en ra-
lisant une analyse statistique des enchres passes, on dcouvre les faons denchrir des concurrents ; cela permet de dterminer une approximation de la fonction P(b), et par suite de trouver lenchre b* qui maximise lesprance de gain, cest--dire telle que (v b*)P(b*) soit maximal. Cette mthode, largement utilise et raffine de multiples faons, est toutefois extrmement nave. En effet, elle suppose implicitement que les autres enchrisseurs nlaborent pas de stratgies et que leur comportement futur peut tre aisment dduit de leur comportement pass. En 1961, le
La page daccueil du site denchres sur Internet eBay-France.
58
Canadien William Vickrey (qui a reu le prix Nobel dconomie en 1996, deux jours avant son dcs) a pos le problme diffremment, en faisant appel la thorie des jeux.

adapte au contexte dinformation incomplte des enchres. De quoi sagit-il ? Le mathmaticien amricain John Nash (prix Nobel dconomie en 1994) avait propos vers 1950 une notion dquilibre trs naturelle, qui gnralisait celle donne en 1838 par le mathmaticien et conomiste franais Antoine Cournot. tant donnes des actions que peuvent choisir des joueurs, ces actions forment un quilibre de Nash lorsque laction de chaque joueur est la meilleure possible pour celui-ci, sachant que les autres joueurs choisissent ga-
La thorie des jeux et lconomie mathmatique entrent en action pour dfinir des stratgies optimales
Cre par le clbre mathmaticien dorigine hongroise John von Neumann dans les annes 1920-1940, en collaboration avec lconomiste dorigine autrichienne Oskar Morgenstern, la thorie des jeux examine linteraction dacteurs stratgiques. Elle concerne toute situation o des acteurs doivent chacun prendre des dcisions, qui dterminent lissue de cette situation. La thorie des jeux sapplique ainsi de nombreux scnarios de lunivers conomique, politique, diplomatique ou militaire. Mais revenons nos enchres. Lorsquun enchrisseur doit dcider de sa mise, il sinterroge sur le comportement de ses concurrents, et chaque enchrisseur fait de mme. Un quilibre de cette situation dsigne, pour les spcialistes, un objet assez complexe : cest une mthode de miser autrement dit une relation entre lvaluation v de lenchrisseur et sa mise b qui est, pour cet enchrisseur, la meilleure faon de miser compte tenu de ce quil anticipe sur la faon de miser des autres acteurs et des croyances quil a sur leurs propres valuations. Par exemple, dans une situation symtrique o les croyances des uns sur les autres sont les mmes, la stratgie dun enchrisseur doit maximiser son esprance de profit sachant que tous les autres utilisent la mme stratgie que lui. Le concept que lon vient dvoquer est une gnralisation de lquilibre de Nash,
Le mathmaticien amricain John Forbes Nash, n en 1928, a reu le prix Nobel dconomie en 1994, notamment pour ses travaux en thorie des jeux. Vers lge de trente ans, Nash a commenc souffrir de troubles mentaux graves, dont il sest remis de manire spectaculaire au milieu des annes 1980. Sa vie a dailleurs fait lobjet de la biographie Un homme dexception et a inspir le film du mme titre. (Clich Universit de Princeton)

lement des actions spcifies par lquilibre de Nash. Dans une situation dquilibre de Nash, personne na intrt changer unilatralement son action. La difficult particulire des enchres, cest que chaque joueur-enchrisseur est le seul connatre sa propre valuation du bien vendre, et quil ne connat pas les valuations des autres acheteurs potentiels. Il faut donc gnraliser le concept dquilibre de Nash cette situation, o linformation est incomplte. Cest ce qua ralis intuitivement Vickrey en 1961 ; lAmricain dorigine hongroise John Harsanyi la fait plus rigoureusement vers 1967-1968, ce qui lui a valu aussi le prix Nobel, en 1994. On est ainsi parvenu lquilibre de Nash baysien, notion dquilibre qui permet dmettre une conjecture sur la faon dont des enchrisseurs rationnels doivent miser dans une enchre. Dans le contexte des enchres, une stratgie est, du point de vue mathmatique, une fonction S qui associe chaque valuation dun joueur sa mise correspondante. En dautres termes, pour toute valuation particulire v, cette fonction doit spcifier la mise b* = S(v) qui maximise lesprance de gain calcule partir des rgles de lenchre et en supposant que les autres joueurs utilisent la mme stratgie. Cela signifie, dans un quilibre de Nash baysien symtrique, que si les autres misent de la mme faon, en employant la mme stratgie, cette faon de miser est optimale. Pourquoi ladjectif baysien ? Parce que le joueur calcule une esprance de gain partir des croyances quil a sur les valuations des autres (en probabilits et statistiques, le point de vue baysien daprs Thomas Bayes, mathmaticien anglais du XVIIIe sicle consiste valuer des probabilits sur la
59
base de linformation partielle disponible et de croyances a priori).
Quand la thorie confirme et tend lintrt de mthodes de vente conues intuitivement

Dans le domaine des enchres, les mathmatiques ont donc permis de modliser les comportements des acteurs, ce qui conduit une prdiction sur leur faon de miser. Cela a permis de progresser dans deux directions. Sur le plan de la connaissance positive, il est devenu possible de confronter les donnes, cest--dire les mises des joueurs dans diffrents types denchres, ce que prdit la thorie. Celle-ci a, de ce fait, acquis un statut scientifique : on pourrait la rejeter au cas o lon trouverait des donnes contredisant ses prdictions, la thorie est donc rfutable. Sur le plan de ltablissement de normes, les consquences ont t encore plus importantes. Dans le cadre des hypothses de la thorie des enchres ainsi construite, on a pu dmontrer un thorme assez fascinant : le thorme de lquivalence du revenu. Sans entrer dans les dtails, ce thorme prouve que les procdures denchres au premier ou deuxime prix (lacheteur qui remporte le lot ne paye que le deuxime prix propos) sous pli ferm, les enchres orales montantes (anglaises) ou descendantes (hollandaises) sont quivalentes pour le vendeur et quelles sont, de plus, souvent optimales. Ainsi, des mthodes de vente que lon utilisait pragmatiquement dans des cas particuliers savraient tre, la lumire de la thorie, la faon optimale dallouer des ressources rares. Do un enthousiasme nouveau pour lextension de ces mthodes toutes sortes dactivits co-
60
nomiques. Enfin, dans des circonstances plus complexes que la vente dun simple objet, la thorie permet de concevoir des gnralisations des simples enchres pour optimiser davantage encore soit le revenu du vendeur, soit le bien-tre social si lorganisateur des enchres est un tat soucieux de cet aspect des choses. On a ainsi pu, grce aux mathmatiques, comprendre le sens et lintrt dune pratique ancestrale et, par suite, transformer cette intuition humaine en un vrai outil de dveloppement conomique. Avec Internet et les nouvelles technologies de communication, les enchres trouvent un champ immense dexprimentations. Le rseau Internet offre ce systme de vente de nouvelles possibilits, que la thorie aidera valuer et exploiter. Par exemple, dans une vente aux enchres, un vendeur anonyme devrait a priori souffrir de lasymtrie dinformation lui seul connat la qualit des biens quil vend et ne russir qu obtenir un prix de vente trs faible; mais par des ventes rptes dobjets de qualit a priori inconnue des acheteurs potentiels, il va pouvoir petit petit se construire une rputation, grce aux commentaires quapporteront ses anciens acheteurs. La qualit des changes pourra donc tre amliore en crant un lieu o peuvent se btir des rputations de qualit et dhonntet, ce quoi se prte aisment un site Internet. Jean-Jacques Laffont Institut dconomie industrielle, Universit des sciences sociales, Manufacture des tabacs, Toulouse
Quelques rfrences :
I. Ekeland, La thorie des jeux et ses applications lconomie mathmatique (P.U.F., 1974) A. Cournot (1838), Recherche sur les principes mathmatiques de la thorie des richesses (Calmann-Lvy, Paris, rd. 1974). J. Crmer et J.-J. Laffont, Tlphonie mobile , Commentaire, 93, 81-92 (2001). L. Friedman, A Competitive bidding strategy , Operations Research, 4, 104-112 (1956). J. Harsanyi, Games with incomplete information played by bayesian players , Management Science, 14, 159-182, 320-134, 486-502 (1967-1968). J.-J. Laffont, Game theory and empirical economics : the case of auction data , European Economic Review, 41, 1-35 (1997).
De lconomtrie pour vendre des vins ou des obligations

Philippe Fvrier et Michael Visser
Grands vins ou bons du Trsor font lobjet de ventes aux enchres. Mais quel type denchres faut-il pratiquer ? Pour le savoir, on complte les modlisations gnrales des enchres par des tudes conomtriques.
ans les salles de vente de RichelieuDrouot, les ventes aux enchres de vins sont des enchres ascendantes classiques, ou enchres anglaises. Dans une telle procdure, le commissaire-priseur annonce un prix de dpart peu lev, puis augmente progressivement ce prix jusqu ce quil ne reste quun Une vente aux enchres ( la bougie) de vins aux hospices de Beaune, en Bourgogne. Des analyses coseul enchrisseur, les nomtriques indiquent que le recours aux options dachat permet daugmenter le revenu du commisautres ayant abandonn. saire-priseur. (Clich Gamma/Alexis Orand) Lobjet vendre est acquis par ce dernier au prix atteint. Lorsque exemple le cas de la vente de deux lots idenplusieurs lots de vin identiques doivent tre tiques de six bouteilles Mouton-Rotschild 1945. mis aux enchres, un mcanisme appel option La premire enchre termine, le commissairedachat permet au gagnant dun lot dans une priseur propose au gagnant dobtenir le enchre de choisir le nombre de lots quil sou- deuxime lot au mme prix que le premier. Si haite acqurir au mme prix (si loption dachat le gagnant exerce son option, il ny a pas de nest pas disponible, les lots sont mis successi- deuxime enchre et les deux lots sont attrivement aux enchres). Considrons par bus au gagnant de la premire enchre. Si le
62
gagnant nexerce pas son droit, le deuxime lot est alors mis aux enchres. Loption dachat permet bien sr dacclrer les ventes, mais elle induit aussi une composante stratgique. Il est clair en effet que les enchrisseurs ne se comportent pas de la mme faon avec ou sans option dachat. Dans le premier cas, la perte du premier lot implique potentiellement la perte des deux lots si le gagnant utilise son option, ce qui nest pas le cas en labsence doption. Quel est donc limpact stratgique de loption dachat? La prsence de loption dachat incite-t-elle les enchrisseurs enchrir davantage que dans le cas contraire et donc augmente-t-elle le revenu du vendeur?

risseurs) dtermine un prix dit dquilibre p* : cest le prix p* tel que T = Q1 (p*) + Q2 (p*) + ... + QN (p*), o Qi est la quantit de bons souhaite par le i-me SVT. Chacun de ces derniers obtient alors la quantit Qi (p*) de bons quil a demande. Si le prix que chaque enchrisseur payait pour une obligation tait p*, il sagirait dune enchre dite uniforme, et le cot total pour lenchrisseur serait alors simplement p*Q (p*), le prix dun bon multipli par le nombre de bons demands (cest laire du rectangle hachur dans le graphique de gauche). Mais dans lenchre dite discriminatoire laquelle ltat recourt, le prix pay nest pas p* pour chaque obligation, mais un peu suprieur. En effet, ltat fait payer aux enchrisseurs le maximum de ce quils taient prts payer pour chaque obligation supplmentaire ; le cot total pour lenchrisseur est reprsent par laire hachure dans le graphique de droite.
Ltat doit-il pratiquer des enchres uniformes ou discriminatoires ?
Ltat franais finance sa dette en mettant des obligations appeles bons du Trsor. Lattribution de ces obligations se fait laide Illustrons-le par lexemple dun enchrisdune procdure denchre dite discrimina- seur dont la courbe de demande est la suitoire. Chacun des enchrisseurs, appels spcialistes en valeur du Trsor ou SVT, tablit un ensemble de couples prixquantit (p, Q (p)) qui dfinit, selon le prix p dun bon du Trsor, la quantit Q (p) de bons quil souhaite acheter. Ltat ayant au pralable annonc la quantit totale T dobligations quil Dans une enchre uniforme sur les bons du Trsor, lenchrisseur paie la somme p*Q (p*) (aire de la dsirait mettre, la surface hachure dans le graphique de gauche), o p* est le prix dit dquilibre dun bon, dtermin demande agrge (la en fonction de la demande de tous les enchrisseurs, et Q (p*) la quantit de bons demande au pralable par lenchrisseur pour ce prix. Dans une enchre discriminatoire, lenchrisseur paie un prix somme des demandes plus lev que p*Q (p*), correspondant laire hachure dans le graphique de droite. Les stratgies individuelles des ench- des enchrisseurs ne sont pas les mmes dans ces deux types denchre.

vante : il demande 10 obligations si le prix est de 90 euros, 9 obligations si le prix est de 100 euros, ..., 1 obligation si le prix est de 180 euros. En supposant que le prix dquilibre p* est de 130 euros, cet enchrisseur recevra 6 obligations. Dans une enchre discriminatoire, le prix quil payera est le prix maximal quil tait prt payer pour ces 6 obligations, savoir: 180 euros pour la premire, 170 euros pour la deuxime, ..., 130 euros pour la sixime, soit un total de 930 euros. Dans la procdure denchre uniforme, cet enchrisseur aurait pay 130 euros chacune des six obligations, soit un total de 780 euros. videmment, les SVT nenchrissent pas de la mme manire dans les deux types denchre et la comparaison des deux mcanismes na rien dimmdiat. Le Mexique a chang de procdure denchre en 1990 pour privilgier lenchre discriminatoire. Les tats-Unis, au contraire, ont abandonn en 1998 lenchre discriminatoire pour lenchre uniforme. Lenchre uniforme est-elle plus rentable pour ltat ? La France devrait-elle aussi changer de mode dadjudication ?
63
rience relle. Ainsi, dans les enchres de bons du Trsor, il faudrait recourir aux deux modes denchres en parallle pour comparer les rsultats. De mme, pour les ventes de vins aux enchres, il faudrait pratiquer les deux modes denchre, avec et sans option dachat, pour comparer le comportement des enchrisseurs. Malheureusement, il est trs rarement possible de mettre en place de telles expriences. Nous sommes donc confronts au problme suivant : comparer deux situations en nayant des informations a priori que sur une seule dentre elles. La solution de notre problme fait intervenir une dmarche mathmatique complexe. Dans un premier temps, il faut modliser les comportements des enchrisseurs. Les enchrisseurs sont caractriss par le prix maximum quils sont prts payer pour obtenir lobjet en vente, prix que lon appelle leur valuation. Dans ce modle, chaque joueur connat sa propre valuation, mais ignore celles des autres joueurs. Il na en fait quun a priori sur les possibles valeurs que peuvent prendre ces valuations et cet a priori peut tre reprsent par une fonction f qui spcifie avec quelle probabilit ces diffrentes valeurs sont prises : f (v) est la probabilit que lenchrisseur attribue la valeur v au bien vendre. La stratgie denchre optimale, cest--dire le prix que doit offrir lenchrisseur en fonction de son valuation, est obtenue par la recherche de lquilibre de Nash baysien (voir larticle prcdent, de Jean-Jacques Laffont). On peut ainsi modliser dun point de vue thorique les deux situations concrtes que lon veut analyser, ce qui permet de les comparer thoriquement. Cette comparaison dpend videmment de la fonction f choisie. Si, quelle que soit la fonction f, lune des deux
On doit comparer deux situations alors quil nexiste de donnes que sur une seule dentre elles
Les rponses ces questions, concernant loption dachat pour les vins ou les enchres discriminatoires pour les obligations, sont importantes. Les montants en jeu peuvent tre considrables : 185 milliards deuros en lan 2000 pour les adjudications des bons du Trsor, plusieurs dizaines de millions deuros par an pour Drouot. Comment rsoudre des problmes de ce type ? La mthode la plus efficace consisterait organiser une exp-
64
situations domine lautre (par exemple lenchre discriminatoire permet ltat dobtenir un revenu plus important que lenchre uniforme quelles que soient les croyances des SVT, dfinies par la fonction f ), il est possible de conclure. En gnral, les situations analyses sont trop complexes pour quune telle dominance apparaisse. Nous obtenons alors ce stade des conclusions du type : si la fonction f est celle-ci, alors Drouot a intrt maintenir loption dachat, mais si la fonction f est celle-l, ce nest plus le cas. Le problme revient donc celui de la connaissance effective de cette fonction f. Cest la confrontation entre les donnes relles et les prvisions de la thorie qui permet de dterminer f. En effet, si lon choisit une fonction donne f, le modle et les stratgies dquilibre calcules dans le modle de comportement nous disent ce que les joueurs auraient d enchrir. Il suffit alors de comparer ces prdictions calculables puisque nous avons fait un choix pour f avec les donnes relles. Si elles concident, cest que la fonction choisie pour f tait la bonne; sinon, il faut recommencer avec une autre fonction.

un certain nombre de paramtres inconnus) et les mthodes non paramtriques (qui ne font aucune hypothse a priori sur f ). Ces dernires, plus gnrales mais aussi plus compliques, ont t dveloppes partir de la fin des annes 1950, mais ce nest que trs rcemment que les chercheurs ont russi les adapter au problme de lestimation de notre fameuse fonction f. Une fois trouve cette fonction f (ou, de manire quivalente, les valeurs des paramtres dfinissant f dans les mthodes paramtriques), il suffit de comparer les deux situations tudies pour savoir laquelle domine lautre, laquelle est la plus avantageuse du point de vue du vendeur.
Option dachat, enchre discrimatoire : les modles montrent que ces procdures sont avantageuses pour le vendeur
Cest cette dmarche qui nous a permis de rpondre aux questions poses au dbut de cet article sur lutilisation de loption dachat dans les enchres de vin Drouot. Nous avons dans un premier temps dvelopp deux modles thoriques, lun avec option dachat et lautre sans, et calcul les quilibres baysiens dans les deux situations. Nous nous sommes alors rendus Drouot pour obtenir des donnes (prix de vente des vins, caractristiques de ces vins, etc.), puis nous avons appliqu une mthode destimation paramtrique notre modle thorique avec option dachat. Il est important de noter que tous les vins ne sont pas identiques (anne, couleur, chteau, niveau, tiquette, etc.) et quil faut procder une estimation de la fonction f pour chaque catgorie de vin. Une fois ces estimations ralises, le modle thorique sans option dachat nous a permis de calculer le
Deux types de mthodes conomtriques pour dterminer les probabilits attaches aux valuations des enchrisseurs
En pratique, il nest pas possible dessayer lune aprs lautre toutes les fonctions f imaginables : il y en a une infinit ! Pour dterminer f, on doit faire appel des mthodes dites conomtriques. On peut les classer en deux grandes catgories : les mthodes paramtriques (dans lesquelles on suppose que la fonction f est compltement caractrise par

revenu quaurait eu le commissaire-priseur sil navait pas utilis loption dachat. Les premires conclusions de cette tude sont que lutilisation de loption dachat permettrait aux commissaires-priseurs daugmenter leur revenu de 7 % par rapport la situation sans option dachat. partir de donnes sur les ventes franaises de bons du Trsor en 1995, nous avons mis en uvre le mme type de dmarche pour comparer les deux modes dadjudication (enchre uniforme versus enchre discriminatoire). Les rsultats de ces travaux montrent quavec lenchre discriminatoire, le revenu de ltat est suprieur de 5 % celui obtenu avec une enchre uniforme. Ainsi, dans ce problme comme dans celui des enchres de vins, des modles conomtriques labors apportent des rponses des questions auxquelles il pouvait sembler impossible de rpondre, de par labsence de donnes concernant lune des deux situations comparer.
65
Quelques rfrences :
C. Gouriroux et A. Monfort, Statistique et modles conomtriques (Economica, 1989). P. Fvrier, W. Roos et M. Visser, Etude thorique et empirique de loption dachat dans les enchres anglaises , Document de travail du CREST (2001). J.-J. Laffont, H. Ossard et Q. Vuong, Econometrics of first price auctions , Econometrica, 63, pp. 953-980 (1995). S. Donald et H. Paarsch, Piecewise pseudomaximum likelihood estimation in empirical models of auctions , International Economic Review, 34, pp. 121-148 (1993). P. Fvrier, R. Prget et M. Visser, Econometrics of Share Auctions , Document de travail du CREST (2001). E. Guerre, I. Perrigne et Q. Vuong, Optimal nonparametric estimation of first price auctions , Econometrica, 68, pp. 525-574 (2000). W. Hrdle, Applied nonparametric regression (Cambridge University Press, 1990).
Philippe Fvrier 1, 2 et Michael Visser 1 CREST-LEI (Centre de recherche en conomie et statistique-Laboratoire dconomie industrielle, Paris) 2INSEE (Institut national de la statistique et des tudes conomiques)
1
Les casse-tte des compagnies ariennes

Jean-Christophe Culioli
Les problmes dorganisation et de planification poss une compagnie arienne sont analogues ceux rencontrs dans dautres secteurs dactivit. La recherche oprationnelle, domaine qui concerne des dizaines de milliers de mathmaticiens et dingnieurs dans le monde, svertue les rsoudre au mieux.
e transport arien est une activit complexe. Celle-ci met en jeu des investissements lourds (les avions et les infrastructures de maintenance), du personnel hautement qualifi (comme le personnel navigant) et une informatique temps rel coteuse (les systmes de rservation et de gestion). Cest aussi un secteur o la concurrence est exacerbe, o les prix affichs ne refltent pas toujours les cots de production instantans. Pour quelle soit la fois comptitive et sre, une compagnie arienne doit donc tre gre au plus juste.
guerre mondiale, avec les dbuts des ordinateurs et des mthodes dites de programmation linaire (voir lencadr). La recherche oprationnelle sest, depuis, beaucoup dveloppe et a largement pntr le monde des entreprises et de lindustrie. tant donns les enjeux, ses mthodes sont parfois confidentielles.
Pour ce faire, elle doit faire appel des techniques doptimisation spcifiques chacune des tapes de la production. On regroupe ces techniques mathmatiques sous le nom de recherche oprationnelle. Ce domaine est n sous limpulsion des besoins militaires anglo-saxons durant la Deuxime
Pour utiliser au mieux sa flotte, une compagnie arienne doit tablir soigneusement ses programmes de maintenance et ses programmes de vols, planifier le travail des personnels au sol et les rotations dquipages, etc. Ce sont des problmes difficiles de recherche oprationnelle, qui font intervenir des quations plusieurs milliers dinconnues. (Clich Air France)
les casse-tte des compagnies ariennes

La recherche oprationnelle est cense rsoudre des questions demploi du temps, daffectation de tches, dordonnancement dtapes de fabrication, etc., o interviennent de multiples variables et contraintes, la solution devant tre la meilleure possible au sens dun meilleur cot, dun dlai minimal, ou autre. Un exemple lmentaire de problme de recherche oprationnelle est celui daffecter, dans une entreprise qui comporte 50 postes de travail, un poste dtermin chacun des 50 employs, en tenant compte au mieux des aptitudes de chacun. Pour obtenir la meilleure solution ce problme, on pourrait bien sr passer en revue toutes les possibilits, valuer chacune puis choisir la plus avantageuse. Cest tout fait exclu en pratique: il faudrait explorer 50! = 50 49 48 ... 3 2 1 possibilits, un nombre faramineux (gal environ 3 1064). Mme si un ordinateur pouvait parcourir un milliard de possibilits par seconde, il lui faudrait 1048 annes pour les puiser toutes, beaucoup plus que lge estim de lUnivers (environ 1010 ans)!
67
Cet exemple laisse entrevoir lingniosit que doit dployer la recherche oprationnelle pour traiter de tels problmes de faon raliste, en un temps de calcul acceptable. En plus des outils informatiques, des techniques mathmatiques diverses et varies (algbriques, probabilistes, numriques, etc.) entrent dans la conception de ses mthodes. Bien que ne il y a plus de cinquante ans, la recherche oprationnelle est une science mathmatique toujours jeune : il ne se passe gure plus de trois ans entre le moment o une mthode est conue dans un laboratoire de recherche et le moment o elle passe en production, aprs avoir pass ltape du bureau dtudes. Dans le secteur arien, les enjeux sont tels quils ont suscit la cration de nombreuses socits de conseils et services mathmatiques et informatiques comme le groupe Sabre, issu du dpartement de recherche oprationnelle de la compagnie American Airlines, la socit Adopt issue du laboratoire Gerad (Groupe dtudes et de
La programmation linaire
La programmation linaire est le problme mathmatique consistant dterminer des quantits positives x1, x2, , xN qui minimisent un certain cot , suppos gal c1x1 + c2x2 + ... + cNxN, o les c1, c2,..., cN sont des nombres connus, et les xi tant par ailleurs soumis des contraintes sexprimant par des quations linaires (de la forme A1x1 + A2x2 + ... + ANxN = B, o les Ai et B sont des nombres connus, qui dpendent du problme pos). De trs nombreuses questions de recherche oprationnelle peuvent se formuler en ces termes. Si lnonc du problme de programmation linaire est relativement simple, sa rsolution ne lest pas du tout, dautant que le nombre N dinconnues dterminer atteint, dans la pratique, plusieurs milliers. Ce problme dapparence anodine, mais de premire importance pour les applications, est lorigine des recherches les plus fructueuses en optimisation depuis une trentaine dannes. En 1947, le mathmaticien amricain George Dantzig proposait lexcellent et encore frquemment utilis algorithme du simplexe. Dans les annes 1970 et 1980, dautres algorithmes concurrents sont apparus. Lanne 1984 a marqu un tournant : un jeune mathmaticien travaillant aux tats-Unis, Narendra Karmarkar, dcouvrait un algorithme de programmation linaire particulirement efficace (convergence dite polynomiale). Les ides sous-jacentes sa mthode ont inaugur un courant de recherche trs actif (mthodes de points intrieurs), qui a mobilis simultanment des milliers de mathmaticiens dans le monde. Grce ces efforts, lindustrie dispose prsent dune palette dalgorithmes de programmation linaire trs performants.
68
recherche en analyse des dcisions) de luniversit de Montral, ou des socits franaises comme Eurodecision, Ilog, ou Cosytech.

Aprs avoir construit un rseau une liste de parcours raliser avec des horaires associs, en fonction de prvisions de parts de marchs et de fentres attribues chaque compagnie par lIATA (International Airline Transportation Association) on dtermine quel type davion (Airbus 340, par exemple) sera le plus adapt, techniquement et conomiquement, pour effectuer chacun de ces vols. Les donnes qui entrent dans les programmes doptimisation sont les caractristiques des avions (capacit, performances), les flux prvisionnels de passagers, etc. Llaboration du programme de vols ncessite des techniques doptimisation faisant appel aux statistiques et aux probabilits, ainsi qu des algorithmes de programmation linaire dite en nombre entiers (o les inconnues reprsentent des nombres entiers). Il sagit ensuite denchaner les vols et les oprations de maintenance de chacun des avions de manire satisfaire lensemble des contraintes oprationnelles (successions autorises ou non, rgles de maintenance, etc.), tout en minimisant les consquences ventuelles de pannes techniques, de retards imprvus, etc. Ce problme doptimisation, connu sous le nom de construction de rotations davions, est modlis comme un programme linaire en nombres entiers de trs grande taille. Il ncessite, pour tre rsolu exactement, lapplication dune technique de dcomposition (la gnration de colonnes, relaxation lagrangienne). Enfin, pour chaque rotation davion, il faut dterminer quel avion exactement lui sera affect en fonction des contraintes de maintenance de chaque appareil (nombre dheures de vol, nombre de cycles datterrissages/dcollages avant visite, etc.). Cette matriculation est gnralement ralise par une recherche
Optimiser le programme de vols, attribuer un appareil chaque vol, minimiser les temps dimmobilisation
Pour utiliser au mieux la flotte dappareils, premire richesse dune compagnie arienne, il faut commencer par tablir un programme de maintenance optimal, en positionnant dans le temps les petites et grandes visites techniques que doit subir chaque avion. Un avion au sol ne rapportant aucune recette, on doit minimiser le temps dimmobilisation de chaque appareil en tenant compte des horaires et des qualifications des agents, de la disponibilit des hangars, etc. Les quations qui traduisent le problme ne sont pas linaires. Elles prsentent donc quelques difficults, mais on dispose depuis peu de mthodes suffisamment efficaces pour les traiter. Une fois le programme de maintenance tabli (sur un horizon de 6 mois 10 ans) il sagit dtablir un programme de vol optimis.
Les compagnies ariennes cherchent rduire le plus possible les temps dimmobilisation au sol de leurs appareils, en tenant compte de contraintes multiples : au sol, un avion ne rapporte aucune recette. (Clich Air France)
Les casse-tte des compagnies ariennes

de type programmation dynamique . Introduite par lAmricain Richard Bellman dans les annes 1950, cette dmarche consiste dcomposer le problme de dcision initial en plusieurs problmes plus simples qui peuvent tre rsolus lun la suite de lautre (la programmation dynamique peut sappliquer aussi bien au calcul des trajectoires optimales davions qu la dtermination de stratgies financires dinvestissement).
69
Les problmes de planification revtent des formes diverses ; les mathmatiques sous-jacentes aussi
Chaque avion ayant un programme bien prcis prvu lavance, on peut alors tenter de maximiser sa recette attendue en ouvrant ou fermant les classes de rservation selon la demande effective de la clientle. Ce problme est trs classique dans laviation, le transport ferroviaire de passagers, chez les loueurs de voitures et les chanes htelires. Il se pose comme un problme doptimisation stochastique, o il faut maximiser une recette F au sens des probabilits, cest--dire maximiser lesprance mathmatique de la recette F sachant que F dpend de variables alatoires xi (les xi peuvent par exemple reprsenter les effectifs de chaque classe de rservation, avec des contraintes de la forme A1x1 + A2x2 + + ANxN = B, o B reprsente une capacit). tout ce qui prcde, il faut ajouter la planification des personnels au sol (taille des effectifs, synchronisation avec les programmes de vol, programmation de la prise en charge des passagers en correspondance et de leurs bagages, etc.) et celle du personnel navigant, en tenant compte bien sr de la rglementation du travail et des normes de scurit. On
le voit, lactivit dune compagnie arienne pose une grande varit de problmes doptimisation, qui sont dailleurs souvent analogues ceux du transport ferroviaire ou maritime. Ces problmes sont difficiles ; mathmatiquement, ils correspondent la minimisation ou la maximisation de quantits dpendant dun grand nombre de variables (souvent plusieurs milliers, voire plus). Nanmoins, les efforts de la recherche oprationnelle ont port leurs fruits, et lon dispose aujourdhui de trs bons algorithmes pour la plupart des situations. Mais personne dans ce domaine ne sendort sur ses lauriers : comme les performances de lentreprise en dpendent, les recherches doivent se poursuivre. Jean-Christophe Culioli Directeur de la recherche oprationnelle Air France
Quelques rfrences :
Y. Nobert, R. Ouellet et R. Parent, La recherche oprationnelle (3e d., Gatan Morin, 2001). R. Faure, B. Lemaire et C. Picouleau, Prcis de recherche oprationnelle (5e d., Dunod, 2000). AirWorthy OR dans Operational Research and Management Science Today, numro de dcembre 1999. Bulletins de la ROADEF (Association pour la Recherche Oprationnelle et lAide la Dcision en France, issue de la refondation de lAFCET).
De la gomtrie 11 dimensions pour comprendre la Gense ?

Maurice Mashaal
Les physiciens aspirent depuis longtemps une thorie capable denglober toutes les particules lmentaires et toutes leurs interactions. Depuis une quinzaine dannes, ils ont une piste srieuse. Mais pour lexplorer, ils doivent naviguer dans des espaces hautement abstraits o mme les mathmaticiens ne staient pas encore aventurs.
out honnte homme sait que les scientifiques comme les physiciens ou les chimistes utilisent des mathmatiques. Plus rares sont ceux qui savent quel point cela est vrai, et combien profonde est limbrication entre mathmatiques et sciences de la nature. Galile a dit que le livre de la Nature est crit en langage mathmatique. Cette ide, le dveloppement de la science moderne, et plus particulirement celui de la physique, semble la confirmer pleinement. Il y a mme plus quune confirmation : bien des penseurs stonnent de constater que les inventions ou dcouvertes mathmatiques ont toujours fini par servir la description de quelque aspect des phnomnes naturels. Cest ltonnement devant la fameuse draisonnable efficacit des mathmatiques dans les sciences de la nature dont parlait le physicien dorigine hongroise Eugene P. Wigner (1902-1995). On ne sait pas vraiment pourquoi les mathmatiques sont si efficaces . Cest une question encore ouverte, qui concerne la phi-
losophie de la connaissance. On nessaiera pas ici dy rpondre, mais seulement dillustrer cette efficacit dans le domaine de la physique la plus thorique et la plus fondamentale, celle qui na a priori aucune utilit matrielle et de laquelle pourtant ont rsult des inventions cruciales comme le laser, le transistor ou lnergie nuclaire
Physique et mathmatiques, une longue histoire dapports rciproques

Les liens entre mathmatiques et physique ne datent pas daujourdhui. Le principe dArchimde ( tout corps plong dans un liquide subit une pousse gale au poids du volume de liquide dplac ) ne constitue-t-il pas un nonc mathmatique portant sur un phnomne physique ? La physique na-t-elle pas connu des progrs spectaculaires grce la cration du calcul diffrentiel et intgral par Newton et Leibniz, au XVIIe sicle ? Qui plus est, ces liens ne sont pas toujours sens unique,
De la gomtrie 11 dimensions
un outil mathmatique tant dabord invent puis appliqu un problme de physique. Un exemple parmi bien dautres en tmoigne : cest en sintressant au problme de la propagation de la chaleur que le mathmaticien franais Jean-Baptiste Joseph Fourier (1768-1830) a conu les sries de Fourier (il sagit de sommes infinies de fonctions trigonomtriques), qui jouent depuis un rle extrmement important dans les sciences et les techniques.
71
La physique du XXe sicle est riche en interactions avec les mathmatiques. Une myriade de galaxies trs lointaines vues par le tlescope spatial Hubble. La gravitation tant un lment clef de la naissance et de lvolution de lUnivers, les spcialistes de cosmologie aimeraient disCest le cas avec les deux poser enfin dune description de la force de gravitation compatible avec les principes de la physique grandes thories nes aux quantique. La thorie des cordes exaucera-t-elle ce vu? (Clich R. Williams/HDF (STSci)/NASA) dbut de ce sicle, la thorie de la relativit dEinstein et la mcanique muler les lois de la mcanique quantique (qui quantique. La relativit (gnrale) dEinstein se manifestent surtout lchelle atomique est une thorie de la gravitation qui supplante et subatomique). Rciproquement, les celle de Newton ; elle repose sur des concepts recherches fondamentales en relativit gnradicalement diffrents, lis aux gomtries rale ou en mcanique quantique ont leur non euclidiennes, introduites au XIXe sicle, tour stimul des recherches purement mathquand personne ne souponnait que de telles matiques. mathmatiques puissent avoir un quelconque rapport avec la ralit. De mme, quand des mathmaticiens ont commenc tudier les La physique des particules espaces de Hilbert (espaces abstraits dont lmentaires, champ o se les points peuvent tre par exemple des dploient des mathmatiques fonctions vrifiant certaines conditions tech- trs abstraites niques), au dbut des annes 1900, personne Regardons dun peu plus prs lune des ne se doutait quune vingtaine dannes plus tard, les mathmatiques des espaces de Hilbert voies dans laquelle sest dveloppe la phyallaient constituer le cadre adquat pour for- sique quantique : ltude des particules dites
72
lmentaires et de leurs interactions. Au cours des dcennies 1930-1950, sest labor un cadre thorique dune grande complexit, tant du point de vue des concepts que des techniques mathmatiques mises en uvre, appel la thorie quantique des champs. Cest dans ce cadre, et avec la mise en vidence de nouvelles particules grce aux acclrateurs de particules, que les physiciens ont dcouvert que le monde des particules lmentaires manifeste un certain nombre de symtries. La thorie des groupes, une importante branche des mathmatiques fonde au XIXe sicle, a jou et continue jouer un rle capital dans llucidation de ces symtries (abstraites pour la plupart). Cest grce

forces agissant lchelle nuclaire, linteraction faible et linteraction forte ; or les physiciens nont pas russi faire entrer la force gravitationnelle dans leur thorie, appele le Modle standard de la physique des particules.
Concilier la gravitation avec la physique quantique : un dfi fondamental qui semble la porte de la thorie des cordes
Que signifie cette exception ? La gravitation semble correctement dcrite par la relativit gnrale dEinstein, mais la thorie dEinstein nest pas une thorie quantique, cest--dire quelle nintgre pas les principes (assez tranges, soit dit en passant) de la physique quantique. Or on ne voit pas du tout pourquoi, alors que toute la nature obit aux lois quantiques, la gravitation en serait dispense. Do lobstination des physiciens thoriciens de faire rentrer la gravitation dans le bercail quantique. Malgr plusieurs dcennies defforts, ils ny sont pas arrivs. Cependant, depuis le milieu des annes 1980, beaucoup dentre eux croient que lon tient le bon bout. En effet, cest cette poque quune nouvelle thorie encore inacheve mais prometteuse, appele thorie des cordes, a gagn suffisamment de cohrence pour quon lenvisage srieusement. Le contexte exact et les raisons prcises qui ont pouss les thoriciens dans cette direction sont beaucoup trop techniques pour quon les explique ici. Il est galement impossible dexpliquer de faon simple en quoi consiste la thorie des cordes. Disons juste, de faon trs approximative, quelle suppose que les objets physiques fondamentaux ne sont pas des particules assimiles des points ( philosophie des thories
Une corde ferme vibre de faon prsenter un nombre entier de crtes et de creux. Les diffrentes particules subatomiques (lectrons, photons, etc.) correspondraient aux diffrents modes de vibration de minuscules cordes fondamentales.
elle que, plusieurs reprises, les thoriciens ont pu prdire lexistence de certaines particules, quelques annes avant quelles ne soient dcouvertes par les exprimentateurs. Dans les annes 1970-1980, la thorie des particules lmentaires tait parvenue au point o elle tait capable de dcrire de manire satisfaisante et unifie toutes les particules connues et presque toutes leurs interactions. Pourquoi presque ? On connat quatre interactions fondamentales la force gravitationnelle, la force lectromagntique et deux
De la gomtrie 11 dimensions
quantiques de champs traditionnelles), mais de minuscules cordes sans paisseur de petits morceaux de ligne, en quelque sorte ; et que les diffrentes particules observes notre chelle correspondraient aux diffrents modes de vibration des cordes, un peu comme les diffrents modes de vibration dune corde de violon correspondent aux diffrentes notes musicales.
73
Pour que les thories des cordes soient cohrentes, il faut que lespace-temps possde 11 dimensions
Les thories des cordes (thories au pluriel, car il en existe en fait plusieurs variantes) sont encore prliminaires et dune complexit redoutable. Nombre de leurs aspects restent dfricher. De plus, il est pour le moment impossible de les mettre lpreuve de lexprience, car les nergies que cela demanderait sont tout fait inaccessibles, mme avec les acclrateurs de particules les plus puissants dont nous disposons. Mais elles ont sduit les thoriciens, parce que ces thories (quantiques) intgrent de faon naturelle la gravitation, apparemment sans se heurter aux obstacles qui surgissaient dans les thories prcdentes.
Si les physiciens russissent construire une thorie des cordes complte et cohrente, ils seront en mesure dtudier de faon prcise les phnomnes gravitationnels violents (de trs haute nergie) qui se droulent dans le cosmos, comme leffondrement dune grosse toile sur elle-mme, la physique des trous noirs , etc. Ce sont aussi les mystres des tout premiers instants de la naissance de lUnivers les premiers instants du fameux big bang, vnement violent sil en est que lon pourra mieux cerner. Une description quantique de la gravitation permettra certainement de faire un saut qualitatif et quantitatif dans la comprhension de lUnivers, de son origine et de son volution.
Mais comme on la dit plus haut, les thories des cordes sont trs compliques. Elles impliquent des techniques mathmatiques labores, souvent issues des recherches les plus rcentes. De fait, les spcialistes qui tudient ces thories comprennent indiffremment des physiciens et des mathmaticiens (plusieurs laurats de la mdaille Fields, la rcompense suprme en mathmatiques, ont consacr une part importante de leurs travaux aux thories des cordes ; cest le cas de lAmricain Edward Witten, ou du Russe install en France Maxim Kontsevitch). Il a t notamment tabli que les thories des cordes ne peuvent tre cohrentes que si lon suppose que lespace-temps possde non pas quatre dimensions (trois dimensions pour lespace, une dimension pour le temps), mais bien davantage : 11 dimensions aux dernires nouvelles! Les sept dimensions supplmentaires, imperceptibles nos Reprsentation schmatique de linteraction entre deux cordes. Au cours du temps, qui scoule de gauche droite dans ce schma, une corde ferme balaie une surface ana- sens car elles seraient refermes sur logue un tube. elles-mmes en de minuscules
74
Edward Witten, lun des principaux artisans de la thorie des cordes. On ne sait sil faut le considrer comme un physicien ou comme un mathmaticien (Clich : DR)
boucles, contribuent labstraction et la difficult. La ncessit pour les thoriciens de manier des cordes et autres objets dans des espaces possdant un tel nombre de dimensions a cr un formidable terrain de collaboration entre physiciens et mathmaticiens. Les recherches dans ce domaine ont eu autant de retombes pour les thories des cordes ellesmmes que pour diverses branches des mathmatiques fondamentales. Cest un bel exemple, dans lhistoire de la physique et des mathmatiques, dune liaison intime entre ces deux disciplines, les rsultats de lune nourrissant les recherches de lautre. Le jeu en vaut bien la chandelle : bien que les thories des cordes soient encore hautement spculatives, il ne sagit rien de moins que de percer les nigmes de linfiniment petit et de linfiniment grand, cest--dire, en dfinitive, celles de nos origines. Maurice Mashaal journaliste scientifique
Quelques rfrences :
B. Greene, LUnivers lgant (Robert Laffont, 2000). M. Duff, Les nouvelles thories des cordes , Pour la Science, avril 1998. N. Arkani-Hamed, S. Dimopoulos, G. Dvali, Les dimensions caches de lUnivers , Pour la Science, octobre 2000. I. Antoniadis, E. Cremmer et K. S. Stelle, Les supercordes , Gazette des mathmaticiens n 87, pp. 17-39, et n 88, pp. 95-114 (janvier et avril 2001). P. Deligne et al. (eds.), Quantum fields and strings : a course for mathematicians (American Mathematical Society/Institute for Advanced Study, 1999).
Internet : modliser le trafic pour mieux le grer

Franois Baccelli
Les spcialistes des rseaux de communication sefforcent de bien comprendre les proprits statistiques du trafic de donnes quils doivent acheminer. La gestion de ces rseaux et leur dveloppement en dpendent.
es rseaux de communication (tlphone, Internet, rseaux locaux, etc.) ont connu, au cours des dernires dcennies, une expansion phnomnale. Pour leurs oprateurs, une question centrale est de savoir contrler les Le rseau Internet nest pas centralis comme ltaient autrefois les rseaux de communication. De tels chanflux dinformation gements structurels ont des rpercussions profondes sur les proprits mathmatiques du trafic de donnes. de faon optimale, (Photo : Getty Images) afin dviter tout engorgement et doffrir aux Lanalyse mathmatique du trafic dans les utilisateurs un service de bonne qualit, fiable rseaux de communication est une discipline et rapide. Or pour concevoir des procdures dj ancienne. Elle remonte 1917, avec les traefficaces de contrle de la circulation des infor- vaux engags par lingnieur danois Agner mations, pour dimensionner correctement les K. Erlang. Sa dmarche, poursuivie par beaulogiciels et les quipements matriels nces- coup dautres chercheurs, a fourni les principaux saires, une connaissance approfondie des pro- outils mathmatiques de dimensionnement utiprits du trafic des communications dans de liss par les oprateurs et les constructeurs de tels rseaux simpose. rseaux, jusquaux annes 1990 environ.
76

du rseau dans son ensemble, et il nest donc possible que pour des rseaux grs de manire centralise. Mais les rseaux de communication daujourdhui ne sont plus ceux dhier. Internet a connu un dveloppement extraordinaire ces cinq dernires annes (on estime que le trafic de communications vocales reprsentait 90 % du trafic global en 1997, 50 % en 2000, et nen reprsentera que 10 % dici un an ou deux). Cet essor a radicalement chang une situation qui tait stable depuis plus dun demi-sicle. Les raisons profondes de ce dveloppement rapide rsident dans lutilisation, pour lacheminement de linformation et le contrle du trafic, de nouveaux protocoles de routage (routage IP, pour Internet Protocol) et de contrle (TCP, pour Transmission Control Protocol) dcentraliss, qui rendent le rseau Internet indfiniment extensible.
Jusquaux annes 1990, la modlisation du trafic par des lois statistiques classiques suffisait
Dans ses principes, la dmarche mathmatique explore par Erlang et par dautres chercheurs et ingnieurs aprs lui est markovienne. Cela signifie quelle dcrit le trafic en sappuyant sur un modle simple de processus alatoires, les chanes de Markov, pour lesquelles la thorie mathmatique est bien avance et puissante (Andre Markov (1856-1922) tait un mathmaticien russe qui a apport des contributions importantes la thorie des probabilits). En simplifiant, une chane de Markov est une suite dvnements alatoires, dans laquelle la probabilit dun vnement donn ne dpend que de lvnement qui prcde immdiatement. Dans le cadre des rseaux de communication, la dmarche markovienne dErlang suppose que les lois statistiques caractrisant le trafic sont des lois de Poisson ; la loi de Poisson est une des lois de probabilit ou de statistique les plus rpandues et les plus simples, elle tire son nom du mathmaticien franais Denis Poisson (1781-1840). Lhypothse poissonienne savrait justifie pour le trafic tlphonique (o les vnements alatoires sont les appels des abonns, qui surviennent des instants alatoires et dont la dure est galement alatoire). Ce type de modlisation du trafic a permis de mettre en place des procdures de contrle adaptes. Jusqu une date rcente, le contrle des rseaux de communication tait un contrle dadmission, cest--dire que loprateur refuse lutilisateur laccs au rseau lorsque ce dernier ne peut garantir une qualit de service prdfinie. Ce type de contrle exige une connaissance assez prcise de ltat
Les proprits statistiques du trafic ont chang. Il fallait comprendre comment et pourquoi
Ces modifications structurelles ont eu des consquences sur le trafic et ses proprits statistiques, et il a fallu dvelopper une thorie mathmatique adapte la nouvelle donne. En effet, des analyses statistiques effectues au milieu des annes 1990 par des chercheurs de Bellcore, aux tats-Unis, et de lINRIA (Institut national de recherche en informatique et en automatique), en France, ont montr, dabord sur des rseaux locaux puis sur le Web, que le trafic ne pouvait plus tre dcrit laide de lois de probabilit de Poisson. Notamment, on observe des processus alatoires mmoire longue (o la probabilit dun vnement dpend aussi dvnements qui se sont pro-

duits relativement loin dans le pass), ce qui exclut toute modlisation usuelle fonde sur les processus markoviens classiques. Souvent, ces processus prsentent galement des proprits statistiques connues sous le nom de multi-fractalit, qui traduisent une trs grande irrgularit. Or toutes ces proprits statistiques ont des consquences importantes, par exemple pour le dimensionnement des mmoires des routeurs; ne pas en tenir compte pourrait conduire sous-estimer les pertes de paquets dinformations par le rseau et entraner des dysfonctionnements.
77
Aujourdhui, on comprend assez bien lorigine du phnomne de mmoire longue constat dans la statistique du trafic. On a pu tablir quil dcoule directement de la rpartition statistique des tailles de fichiers contenus dans les serveurs Web et FTP (protocole de transfert de fichiers) ainsi que des tailles des fichiers demands par les utilisateurs lors des requtes HTTP (protocole de transfert hypertexte, utilis lorsquon surfe sur le Web) et FTP. Leurs courbes statistiques, cest--dire les courbes reprsentant le nombre de fichiers changs ou consults en fonction de la taille, dcroissent, pour les grandes valeurs, moins rapidement quune exponentielle, de part et dautre de leur maximum : on dit que leur loi de probabilit est sous-exponentielle. Ce que lon a montr, cest que les lois statistiques sousexponentielles auxquelles obit le comportement individuel des internautes, superposes en grand nombre tant donne la multitude de ces internautes, ont pour consquence directe le phnomne de mmoire longue caractrisant le trafic global.
Analyser le protocole TCP et ses effets afin damliorer la gestion du rseau Internet
Tout nest pas clairci pour autant. Les travaux actuels se concentrent sur lexplication des proprits statistiques du trafic aux petites chelles de temps, la multi-fractalit en particulier. Lhypothse la plus rpandue est que cette proprit rsulte des protocoles de contrle utiliss, et notamment de TCP. Mais en quoi consiste le protocole TCP, qui contrle actuellement prs de 90 % du trafic sur Internet ? Il sagit dun contrle de flux adaptatif, o le dbit dinformation mise par une source est command par un algorithme qui
Des internautes dans un cybercaf. Une bonne connaissance des proprits statistiques des flux de donnes sur le rseau Internet est indispensable pour assurer le bon fonctionnement de la Toile. (Clich Frank Moehle)
Depuis les premiers articles mettant en vidence les nouvelles proprits statistiques du trafic de donnes, de trs nombreux travaux ont t publis en vue de les expliquer.
78
augmente linairement le dbit dmission au cours du temps, tant quil ne se produit pas dengorgement ; mais ds que des pertes sont dtectes, lalgorithme rduit de moiti le dbit dmission. Cest ce contrle adaptatif qui rgle toute rponse la congestion dans le rseau. Son analyse mathmatique prsente de nombreuses difficults, en raison du caractre dcentralis, stochastique (lencombrement et les pertes voluent alatoirement), non linaire (les effets ne sont pas simplement proportionnels aux causes), complexe (rseau trs tendu, impliquant des interactions entre nombreux routeurs intermdiaires) de la situation. Or llaboration de modles intgrant tous ces lments est un enjeu majeur, quil sagisse de dfinir des rgles de dimensionnement du rseau, doptimiser les dbits ou de prdire et contrler les variations alatoires de la qualit de service offert par le rseau ses utilisateurs.

dun mme canal de communication entre plusieurs flux de donnes contrls par TCP est quitable, etc. Les recherches actuelles se concentrent aussi beaucoup sur lanalyse de DiffServ, une mthode de diffrenciation des services offerts, fonde sur la cration de classes de priorit pour les changes de donnes. Cela parat tre la seule dmarche extensible capable damliorer la qualit de service dans le rseau Internet. Un autre axe important concerne ladaptation dUDP (User Datagram Protocol), un protocole utilis pour les flux de donnes vido et vocales, flux qui ne sont pas rguls par TCP, notamment dans le but de dfinir des modes de transmission de ces flux qui soient compatibles avec TCP. Face ces questions qui prsentent des dfis scientifiques et des enjeux conomiques de premire importance, le monde acadmique et le monde industriel sorganisent. Comment ? La plupart des grands groupes industriels des technologies de linformation et des oprateurs ont constitu des quipes de recherche du plus haut niveau, centres sur la modlisation du trafic et du contrle dans les rseaux de donnes, et tout particulirement dans le rseau Internet. Leffort du monde acadmique nest pas moindre, notamment aux tats-Unis, en Europe et dans certains pays asiatiques, o se mettent en place des collaborations interdisciplinaires entre des mathmaticiens et des chercheurs en informatique ou en gnie lectrique. Linstance qui a la plus grande influence dans lvolution du rseau Internet est sans doute lIETF (Internet Engineering Task Force, consultable ladresse http://www.ietf.org). Elle est ouverte chacun, quil soit concepteur
Des dfis scientifiques et des enjeux conomiques, qui mobilisent les universitaires et les industriels
Une telle tche exige des efforts de recherche dans des domaines trs divers (statistiques, thorie des probabilits et des files dattente, contrle adaptatif de systmes non linaires, thorie des grands rseaux stochastiques, systmes dynamiques) et qui dpassent ceux de lapproche traditionnelle. Ces dernires annes, un grand nombre de modles plus ou moins simplifis ont ainsi t proposs. Certains dentre eux permettent de rendre compte de la multi-fractalit du trafic global, proprit voque plus haut, dautres permettent dvaluer si le partage

de rseau, chercheur ou oprateur. Les activits se droulent sous forme de groupes de travail portant sur plusieurs domaines tels que le routage, la scurit, le transport, le contrle de congestion, les applications, etc. Ces groupes de travail sont chargs de faire des recommandations dont certaines deviendront des normes. La validation de ces recommandations par des tudes mathmatiques, du type de celles voques dans cet article, constitue une composante importante et parfois dcisive du travail de normalisation. Franois Baccelli INRIA (Institut national de recherche en informatique et automatique) et cole Normale Suprieure (Dpartement dinformatique), Paris
79
Quelques rfrences :
K. Park et W. Willinger (eds.), Self similar traffic analysis and performance evaluation (Wiley, 2000). P. Abry, P. Flandrin, M. S. Taqqu et D. Veitch, Wavelet for the analysis, estimation and synthesis on scaling data , dans la rfrence ci-dessus. F. P. Kelly, A. K. Maulloo et D.K.H. Tan, Rate control in communication networks : shadow prices, proportional fairness and stability , Journal of the Operational Research Society, 49, pp. 237-252 (1998). R. Riedi et J. Levy-Vehel, Fractional brownian motion and data traffic modeling : the other end of the spectrum , Fractals in Engineering (Springer-Verlag, 1997). M. Taqqu, W. Willinger et R. Sherman, Proof of a fundamental result in self similar traffic modeling , Computer Communication Review, 27, pp. 5-23 (1997). F. Baccelli et D. Hong, Interaction of TCP flows as billiards, rapport INRIA, avril 2002.
Le prix des options financires

Elys Jouini
Le monde de la finance fixe le prix des options au moyen de formules ayant t obtenues grce des travaux mathmatiques relativement rcents. La recherche de meilleures formules se poursuit et cela ne concerne pas que les boursicoteurs !
ans sa prface la quatrime dition des lments dconomie politique pure ou thorie de la richesse sociale, publie Lausanne en 1900, Lon Walras crivait : Toute cette thorie est une thorie mathmatique, cest--dire que si lexposition peut sen faire dans le langage ordinaire, la dmonstration doit sen faire mathmatiquement . Plus loin, il ajoutait mme: Il est prsent bien certain que lconomie politique est, comme lastronomie, comme la mcanique, La Bourse de New York, un jour faste. Les mathmatiques ont fait une entre en force une science la fois exprimentale dans le monde de la finance depuis plus dune vingtaine dannes. Rciproquement, le monde de la finance fournit des problmes qui stimulent la recherche dans certains et rationnelle Le XXe sicle, qui domaines des mathmatiques. (Clich Gamma Liaison/Gifford) nest pas loin, sentira le besoin [...] de remettre les sciences sociales aux mains Je voudrais travers lexemple qui suit, dhommes dune culture gnrale, habitus emprunt la finance, montrer comment mathmanier la fois linduction et la dduction, le matiques et conomie continuent dentretenir raisonnement et lexprience. Alors lconomie des liens extrmement troits et quil y a, dans mathmatique prendra son rang ct de las- les sujets les plus actuels intressant lune et tronomie et de la mcanique mathmatique . lautre discipline, une relle fertilisation croise.
Le prix des option financires

Le problme qui va nous intresser ici est lvaluation des options financires. La question est aussi vieille que les options ellesmmes, dont on trouve notamment trace dans lAntiquit et au XVIIe sicle sur le march des tulipes aux Pays-Bas. Cest pourtant en 1973, comme on le verra plus loin, que cette question a trouv sa premire rponse mathmatiquement satisfaisante. Et ce nest pas un hasard si cest la mme anne que le premier march organis doptions, celui de Chicago, a connu un essor jamais dmenti depuis. Quest-ce quune option financire ? Considrons une certaine action cote sur les marchs financiers, et dont le prix est, aujourdhui, gal S. Les marchs financiers offrent aux acheteurs potentiels, par le biais dune option, la possibilit dacheter cette action une date ultrieure, mettons dans trois mois, au prix K. Cela peut tre intressant pour un acheteur qui, par exemple, ne dispose pas encore de largent ncessaire et veut se garantir contre une augmentation du prix de laction. Une telle option est une sorte de contrat dassurance, qui confre le droit dacheter laction une date ultrieure un prix garanti K. videmment, ce droit doit lui-mme tre vendu un certain prix, mais lequel? Telle est la question de lvaluation du prix des options. Pour parler en termes financiers: quel doit tre le prix dune option sur laction S, de strike ou prix dexercice K et dchance trois mois ? Il est clair que lacheteur dun tel droit ne lexercera que si, dans trois mois, le prix de laction sur le march est suprieur K. Il pourra alors acheter laction au prix K, revendre au prix courant et raliser un bnfice gal la diffrence. Cette option procure donc son acheteur, dans trois mois, un gain
81
gal la diffrence entre le prix courant de laction et K, si cette diffrence est positive, et un gain nul sinon.
Le principe de non-arbitrage est la base de la dtermination des prix des actifs financiers
Pour fixer le prix dune telle option, la thorie de larbitrage sappuie sur un principe trs simple, voire simpliste : labsence dopportunits darbitrage. En dautres termes, ce principe affirme quil nest pas possible, partir dun investissement nul aujourdhui, de se garantir, quoi quil arrive, un paiement positif une date ultrieure (on na rien pour rien). Le principe dabsence dopportunits darbitrage ne signifie pas que des gains miraculeux soient impossibles. En effet, je peux trs bien emprunter le prix dun billet de loterie et acheter un tel billet mon apport personnel est donc nul puis gagner un million deuros, rembourser mon emprunt et dgager un bnfice norme. Le principe nonce seulement quun tel bnfice ne saurait tre garanti a priori. En effet, dans lopration prcdente, je peux galement ne rien gagner et tre oblig de rembourser mon emprunt: jai donc pris un risque de perte. Ainsi, labsence dopportunits darbitrage signifie tout simplement que tout gain suprieur au rendement dun actif sans risque de rfrence (taux dintrts, obligations, bons du Trsor, etc.) est ncessairement li un risque. Les SICAV, par exemple, ont un rendement moyen suprieur celui du march montaire ; toutefois, ce rendement nest pas garanti et peut trs bien, comme nous lavons vu au cours de lanne 2001, passer en dessous de celui du march montaire.
82
Supposons prsent, pour simplifier le problme, que le march ne fonctionne qu deux dates, aujourdhui et dans trois mois, et que le prix S de laction dans trois mois ne pourra prendre que deux valeurs, disons soit 100 soit 150 euros. Supposons de plus que K, le prix dachat convenu pour laction lchance de loption, soit compris entre la valeur haute Sh = 150 euros et la valeur basse Sb = 100 euros, par exemple K = 140 euros. Si le prix de laction dans trois mois est la valeur haute 150 euros, le dtenteur de loption exerce son droit et lachte au prix pralablement convenu K = 140 euros ; le gain associ loption vaut donc S h K = 150 140 = 10 euros. Si le prix de laction dans trois mois est la valeur basse 100 euros, le dtenteur de loption renonce exercer son droit dachat au prix K, qui est suprieur ; le gain associ loption est, dans ce cas, nul. On peut dmontrer quun tel gain peut galement tre obtenu en se constituant un portefeuille ne comportant que des actions et des placements (ou prts) sur le taux dintrt du march, que lon notera ici r. Appelons C le cot de constitution dun tel portefeuille. Deux actifs aux rendements identiques devant avoir le mme prix (on prouve que sinon, le principe de non-arbitrage serait viol), on en conclut que le prix de loption doit tre gal C. Le cot C du portefeuille, gal celui de loption, peut tre dtermin de faon prcise. On dmontre que C est une moyenne pondre des paiements actualiss de loption, cest-dire une moyenne pondre des montants (Sh K)/(1 + r) et 0/(1 + r) = 0, et que les poids intervenant dans cette moyenne sont tels que le prix S de laction aujourdhui est, lui-mme, une moyenne pondre des paiements actualiss de laction (Sh/(1 + r) et Sb/(1 + r)) avec les

mmes poids. Plus prcisment, on prouve quil existe une loi de probabilit telle que le prix de tout actif est gal lesprance, calcule daprs cette loi, de ses paiements actualiss futurs. Ce dernier rsultat est obtenu grce de lalgbre linaire lmentaire, et concerne le modle simple prsent ci-dessus. Mais grce des techniques danalyse convexe apparues au milieu du XXe sicle, il se gnralise au cas o laction peut prendre plusieurs valeurs diffrentes (en nombre fini).
Le calcul stochastique : quand finance et mathmatiques thoriques senrichissent mutuellement

Cependant, si lon souhaite adhrer davantage la ralit et considrer un modle en temps continu et avec un continuum de prix possibles, il faut alors, pour interprter le mme principe simple darbitrage, faire appel des notions plus avances de la thorie des probabilits, apparues dans la deuxime moiti du XXe sicle. Il sagit plus prcisment de la thorie des processus stochastiques (processus o des quantits voluent alatoirement au cours du temps) et la thorie des quations diffrentielles stochastiques (quations diffrentielles o interviennent des quantits alatoires). Dans ces domaines, les dveloppements les plus rcents sont troitement lis aux problmes rencontrs en finance. Ces modles supposent que le cours de laction volue avec un taux de rendement dterministe (non alatoire), auquel sajoute un terme alatoire de moyenne nulle et damplitude propre lactif considr. Cette fluctuation alatoire est appele volatilit et peut dpendre du temps et de nombreux autres vnements endognes ou exognes.
Le prix des option financires

Moyennant ces hypothses, on trouve que le prix de loption obit une certaine quation aux drives partielles (quation diffrentielle o la fonction inconnue dpend de plusieurs variables). Dans le cas le plus simple, tudi indpendamment par les Amricains Fischer Black et Myron Scholes dune part et Robert Merton dautre part en 1973, cette quation est la mme que lquation de diffusion de la chaleur, bien connue des physiciens. Il est alors possible de la rsoudre explicitement et de dterminer le prix de loption en fonction de ses propres caractristiques (chance, prix dexercice) ainsi que du cours de laction et de sa volatilit : cest la formule de BlackScholes et Merton, qui a valu Scholes et Merton le prix Nobel dconomie en 1997 (Black est dcd en 1995). Cette formule et ses variantes sont utilises dans toutes les places financires du monde. Programmes sur tous les ordinateurs des salles de march, mises contribution dinnombrables fois par jour, elles sont lexemple mme du lien possible entre mathmatiques thoriques et applications concrtes. La formule de BlackScholes et Merton ne correspond cependant quau cas simpliste o taux dintrts, taux de rendements moyens, niveaux de risque, etc., demeureraient constants au cours du temps. Ds que lon modifie ces hypothses, les quations obtenues ne sont plus quivalentes celle de la diffusion de la chaleur. Les quations pertinentes en sont des variantes, et elles ncessitent le plus souvent des mthodes de rsolution implicites, explicites ou numriques spcifiques. Cest en travaillant sur certaines de ces quations que les chercheurs franais C. Daher et M. Romano, qui travaillaient lpoque luniversit Paris-Dauphine et la Caisse autonome de refinancement, ont obtenu en 1990 le prix IBM de calcul numrique intensif.
83
Enfin, lorsquon essaye dtre plus raliste et de prendre en compte les cots de transaction, les diverses contraintes imposes par le march ou encore limpact du nombre des transactions sur les prix, les techniques du calcul stochastique classique ne suffisent plus. Il faut dvelopper, comme cela a t fait ces dernires annes, des outils spcifiques comme les quations diffrentielles stochastiques rtrogrades ou des mthodes fines de dualit en contrle optimal stochastique. On dcouvre alors, et cela peut surprendre, que ces nouvelles ides mathmatiques, dveloppes pour rsoudre des problmes conomiques et financiers, savrent lies des problmes dj rencontrs en gomtrie ou en physique par exemple la dformation de surfaces ou la fonte de glaons et quelles clairent ces derniers dun jour nouveau. Elys Jouini Professeur des Universits, CEREMADE (Centre de mathmatiques de la dcision) Universit Paris-Dauphine (Paris 9)
Quelques rfrences :
N. Bouleau, Martingales et marchs financiers (Odile Jacob, 1998). F. Black et M. Scholes, The pricing of options and corporate liabilities , Journal of Political Economy, 81, pp. 637-654 (1973). C. Huang et R. Litzenberger, Foundations for financial economics (North-Holland, 1988). L. Walras, lments d'conomie politique pure ou thorie de la richesse sociale (Corbaz, Lausanne, 1874, dition dfinitive revue et augmente par l'auteur, LGDJ, Paris, 1952).
Communiquer sans erreurs : les codes correcteurs

Gilles Lachaud
Pour dtecter et corriger les invitables erreurs qui affectent les changes dinformation numrise, les spcialistes du codage en appellent des mthodes abstraites qui relvent de lalgbre ou de la gomtrie.
ous sommes en pleine re numrique. Quest-ce que cela veut dire? Tout simplement quune partie norme des informations changes travers la plante est matriellement reprsente sous la forme de nombres. Messages lectroniques, tlphonie mobile, transactions bancaires, tlguidage de satellites, tltransmission dimages, disques CD ou DVD, etc. : dans tous ces exemples, linformation est traduite on dit code ( ne pas confondre avec crypte) en suites de nombres entiers, et correspondant physiquement des signaux lectriques ou autres. Plus prcisment mme, linformation est gnralement code sous forme de suites de chiffres binaires des 0 ou des 1, appels aussi bits. Par exemple, dans le code ASCII (American Standard Code for Information Interchange) utilis par les micro-ordinateurs, le A majuscule est cod par loctet (squence de 8 bits) 01000001, le B majuscule par 01000010, etc. Un problme majeur de la transmission de linformation est celui des erreurs. Il suffit
Le Matrimandir Auroville (Tamil Nadu, Inde), gode construite par larchitecte franais Roger Anger. Dans la conception de codes correcteurs efficaces, on rencontre des problmes apparents des questions difficiles de pure gomtrie, comme celui de recouvrir une sphre par le plus grand nombre possible de disques de mme taille, sans quils se chevauchent.
dune petite rayure sur un disque, dune perturbation de lappareillage, ou dun quelconque phnomne parasite pour que le message transmis comporte des erreurs, cest--dire des 0 qui ont malencontreusement t changs en 1 , ou inversement. Or lun des nombreux atouts du numrique est la possibilit de dtecter, et mme de corriger, de telles erreurs !
Communiquer sans erreurs : les codes correcteurs On rallonge les mots du message de faon quaprs dgradation, on puisse quand mme les reconnatre
Telle est la fonction des codes correcteurs derreurs, dont les premiers ont t conus la mme poque que les premiers ordinateurs, il y a plus dune cinquantaine dannes. Comment font-ils ? Le principe est le suivant : on allonge les mots numriques qui composent le message, de faon quune partie des bits servent de bits de contrle. Par exemple, dans le code ASCII voqu plus haut, lun des huit bits est un bit de contrle : il doit valoir 0 si le nombre de 1 dans les 7 autres bits est pair, et 1 sinon. Si lun des huit bits a inopinment bascul de valeur, la parit indique par le bit de contrle ne correspond plus et une erreur est alors dtecte. La mme ide se retrouve dans bien des numros que lon rencontre dans la vie quotidienne. Par exemple, dans les relevs didentit bancaire, on ajoute une lettre-cl un numro de compte pour pouvoir dtecter une erreur de transmission. De mme, les numros des billets de banque en euros sont cods pour viter les contrefaons. Autrement dit, la philosophie des codes correcteurs est de composer des messages redondants : chaque mot du message est allong de faon contenir une information sur le message lui-mme ! Un exemple simple et clairant, mais peu raliste, de code correcteur derreurs est la triple rptition : chaque bit du message coder est tripl, cest--dire que 0 devient 000 et 1 devient 111. Ce code permet de dtecter et corriger une erreur ventuelle sur un triplet. En effet, si lon reoit, mettons, la squence 101, on en dduit immdiatement que la bonne squence tait 111 (on suppose
85
quun seul bit sur les trois reus est erron), et donc que linformation initiale tait le bit 1. Le code de triple rptition nest pas raliste car il est coteux : pour chaque bit dinformation, il faut en envoyer trois ; on dit que son taux de rentabilit est 1/3. Ce taux a des rpercussions directes sur la dure ncessaire la transmission des messages et sur le cot des communications. Un bon code correcteur doit possder dautres qualits en plus dun taux de rentabilit lev. Il lui faut galement une bonne capacit de dtection et correction derreurs, et la procdure de dcodage doit tre suffisamment simple et rapide. Tout le problme de la thorie des codes correcteurs derreurs est l : construire des codes qui dtectent et corrigent le plus possible derreurs, tout en allongeant le moins possible les messages, et qui soient faciles dcoder.
Lalgbre des corps finis sapplique naturellement aux codes, car ceux-ci utilisent un alphabet fini
Les mathmatiques interviennent depuis longtemps dans ces questions. Dj en 1948, le mathmaticien amricain Claude Shannon, un des pres de la thorie de linformation, obtenait des rsultats thoriques gnraux affirmant quil existe des codes ayant des qualits optimales, en un sens technique prcis. Cependant, si le thorme de Shannon tablissait lexistence de trs bon codes correcteurs, il ne fournissait pas de mthode pratique pour les construire. Par ailleurs, on disposait de codes correcteurs aux performances modestes, comme les codes de Hamming, du nom de leur inventeur, le mathmaticien amricain Richard
86

deux chiffres, et de traduire seulement la fin de la procdure le rsultat en suites binaires de 0 et 1. Comme un alphabet comporte un nombre fini de symboles, et que lon souhaite effectuer des calculs sur ces symboles, lalgbre sous-jacente est lobjet de la thorie des corps finis, cre par le jeune mathmaticien franais variste Galois au dbut du XIXe sicle, en tudiant la rsolubilit des quations algbriques (un corps fini est un ensemble dlments en nombre fini qui peuvent sadditionner, se multiplier et se diviser de manire analogue aux nombres ordinaires, le rsultat des oprations restant lintrieur de cet ensemble. Lensemble constitu par 0 et 1, avec les rgles arithmtiques du pair et de limpair, est le corps fini deux lments ; cest le corps fini le plus simple). Ainsi, cest laide dalgbre abstraite et labore, en liaison avec la thorie des corps finis, quont t construits des codes correcteurs derreurs trs efficaces, adapts tel ou tel type de transmission dinformation. Deux exemples parmi une multitude dautres sont le code employ pour la gravure des disques audionumriques (il permet de corriger jus-
Olympus Mons, sur la plante Mars, est le plus grand volcan du systme solaire : environ 600 km de diamtre et 27 km de hauteur ! Cette image a t obtenue grce la sonde spatiale Mariner 9, en 1971-1972. La sonde envoyait la Terre ses informations en utilisant un code correcteur capable de corriger jusqu 7 bits errons sur 32. Dans chaque groupe de 32 bits, 26 taient des bits de contrle, et les 6 autres constituaient linformation nette. Aujourdhui, on dispose de codes correcteurs encore plus performants. (Clich NASA/JPL)
W. Hamming (1915-1998), dans les annes 1950 (dans ces codes, qui ont t beaucoup utiliss, les bits de contrle sont dtermins en fonction des bits dinformation par des quations linaires simples). Les spcialistes se sont alors mis tudier de manire systmatique les codes correcteurs et leurs proprits, dans le but dobtenir concrtement des codes aussi performants ou presque que le prdisaient les rsultats thoriques de Shannon. Pour ce faire, ils ont utilis fond lalgbre. Si le codage de linformation se fait directement dans l alphabet binaire 0 et 1, lalgbre sous-jacente est celle du pair et de limpair, connue dj de Platon (pair + pair = pair, pair + impair = impair, pair x pair = pair, impair x impair = impair, etc.). En fait, il savre plus intressant de considrer des alphabets de codage ayant plus de
Quoi quen dise ce timbre franais mis en 1984, variste Galois ntait pas un gomtre mais un algbriste. Ctait le pionnier de la thorie des groupes, ainsi que de la thorie des corps finis utilise notamment par les spcialistes des codes correcteurs derreurs. Provoqu en duel, Galois est mort lge de 21 ans peine.
Communiquer sans erreurs : les codes correcteurs

qu environ 4 000 bits errons conscutifs, lquivalent dune rayure sur plus de 2 millimtres de piste !), et celui qua utilis la sonde spatiale Mariner 9 pour nous envoyer ses images de la plante Mars.
87
algbrique dfinie sur un corps fini. On a l un bel exemple de la rtroaction positive quun domaine dapplication peut exercer sur la discipline thorique dont il se sert.
Une nouvelle famille de codes faisant appel la gomtrie algbrique des courbes
Lalgbre abstraite nest pas le seul instrument dont disposent les spcialistes des codes correcteurs. Il y a aussi la gomtrie, et plus particulirement la gomtrie algbrique. Celle-ci, trs vaste partie des mathmatiques actuelles, a pour point de dpart ltude des objets gomtriques courbes, surfaces, etc. dfinis par des quations algbriques. Tout lycen sait par exemple quune parabole peut tre reprsente par une quation algbrique, de type y = ax2 + bx + c, o x et y sont les coordonnes des points de la parabole. On peut aussi tudier des courbes dfinies sur des corps finis, cest--dire que dans les quations algbriques qui les reprsentent, les grandeurs comme x et y ne sont pas nimporte quels nombres, mais uniquement des lments dun certain corps fini. En utilisant de telles courbes et lalgbre associe aux coordonnes de leurs points (qui sont en nombre fini), on a inaugur, il y a environ vingt ans, une nouvelle famille de codes correcteurs : les codes gomtriques. Cela a permis rcemment dobtenir de nouveaux rsultats concernant les codes binaires, et de construire des codes encore plus performants que ceux prdits par les travaux de Shannon. En contrepartie, l'analyse des codes gomtriques a conduit les mathmaticiens examiner de plus prs le nombre de points d'une courbe
Gilles Lachaud Institut de mathmatiques de Luminy, CNRS, Marseille
Quelques rfrences :
P. Arnoux, Codage et mathmatiques , La science au prsent (dition Encyclopdia Universalis, 1992). P. Arnoux, Minitel, codage et corps finis , Pour la Science (mars 1988). G. Lachaud et S. Vladut, Les codes correcteurs derreurs , La Recherche (juillet-aot 1995). O. Papini, Disque compact : la thorie, cest pratique ! dans Secrets de nombres , Horssrie n 6 de la revue Tangente (1998). O. Papini et J. Wolfmann, Algbre discrte et codes correcteurs (Springer-Verlag, 1995). J. Vlu, Mthodes mathmatiques pour linformatique (Dunod, 1995). M. Demazure, Cours dalgbre primalit, divisibilit, codes (Cassini, 1997)
Reconstruire des surfaces pour limagerie

Jean-Daniel Boissonnat
Reconstituer une surface en ne connaissant que certains de ses points : un problme que lon rencontre souvent, quil sagisse dexploration gologique, darchivage de vestiges archologiques, dimagerie mdicale ou industrielle.
orsquon sonde le sous-sol en certains endroits pour connatre la configuration des diffrentes couches gologiques, ou lorsquon veut cartographier un fond marin, le nombre de points de mesure est ncessairement fini. Or il faut reconstruire, partir de ces donnes en nombre restreint, les surfaces correspondantes. La situation est analogue avec tous les systmes dimagerie informatiss (scanners, tlmtres, imageurs tridimensionnels, etc.) utiliss en mdecine, dans lindustrie, en archologie, etc. Comme point de dpart, il y
a un objet rel qui peut tre une partie du corps humain, une pice mcanique, un vestige archologique, une structure gologique, ou autre. De cet objet rel, les instruments ne peuvent enregistrer que certains points, partir desquels on doit reconstruire virtuellement la forme de lobjet. Tel est le problme dit de la reconstruction de surfaces (Figure 1). Il consiste donc exploiter un nombre fini de points pour fournir une reprsentation gomtrique et informatique de lobjet, ce qui permettra de le visualiser sur un cran, de lar-
Figure 1. La reconstruction dune surface partir dun chantillon de ses points : ce problme se pose dans des domaines varis .

chiver dans la mmoire de lordinateur, de procder aisment des calculs, voire de modifier lobjet ou den tlcommander lusinage dune copie. Bref, une fois que la forme dun objet rel est numriquement enregistre, et ce avec suffisamment de prcision, on dispose de maintes possibilits daction et de calcul. Les enjeux conomique et industriel du problme de la reconstruction de surfaces, son caractre fondamental du point de vue scientifique, ont conduit de nombreux travaux depuis une vingtaine dannes. Mais ce nest que trs rcemment que les spcialistes ont formalis en termes mathmatiques le problme, ce qui leur a permis de concevoir des algorithmes efficaces et fournissant une reconstruction fidle. Le transfert vers lindustrie de certains de ces rsultats de gomtrie dite algorithmique sest alors opr de manire trs rapide au travers de la cration de jeunes pousses (comme Raindrop Geomagic aux tats-Unis) ou le lancement de nouveaux produits par les leaders de la conception assiste par ordinateur ou de limagerie mdicale (Dassault Systmes, Siemens Medical).
89
Georgi Vorono (1868-1908). Considrons un ensemble fini de points dans lespace, et appelons-le E. Le diagramme de Vorono de E est une division de lespace en cellules convexes (en bleu sur la Figure 2), o chaque cellule est constitue des points de lespace plus proches dun point de E que des autres points de E. Les cellules ce sont des polydres convexes sont ainsi dfinies de manire univoque. Maintenant, relions par des segments de droite les points de E dont les cellules de Vorono sont adjacentes. Lensemble de ces segments constitue la triangulation de Delaunay (en vert sur la Figure 2) associe E. Ces structures se dfinissent dans des espaces de dimension quelconque ; cest le cas de la dimension trois lespace usuel qui est le plus intressant pour la reconstruction de surfaces. Les diagrammes de Vorono (Figures 2 et 3) figurent parmi les principaux
Diagrammes de Vorono et triangulation de Delaunay, deux outils gomtriques indispensables

Pour reconstruire une surface partir dun nuage de points qui lchantillonnent, la grande majorit des algorithmes utilisent un outil central en gomtrie algorithmique : la triangulation de Delaunay, nomme daprs Boris Delone (1890-1980), mathmaticien russe dont le nom a t francis en Delaunay. La triangulation de Delaunay se dfinit naturellement partir de ce quon appelle le diagramme de Vorono, du nom du mathmaticien russe
Figure 2. Le diagramme de Vorono (en bleu) et la triangulation de Delaunay (en vert) dun ensemble de points (marqus en rouge). Le diagramme de Vorono et la triangulation de Delaunay sont des outils fondamentaux en gomtrie algorithmique.
90
sujets dtude de la gomtrie algorithmique, et cest dans les annes 1980 que lon a tabli leur lien avec la thorie des polytopes (analogues des polydres dans les espaces de dimension suprieure trois). Leur tude dans le contexte de lchantillonnage des surfaces est beaucoup plus rcente. Quel est lintrt des diagrammes de Vorono et des triangulations de Delaunay ? Si E est un chantillon de n points pris sur une surface S, on peut montrer que son diagramme de Vorono et la triangulation de Delaunay correspondante contiennent beaucoup dinformations sur cette surface. Lorsque lchantillonnage est suffisamment dense, on peut fournir des approximations prcises de la surface. Par exemple, le vecteur qui joint un point P de E au sommet le plus loign de sa cellule de Vorono est une bonne approximation de la normale la surface S au point P.

par exemple important de savoir si la quantit de calculs que ncessite la triangulation de Delaunay restera ou non dans une limite raisonnable. Dans les cas les plus dfavorables, le nombre T dtapes de calcul (cest--dire, en fin de compte, le temps de calcul) peut tre quadratique ; autrement dit, T est au pire proportionnel au carr du nombre de points de lchantillonnage. On suppose toutefois que cette situation ne se produit pas dans le cas de surfaces bien chantillonnes. Des rsultats plus prcis ont t dmontrs trs rcemment dans le cas de surfaces S polydriques, cest--dire constitues uniquement de facettes polygonales: pour de telles surfaces et pour des conditions dchantillonnage faibles, la taille du calcul de triangulation est, au pire, proportionnelle au nombre de points chantillonns. Le cas des surfaces lisses est plus dlicat ; il fait actuellement lobjet de recherches actives.
Il faut sassurer que les temps de calcul resteront raisonnables, que les algorithmes sont fiables
Cest ainsi que lon connat aujourdhui plusieurs algorithmes de reconstruction capables, partir dun chantillon fini de points dune surface S, de construire une surface S qui approxime correctement la surface relle S. Qui plus est, la thorie de ces algorithmes permet de calculer une borne suprieure sur la diffrence entre S et S, borne qui dpend videmment de la densit dchantillonnage. Comme les jeux de donnes fournis par les instruments de mesure comportent gnralement plusieurs centaines de milliers de points, voire des millions, les questions combinatoires et algorithmiques jouent un rle critique. Il est
Figure 3. Le diagramme de Vorono dun ensemble de points pris sur une courbe.
Les bornes thoriques ne sont pas tout, reste savoir calculer effectivement et rapidement la triangulation dun jeu de donnes. On connat de nombreux algorithmes. Les plus efficaces sont dits randomiss car ils effectuent certains tirages alatoires au cours de leur droulement. La thorie des algorithmes randomiss sest dveloppe trs rapidement dans

les annes 1990 et a conduit des analyses prcises, valides exprimentalement. Dans bien des cas, et le calcul de la triangulation de Delaunay en est un, lintroduction dune part de hasard autorise ne pas chercher rsoudre de manire optimale le cas le pire (qui est peu probable) et conduit des algorithmes simples et trs efficaces en moyenne. On sait ainsi traiter des chantillons de 100 000 points en une dizaine de secondes (Pentium III 500 MHz). Si calculer vite est important, calculer de manire fiable lest encore plus. Cette question est dlicate, car les ordinateurs ne savent gnralement reprsenter les nombres quavec une prcision finie (un nombre fini de dcimales). Ainsi, il est impossible de donner une reprsentation la fois numrique et exacte de nombres comme ou 2, qui comportent une infinit de dcimales. Laccumulation des erreurs darrondis peut alors conduire un comportement anormal des programmes. Si ces comportements sont bien connus, ils sont difficiles matriser, et la ralisation et la maintenance dalgorithmes fiables sont trs coteuses. Une part importante de la recherche rcente en gomtrie algorithmique porte sur ces questions et mlent algorithmique, calcul formel (o lordinateur manipule des symboles, et non des nombres explicites) et arithmtique des ordinateurs. Elles ont dores et dj dbouch sur le dveloppement de bibliothques de logiciels permettant une programmation facile, efficace et sre, telle que la bibliothque CGAL (Computational Geometry Algorithms Library) dveloppe par une collaboration internationale duniversits et dorganismes de recherche. Jean-Daniel Boissonnat INRIA (Institut national de recherche en informatique et en automatique), Sophia-Antipolis
91
Quelques rfrences :
J.-D. Boissonnat et M. Yvinec, Algorithmic geometry (Cambridge University Press, 1998). J.-D. Boissonnat et F. Cazals, Smooth surface reconstruction via natural neighbour interpolation of distance functions , dans Proceedings of the 16 th Annual ACM Symposium of Computational Geometry (2000). CGAL, The Computational Geometry Algorithms Library, http://www.cgal.org.

Jean-Pierre Bourguignon
Jusque vers la fin du XIXe sicle, les gomtres , comme on appelait jadis les mathmaticiens, taient peu nombreux. En un sicle, leurs rangs se sont considrablement renforcs. Aujourdhui, ils doivent faire face une profonde mutation de leur discipline.
u cours du XX e sicle, la communaut mathmatique a connu une expansion numrique majeure. Elle est passe de quelques centaines de membres en 1900 des dizaines de milliers (probablement de lordre de 80 000) 100 ans plus tard. Pour faire une estimation de ce genre, il faut dabord que lon sentende sur la dfinition du terme mathmaticien . Nous rservons ce nom ceux et celles ayant atteint un niveau de formation quivalent la thse de doctorat, et dont la profession accorde une place vritable la recherche mathmatique ou lassimilation de ses rsultats. Ce choix peut tre jug un peu limitatif car il a par exemple pour effet dexclure de notre champ de vision presque tous les professeurs de lenseignement secondaire une catgorie dont le nombre a aussi augment considrablement dans tous les pays du monde au cours de la deuxime moiti du XXe sicle. Cette croissance rsulte de plusieurs processus simultans. Il y a eu tout dabord, juste aprs la Deuxime guerre mondiale, une prise
de conscience de limportance des sciences dans le dveloppement conomique ou industriel. Par ailleurs, de nouveaux groupes de personnes ont accd ces professions. Il en est ainsi des femmes, certes avec de grandes ingalits dun pays lautre. Mais dans le mme temps, une communaut acadmique, regroupant les acteurs de lenseignement suprieur, a fait son apparition dans presque tous les pays. Pour ne donner quun exemple, les mathmaticiens originaires dAfrique sub-saharienne ont soutenu leurs premires thses de doctorat dans les annes 1970, aprs formation dans une universit dun pays occidental ou en Union sovitique. La gnration suivante a souvent fait ses tudes sur place : dans la dcennie 1990-2000, de nombreux pays dAfrique sub-saharienne ont mis en place des formations suprieures autonomes et ont, de ce point de vue, accd lindpendance. Dans les prochaines annes, lexpansion va continuer avec probablement un renforcement considrable des communauts mathmatiques dautres pays, comme la Chine et lInde.
93
La Terre vue de nuit. La rpartition mondiale des lumires nocturnes n'est pas sans rappeler celle des centres d'activit mathmatique. Pour autant, les mathmaticiens ne travaillent pas tous la nuit ! (Clich C. Mayhew et R. Simmon/NASA-GSFC)
Une communaut de chercheurs et son rseau de socits savantes

Comment les communauts de mathmaticiens sont-elles organises ? Lexpansion de la communaut mathmatique internationale a t accompagne dune structuration par le biais de socits savantes, qui vivent presque toutes grce au dvouement et lengagement de collgues bnvoles. Les socits de mathmatiques sont aujourdhui encore de taille modeste, lexception de lAmerican Mathematical Society qui regroupe prs de 15 000 membres et qui a plus de 200 employs. La premire tape sest produite au niveau national, le plus souvent un moment o les pouvoirs publics ont peru que le dveloppement des sciences pouvait reprsenter un enjeu conomique et militaire. Cest ainsi que
la Socit mathmatique de France (SMF), comme dailleurs la Socit franaise de physique, est ne en 1872, juste aprs la droute de 1870 face lAllemagne, et la rflexion sur ses causes qui sen est suivie. Cette perspective troitement nationaliste sest, heureusement, estompe. LUnion mathmatique internationale a t cre en 1896. Elle est reste une petite structure. Sa responsabilit principale est de fournir le cadre de lorganisation du Congrs international des mathmaticiens, un vnement quadriennal qui demeure le rendez-vous incontournable de la communaut lchelle mondiale. Son comit excutif se charge aussi de nommer la commission qui attribue, tous les quatre ans, les mdailles Fields ; celles-ci reprsentent la rcompense la plus prestigieuse en mathmatiques, le prix Nobel nexistant pas dans cette discipline.
94

LIHS (Institut des hautes tudes scientifiques), Bures-surYvette en banlieue parisienne, et une discussion entre mathmaticiens dans ses locaux. LIHS, consacr aux mathmatiques fondamentales et la physique thorique, est un institut de recherche prestigieux. Il ne compte que 7 chercheurs permanents mais accueille chaque anne, pour des dures variables, quelque 200 chercheurs de toutes nationalits. Rcemment, quelques-uns de ses mathmaticiens ont commenc se pencher sur des problmes lis la biologie molculaire. (Clichs IHS et IHSOutsider Agency)
A la fin du XXe sicle, on a assist lmergence de structures continentales intermdiaires. Lexemple a t donn par les collgues africains, qui ont cr ds les annes 1980 lUnion mathmatique africaine. Sont ensuite apparues la Socit mathmatique europenne (SME), dont la gestation a t laborieuse limage de celle de lUnion europenne et qui regroupe depuis 1990 toutes les socits nationales de lEurope gographique et dIsral, et lUMALCA, qui rassemble les mathmaticiens dAmrique du sud et des Carabes. Ces nouvelles structures sont nes de la volont de renforcer des collaborations lchelle dun sous-continent et, suivant les situations, de disposer dun interlocuteur reprsentatif face lapparition dun nouveau niveau politique (cest le cas pour lEurope) ou de contrler laspiration des ressources par lAmrique du nord (cest le cas pour lAmrique du sud) au lendemain de la douloureuse priode des dictatures militaires.
Une prsence de plus en plus large dans lindustrie et les services

O sont employs les mathmaticiens? La grande nouveaut est que, de nos jours, des
mathmaticiens sont prsents dans de nombreux secteurs de lindustrie et des services. Il ny a cependant pas d industrie mathmatique comme il y a une industrie chimique ou une industrie pharmaceutique. En effet, les emplois confis des personnes haute comptence mathmatique portent souvent des dnominations variables, ce qui rend difficile le dnombrement des mathmaticiens industriels . Une estimation rcente laisse penser quils sont prs de 2 000 tre employs de cette faon en France. Ce nombre est comparer celui de leur contrepartie acadmique (mathmaticiens des universits, Grandes coles et organismes de recherche divers), dont on estime leffectif de faon beaucoup plus fiable environ 4 000. La ventilation de cette communaut acadmique entre organismes de recherche publics et enseignement suprieur (10 % contre 90 % environ) est un peu singulire: gnralement, dans les autres disciplines scientifiques, un choix diffrent a t fait, puis-

quune proportion beaucoup plus importante consacre tout son temps la recherche, sans tches denseignement. Quels sont les secteurs particulirement intresss embaucher des mathmaticiens ? Les banques et les assurances font un usage de plus en plus intensif de comptences mathmatiques ; les produits quelles vendent reposent souvent sur une construction mathmatique qui en est tout le fondement. Mais il en va de mme dun certain nombre dentreprises de haute technologie dans lesquelles ltude de systmes complexes requiert une approche mathmatique, que de puissants moyens de calcul fournis par les nouvelles gnrations dordinateurs peuvent rendre opratoire. Ces ouvertures nouvelles sont de nature changer considrablement limage des mathmatiques auprs des tudiants. Cependant, elles nont pas encore t compltement assimiles par lenseignement suprieur franais ; le plus souvent, la raison en est linertie excessive du systme ducatif, qui reste centr sur les formations aux professions acadmiques.
95
dveloppes partir de sollicitations extrieures abondent ; dautre part, les nouveaux domaines conqurir ne peuvent tre abords en dclarant a priori quelle partie des mathmatiques sera la clef du problme pos. De nombreux rapprochements-surprises ont pu tre constats, qui prouvent que la dichotomie pure/applique est en fin de compte improductive. Cest dans le contexte de tension interne la communaut mathmatique quest ne en France, en 1983, la Socit de mathmatiques appliques et industrielles (SMAI). Vingt ans plus tard, les deux socits, SMF et SMAI, ont trouv un mode de coopration efficace et mnent ensemble des actions dintrt commun. elles deux, elles mobilisent plus de 3 000 personnes, dont lappartenance va bien au-del de la communaut acadmique pour la SMAI. La nouveaut principale vient de la possibilit dtudier de plus en plus de systmes complexes grce lusage de modles de natures diverses. La modlisation est, aujourdhui, une dmarche laquelle on recourt souvent. Ce nouvel engouement ncessite une rflexion plus approfondie sur les fondements, y compris philosophiques, de cette approche. Lune des capacits quil convient de dvelopper est la confrontation du modle la ralit quil est cens reprsenter. On peut nanmoins souligner deux tendances lourdes qui se nourrissent de ces nouveaux contacts des mathmatiques avec un monde qui leur est extrieur : un regain dimportance donne aux structures finies (structures mathmatiques ne mettant en jeu quun nombre fini dlments) et la gnralisation des approches stochastiques (faisant intervenir des processus alatoires). Dans le deuxime domaine, la France a remarqua-
Les mathmaticiens sont confronts une nouvelle donne

Ces nouveaux dveloppements nont pas t sans avoir des rpercussions sur la structuration des mathmatiques, tant dans les tablissements denseignement suprieur et de recherche quau niveau des publications. On a quelquefois prsent la situation ainsi cre comme une bataille entre mathmatiques pures et mathmatiques appliques . Cette faon de voir les choses est injustifie, pour au moins deux raisons. Dune part, les exemples de situations historiques o des mathmatiques nouvelles ont t
96
blement su prendre le virage, si lon y compare la situation avec celle des pays de mme niveau de dveloppement, lexception peuttre dune sous-reprsentation des statistiques et de lanalyse des donnes. En revanche, lenseignement des mathmatiques discrtes, cest--dire portant sur les structures finies, y est toujours aussi discret : trs peu de cursus denseignement suprieur offrent dans ce domaine une formation suffisamment complte. Rcemment, lors dun colloque consacr lhistoire de la gomtrie dans la deuxime moiti du XXe sicle, Stephen Smale, un mathmaticien amricain qui fut lun des pres de la topologie moderne et qui sest par la suite intress de trs prs lanalyse numrique, fit une remarque pertinente: aujourdhui, lextraordinaire croissance des mathmatiques est aussi assure par des personnes que les mathmaticiens tendent ne pas reconnatre comme faisant partie de leur communaut. Il est vrai que les statistiques, lautomatique, la recherche oprationnelle, la thorie du contrle sont souvent peu reprsentes dans les dpartements de mathmatiques des universits, alors que le cur de toutes ces disciplines est vraiment mathmatique. On pourrait en dire de mme dune bonne partie de linformatique thorique : celle-ci entretient, avec les mathmatiques, des liens organiques dont la profondeur et la force ne sont pas toujours reconnues par les mathmaticiens euxmmes. Cette situation ouvre la communaut des mathmaticiens des possibilits de croissance considrable, pourvu quils se montrent moins prompts exclure ces activits nouvelles de leur champ. Avec plus de curiosit et douverture, il y aura davantage de stimulations et de nouveaux champs daction, pour le plus grand bien du dveloppement

des mathmatiques elles-mmes.
La mutation de la profession exige de nouveaux profils de formation

Une des premires choses reconnatre concerne la pratique du mtier de mathmaticien requise par ces nouveaux contacts, pratique qui ne peut se limiter prouver des thormes. On a aujourdhui besoin quun nombre suffisant de mathmaticiens aux profils trs divers sintressent aux applications. Cela exige quils apprennent changer avec des spcialistes dautres disciplines, en offrant une coute dune qualit suffisante. Dans diverses structures denseignement suprieur de par le monde, on constate dj la mise en place de formations spcialises, en mathmatiques financires par exemple. Dautres crneaux, pour lesquels des dbouchs importants hors du monde acadmique sont apparus, vont certainement voir le jour, une chelle adapte ces dbouchs ; cest dj le cas pour les formations dactuaires, et lon peut anticiper que des formations mixtes verront le jour linterface des mathmatiques avec la biologie et la mdecine par exemple. Laisser prolifrer des formations trop spcialises serait une erreur, pour deux raisons : ltroitesse des approches de ce genre dune part, et le risque de coupure de la communaut mathmatique quune telle pratique prsenterait dautre part. Pour que les tudiants peroivent de manire plus naturelle les nouvelles orientations accessibles aux mthodes mathmatiques, des modifications plus profondes des cursus de formation devront vraisemblablement tre mises en

place. Il faut avoir lambition de crer une bonne fluidit entre le monde acadmique et le monde de lindustrie et des services ; cest une condition pour que lirrigation en bons problmes, portant le plus souvent sur des champs nouveaux, se produise assez spontanment, et pour que ces problmes soient traits avec le niveau de profondeur requis. Jean-Pierre Bourguignon CNRS-IHS (Institut des hautes tudes scientifiques, Bures-sur-Yvette) et cole polytechnique, Palaiseau
97
Quelques rfrences :
B. Engquist et W. Schmid (eds.), Mathematics unlimited 2001 and beyond (SpringerVerlag, 2001). C. Casacuberta, R. M. Mir-Roig, J. M. Ortega, et S. Xamb-Descamps (eds.), Mathematical glimpses into the 21 st century, Round tables held at the 3rd european congress of mathematics (Societe Catalana de Matemtiques, Barcelona, 2001).

Maurice Mashaal
De longues annes dapprentissage et des talents vidents sont ncessaires pour qui veut faire de la recherche fondamentale en mathmatiques. Mais les passionns ont leur disposition plusieurs filires de formation, avec des dbouchs varis.
u XVIIe sicle, un certain magistrat toulousain du nom de Pierre de Fermat (16011665) occupait ses heures de loisir des recherches mathmatiques et entretenir une correspondance leur sujet. Bien que ce ne ft pas sa profession, Fermat ralisa des dcouvertes mathmatiques importantes. Il fut par exemple un pionnier de lintroduction des techniques algbriques en gomtrie, et ses travaux en thorie des nombres lont rendu clbre notamment pour une conjecture quil formula et qui ne fut dmontre quen 1994 (celle-ci affirme que lquation xn + yn = zn na pas de solutions x, y, z en nombres entiers positifs ds que lentier fix n est suprieur ou gal 3). Fermat tait, en fait, lun des plus brillants mathmaticiens de son sicle. Cette poque o une personne doue pouvait faire des dcouvertes significatives en autodidacte, ses heures perdues, est rvolue. Certes, il arrive encore que des passionns de mathmatiques, dont ce nest pas la profession, dcouvrent et prouvent ici ou l
Un cours de mathmatiques l'universit. (Clich Institut de mathmatiques-Universit Bordeaux 1)
un nouveau thorme. Non seulement de tels cas sont rares, mais surtout les rsultats obtenus portent gnralement sur des questions

de dtail, la marge des grands courants de lvolution des mathmatiques. Non, si quelquun aujourdhui dsire devenir un vritable acteur des mathmatiques, il lui faut dabord affronter de longues annes dtudes. Environ huit ans aprs le baccalaurat sont ncessaires afin dassimiler les connaissances et les capacits essentielles, qui permettront lapprenti-mathmaticien dacqurir de lautonomie et de commencer produire son tour des rsultats mathmatiques originaux.
99
licence, la deuxime par le diplme de matrise. Il peut sagir dune licence et dune matrise de mathmatiques pour qui se destine la recherche fondamentale en mathmatiques, ou dun deuxime cycle MASS pour ceux qui sintressent aux mathmatiques appliques aux sciences conomiques et sociales, ou encore dune matrise dingnierie mathmatique, oriente vers les applications industrielles, avec un accent sur lanalyse numrique, la modlisation, linformatique, les probabilits et les statistiques. Le troisime cycle commence par lanne du DEA (Diplme dtudes approfondies), dont il existe une grande varit (en mathmatiques, il existe prs dune cinquantaine dintituls diffrents sur toute la France). Il peut sagir de DEA encore gnralistes, couvrant un spectre assez large des mathmatiques, ou de DEA plus spcifiques, comme un DEA dalgorithmique ou un DEA de biomathmatiques. Le choix du DEA est dterminant ; cest gnralement au cours de cette anne que ltudiant va entrer au contact de la recherche mathmatique, quil va tre confront des thmes dactualit, quil va devoir se plonger dans des articles de recherche publis mme trs rcemment. Le DEA conditionne largement la suite, savoir le doctorat qui se prpare gnralement en trois ans. Ltudiant dtermine son champ de recherche, se trouve alors un directeur de thse et un laboratoire daccueil, puis travaille sur le thme choisi en vue dobtenir lui-mme des rsultats originaux, qui feront lobjet dune ou plusieurs publications dans les revues professionnelles. Le diplme de doctorat est dcern aprs rdaction et soutenance dune thse, en public, devant un jury compos de spcialistes.
Litinraire classique : DEUG, licence, matrise, DEA et thse de doctorat

De longues tudes suprieures, daccord, mais lesquelles ? La voie traditionnelle, en France, consiste suivre un premier cycle universitaire de deux ans, puis un deuxime cycle de deux ans, et enfin un troisime cycle denviron quatre ans. Le premier cycle est lobjet du DEUG (Diplme dtudes universitaires gnrales). Pour les futurs mathmaticiens, il sagit gnralement du DEUG scientifique mention Mathmatiques, informatique et application aux sciences (MIAS), dont lenseignement est centr sur les mathmatiques, linformatique et la physique ; ou du DEUG Mathmatiques appliques et sciences sociales (MASS), construit autour des mathmatiques et de linformatique dune part, des sciences conomiques ou humaines dautre part. La premire anne du deuxime cycle universitaire est consacre par le diplme de
100

pas obligatoire pour qui veut devenir mathmaticien ; cependant, il faut le reconnatre, la plupart des postes de chercheurs en mathmatiques fondamentales sont occups, en France, par danciens lves normaliens ou polytechniciens. Par ailleurs, plusieurs universits proposent des magistres, formations dexcellence en trois ans qui intgrent la licence, la matrise et un DEA, dans lesquelles les tudiants (en bonne partie des normaliens) sont slectionns sur dossier aprs un DEUG ou une classe prparatoire. Les futurs chercheurs ont plutt intrt suivre un magistre, plutt que le cursus habituel. Signalons galement quil existe de multiples passerelles entre les coles dingnieurs et luniversit. Ainsi, les lves des coles dingnieurs peuvent, selon leurs centres dintrt et leur niveau, rejoindre la filire universitaire, pour un DEA ou pour une thse de doctorat. Inversement, des tudiants duniversit peuvent ds la fin du DEUG et dans certaines conditions intgrer une cole dingnieurs, voire, ultrieurement, une Grande cole.
Magistres et Grandes coles, tremplins vers la recherche fondamentale

Licence, matrise, DEA, thse : tel est, en rsum, le parcours dtudes conventionnel en France pour devenir chercheur en mathmatiques ; cela sajoutent souvent une ou plusieurs annes de recherches post-doctorales, rmunres laide de bourses ou de contrats dure dtermine et parfois effectues ltranger, avant que le jeune mathmaticien ne russisse dcrocher un poste stable de chercheur ou denseignant-chercheur. Ce modle est grosso modo le mme dans la plupart des pays. Cest le type ditinraire quont suivi des personnes comme Andrew Wiles, le mathmaticien britannique qui est venu bout, en 1994, de la fameuse conjecture de Fermat. En fait, le parcours que lon vient de dcrire comporte plusieurs variantes ou exceptions importantes. Tout dabord, en France, les Grandes coles comme les coles normales suprieures et lcole polytechnique ont tendance, en mathmatiques, drainer les tudiants les plus brillants. Pour prsenter les concours dentre ces tablissements trs slectifs, les candidats suivent non pas un DEUG, mais deux (voire trois) annes de classes prparatoires en lyce, caractrises par une prparation intensive et un investissement personnel plus important. Aprs le concours dentre, les lves normaliens sintgrent aux deuxime puis troisime cycles universitaires ; les lves polytechniciens, eux, suivent deux annes de formation lcole polytechnique mme, puis rejoignent sils le souhaitent la filire universitaire au niveau du DEA. Le passage par une cole normale suprieure ou par lcole polytechnique nest
Le profil dingnieur : des tudes moins longues, mais aussi moins orientes vers la recherche
Disons quelques mots des coles dingnieurs, qui recrutent gnralement leurs lves sur concours, aprs les classes prparatoires. Bien quil sagisse a priori de former des ingnieurs et non des chercheurs, lenseignement en mathmatiques y est souvent de bon niveau. Certaines de ces coles conviennent particulirement ceux qui souhaitent allier les mathmatiques et un domaine dingnierie
101
tion de lentreprise, de lorganisme ou du laboratoire, et en fonction de la personne et de sa formation. Par exemple, un ingnieur ayant t form la recherche au travers dune thse de doctorat et travaillant dans une grande entreprise de haute technologie peut tre amen effectuer des recherches de nature fondamentale.
En mathmatiques, plus encore que dans les autres disciplines scientifiques, la bibliothque est un outil essentiel pour les tudiants comme pour les chercheurs. (Clich Institut de mathmatiques-Universit Bordeaux 1)
ou de technologie, comme la mcanique, lacoustique, linformatique ou autre. Il existe aussi des coles spcialises, telles que lENSAE (cole nationale de la statistique et de ladministration conomique) ou lENSAI (cole nationale de la statistique et de lanalyse de linformation) qui forment des statisticiens, lEURIA qui forme des actuaires, etc. La formation dingnieur permet, en quatre ou cinq annes dtudes suprieures, une entre assez rapide dans la vie active. videmment, la nature de lactivit exerce par un ingnieurmathmaticien travaillant dans une entreprise ne sera pas la mme que celle dun chercheur travaillant dans un laboratoire de recherche: elle consistera davantage appliquer des mathmatiques dj connues des problmes concrets qu crer des mathmatiques nouvelles. Cependant, entre les deux types dactivit, on peut rencontrer tous les intermdiaires, en fonc-
Enfin, il faut savoir que des formations de type ingnieur sont galement dispenses par les universits, travers les Instituts universitaires professionnaliss (IUP) ou les matrises finalit professionnelle comme les MIAGE (matrise en mthodes informatiques appliques la gestion des entreprises) et les MST (matrise de sciences et techniques). Comme les coles dingnieurs, ces formations de type bac + 4 ne sont pas particulirement ou exclusivement centres sur les mathmatiques. Mais un DESS (diplme dtudes suprieures spcialises), sorte de DEA finalit professionnelle, peut complter une telle formation et lui donner une orientation mathmatique plus marque. Il existe ainsi des DESS de Calcul scientifique et informatique , d Ingnierie mathmatique , de Mathmatiques, informatique et scurit de linformation , de Modlisation stochastique et recherche oprationnelle , etc. : le choix est vaste !
102
Linterdisciplinarit, une clef pour lavenir

Beaucoup sont conscients de la ncessit dune ouverture plus grande des mathmatiques vers les autres disciplines. Les mathmatiques de pointe se rvlent utiles et ncessaires dans des domaines de plus en plus nombreux ; inversement, les problmes concrets poss dans ces domaines peuvent inspirer des recherches fondamentales fructueuses, qui font progresser la science mathmatique elle-mme. Au sein des institutions denseignement et de recherche, apparat la volont politique de dvelopper linterdisciplinarit, mais elle a encore du mal se traduire dans les faits. Un des principaux terrains daction est lenseignement suprieur. Si, au niveau des DEA et des DESS de mathmatiques, on remarque une certaine ouverture vers dautres domaines, la situation en deuxime cycle universitaire (licence et matrise) semble plus proccupante : les mathmatiques y sont enseignes de faon presque totalement monolithique ; il faut repenser les programmes, qui ont trs peu volu au cours des dernires dcennies , affirme Jean-Pierre Bourguignon, directeur de lInstitut des hautes tudes scientifiques (IHES). Par exemple, linterface entre mathmatiques et biologie ou mdecine est quasiment inexistante, et il en est de mme des mathmatiques discrtes . On peut tout de mme noter quelques volutions, comme linstauration au concours de lagrgation dune preuve de modlisation. Un autre terrain daction vers linterdisciplinarit concerne les recrutements de chercheurs et denseignants-chercheurs, ainsi que lavancement de leurs carrires. Comme le souligne Jean-Marc Deshouillers, directeur pour les mathmatiques la Mission scientifique universitaire (Ministre de la Recherche), on peut favoriser les changes interdisciplinaires travers les commissions de recrutement , pour que par exemple des spcialistes de statistique soient recruts dans des laboratoires de biologie. On peut aussi crer de nouveaux laboratoires consacrs des thmes pluridisciplinaires, ou tenter de modifier lorientation de laboratoires dj existants, travers leur valuation. Cest ce que font dj des organismes comme le CNRS ou le Ministre de la Recherche. Mais, sur le chemin de linterdisciplinarit, les difficults sont nombreuses : il faut rompre avec certaines habitudes, contourner des obstacles administratifs ou statutaires, surmonter les incomprhensions entre chercheurs de disciplines diffrentes, investir en hommes et en argent, etc. Les choses en sont encore leurs dbuts. La comptition et la spcialisation scientifiques, le systme dvaluation et de recrutement, ont trop souvent tendance favoriser les profils conventionnels et peu mobiles , dit Christian Peskine, directeur scientifique adjoint pour les mathmatiques au CNRS; le systme ne suscite pas assez lmergence de personnes ayant une formation originale, ayant envie de prendre des risques (scientifiques) dans des domaines nouveaux. Mais ceux qui tiennent dj un rle et une place dans les thmes interdisciplinaires pourraient avoir un effet dentranement et encourager dautres collgues ou tudiants les imiter.
Comment devenir mathmaticien ? Des dbouchs dautant plus nombreux que la formation laisse de la place dautres disciplines
Les dbouchs qui soffrent aux diplms en mathmatiques ? Pour ceux qui sont alls jusquau doctorat et au-del, les voies naturelles sont la recherche et lenseignement suprieur : des organismes de recherche publique comme le CNRS, lINRIA, le CEA, lONERA, etc., mais aussi de grandes socits comme la RATP ou EDF-GDF, recrutent des chercheurs, et les universits recrutent des enseignants-chercheurs ; de mme, les Grandes coles ou les coles dingnieurs recrutent des enseignants et, dans les cas o elles possdent des laboratoires de recherche, des chercheurs. Cependant, le nombre de postes offerts par la recherche et lenseignement suprieur ne sont pas trs nombreux, et cette voie est donc trs slective. titre dillustration, le CNRS (Centre national de recherche scientifique) recrute une quinzaine de jeunes chargs de recherche mathmaticiens par an (20 en 1995, 13 en 1997), les universits une centaine de matres de confrences (116 en 1995, 111 en 1997) ; ces chiffres sont comparer au nombre de diplmes de doctorat dlivrs en mathmatiques, qui tourne autour de 350400 annuellement (en France). Les entreprises prives, quant elles, embauchent traditionnellement des ingnieurs ; peu de mathmaticiens (au sens de chercheurs) y trouvent place. Cependant, la ncessit de recherches mathmatiques pointues se fait sentir dans un nombre croissant de domaines (finance, assurance, informatique, tlcommunications numriques, robotique, industrie aronautique et spatiale, recherche ptrolire, etc.). Aussi, la prsence de mathmaticiens dans les entreprises est appele
103
augmenter ; et une telle intgration se fera dautant plus aisment que la formation du mathmaticien aura comport des ouvertures vers dautres disciplines (voir lencadr). un niveau moins lev que le doctorat, les tudes mathmatiques offrent des dbouchs plus nombreux, mais les mtiers correspondants sloignent de celui de mathmaticien proprement parler. Une voie numriquement importante est lenseignement secondaire : le mtier denseignant en lyce est accessible aprs une licence ou une matrise, puis une anne de prparation au concours du CAPES (aprs licence) ou de lagrgation (aprs matrise). Mais il y a une kyrielle de possibilits demplois faisant appel des comptences mathmatiques, dans les banques, dans les assurances, en informatique, dans les services de recherche et dveloppement des entreprises, etc. condition que les tudes aient inclus une ou plusieurs spcialits en plus des mathmatiques, le risque de se retrouver sans travail est bien faible. Maurice Mashaal journaliste scientifique
Quelques rfrences :
Infosup n 189, janvier-fvrier 2001 (Dossier de lONISEP sur les tudes universitaires de mathmatiques et leurs dbouchs). Site Internet de lONISEP (Office national dinformation sur les enseignements et les professions) : http://www.onisep.fr. Mathmatiques venir - o en est-on la veille de lan 2000 ? supplment au n 75 de la Gazette des mathmaticiens, publi par la SMF et la SMAI (1997).

Explo Maths

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Explo Maths

Transféré par

Droits d'auteur :

Formats disponibles

l

SMF et SMAI, juillet 2002 ISBN 2-85629-120-1

Avant-propos Le temps quil fera

Mireille Martin-Deschamps et Patrick Le Tallec Claude Basdevant

Les dessous du tlphone portable

Cryptage et dcryptage : communiquer en toute scurit Jean-Louis Nicolas

Contrler un monde complexe

Trouver un gne responsable de cancer

Des ondelettes pour comprimer une image

Empcher les ondes de faire du bruit

Quand art rime avec maths

De lADN la thorie des nuds

Nguyen Cam Chi et Hoang Ngoc Minh

Philippe Fvrier et Michael Visser

De la gomtrie 11 dimensions pour comprendre la Gense ?

Les mathmaticiens en France et dans le monde

Comment devenir mathmaticien ?

Lexplosion des mathmatiques

Le temps quil fera

Lexplosion des mathmatiques

Les mesures mtorologiques ne sont pas directement exploitables

Quand lanalyse numrique entre en action

Le temps quil fera

Lexplosion des mathmatiques

Des prvisions mtorologiques aux prvisions climatiques

Les dessous du tlphone portable

Lexplosion des mathmatiques

La norme GSM cache une grande complexit scientifique et technologique

Les dessous du tlphone portable

Des algorithmes pour numriser linformation, la dcouper en paquets, la crypter, etc.

De la thorie des graphes pour allouer convenablement les frquences

Lexplosion des mathmatiques

Cryptage et dcryptage : communiquer en toute scurit

Lexplosion des mathmatiques

La cryptographie moderne, au croisement des mathmatiques et de linformatique

Courbes elliptiques : la gomtrie algbrique au service des agents secrets

Lexplosion des mathmatiques

Contrler un monde complexe

Lexplosion des mathmatiques

Empcher les ponts de scrouler

Contrler un monde complexe

Tenir bon malgr les turbulences

Lexplosion des mathmatiques

Lexplosion des mathmatiques

Un problme encore dactualit et qui remonte lAntiquit

Figure 2. Un polydre convexe et un polydre toil, non convexe.

Le volume dun polydre varie-t-il lorsquon le dforme ?

Lexplosion des mathmatiques

Figure 4. La patron du flexidron de Steffen.

Le thorme du soufflet Oui, le problme du soufflet est digne dintrt !

Trouver un gne responsable de cancer

Trouver un gne responsable de cancer

Des statistiques pour dterminer le chromosome porteur du gne

Lexplosion des mathmatiques

Trouver un gne responsable de cancer

La biologie offre aux mathmatiques un nouveau terrain daction

Des ondelettes pour comprimer une image

Des ondelettes pour comprimer une image

Au commencement tait lanalyse de Joseph Fourier

Trente-deux fois moins de place grce aux ondelettes

Lexplosion des mathmatiques

puis est venue la transforme en ondelettes

Figure 2. Le graphe dune ondelette utilise dans la compression dimages.

Des ondelettes pour comprimer une image