• Aucun résultat trouvé

Determination of stability zones for linear systems of ordinary differential equations depending on two parameters

N/A
N/A
Protected

Academic year: 2021

Partager "Determination of stability zones for linear systems of ordinary differential equations depending on two parameters"

Copied!
26
0
0

Texte intégral

(1)

HAL Id: inria-00074402

https://hal.inria.fr/inria-00074402

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires

Determination of stability zones for linear systems of ordinary differential equations depending on two

parameters

Inessa Matveeva

To cite this version:

Inessa Matveeva. Determination of stability zones for linear systems of ordinary differential equations depending on two parameters. [Research Report] RR-2269, INRIA. 1994. �inria-00074402�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Determination of stability zones for linear systems of ordinary differential equations

depending on two parameters

Inessa Matveeva

N˚ 2269

Mai 1994

PROGRAMME 6

Calcul scientifique, mod´elisation et logiciel num´erique

(3)
(4)

#$ %&')(* + (*-,.+$ /$021 *

(3/ *(* 4 56 378

9-:8;=<><@?/AB?DCEF;=;GEH?BI

JKML@N>KPOQQRTS U V8OWYX-Z=WF[\X-]^R_G`\]badc"Z=R"e"QLgf8hRW^]Y[\O`\]^L@_iRj`W^L>N@]YXk]^RjWl_gZ=QmhRjK\]Yc"Z=R

JKML>noRj`qprpstou

vqOw=wlL>KM`fGRK\RXyxzRjKPXPx=Rq_${g|@|>S@}$U ~O]€}@}‚'U |@|wlON>R[

ƒ„F…-†‡ˆ=‰@†"Št‹_`Mx=]Œ[DKMRjwlL>KM`F+R8X-L@_Ž[]YfgRjKF[z[`\RjQ‘[’L“=L>KPfG]”_lOK\•fG]b–dRjK\Rj_G`\]YOW@Rc"ZlO`\]^L>_l[

fGRjwlRj_lfg]^_=N•L@_'`8LwlOK—OQRj`\RjKP[k˜™7Rq]^_gš"R[`\]^N›O`MRqOwlL"[\[]”œ=]^W”]^`o$L“fGRj`MRKMQ]”_lO`\]^L@_•L“

[`—Oœ=]”W^]^`oL@_=R[+L“8[L>W^Z=`\]^L>_l[)œgQRžO_l[+L“8OXkL@Qw=Zz`MRjK˜ŸŽL>Kq[L>W^šg]^_=N'`Mx=]Œ[)wzKML@œzW^RjQ

+RZl[oRqOQRj`MxzLgf w=K\L@wlL"[oRfœg¡l˜£¢¤˜¦¥qLgfGZ=_=LšO_lf`MxlO`L“dœG'¥$˜¨§˜©sqRjQ]YfgRj_=ª@L+“«L>K

[`\ZlfG2L“8W^LgXjO`M]^L>_L“¬OQ‘O`MK\]^­‘[ow’RžX-`MK\Z=Q®O_lf2“«L@KT[`\ZlfG2L“¬[`POœ=]^W”]^`oL“[oL@W”Z=`M]”L@_l[

L“)[z[`MRQ‘[+L“¬W^]^_zROKqL@K—fG]^_lOKMfG]b–dRjK\Rj_G`\]YOWRc¯ZŽO`M]”L@_l[]”`MxXkL@_l[o`PO_g`•X-L"R-°X-]^R_G`—[-˜

p±_*Owzw=W^]ŒXjOœ=]”W^]”`iL“`\x=R[oRQRj`MxzLgf=[)]Œ[±]^_gš"R[o`M]^N›O`\RfD˜²+x=]Œ[±KMRjwlL>KM`•X-L@_g`PO]^_l[T[L@QiR

Rj­zOQw=W”R[L“XkL@Qw=Zz`PO`\]^L>_³L“[o`POœ=]^W”]^`oL@_=R[k˜

´2µ"¶·M¸•¹l‡º»…@Š'Q‘O`\KM]”­$[owlRX-`MK\Z=Qe>[`—Oœ=]”W^]^`o]^_`\x=Rq[R_l[RqL“HrDgOwzZ=_=LšDegO>[gQw=`ML>`M]ŒX

[`—Oœ=]”W^]^`o"ezrDgOw=Zz_=LšRc"ZlO`\]^L@_

¼Y½¾

¿ÁÀoÂjÃ

¾

¿Ä»Å”ÀoÆÈÇPÉ

ÊËÌ©Í+ÎdÏ-ЫÑÎÒPÍ+Í«ÓÔÔ>Ï-ЫիÖM×'ØjÙÕÈËÖTÚЫÖoÛ@Ü«Ëݱ̣ÛÌ£ÍÈÕ«ÐÈٕÏyÞÚÏ-ЫÖoÌ©ßkÛàâá¯Òy̩ЫÍqÒPÛ@×Õ«ËÖTãÓ̦ͫͫÒyÛ

ÚÏkÓÛ@×ÒPÕÈÌ£Ï-ÛqÏyގÚÓÛ>×ÒyÝqÖoÛjÕäÒyå>æYÛjç-ÖoÍ«ÕÈÌ£ßjÒPÕÈÌ£Ï-ÛÍ\è

é æYÛÍÈի̩իÓÕ«ÖÏPÞ8êÒyÕ«Ë֏ÝTÒPÕÈ̦܋Í\ëìjÌ©Ø@ÖoЫ̦ÒPÛ2ílЋÒPÛ>ÜÈËÏPÞãÓÍÈ̦ͫÒPۑàÜoÒkמÖoÝÙÏPÞ¬ìÜẠ́֏Û>܋ÖoÍMëFîkï-ðkðkñ-ð

òâÏPçkÏkÍÈÌ©ØÌ©Ð«Í«Ñ"ëãâÓÍ«ÍÈÌóÒ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

(5)

#$ $ j8$ ($0 1 7 (*k,+$ ‘j$$

(7 +$ (3 $ *( ( ($1 3*+ 8$

µg…µŠsO_l[±XkR K—Ow=wlL>KM`jel_=L>Zl[±XkL@_l[o]Yf8hRjK\L@_l[fgR[[z[`RjQR[8f\hRc"ZlO`M]^L>_l[fG]¦–ThR

KMRj_g`M]”RjW^W”R[DL@K—fG]^_ŽO]^K\R[f8hRw’R_lf=O_g`fGR¬fGRjZ=­•wlOK—OQ R`MKMRž[-˜u±L>Zl[»KMRžXyx=RKPXPx=L@_l[Z=_=RwlL›[h

[]”œ=]^W”]^`zhR fGRf8hR`MRjK\Q]^_=RK+[oZ=KL>KPfG]”_lO`\RjZ=KqW^R[+jL>_=R[qfGR[o`POœ=]^W”]^`zhR•fGRž[±[oL@W^Zz`M]^L>_l[-˜dJ»L>Z=K

KzhR[oL@ZlfgKMR•X-Rqw=KML>œ=WhRjQiR_=L@Zl[+Zz`M]^W”]Y[oL@_l[Z=_=RQ R`Mx=LgfGRqw=K\L@wlL"[ghh RjRwlOKq¡l˜©¢˜b¥qLgfGL>Z=_=Lš

Rj`Z=_=RTOZ=`\KMRqw=KML>wlL"[ghRRwlOK¥•˜§ ˜©s±RjQi]YfGRj_zª@LwlL@Z=K8WYOW^LgXOW^]Œ[MO`M]^L>_fgR[ow’RžX-`MK\R[Q‘O

`MK\]YX-]”RjWY[»R`wlL>Z=KhRj`\ZlfG]^RKWŒO[`POœ=]^W”]^`zhRqfGR[[L>W^Z=`\]^L@_Ž[+fGR[[o=[o`RjQRž[f\hRžc¯ZlO`M]”L@_l[fG]¦–ThR

KMRj_g`M]”RjW^W”R[=W^]”_hRO]”KMR[lL@K—fG]^_lO]^K\R[O±XkL"R-°‘Xk]^Rj_g`P[lX-L>_l[`—O_g`P[-˜>u±L>Zl[DRj­zOQ]”_=L@_l[dX-L@QiQRj_g`

[£Ow=w=W”]Yc"Z=Rj_g`X-R[FQmhRj`MxzLgfGR[-˜"VRqKPOwzw’L>KM`¬X-L@_g`M]”Rj_G`c"Z=RjWYc"Z=R[Rj­gRjQw=W”R[fGRTXjOWŒX-Z=WzfGR

jL@_zR[±fgR$[o`POœ=]^W”]^`zhR›˜

&¹Ž†ž…-·P‰µŠ'[wlRX-`\KMRQ‘O`MKM]ŒX-]^RW‹ek[`—Oœ=]”W^]^`zhROZ'[Rj_l[fGR¬rDgOwlL@Zz_=LšDeg[`—Oœ=]”W^]”`=hRO>[gQw

`ML>`M]Yc"Z=R"e Rc"ZlO`M]^L>_h fGR•rDgOwlL@Z=_zLš

(6)

[z[`\RjQ‘[±L“L@K—fG]^_ŽOKM*fg]b–dRjKMR_G`\]YOWFRc"ZlO`\]^L>_l[]^`Mx X-L"R-°X-]”Rj_G`—[±fgRjwlRj_lfG]”_=N‘L@_*`8L

wlOK—OQR`MRjK—[±œG QRO_l[)L“qOQiRj`Mx=Lgf2wzKML@wlL›[Rf7œg7¡Ž˜©¢˜b¥qLgfGZ=_zLšO_lf`MxŽO`L“8œg

¥•˜§˜£s±RjQ]ŒfGRj_=ª"Lz˜²+x=R[oR2QRj`\x=Lgf=[$8RjKMRwzKML@wlL›[Rf “«L>K[o`MZlfG/L“W”LgXjO`\]^L@_.L“`\x=R

[wlRX-`\KMZ=Q6L“8OXkL@_l[o`PO_g`qQ‘O`\KM]^­'p O_lf“«L@KT[`\ZlfGL“8[`—Oœ=]”W^]^`o'L“`\x=R[oL@W”Z=`M]”L@_l[L“

`Mx=R•[o=[o`MRjQ L“L@K—fG]^_ŽOKMfG]b–dRjK\Rj_G`\]YOWDRc"ZlO`\]^L>_l[

€

rDRj`ZŽ[±X-L>_l[]ŒfGRjK8`Mx=R•[z[`\RjQ L“L@K—fG]^_lOKM‘fg]b–dRjKMR_G`\]YOWdRc"ZlO`\]^L@_Ž[

|

x=RjK\R

]Œ[OQ‘O`\KM]”­$L“FL>KPfGRK fgRjwlRj_lfG]”_=N$L>_`o+L$wŽOKPOQRj`\RjKP[ ˜›~O_g

[z[`\RjQ‘[N@Lš"RjKM_z]^_=N'KMROWw=xg=[o]YXjOWw=KMLgXkR[M[oR[OKMRK\RfGZlXkRf³`\L‘[z[`\RjQ‘[+L“8`\x=R$“«L@K\Q

|P˜dŸŽL>KRj­zOQw=W”R"e"X-L>_l[]ŒfGRjK`\x=R•rON@K—O_=N>]YO_[o=[o`MRjQ Xy“\˜

"!

#

$&%

')(

*!

+

$&%

',(

-!

.

$

' 0/

' 1 €

˜j˜j˜

324

x=RjK\R #! O_lf +OK\R•c¯ZlO>fGKPO`M]ŒXT“«L>KMQ‘[+]”`Mx‘KMRž[wlRX-``\L! %

5 e !. ]Y[O'c"ZlO@fGK—O`\]YX±“«L@K\Q

]^`\x KMRž[wlRX-``\L 5 e / '

OKMR‘W”]^_=ROK$“«Z=_lX-`\]^L>_l[¤]”`Mx/KMRž[wlRX-``\L 5 e6

€ ˜j˜˜ 324

t‹_lfGRjRfde XO_‘œlR$KMRKM]^`\`MRj_i]^_‘`Mx=R“«L>W^W^L]”_=N$“«L@K\Q

#

%7%

( + % ( . (

08

:9

L@Kq]^_‘`MxzR “«L>KMQ |&—e=x=RjKMR

;

%=<

; 9 >

?

#,@BA . (

B8 ? #C@&AD+ <

# + . E8 OK\R$[\c¯ZŽOKMRQ‘O`MK\]YX-R[L“L@K—fGRjK 2 O_lf 0 #GF

9

˜

rDRj`8Zl[+KMRQ]^_lf$`\x=R•fGR-al_z]^`M]”L@_l[L“ [`—Oœ=]”W^]^`o]”_`Mx=R [Rj_l[oRL“rDgOwzZ=_=Lš‘O_Žf`\x=R

O@[oGQwz`ML@`\]YX[o`POœ=]^W”]^`oL“`MxzR$[oL@W”Z=`M]”L@_l[L“`Mx=R•[o=[o`MRjQ

€H

[RjR"e=R›˜N=˜”eJIHK—˜

L‘µM=N4O †POȹNRQTSVUXWY[Z\^]_W` K aWcba\_de)UXfUg\ceghjilkDmn]oU*p3qYrYseutnUg\^qvYre*]_`w\xdeyUeg`&Ue

WcbyzRf{q|$Z0`}W~bXW€ 

9 ]bRbXW€yq`}f

9

\xdeg€3e"eD‚{]oUg\_U„ƒ c  9

UXZBp…d†\xd‡q\‰ˆ

!

}K ?

ˆ‰Š bXW€)q`‡f ‹

9wŒ

deg`ˆ

!

9 ?

9

ˆ„ŠŽƒ l

(7)

L‘µM=N4O †POȹNRQ0SŽUg\qvgYreUXWY[Z&\^]_W` K Wcb\_de UXfPUg\legh ilkDma]oU‰p3qYsYreut*qHUXfh |\^W\]_p3qYsY[f

Ug\qvgYrebXW€

9 ]b"\_deg€…e eu‚{]oUg\xUaƒ  9

UXZBp…d \xd‡q\,ˆ

!

K ?

K

9

bXW€

Œ

deg` ˆ ! }

9 ?

9

ˆ‰Š:ƒ

t‹`']Y[L@œgšG]”L@Zl['`MxlO`2[o`MZlfg L“¤[`—Oœ=]”W^]^`o/L“¤[L>W^Z=`\]^L@_Ž[L“¤[z[`MRQ‘[¤L“L>KPfG]”_lOK\

fG]b–dRjK\Rj_g`M]YOW»Ržc¯ZlO`M]”L@_l[]Y[±K\RfGZlXkRf³`\L‘[`\ZlfG‘L“¬[`—Oœ=]”W^]”`‘L“`Mx=R_gZ=W”WF[L@W”Z=`M]”L@_˜HrDRj`

Zl[ “«L>KMQ'Z=WYO`MR`\x=RXkWYO@[\[]ŒXjOWdX-K\]^`MRKM]YOqL“[`—Oœ=]”W^]”`•]^_'`Mx=RT[R_l[RL“FrDgOw=Z=_=LšiO_lf`\x=R

O@[oGQwz`ML@`\]YX[o`POœ=]^W”]^`o¤“«L>K±`\x=R_GZzW^W[oL@W”Z=`M]”L@_2L“ €HC ge}IHä˜

»µg¹l‡µ ŽQ de†`}ZYrY UXWY[Z\^]_W`ŽWcb \_de UXfPUg\legh ilkDm ]oU-Ug\^qvYre ]_` \xde Ueg`UewWcb

zRf{q|$Z0`‡W~)bXW€ †

9 ]b†q`}t W`0Y[f ]b \_de Ul|eup\^€ZBhjWcb-\_de†h"q\€g]o‚

ve Y[W`HU \W

\xde pY[WHUeutYserbg\ d‡qYbr|Y[q`e+ Š

9

q`}t†W`0Y[f-W`e t]_h eg`&UX]_W`}qY‡W€Dtq`wvY[WpXU

p3W€€3eDUl|‡W`}t"\W \_dea]_h"q]_`}q€gfneg]Beg`}~qY[Z}eDU

»µg¹l‡µ ŽQ dea`}ZYrYUXWY[Z\]_W` Wcby\_de,UXfPUg\legh ilkDmn]oUaqHUXf{h |\W\^]_p3qYrY[f"Ug\qvYsebXW€

 9 ]b q`}t W`0Y[f ]b \xde-Ul|eup\€gZBh Wcb†\_dewh"q\^€g]o‚

ve3Y[W`HU \^W \xde W|eg`ŽYrerbg\

d‡qYbr|Y[q`e+ !

9

²+xgZl[-egO_lOW”G`\]YX]^_gš"R[`\]^N"O`M]”L@_'L“[`—Oœ=]”W^]”`•L“F`\x=R[L>W^Z=`\]^L>_l[L“

|& XjO_iœ’RTKMRfGZ

X-Rf‘`MLi[`MZŽfG‘L“`\x=R•[wlRX-`\KMZ=Q6L“

»“«L>K±Rjš"RKMal­GRžf³wlO]^KL“ `Mx=R•wlOK—OQRj`\RjKP[

P˜#"±L+Rjš"RKjej]^`]Y[Z=_=K\ROW=`\L•X-L@_lfgZlX-`]”_Gš"R[o`M]”N"O`\]^L>_$]^_'N@R_=RjKPOWlXjO>[R"˜"²+xzRjKMR-“«L>KMR"e

]^`]Y[F_=RX-R[\[MOKM$`\LxlOjš"R_GZ=QiRjKM]ŒXjOW"QR`Mx=Lgf=[Fx=]YXPx'OW”W^L `\L$[oL@W”š"R`Mx=]Œ[»w=KML>œ=W^RQœg

QRO_l[L“OX-L@Qiw=Z=`MRKj˜%$+Z=``\x=]Y[N@]”š"R[KM]Œ[Rq`ML•O@f=fg]^`M]”L@_lOWfG]¦°‘XkZ=W^`\]^R[k˜@²+xgZl[-egXjOWYX-Z

WYO`M]^L>_L“8Rj]”N@Rj_gš>OW^ZzR[+L“8Z=_l[oGQiQRj`MK\]YXQ‘O`\KM]ŒX-R[+œg³QiRO_l[+L“¬OX-L@Qiw=Z=`MRK]Y[_=L@`

L“«`\Rj_‘O[`—Oœ=W”Rw=K\LgX-R[M[k˜=²+x=RKMR-“«L>KMR"e"]^`8]Y[_=RXkR[M[\OKMiOWŒ[L`\L$xlOjš"RqL@`MxzRjKOw=w=KML›O@XPx=R[

“«L@KT[`\ZlfGL“8[`—Oœ=]”W^]^`o'L“ [L>W^Z=`\]^L@_Ž[-˜

²+x=R“«L>W^W^L]”_=N*rDgOw=Zz_=Lš`Mx=RL@KMRQ N@]”š"R[$O_=L@`\x=RjKiOw=w=K\L"O>Xyx/“«L@K'[L>W^šg]^_=N`\x=R

w=KML>œ=W^RQ [`—Oœ=]”W^]^`o'L“`Mx=R•[oL@W^Zz`M]^L>_l[+L“ €H—˜lt‹`+]Y[+_zL@`KMRWYO`\Rf`ML`\x=RRj]^N>Rj_Gš>OW^Z=R[

˜

»µg¹l‡µ ŽQ& dea`}ZYrY=UXWY[Z\]_W` Wcba\xde,UXfUg\cegh ilkDm‰bXW€ ‰

9

]oU qHUXfh |\^W\]_p3qYsY[f

Ug\qvgYre"]b)q`}t-W`0Y[f ]by\_de"e('ZBq\]_W`

) (

+*

)

?-,

, , *  9 ‚B

d‡qHU q UXWY[Z\]_W`.)

) *  9

²+x=RRc"ZlO`M]^L>_ ‚0d]Y[XjOW^W^Ržf±`Mx=R¬rDgOw=Zz_=Lš Ržc¯ZlO`M]”L@_˜u±L>`MR`MxŽO`F]b“z`Mx=R8[wlRXk`MKMZzQ

L“8`MxzRQ‘O`\KM]^­

œlRjW^L>_=N"[`\L`Mx=R•L@wlRj_*W^R-“«`xŽOWb“«w=WŒO_=R"ed`Mx=Rj_ `Mx=RZz_=]Yc"Z=R[oL@W”Z=`M]”L@_

‚08xlO@[+`\x=R “«L>KMQ /.0

1

24365

,

243$g

(8)

²+xGZŽ[-e+L>_=R*XjO_ [wlROª OœlL@Z=`i`Mx=R*O>[gQw=`ML>`M]ŒX³[o`POœ=]^W”]^`oL“•`\x=R*[L>W^Z=`\]^L@_Ž[L“ €

]^`\x=L@Z=`TXjOWYX-Z=WŒO`\]^L@_‘L“`\x=RRj]^N>Rj_Gš>OW^Z=R[L“

]¦“F`Mx=R]^_g`MRN@KPOW 8X-L@_gš"RjKMN>R[-˜

¡"ZŽXyx Ow=wzKML"O>Xyx&`\L ]^_gš"R[o`M]^N›O`\]^L@_ L“'`\x=R O@[gQw=`\L@`\]YX*[`POœ=]^W”]^`omL“'`\x=R [L@W”Z

`M]”L@_l[L“T`Mx=R [o=[o`MRjQ €H•œG QRO_Ž[ L“ O*X-L@QwzZ=`MRjK•O>[¤Zl[oRfœG.¡l˜©¢˜b¥qLgfGZz_=Lš

O_lfp•˜8OG˜$+Z=W^N›Oª"Lš [RjR›e’R"˜¨N=˜”e4b€@el|geSHP˜l²+x=R2[oZ=N@N>R[`\Rf`MLiX-L@_l[o]YfGRK±`\x=R$š>OW”Z=R

ˆˆ) ˆTO@[qO$_gZ=QRjK\]YXjOWDXPxlOKPO@Xk`MRjK\]Y[`\]YX±L“`\x=R•O@[oGQwz`ML@`\]YX[o`POœ=]^W”]^`o"˜

¡l˜£¢˜b¥qLgfGZ=_=Lš O_lfp$˜8OG˜$+ZzW^N"Oª"LšRjWYOœlL@KPO`MRfO_OW^N>L@KM]”`Mx=Q “«L>K+XkL@Qw=Zz`PO`\]^L>_

8]^`\xON>ZlOK—O_g`MRjRfO>XjX-Z=K—O@X-›˜D²+x=R'OW^N>L@KM]”`Mx=Q6wlRjK\Q]^`—[+`MLwlL@]”_G`TL@Z=``\x=R

[z[`\RjQ‘[L“L>KPfG]”_lOK\fG]¦–DRKMRj_g`M]ŒOWRc"ZlO`\]^L>_l[)L“8`Mx=R“«L@KMQ €Hx=L›[R'[oL@W^Zz`M]^L>_l[OKMR

O@[oGQwz`ML@`\]YXjOW^W”[`—Oœ=W”R]^`Mx O±N@ZŽOKPO_G`\RjRfO>XjX-Z=K—O@X-"˜>²+x=]Œ[»]Y[Rc"Z=]^š>OW”Rj_g``MLW”L"L@ªg]^_=N

“«L@Kq`Mx=R•Q‘O`\KM]ŒX-R[xzL"[R [wlRX-`\KPOœlRjW^L>_=N`ML'`MxzR L>wlRj_2W”R-“«`xlOW¦“ ÈwzWYO_zR.+

9 ˜

"±L+Rjš"RKje»`\x=R2wzKML@œzW^RjQ ]^_lfG]ŒXjO`\]^_=N*`MxzR2Q‘O`MKM]ŒX-R[x=L"[oR*[wlRX-`\KPOOKMR2W”LgXjO`\Rf

]^_.`Mx=R X-W”L"[Ržf W^Rk“«`$xlOWb“«w=WYO_=R + Š 9

xlO>[¤_=L>`œlRjRj_.[L>W^š"Rfd˜²âL [L>W^š"R‘`Mx=]Œ[

w=KML>œ=W^RQ O_lf`ML]”_Gš"R[o`M]”N"O`\R`Mx=R•w=KML>œ=W^RjQ6L“[o`POœ=]^W”]^`o]^_`\x=R[oRj_l[oRL“¬rDgOw=Zz_=Lš

“«L@K

€¡l˜©¢˜b¥qLgfGZz_=Lš2O_lf#¥•˜¨§˜©s±RQ]YfGR_=ª@Lw=K\L@wlL"[oRf³`o+L'fg]b–dRjKMR_G`qOw=w=KML›O@XPx=R[k˜

p`âaŽKP[`e@+RwzKMR[oRj_G`¡l˜£¢¤˜¦¥qLgfGZ=_=Lš ©[[Z=N>N@R[o`M]”L@_˜ "±R8w=KML>w’L›[Rf'`MLX-L>_l[]ŒfGRjK`\x=R

“«L@W”W^L]^_=N'[oRc"Z=Rj_lX-RTL“`\x=RQ‘O`\KM]YXkR[

)

' 1 23 5 , 23

1 23 5 , 23

1

:9 € ˜j˜˜

x=RjKMR ' “«L@K 1

,

]Y[O"±RjK\Q]^`\]YO_wlL›[]^`\]^š"R•fGR-aŽ_=]^`\RQ‘O`\KM]”­D˜

™*R_=L R[o`POœ=W^]Œ[x‘w=KML>wlRjKM`\]^R[+L“`Mx=R•[oRc¯ZzRj_lX-R)

' ˜

»µg¹l‡µ Q+ deah"q\^€g]o‚

)

1 23 5 , 23

1 23 5 , 23

 9

]oU eg€gh"]r\^]_q` |}WHUX]r\^]_~HeCt0eE`}]r\le

‡¹¹3QDrDR`±Zl[fgRj`MRjK\Q]^_zR±`\x=RQ‘O`\KM]^­

!

) /

1 23 5 , 23 g

t‹`+]Y[L>œGšg]^L>Zl[`\xlO`8`Mx=]Œ[Q‘O`MKM]”­$]Œ["±RjK\Q]^`\]YO_˜rDRj`+ZŽ[+X-L>_l[]ŒfGRjK+`\x=RTc¯ZlO>fGKPO`M]ŒX)“«L@K\Q

!

)

3

“«L@KTO_gš"RX-`\L@K

e

F

:9

˜l²+xzRj_

!) 3

/

23 5 ,

243„‡3

(9)

/

1 , 23 23

BE‹

, /

1 23

p[

23 ‹

@

2 3

`Mx=R_

!) 3R‹

, /

1 @ 2 3

, € ? @ 3

ˆ

 9

"±Rj_lXkR`Mx=RQ‘O`MK\]^­ )!

]Œ[ "qRjKMQ]”`M]”O_'wlL"[o]^`M]”š"R•fGR-al_=]”`MR"˜ $+`\x=R•fGR-al_z]^`M]”L@_

)

!)

!

)

p[+`MxzR `\KPO>X-RL“8OwlL"[]”`M]”š"RfGR-al_z]^`MRTQ‘O`\KM]^­']Y[+wlL›[]^`\]^š"R"egw=KML>wlRjKM`o€]Y[+w=K\Lš"RfD˜

»µg¹l‡µ $Q deg€…e-eD‚H]oUg\xU†qwUe('Z e…`}pe! '

' 1 UXZBp…d \_d‡q\

\xdeyUe('Z}eg`}pe)

'

p3W`}~He…€ 0eDU

Œ

deg` 1 deyY[]_h"]r\h"q\^€g]o‚ ]oU aeg€h"]r\^]_q`

`}W`}`e q\]_~He t0eE`}]r\le

‡¹¹3Q%$+`\x=RjL@K\RjQB€`Mx=RQ‘O`MK\]^­ ) d]Y[ "qRjKMQ]”`M]ŒO_qw’L›[]”`M]^š"R8fGRkal_=]^`\R"˜"±Rj_ŽX-R"e

`Mx=R“«L>W^W^L]”_=NR[`\]^Q‘O`MRxzL@WYfz[

€

) EŠVˆ) Xˆ,Š )

¡"]^_ŽX-R )

€@e=]”`+“«L@W^W”Lq[+`MxlO`

€

ŠVˆ) ˆ„Š €

]‹˜R"˜6`Mx=R“äOQi]^W^ ) 1  9

œ’RW^L@_zN"[³`\L `\x=RœlL@Z=_lfgRf X-W”L"[Ržf [oRj`

A

Š ˆ ˆ Š €

]^_*`Mx=Ri[wŽO@X-R &L“q`\x=R'Q‘O`\KM]YXkR[±L“qL>KPfGRK

²+x=]Y[[oRj`]Y[X-L>QwlO>X-`»œlRXOZl[oR±`\x=Rq[wlO>X-R ]Y[âal_z]^`MR‹fG]”QRj_l[o]^L>_lOWä˜@VL@_l[oRc¯ZzRj_G`\W^"e

`Mx=RKMR+R­G]Œ[`P[FO[oRc¯ZzRj_lX-R ' e ' e 1 e@[oZlXyx•`MxlO``MxzR[Ržc¯Z=R_lX-R )

'

X-L@_gš"RjK\N@R[k˜ $+`\x=RjL>KMRjQ €'`Mx=R'W^]”Q]^`qQ‘O`\KM]”­2]Y[-"±RKMQ]”`M]YO_2_=L>_=_=RjN›O`\]^š"RifGR-al_=]”`MR"˜

u±L@`\R`MxŽO`+`\x=RjL>KMRjQ |•fGL"R[_ `8[`—O`MRT`MxlO`+`MxzR[Rc"Z=Rj_ŽX-R-)

'

xlO@[+`\x=R±W”]^Q]”`⓫L>K

O_g/[Ržc¯Z=R_lX-R ' e ' e 1 ˜»™*R_=L N@]”š"RO2_gZ=Q'œ’RKL“T]^QwlL>KM`PO_G`

Rj­zOQw=W”R[L“QO`MK\]YX-Rž[+[ZŽXyx‘`MxŽO``MxzR W”]^Q]”`Rj­G]Œ[`—[ “«L@KTO_g‘[oRc¯ZzRj_lX-R ' ˜

(10)

»µg¹l‡µ Q sby\_de,Ul|eupg\€gZ0h Wcba\xdeCh"q\€g]o‚

ve3Y[W`U"\^Wn\_deyW|eg` Yserbg\d‡qYb

|Y[q`e+

9

\_deg`)bXW€ ' 1

\xdeg€3e eD‚H]oUg\xU \xdeyY[]_h"]r\

)

W^]”Q

'

0 )

' S

q`}t \xdeyY]_h"]r\h"q\^€]o‚aUXq\]oU euU \_de,z fq|$ZB`}W~ e('ZBq\^]_W`

) ( * ) ?

/ 0

1 23 5 , 23

@BA

,

»µg¹l‡µ Qz e3\\xdeEUl|eupg\€gZ0h Wcb‰\xde h"q\€g]o‚

ve3Y[W`# \^W \_de‰pY[WHUeut Yresbg\Td‡qYb

|Y[q`e&+ Š

9

$ZP||‡WHUeE\xd‡q\4W`BY[fyW`elt]_h eg`UX]_W`}qY6}W€utq`"vY[WpU„p3W€g€…eDUl|‡W`}t

\W \_dea]_h"q]_`}q€gfne…]0eg`}~qYZ eDU

\_deg`)bXW€

' 1

\xde…€…e eu‚{]oUg\xU \xdeyY]_h"]r\

iDm

»µg¹l‡µ $QZP||‡WHUe"\_d‡q\,W`ee…]0eg`}~qYZ enWcb*\xde*h"q\^€g]o‚

Y]KeDU Ug\^€g]_p\KYf ]_`

\xdea€g]HdB\ d‡qYbr|Y[q`e q`}t \_dey€3egh"q]_`}]_`-eg]0eg`}~XqY[Z euU ve3Y[W` \^W \_deaW|e…`nYserbg\d‡qYb

|Y[q`e

\xde…`)bXW€ ' 1

\_deg€…eaeD‚{]oUg\_U"\_deyY[]_h"]r\,iDm

»µg¹l‡µ QZP||‡WHUe"\_d‡q\,W`ee…]0eg`}~qYZ enWcb*\xde*h"q\^€g]o‚

Y]KeDU Ug\^€g]_p\KYf ]_`

\xde €]HdB\"d‡qYbr|Yq`e q`}t \xde €…egh"q]_`}]_`# eg]Beg`}~qY[Z}eDUve3Y[W`# \W \_de pYWHUeut Yrerbg\

d‡qYbr|Y[q`e sbaW`0Y[f*W`elt]_h e…`&UX]_W`}qY}W€utq`vgY[WpU p3W€€3eDUl|‡W`}t \^W \xdeC]_h"q]_`}q€gf

eg]0eg`‡~qY[Z}eDU

\_deg`)bXW€ ' 1

\xde…€…e eu‚{]oUg\xUa\_deyY[]_h"]r\)iDm

rDRj`ZŽ[)w=K\Lš"R`Mx=Rž[R`Mx=RL@KMRQ‘[-˜

‡¹¹¹† »µg¹l‡µ Q=tȓH`Mx=Rq[ow’RžX-`MK\Z=QBL“H`Mx=RQ‘O`MK\]^­

œlRjW”L@_=N›[`\L `\x=RL@wlRj_

W^R-“«`xŽOWb“ «w=WŒO_=R`MxzRj_‘`Mx=R]^_g`MRN@KPOW

!

) / 0

1 23 5 , 23 {

Rj­g]Y[`—[O_lf

)

W^]”Q

'

0 )

' W^]”Q

' 0 /

1 23 5 , 23

W^]”Q

'

0 €



1 23 5 , 23

0

1 23 5 , 23

 0

1 23 5 , 243

p[OW^KMRžO@fGQRj_g`M]”L@_=RžfDeP`Mx=R]”_G`\RjN@K—OW {]Y[`MxzR[L>W^Z=`\]^L>_L“l`\x=RrDgOw=Z=_=Lš$Ržc¯ZlO`M]”L@_

‚BP˜

²+x=RL@KMRQ ]Y[+w=K\Lš"RfD˜

(11)

²Lw=KMLš"R`MxzRjL@K\RjQ‘[‚ 8S+R_zRjRf`Mx=R“«L>W^W^L]”_=N

ˆ Q z e3\

, , *  9

q`}t

#,@BA

#

\_deg` \_deg€…eweD‚H]oUg\"p3W`&Ug\^q`0\_U

A  9

UXZBp…d-\_d‡q\bXW€yq`}f

‹ 1  9

\_de=bXWYrY[W

Œ

]_`eDUg\^]_h"q\ce,d‡WYtHU

/

1

2

5 2{

Š /

1

23 5 , 23

Š A

/

1

2

5 2{

I

‡¹¹3QDŸ=K\L@Q `\x=R•X-L@_lfg]^`M]”L@_l[L“`MxzR W”RjQQ‘O

23 # 2 #

@BA

"±Rj_lXkR"e¯“«L>KqO_g³š"RžX-`ML>K +RxlOjš"R

/

1 23 5 , 23 3

#

@BA

* /

1 2 5 # * ,

#,

2 #

@BA 3

/

1

2 5g # * ,

#,

2

# @BA # @BA

/

1 # * ,

#,

2 #

@BA

2 #

@BA g

¡"]^_ŽX-R+`\x=R+Q‘O`MK\]^­„#

* ,

#7]Œ[ "±RKMQ]”`M]YO_wlL"[o]^`M]”š"RfGRkal_=]^`\R"ej]^`D“«L>W^W”Lq[`MxŽO``\x=RjKMR8Rj­g]Y[`

X-L@_Ž[`PO_G`—[

A  9

[oZlXyx‘`\xlO`

ˆ 2

#

@BA

ˆEŠ

# * ,

#C

2 #

@BA

2 #

@BA

Š

A ˆ 2

#

@&A

²+x=RjK\R-“«L@K\R"eG“«L@KqO_G

9

+RL@œ=`—O]”_

/

1 ˆ 2 #

@BA

D Š /

1 23 5 , 23 3 Š

A /

1 ˆ 2 #

@BA

ˆ lg

q_=R•XjO_ KMRjK\]^`MRT`Mx=R[oR]^_=Rc"ZlOW^]^`\]^R[]”_³`\x=R“«L@K\Q

/

1 2 5 2 #

@BA

#

@BA

Š /

1 23 5 , 23 3

Š

A /

1 2 5 2 #

@&A

#

@BA

¡"]^_ŽX-R`Mx=RqQ‘O`MKM]”­

1 2 5

2

]Y["±RjK\Q]^`\]YO_wlL"[o]^`\]^š"RqfGR-aŽ_=]^`\R]^`“«L@W”W^Lq[»`MxŽO`+`\x=RjK\R

Rj­g]Y[`qXkL@_l[o`PO_g`P[

A  9

œlRj]^_=N]”_lfGRjwlRj_ŽfGRj_g`+L@_

[ZŽXyx‘`MxŽO`

/

2

5

2

ˆg#

@&A

ˆ Š /

23 5 ,

243

(12)

Š A /

1

2 5u

2

ˆg#

@BA ˆ

¡"]^_ŽX-R`Mx=R•Q‘O`\KM]”­

1 23 5 , 23

]Y[TOWY[oL "±RjKMQi]^`M]ŒO_wlL›[]^`\]^š"R'fGRkal_=]^`\R"el`Mx=Rj_`\x=RjK\R

Rj­g]Y[`qXkL@_l[o`PO_g`P[

A  9

œlRj]^_=N']^_ŽfGRjwlRj_lfGR_G`8L@_ [ZŽXyx‘`MxŽO`

/

1

24365

,

23 ˆ ˆ Š /

1

23 5 , 23 3

Š A

/

1 23 5 , 23

ˆ ˆ

²+x=R$Rž[`M]”Q‘O`\R

I&¬XjO_‘`\x=Rj_‘œlR$L@œz`PO]”_=Rf‘O@[qO'X-L@_l[oRc"Z=Rj_lX-RTL“`Mx=R[oR]^_=Rc"ZlOW^]^`\]^R[k˜

rDRjQiQ‘O]Y[+w=K\Lš"RžfD˜

rDRj`ZŽ[)Rj­gw=WŒO]^_i`Mx=R]YfgRO$L“`Mx=Rw=K\L"L“ä[±L“`MxzRjL@K\RjQ‘[‚äSG˜

p`alK—[`e=w=Z=``MxzR QO`MK\]^­

]^_g`ML`MxzR@L>KPf=O_XjO_=L@_z]YXjOWD“«L@KMQ

#

@BA

# }

Ÿ=KML@Q `Mx=RW”RjQQ‘Oq+RL>œ=`PO]^_‘`MxlO`+“«L@K`\x=Rw=K\L"L“L“Rj­g]Y[o`MRj_ŽX-R±L“`\x=RW”]^Q]”` S]^`+]Œ[

[ZG°X-]”Rj_G`8`MLi[x=L R­G]Œ[`MR_lX-RqL“`\x=RW^]^Qi]^`

W^]”Q

'

0 1 2365 , 23



1

2 5 2

€ 9

²+x=]Y[$Rž[M[R_G`\]YOW”W^[]^Qiw=W^]¦alR[±`\x=R‘w=KML"L“L“`\x=R‘X-L>_Gš"RjK\N@Rj_ŽX-R

Sœ’RžXjOZl[oR‘]^`]Y[_=L@`

fG]b°X-Z=W”`+`\LXjOWYX-ZzWYO`\R`MxzR `\KPO>X-R

/ 1 2 53 2 €>€H

u±L>`MR`\xlO`q+R•XjO_‘w=KMLš"R`Mx=R•X-L>_Gš"RKMN@R_lX-R € 9

+]¦“`\x=RjK\R R­G]Œ[`P[`Mx=RW”]^Q]”`

W”]^Q

' 0

1 23 5 , 23

T

R

1

2 5 2

€|&

“«L@KTO_gš"RX-`\L@K—[

TR

˜ $+Zz``Mx=]Œ[+]Y[+Rc"Z=]^š>OW^Rj_g`+`\L`\x=R•X-L@_gš"RjKMN>Rj_lX-R

W^]^Q

' 0

1

2 5 # * #

2

T



1

2 5 2

€

(13)

9

‡¹¹¹†FµG¹l‡µ Q $+'`Mx=R X-L@_lfg]^`M]”L@_l[+L“F`Mx=R`\x=RjL@K\RjQ `Mx=RQO`MK\]^­

XO_

œlR$w=Z=`]”_G`\L`Mx=R @L>KPf=O_XjO_=L@_=]ŒXjOWD“«L>KMQ }x=RjK\R

; @ 9

9 1 <

@

]Y[OQ‘O`MK\]^­‘]^`\x`Mx=R @L>KPf=O_œ=W^LgXPªz[±L@_*`Mx=R'fg]YON>L@_lOW8O_lf`Mx=Rž[R'œ=W^LgXPª=[TX-L@K

KMR[owlL@_lf2`\L`Mx=RRj]”N@Rj_gš>OW^ZzR[]”`Mx2_zRjN"O`M]^š"RTKMROWwlOK\`P[-e

1

A 9

˜ ˜ ˜

9

A

˜j˜j˜

OKMR`MxzR ]”Q‘ON>]^_lOKM'Rj]^N>Rj_gš@OW^Z=Rž[+L“

˜

t‹`+]Œ[+L@œgšG]”L@Zl[`MxŽO`

2 5

2

;

2 5

2

9

9

2 5

2

<

x=RjK\R+`MxzR+RjW”RjQRj_g`P[=L“d`\x=R+Q‘O`MK\]^­

2

5

2

OKMR8W^]^_zROKFX-L>Qœz]^_lO`M]^L>_l[DL“’[Z=QQO_lf=[

L“l`\x=R“«L>KMQ ‰

2

e OKMR+wlL>W^g_=L@Q]ŒOWŒ[’L“’fGRjN@K\RjR&]^`\x$KMRž[wlRX-``\L e+

5

9

O_lf

2 5

2

€ 9

˜ ˜ ˜

9 €

Ÿ=KML@Q®`Mx=R•wlL"[]”`M]”š"R$fgR-al_=]”`MRj_=Rž[M[L“

2 5

2

+R•L@œ=`—O]^_`\xlO`

1

2 5

2

xlO@[

`Mx=R“«L>KMQ 5 /

1

K 2l

( '

x=RjK\R

5 9

e

 9

"±R_lX-R"eg]b“

' e 1 eg`Mx=R_

E

1

2 5 2

' €k‚0

™*R_=L [ox=L `MxlO`±`\x=RjK\RRj­g]Y[`—[+`Mx=RW”]^Q]”` €

(14)

²FOªg]^_=N]”_G`\L'O@XjXkL@Z=_g``Mx=R•[o`MKMZŽX-`MZ=K\RL“

2

+RxlOjš"R

2 5 # * #

2

; .

K

K

K < € &

x=RjK\R`Mx=RRjW”RjQRj_g`P[lL“ . K HxlOjš"R+`MxzR“«L@K\Q K

2

e 9

e"O_lf

`Mx=RRjW”RjQRj_g`P[L“R K

xlOjš"R`Mx=R“«L@K\Q 1

2 ˜D¡"]”_lX-R±“«L>K

1

€

' /

1

2

9

“«L>K 9

€

' /

1 1

2 9 “«L@K F

:9

€

' / 1 1

2

1 “«L@K

:9

`Mx=R_“«K\L@Q €k‚08+RL>œ=`PO]^_ `Mx=R•X-L>_Gš"RjK\N@Rj_ŽX-R € —˜

²+x=R`\x=RjL@K\RjQ ]Y[w=KMLš"RfD˜

‡¹¹¹†FµG¹l‡µ $Q $+'`Mx=R X-L@_lfg]^`M]”L@_l[+L“F`Mx=R`\x=RjL@K\RjQ `Mx=RQO`MK\]^­

XO_

œlR$w=Z=`]”_G`\L`Mx=R @L>KPf=O_XjO_=L@_=]ŒXjOWD“«L>KMQ

}x=RjK\R

; @ 9

9 <

@

]Y[OQ‘O`MK\]^­‘]^`\x`Mx=R @L>KPf=O_œ=W^LgXPªz[±L@_*`Mx=R'fg]YON>L@_lOW8O_lf`Mx=Rž[R'œ=W^LgXPª=[TX-L@K

KMR[owlL@_lf2`\L`Mx=RRj]”N@Rj_gš>OW^ZzR[]”`Mx2_zRjN"O`M]^š"RTKMROWwlOK\`P[-e

A

9

˜ ˜ ˜

9

x=RjK\R '

]Œ[±`Mx=R @L>KPf=O_œ=W”LgXyªz[±L“¬L@K—fGRjK

1 e 1 €

˜j˜j˜

eX-L>KMK\R[wlL@_ŽfG]^_=N‘`\L³`\x=R

Rj]^N>Rj_gš@OW^Z=Rž[

]^`\x†+  9 ˜

rDRj`

]Œ[O @L@KPfzO_œ=W”LgXyª'L“L>KPfGRK

˜l²+xzRj_

2

€ 2

A 2

@BA

9 €

˜˜˜

˜˜˜ ˜˜˜ ˜ ˜ ˜ ˜˜˜

(15)

²+x=]Y[W^RžO@f=[+`\L

2

53 2

2

5

u

x=RjK\R

AlA

K €

K

€

( €

˜˜˜

K

;

@BA

?

€

< (

˜j˜˜

(

€

( €

O_lf“«L@K *F

6

J5

OKMRwlL>W^g_=L@Q]ŒOWŒ[±x=L"[oR‘fGRjN>KMRjRž[ OKMRW”R[M[`\xlO_L>K$Rc"ZlOW`\L

| ?

P˜D¡›]^_lX-R

2 53

2

; 2 5

2

9

9 2 5

2 <

]^`+“«L>W^W^Lq[+`\xlO`

/

1 2 53 2 5 / 1

K 2

(

A /

1 € (

€

(

€

(

˜j˜j˜

(

;

@BA

?

€H

< (

˜j˜j˜

(

€

2

x=RjK\R

5 9

e

 9

OKMR•w’L>W^g_=L@Qi]YOWŒ[-˜

rDRj`

A ˜j˜˜

P˜D¡"]”_lX-Ry+  9

`\x=Rj_

1

2 5

2

1 2

@BA

2

€S&

x=RjK\R ]Œ[+`Mx=R_gZ=Q'œ’RKL“`MxzR@L>KPf=O_2œ=W”LgXyªz[

x=L"[oR$L>KPfGRjK]Œ[+Rc"ZlOW`\L ˜

™*R_=L [ox=L `MxlO`±`\x=RjK\RRj­g]Y[`—[+`Mx=RW”]^Q]”` €

²FOªg]^_=N']^_g`ML'O>XjX-L>Z=_G`q`MxzR$[o`MK\ZlX-`MZzKMRL“

2

+RxlOjš"R

€Pelx=RjK\R `\x=R$RW^RjQR_G`—[

L“C. K xŽOžš"Ri`Mx=R“«L>KMQ '

2

e 9

e`\x=RRjW”RjQRj_g`P[±L“ K xlOjš"R

`Mx=R“«L@K\Q ‰K

2

O_Žf#`\x=RRW^RjQR_G`—[+L“‰ K qxlOjš"R`Mx=R“«L@K\Q

2

e

Références

Documents relatifs

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP