Vous êtes sur la page 1sur 104

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

.........................

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 ?

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

.............................

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.

66

.........................

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.

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

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

.........................

Le prix des options financires

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

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

.........................

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.

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.

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

Lexplosion des mathmatiques


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.

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.

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

Lexplosion des mathmatiques


dveloppent ?). Il reste, dans toutes ces questions, encore beaucoup de matire dveloppements mathmatiques.

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).

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.

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)

Lexplosion des mathmatiques

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.

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-

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-

Une antenne relais pour la tlphonie mobile GSM, en campagne, sur exploitation agricole. (Clich REA)

Les dessous du tlphone portable


mentaux en protocoles effectifs et efficaces,
pouvant tre mis en uvre concrtement au
sein dun rseau radio-mobile.

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

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.

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-

Lexplosion des mathmatiques

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.

Daniel Krob
Directeur de recherches au CNRS et
directeur du LIAFA (Laboratoire dinformatique
algorithmique : fondements et applications),
Universit Paris 7 et CNRS

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).

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.

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

Lexplosion des mathmatiques


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

Cryptage et dcryptage

17

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.

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 gom-

Le 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

Lexplosion des mathmatiques

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).

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.

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.

Lexplosion des mathmatiques


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

Contrler un monde complexe


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 turbu-

La 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.

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-

Lexplosion des mathmatiques


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.

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).

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.

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

Lexplosion des mathmatiques

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.

Augustin-Louis Cauchy (1789-1857), lun des grands mathmaticiens de son poque. (Clich Archives de l'cole polytechnique)

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

Le thorme du soufflet
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).

Figure 3. Si lon diminue les angles que font les segments entre eux,
les extrmits de la chane de segments se rapprochent.

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-

Lexplosion des mathmatiques

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

Figure 4. La patron du flexidron de Steffen.

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

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).

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.

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)

Trouver un gne responsable de cancer


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

Lexplosion des mathmatiques


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).

Trouver un gne responsable de cancer


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).

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 !

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-

Des ondelettes pour comprimer une image


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.

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.

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

Lexplosion des mathmatiques

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.

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

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.

Les mathmatiques des


ondelettes ont jou un rle
de pivot dans nombre de
domaines

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

Les mathmatiques ont eu ici


un rle fondamental, la fois de
catalyse, de nettoyage et dapprofondissement. En dgageant les
concepts fondamentaux des appli-

Des ondelettes pour comprimer une image


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).

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 ?
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.

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

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

Empcher les ondes de faire du bruit


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.

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).

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

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 !

Lexplosion des mathmatiques


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

Empcher les ondes de faire du bruit


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)

Lexplosion des mathmatiques

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).

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.

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.

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

Lexplosion des mathmatiques


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

Quand art rime avec maths


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.

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

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

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

Lexplosion des mathmatiques


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).

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.

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-

Lexplosion des mathmatiques


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-

De lADN la thorie des nuds


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.

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.
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-

50

Lexplosion des mathmatiques

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).

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.

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).

Nguyen Cam Chi et Hoang Ngoc Minh


Dpartement de mathmatiques et
dinformatique,
Universit de Lille 2

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

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).

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.

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, 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

Lexplosion des mathmatiques


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 ,

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)

Le philosophe et le mathmaticien
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.

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

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.

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.

Lexplosion des mathmatiques


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)

Le philosophe et le mathmaticien

55

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

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.

Comment rationaliser les ventes aux enchres ?


En Asie, le rcit le plus ancien denchres
concerne la vente des effets des moines
dcds, au VIIe sicle.

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-

57

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.

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,

Lexplosion des mathmatiques


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-

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)

Comment rationaliser les ventes aux enchres ?


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-

Lexplosion des mathmatiques

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?

Ltat doit-il pratiquer des enchres


uniformes ou discriminatoires ?

Lexplosion des mathmatiques


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 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.

De lconomtrie pour vendre des vins ou des obligations


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 ?

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-

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

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.

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

Lexplosion des mathmatiques


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

De lconomtrie pour vendre des vins ou des obligations

65

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.

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

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).

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.

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

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 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.

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)

Lexplosion des mathmatiques


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

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).

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

69

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

71

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.
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

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

Lexplosion des mathmatiques


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

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.

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.

73

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

Lexplosion des mathmatiques

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

Lexplosion des mathmatiques

Jusquaux annes 1990,


la modlisation du trafic par des lois
statistiques classiques suffisait

du rseau dans son ensemble, et il nest donc


possible que pour des rseaux grs de
manire centralise.

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).

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.

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-

Internet : modliser le trafic pour mieux le grer


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

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.

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

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.

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

Lexplosion des mathmatiques


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

Internet : modliser le trafic pour mieux le grer

79

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

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

Lexplosion des mathmatiques


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

83

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).

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.

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.

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

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)

Lexplosion des mathmatiques


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).

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).

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-

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.

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

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.

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 .

Reconstruire des surfaces pour limagerie


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.

Lexplosion des mathmatiques


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

Reconstruire des surfaces pour limagerie

91

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

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.

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.

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.

Les mathmaticiens en France et dans le monde

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

Lexplosion des mathmatiques


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-

Les mathmaticiens en France et dans le monde


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.

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

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-

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

Lexplosion des mathmatiques


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

Les mathmaticiens en France et dans le monde


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

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).

97

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.

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

Comment devenir mathmaticien ?


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.

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

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.

100

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

Lexplosion des mathmatiques


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.

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

Comment devenir mathmaticien ?

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-

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.

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 !

Lexplosion des mathmatiques

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).