• Aucun résultat trouvé

Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way

N/A
N/A
Protected

Academic year: 2021

Partager "Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way"

Copied!
22
0
0

Texte intégral

(1)

HAL Id: inria-00074357

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

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 abroad, or from public or private research centers.

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 publics ou privés.

Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer

Independent Way

Eddy Fromentin, Michel Raynal

To cite this version:

Eddy Fromentin, Michel Raynal. Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way. [Research Report] RR-2317, INRIA.

1994. �inria-00074357�

(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 EN AUTOMATIQUE

!" # %$& ! ('*)"+), ,

-.$/ ,),0 12 34"05 ,

6879:),)91"+1; #<=>

Eddy Fromentin and Michel Raynal

N˚ 2317

Aout 1994

PROGRAMME 1

(3)
(4)

!" # %$& ! ('*)"+), ,

-.$/ ,),0 12 34"05 ,

6879:),)91"+1; #<=>

! "$#&%'$ (#)

*&+-,.+/$01032547698+:-;<>=?2):@=?AB+?2)CDE/$+/FGFIH2@FJ2)CLKEME/CN2)CPO25O,QBQSR2!2)C!K+BR2)CN2)/$AT

2!=CNUVCW=)H2!032)CSO(<XCW=?+W<>MBASR2)C

*&+?,(YZ2!=S8[OD

\P/]DBDE,+?=[O2[+?2):-;B2!+:-;B2^Q'_`aB4$b6c8,AB='4edd$fg6 4)hgDE/$.(2)C

ikjml!n)oepEq$nrtsu(v?wyx!wzxL{}|~-Gw(€zB‚ƒv?„I‚ƒGw(€†…e‡ˆ$v?‰Š(€)€)}w€3x3ˆ]G„ƒ‚I‡ƒG‰(Š‚IvˆŒ‹‡I…e€)‡Wx!†x!wk}'‹…)‡ƒ‚Zx!w$‚

Ž

Šv?„ƒ‚I}…)w1…)wvSuzxL„‚I…'xLw„Imv?‡‘G„@’S“Z”‘…$v?„‚ƒu}„•W…)g‹Š‚Wx!‚I}…ew[„Zx!‚ƒ}„–X|—x€)}˜)v?w—‹‡ƒ…)‹v?‡I‚|3™@š›skvœxL‡Iv

}w$‚Iv?‡ƒv?„I‚ƒvˆ}wk‚Iu}„P‹zxL‹zv-‡P}wyx!w„ƒžv?‡ƒ}w€3„IŠ•Iux

Ž

Šv?„ƒ‚I}…)wk&uv-wk‚Iuvg‹‡I…e‹zv?‡ƒ‚|k}„S–X…)‡ƒ[Š{>x!‚ƒvˆ3x!„

x—€ev?wv?‡Wx!{&‹‡ƒvˆ$>•?xL‚Iv'…ewyx—€){}…e‰zx!{"„I‚Wx!‚ƒv'…!–‚ƒuv'•W…e'‹Š‚Wx!‚ƒG…ewEExLwzˆŸ'…e‡Iv„I‹v•W¡ V•?xL{G{}|k&uv-wk‚Iuv

‹‡ƒ…)‹v?‡I‚|}„PŠw„ƒ‚Zx!‰({Gv1¢X›v)›—…)w•Wv'‚ƒ‡IŠvg‚Iuv—x!„I„ƒ…•W>x!‚Iv@ˆk‹‡ƒvˆ$>•?x!‚ƒv—G„w…)‚P€eŠzx!‡Wx!w$‚Iv-vˆk‚ƒ…3‡Iv?—x!}w

‚ƒ‡IŠvS–…)‡Iv-˜)v?‡W£?›

¤

…)‚ƒ}…)w„„IŠz•ƒux!„[x!‰(„I‚I‡Wx)•W‚ƒ}…)w{}v?˜)v?{&&}‚ƒuy‡Iv-„I‹v•W‚—‚I…kx3‹(‡Ivˆ$>•?xL‚IvŸ¢XŠ(„Iv?‡@¥„g{}v?˜)v?{>£x!wzˆŒžv@x!¦

‹‡ƒv•Wvˆ]v?wz•Wv—‰v?‚žv-v?w†{}…•?xL{„ƒ‚ZxL‚Iv?„Px!‡ƒvP ‡I„I‚‘}w‚ƒ‡I…ˆ$Šz•NvˆB›S§&uv?wkx!wŸx!‰„ƒ‚I‡Zxe•W‚I}…ew†•?x!{}{}vˆk¨ª©z«?¬@¨}­I®)¯-°G«

±

°G²e¯Z®L°‘³Z­I®@­I«´G„—ˆ$vW zw(vˆBPx!wˆxwv•Wv?„ƒ„ZxL‡I|µx!wzˆ„ƒŠ$¶5•W}v?w$‚3•W…)wˆ$}‚I}…)w‚ƒ…·ˆ$v-‚Iv•W‚1„IŠz•ƒu„I‚ZxL‚Iv?„1G„

‹‡ƒ…!˜$Jˆ]vˆB›Ÿs}‚Iuk‚ƒu}„x!‰„ƒ‚I‡Wx)•W‚ƒG…ew·x1‹‡Iv@•W}„Iv—'vxLw}w€—}„P€)}˜)v-wy‚I…1‚Iuvg‹‡Iv?˜$}…)Š(„

Ž

Šv?„ƒ‚I}…)w¸¢X}w$¹

ˆ$v-‹zv?wˆ$v?w$‚I{}|3…L–ºx!w$|'‹x!‡I‚ƒ>•WŠ{>x!‡‘‹zv?‡W•Wv?‹‚ƒ}…)wŸ…)wv•-x!w3uzx@˜evS…!–ž‚ƒuvˆ$}„I‚ƒ‡I}‰Š‚ƒvˆŸ•W…)g‹Š‚ZxL‚I}…)w£?›»

ˆ$v-‚Iv•W‚ƒ}…)w†xL{G€e…)‡ƒG‚ƒu¼–X…)‡&‚ƒu}„

Ž

Šv?„I‚ƒ}…)w—}„m zwzx!{}{}|[‹‡ƒv?„Iv?w$‚ƒvˆB›

½g¾$¿BÀIÁPÂÃ)Ä"Å!Æ

ˆ$}„I‚ƒ‡I}‰Š‚ƒvˆŸ•W…)g‹Š‚ZxL‚I}…)w•W…)w„ƒ}„I‚Iv-w‚S€e{G…e‰zx!{B„ƒ‚ZxL‚Iv)B•?xLŠ„ZxL{G}‚|$•W…)w•WŠ‡I‡ƒv?wz•W|$Gw]¹

v?˜$}‚ZxL‰{}vS€){}…)‰zxL{z„ƒ‚ZxL‚Iv)Šw„ƒ‚ZxL‰{}vœ‹(‡I…)‹v?‡ƒ‚|(…)‰„ƒv?‡I˜)xL‚I}…)wE$…e‰„Iv-‡I˜)v-‡¹Gwˆ$v?‹v?wzˆ$v?w$‚S‹‡ƒ…)‹v?‡I‚|$›

ÇÉȗÊ

ËWÌWÍ)Î

Ê

Ë&Ï&ÐJÌZÑÒ)Ó

ÔÖÕØ×ÙÚØۗÜÝ)ÞSß)àÙ!áWÞWÞWâ!ÚØÛ)ã@×PÙ-äÜÝ)Þå@æ}çèÉééEéê!ë!ìSß$Ù×ÚØíeìîÙ@Û3ïBð?àIðNÕñÕØރպð-Û)â3ò"ÚØ×ÜàÚØóeí)ÜÞWâkïBàÙ!áWÞW××ÚØÛ)ãeô

õWö

Ë?Ñ?÷}Ð>ø!ùNúØËEû@úØü!ùIø@ú!ÌWÐ>ø!Ð>ËWÌ$ÏzøýBü ö$þ

ËÒzÐÐ>ü‘ÿ&Ë?Ð>Ë

þ

Ð

ö

ÌZÐ>ø!ùWúØËüƒÒËIЪ÷GËNÌüÖÿº÷¡ÌZÐ I÷}ù?Í)ЪËSýBü!Î"ÒzÍeÐ>ø!Ð>÷}ü

ö

Ì÷

ö ø ö

ùWÌZËIÑ?Ë õWö

!ËÒË

ö

ö

Ðø

ôòmðWÕñÕGð-×WômáWÜÙó$ÞWà

è"èê!Ô ð-ìSß)íe× â)Þ"!EÞ?ð-í!ÕñÚØÞWíô$#&%'()é+*,*méEê áWÞWâ)Þ.-)0/1"Ô2*,é ô†Þ43XìPðNÚñÕ6587ƒäJàÙ@ìSÞWÛ!ÜÚ>ô

àIðWë!Û$ðWÕ69:ÖÚØàÚØ×Zð;ä>à

(5)

'& &

*

"+, *

-&

(

&

(.

*

"" /(

&

0(1.

23¾]Å541673¾ŸÆ

8

…)‡ƒ„œˆ$v{É¥ñxLwzx!{}|$„Iv)ˆ]Š5‚ƒv?„I‚S…eŠ ˆ]Š†ˆ.9v?˜ev?‡IgGwx!€)vPˆB¥Šw—‹‡ƒ…)€e‡Zx!g'v&‡:9v?‹zx!‡ƒ‚I}{Bv?„I‚S}'‹…)‡ƒ‚Zx!w$‚

ˆ$v[‹…)Š(˜)…)}‡‘‡:9v?‹…)wzˆ]‡Iv;xgŠw(v}w$‚Iv?‡ƒ‡I…e€x!‚ƒ}…)wkˆ$Š†‚|$‹v’&“=<mv-‚I‚Iv[v?>@9v@•WŠ‚I}…ewk„Zx!‚ƒ}„–ÉxLG‚¹Év-{G{}vP‚ƒv?{}{}v‹‡ƒ…!¹

‹‡ƒ9v?‚:9v"™@šz›:<mvS‡ZxL‹‹z…e‡I‚&‹‡ƒ…)‹…)„ƒvPŠwvS–xBA•W…ew5ˆ$vS‡:9v-‹z…ewzˆ$‡Iv ;x•Wv?‚I‚ƒv

Ž

Šv-„I‚I}…ew

Ž

ŠzxLwzˆg{>xP‹‡ƒ…)‹‡ƒ9v?‚:9vSv?w

Ž

Šv?„ƒ‚I}…)w–…)‡I[Š({9v-vœ•W…e''[v&Š(w3‹‡:9v@ˆ$>•?x!‚‘„IŠ‡SŠwC9v?‚Wx!‚€e{}…)‰zxL{Eˆ$v{¥vD>E9v•WŠ(‚I}…)wE(v?„I‚‘}w„I‚Wx!‰{}v[¢ɛv)›

Šw(vP‹‡I…e‹‡IF9v?‚:9vP}w„I‚Wx!‰{}v‘‹zv?Š(‚&–XŠ€e}‚I}˜)v?gv?w$‚$Gv?‚ƒ‡IvP˜$‡ZxL}vœ{}…e‡I„ˆ$vS{¥vD>@9v•WŠ‚ƒG…ewz£?›

H

…eŠ‡•Wv?{>x(w…eŠ„}w$‚I‡ƒ…]ˆ]Š}„I…)w(„ˆ$v?„w(…)‚I}…ew„&‚Iv?{}{}v?„

Ž

Š(vPw}˜)vxLŠ5ˆB¥ñxL‰„I‚ƒ‡Zx)•N‚I}…)w3v-w5‡ƒv?€xL‡Zˆ3ˆ ¥Š(w

‹‡ƒvˆ$>•?xL‚7ˆ$…ewwE9v—¢w}˜)vxLŠ ˆ$vg{¥Š(‚I}{}G„Wx!‚ƒv?Š‡Z£ v?‚‹‡:9v•I9vˆ$v?wz•Nv—–Éx!}‰{}vPv-w‚ƒ‡Iv9v?‚ZxL‚I„{G…•?xLŠJ>E›

¤

…eŠ„K9v?‚Wx@¹

‰{}}„I„ƒ…)w„Sv?w(„IŠ}‚IvŠw39v•?xLw}„I'vPˆB¥ñxL‰„I‚ƒ‡Zx)•N‚I}…)w

Ž

Švw…)Š„PxL‹‹zv-{G{}…ew„L«N­ ® ­ ±

°}²)¯W®!°"¨>©L«?¬@¨}­I®)¯-°G«‘x!}w„I

Ž

ŠE¥Šwv&•W…ewzˆ$}‚I}…)ww@9v•Wv?„ƒ„ZxLG‡ƒv&v?‚"„IŠ$¶'„Wx!w$‚Ivmv?w˜$Švºˆ]vž{>xˆ.9v?‚Iv•N‚I}…)w[ˆ$vm‚Iv?{}„9v?‚ZxL‚I„@›NM&wvm„I}€ew¡ V•?x!‚ƒ}…)w

‹‡:9v•W}„IvO;x{Jx

Ž

Š(v?„I‚ƒG…ew—‹‡:9v•I9vˆ$v?w$‚Ivv?„ƒ‚x!{}…)‡ƒ„ˆ$…)wwE9v?v)$}wzˆ.9v?‹v?wzˆ]v?'gv?w$‚ºˆ$vS‚ƒ…)Š‚ƒvœ…e‰„Iv-‡I˜)x!‚ƒ}…)w5ˆ]Š

•?xL{>•WŠ{E‡:9v?‹zxL‡I‚I›IM&w3x!{}€)…e‡I}‚Iu('v&vW¶5•?xe•WvP‹…)Š‡&{>xˆ.9v?‚ƒv•W‚I}…ew†ˆ$vP•Wv?„‘‹‡I…e‹‡IF9v?‚:9v?„v?„ƒ‚œˆ$…ewwE9v)›

PÂIQ Å-À=RTSU3¾Æ

•-x!{>•WŠ{"‡:9v-‹zx!‡ƒ‚I9v?‚Wx!‚I„S€e{G…e‰zx!ŠV> •W…eu@9v?‡Iv-w‚ƒ„"•?x!Š(„Zx!{}}‚:9vez•W…ewz•WŠ‡ƒ‡Iv?wz•Nv)9v?‚ZxL‚I„S€){}…e‰zx!ŠJ>

}wE9v?˜$}‚ZxL‰{}v?„(‹‡I…e‹‡IF9v?‚:9v?„}w„ƒ‚ZxL‰{}v?„$…e‰„Iv?‡ƒ˜)x!‚ƒG…ew

(6)

( * %"E.

* +?,DE2!+-=W<>2)C3,! [O(<ªCN=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,QEC1:!/$QµME2k2@TBDB+?2)C?CW2)O¼/C#"@DE/$=?;EC$y=-;B2@<J+Ÿ:@,Qz=-+?,$F

%

,!&CS;E/'2=?,( ,$F}F>,!&'KB,+P/CS.(2!QB2!+/eFDB+?2)O(<X:!/$=?2)CCW,032[,) ž=?;B2@<>+.]FJ,(ME/eFºCW=/]=?2)C‘;E/'(2=?,*'2+

+W< UKe<>Q5,(+O2!+, ,+=-;B2DB+?,D2!+?=WU[=?,ME2œC-/$=W<XC.-E2)O/!02S/O+?2)C?CW2)O´=?;B21-E+CW=ž/]DBDB+?,z/:-;[<>Q#2ØdKz4ea!3IK

/$QEO/$+-2';B2!+?2g<>Qz=-2!+?2)CW=?2)OŒ<>Q=?;B2—CW2):@,QEO,QB2/4ZO2)/FGF>U/ŸO(<ªCN=?+W<>MBAB=?2)O:@,01DBAB=/$=W<>,Q657^C-/!+

=W<XC.-E2)C/—DB+?,(DE2!+?=WU98µ< &<J=DE/C?CN2)CS=?;B+?,AB.(;y/—.$F>,ME/eFºCN=/$=?2[C?/$=W<XC. U(<JQB.Ÿ=?;B2[DB+?2)O(<X:!/$=-25/C?CN,+

:-<X/$=?2)O9&S<>=?;:8;/=<Q> É,(+?=?ABQE/$=?2@F>UKBM2):!/$AECW2—,! &=?;B2[ABQE:@2!+?=/<JQ=WUy:?;E/]+/:@=?2!+W<@?@<>QB.kO(<ªCN=?+W<>MBAB=?2)O

:@,01DBAB=/$=W<>,QEC!KBAZOAB2gDB+W<>QE:-<JDE/FGF>U=-,†=?;B2—/CWUQE:?;B+-,QzUk,) :-;E/$QBQB2@FXCDCK&S25/]+?2<>QE:!/$DE/$MF>23,!

O2!=?2!+-0—<>Q<JQB.k=-;B2[.$F>,ME/eFºCW=@/$=?2)C‘=?;B+?,AB.(;#&P;<X:?;=?;B25:@,01DBAB=/$=W<>,Qy/:@=-AE/eF}FJUkDE/(C?CW2)O/

4 3=?;B2DB+?,D2!+?=WUE&S2F&P/$Q=†=?, O2!=-2):@=k<XCyCW=@/$MF>2GAI,QE:@2=?+?AB2<>Q /.$F>,ME/eF5CW=/]=?2=?;B2

/C-CW,V:-<X/$=-2)OkDB+?2)O(<X:!/$=?2[+-2!0†/e<>QECP=-+?AB2<>Qy/eF}F, ÉAB=-AB+?2[.$F>,ME/eFºCN=/$=?2)CDCm=?;B2[DB+?2'(<>,AECP+-2!0†/$+IH—<XC

QB,=&/O+/&PME/:H/J ;B2K;E/$QEOU>+ML/$01DE,+?=NØCžCNQE/$DECW;B,=&/eF>.,+W<>=?;B0O2Øa3B:!/$Q'M2 CNABDE2!+W<>03D,zCW2)O

,Qg=?;B2ABQEO2!+NFJU(<>QB.':@,03DBAB=/]=W<>,Q'=?,:@,03DBAB=?2‘.$F>,ME/eFVCW=@/$=?2)C"ABQ=W<}Fz=?;B2‘DB+?2)O(<X:!/$=?2‘<XC,'2!+N<P-E2)O

MU5/.$F>,ME/F CW=@/$=?2/4 =-;B2œDB+-,DE2!+?=WU´<ªCmABQECN=/$MF>2K=?;B2SDB+?,(MFJ2!0 ME2):@,012)Cm03,+?2P:@,03DF}<X:!/$=?2)O

/C/5CNQE/$DECW;B,=/FJ.(,+W<>=?;B0 :!/$QBQB,(=œM2'AECW2)O"K ME2):!/$AECW2´<>=:!/$QyO2@F}<@'2!+7/1CW2QAB2!QE:@2g,! ž.$F>,ME/F

CW=@/$=?2)C—=?;E/]=3;E/CR"@./$DECI$:@,+?+?2)CNDE,QEO(<>QB.µ2@TE/:@=WF>Uµ=?,=?;B,zCW2.$F>,ME/eF7CN=/$=?2)C´<>QS&P;<X:?;¼=?;B2

ABQECW=@/$MF>2DB+?,(DE2!+?=WU ;B,]FªOBC/TK,z,(DE2!+·/]QEOVU/$+?!AFGF>, /O+?2)C?CW2)O =?;<XCŸDB+?,MF>2!0 <>QW2ñf3'/$QEO

DB+?,!'(<XO2)O'=X&S,P032)/]Q<JQB.Cm=?,P=?;B2SCW2!Qz=-2!QE:@2Y"Z,z2)C/:@,03DBAB=@/$=W<>,Q 7¼C?/$=W<XC. U[DB+?,D2!+?=WU[8]\^$_/5

JS;B2!U—:@,QECƒ<XO2!+?2)O—=-;B2œCW2!=&,! /FGFB.$F>,ME/eFECW=/]=?2)C,&;<ª:-;3:@,AFXOgME2S.2!QB2!+/$=-2)O'MU'/O(<ªCN=?+W<>MBAB=?2)O

:@,01DBAB=/$=W<>,Qk/$QEOŸ=?;B2[CW2!=S,! ž/eF}FDE,zC?CZ<JMF>2—CW2QAB2!Q=W<X/eF2@TB2):@AB=W<>,QECS=?;E/$=P:!/$QŸME2'/(C?CW,B:-<ª/]=?2)O

&S<>=?;Ÿ=?;<XCS:@,03DBAB=/]=W<>,Q,/JS;B2)CN22@TB2):@AB=W<>,QECa`zAECWAE/eF}F>U†:!/eF}F>2)OŸ,MECW2!+'/$=W<>,QECb`1CN=?+?AE:@=?AB+?2=?;B2

CW2!=—,! /eF}FP.$F>,ME/eFPCW=/$=-2)C'/Cg/ŸFX/$=?=W<X:@2/m8 O(<XCW=?+N<JMBAB=-2)Oµ:@,03DBAB=/$=N<J,(Q

5

7 C-/$=W<XC.-E2)C(ced(fg8

AZO2!QB,(=?2)Oh57WijVcedkfE8C@K&< †/$QEO ,QF>U¼< 3=?;B2FX/$=?=W<X:@2;E/(Cy/.$F>,ME/eF5CN=/$=?2]lm'2!+W< U<>QB.

8K1&P;B2!+?2)/(Cnpo(qr8 <XC†C?/]=W<XC.-E2)O¼MzUs57tAZO2!QB,(=?2)Ou57WijSnpo(q68C'< 5/$QEO ,QF>U< 52)/:-;

,MECN2!+I'/$=N<J,(QyDE/C?CN2)CS=?;B+?,AB.(;y/—.$F>,ME/eFºCN=/$=?2T'2!+W< U<>QB.98wv!/

JS;B2K,,D2!+I+MU/$+I?!AF}F>,=NØC[/$DBDB+?,/:?;k.]<x'(2)CP=X&S,†:-F>2)/$+[/$QECX&S2!+C=?,3=?;B2´<JQ<>=W<X/eFwQ(AB2)CW=W<>,Q

<>Qk=?;B2':!/CN2,! mABQECW=/$MF>2[DB+?,D2!+?=W<>2)C/8P=S=?;B2,DE2!+@/$=W<>,QBQE/eF"F>2'2@FIKO2!=-2):@=W<>,Qk,! yced(fg8 ,(+

nzo(qr8 +?2Q(A<>+?2)C{-E+CW=P=?,1MBA<GFXO=-;B2[FX/$=?=W<X:@2g,! º.]FJ,(ME/eF CN=/$=?2)CS/$QEOŒ=?;B2!Qy=?,1=?+/'2!+CW2<>==?,

F>,,H( ,+&,QB2P.$F>,ME/F CW=/]=?2TA<>Q3=?;B2:!/CN2P,! yced(f1C,+,QB2.$F>,ME/eF CN=/$=?2SDE2!+‘,MECW2!+I'$/$=W<>,Q#A <JQ

=?;B23:!/CN2',! |npo(q}CPC?/$=W<XC. U(<JQB.98;/B8[C!K <>Q·=-;B2[&S,+CW=:!/CW2KB=?;B23Cƒ<@?!2—,! &=?;B2[FX/$=-=W<X:@2 :!/]QyME2

2@TBDE,QB2!Q=W<X/eF"<>Q†=-;B2PQzAB0—M2!+œ,) DB+-,V:@2)C?CN2)C2>4K4)h3IK=-;<ªC‘/$DBDB+?,z/(:?;†:!/]Q3ME2):@,012ABQ> 2)/Cƒ<>MF>2/

JS;<XCDE/$DE2!+[DB+?2)CN2!Qz=C[/]QB,=?;B2!+T& /eUk=?,k/$QECX&S2!+=?;B2QAB2)CN=W<>,Q,~"Z,z2)C[/Ÿ:@,03DBAB=/]=W<>,Q

5

7 C?/$=W<XC.-E2)C}8€\^$BK&P;<X:-; O,2)CQB,=7CNA> 2!+‚ +?,0 =?;B2—DB+?2'(<>,AECF}<>0—<>=/$=W<>,QEC/,J ;B2'032)/$Q<>QB.

,! S=?;B2pQ(AB2)CW=W<>,Q<XC´ME/CW2)O,Q/ŸQB2&t/$QEOCƒ<>03DF>2 /$MECN=?+/:@=W<>,QK"=-2!+?032)O] „ƒP>I

/,…S/CZ<ª:!/FGF>U/Ÿ.$F>,ME/eFCW=/]=?2[<XC<>QB2'(<>=/$MF>23< ‘<J=<XCgCW;E/$+?2)OMUy/eF}F=?;B2—,MECW2!+I'$/$=W<>,QEC,!

†I‡‰ˆ‰Š‹

×ÜIð?Ûeâ)×"ä>Ù@àžïÙ@××ÚØó!ÕØë

‹ŒŽ‰‘‹

ä>Ù@àžòÞ.’$Û!ÚØÜރÕØë

‹

(7)

=?;B2':@,(03DBAB=/$=W<>,QKV</2/< ž<>=<ªC ,MECW2!+I'$/$=W<>,Q +<>QEO2!DE2!QEO2!QB=/"8 O(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q 75

C?/]=W<XC.-E2)C‘=?;B2PDB+?,D2!+?=WU} É,+-05AFX/$=-2)O—MzUce7ed}c€8EAZO2!QB,(=?2)Og57 ijVce7ed}cO8C&< º/]QEO—,QF>U

< =?;B2!+?2[2@T<XCW=C/$QŸ<>QB2'<>=/]MFJ2—.$F>,ME/FºCW=/$=-2(l '(2!+W< ÉU(<>QB.R8;/

JS;B2[DE/$DE2!+S;E/C‘=?;B+-2!2[0†/e<>Q2):@=W<>,QEC/2):@=W<>,Q`'DB+-2)CW2!Qz=@C=-;B27O(<XCW=?+N<JMBAB=-2)Oy:@,03DBAB=@/!+

=W<>,Q03,BO2@FIKEQB,(=W<>,QECCNAE:?;/CSAECN2!+NØC FJ2'(2@FK&S2)/!HkDB+-2):@2)O2!QE:@25M2!=X&œ2!2!QF>,B:!/eF CN=/$=?2)C!K/$QEO

=?;B2 Fª/]=?=W<X:@2 /(C?CW,B:-<ª/]=?2)O‘&S<>=?;2)/(:?;O(<XCW=-+W<>MBAB=?2)O2@TB2):@AB=W<>,Q,/2):@=W<>,QaO2D-EQB2)C´<JQB2'(<>=/$MF>2

.$F>,ME/FºCW=/$=-2)Cœ/]QEOyCW=/]=?2)CS/—QB2):@2)C?C?/$+-U /$QEOCWA :-<>2!Q=7:@,QEO(<>=W<>,Q É,(+/—.$F>,ME/eFžCW=@/$=?2[=?,—ME2

<>QB2'(<J=@/$MF>2/2):@=N<J,(QfkDB+?2)CW2!Q=C/Ÿ03,Q<>=?,+I+ME/(CW2)O/eF>.,+W<>=?;B0 =?,kO2!=?2):@='CWAE:-;CW=@/$=?2)C/$QEO

=?,3/$QEC•&œ2!+S=?;B2eQ(AB2)CW=W<>,Q " 75 ijVce7ed}cO8R\$ / JS;B2':@,QE:-F>AECƒ<>,QŒFG<XCW=@CS,=?;B2!+SDB+?,MF>2!0†C =?;E/$=

:!/$QME2—CW,$F@'2)OŸMU†AECƒ<>QB.Ÿ=?;B2[<>QB2'(<>=/$MF>2—.$F>,ME/eFºCW=@/$=?2[/$MECW=?+/(:@=W<>,Q,/

JS;<XC&œ,(+IHP<XCmDE/$+-=,! E,AB+&:@AB+?+?2!Q=ž2D,+-="<>Q O2)CZ<J.(Q<JQB.—/$QEO<>03DF>2!032!Q=W<>QB.5/O2!MBAB..$<>QB.

I/:-<}F}<J=WU É,+PO(<XCW=?+N<JMBAB=-2)OyDB+-,.+/$0ŸC;2¡`zKÖ4)`3M/

(.

*

&

. O * !

(#"

(

.%

$!%'& (*),+.-/),012-35476/8:9:/;=<>+

8 O(<XCW=?+W<>MBAB=?2)O DB+?,.+/]0 <XC—0†/O2k,) @? CW2Q(AB2!Q=W<X/eFDB+?,B:@2)C?CW2)Cc

vBACA.A

cEDF&P;<X:-; :@,030—A +

Q<X:!/$=?2k/$QEOCWUQE:?;B+?,(Q<x?!2ŸMU·=-;B2†,QF>U032)/$QEC´,! P032)C?C?/].23DE/C?CZ<JQB./2AE:-;DB+?,(.+/$0†C[/]+?2

2@TB2):@AB=?2)O1MzU—/$Q—ABQEO2!+WF>U<>QB.†CWUBCW=?2!0^:@,(03DE,zCN2)OzAM&S<>=?;B,AB=mF>,zC-Cm,! .2!QB2!+@/eF}<J=WUCž,! :?3DB+-,V:@2)CX+

CW,(+C AI,(QB2PDE2!+SDB+?,B:@2)C?CDCm=?;E/$=;E/'2‘F>,B:!/eF032!03,+W<>2)C‘/$QEO†:!/]Q32@T :-;E/$QB.2032)C?C-/$.2)Cm=?;B+?,(AB.;

+?2@F}<X/$MF>2K&QB,QQB2):@2)C?C?/]+W<}FJUGF4HFJI :?;E/]QBQB2@FªC/JÖ+/$QECN0—<XC?Cƒ<>,QµO2@Fª/eUBC—/$+?2(-EQ<>=?2ŸMBAB='ABQBDB+?2+

O(<X:@=/$MF>2/

$!%K$ LM;N+O),P*3RQ!3S:-+T;NS4VUW;N<768E/O-RXY+Z'3RQ!3Z

[ºTV2):@AB=W<>,Q ,! /µO(<XCW=?+N<JMBAB=-2)O DB+?,(.+/$0 DB+?,BOAE:@2)Cy/µCW2!=T\ ,! !Y]Œ2'2!Qz=@C†:@,01DE,zCW2)O

,! :@,0105ABQ<X:!/$=N<J,(Q2'2!Q=CkAZCW2!QEO/$QEO¸+?2):@2@<@'2!C'/$QEO<>Q=?2!+?QE/eFS2'2!Q=C/yJ ;B2)CW232'2!Q=C'/]+?2

CW=-+?AE:@=?AB+?2)OŸMUpL/$01DE,+?=NØC_^`` = pbaXS+?2@FX/$=W<>,QKEO2!QB,(=?2)Odc

e

/]QEOkCW,032!=W<>032)CS:!/eF}F>2)O

]Df^g`=Xh]Dh 5]DT2>4!f3M/

L"2!=@ijkCivkCi k

ACA.A

M2—=?;B25CW2Q(AB2!QE:@23,! &ME/Cƒ<X:g2'2!Q=CDB+?,VOAE:@2)O MzUkDB+?,B:@2)C?Cec

k

/"\S2@FX/$=W<>,Q

c

e

<ªCO2D-EQB2)OkMU~

l ‡2mˆ‰‡F‹

×ÜIð-Û)â)×Öä>ÙàmïBàÙ@ßÞWàÕØë

‹n

ìSÞ?ð?ÛLÚØÛ)ãSÚØÛ'ð‘ßeàÙß$ÞWàžÙ@àÙ@ó)×ÞWàboð-ÜÚØÙÛ;3>ÚØÛ)âeÞ?ß$ÞWÛ)â$ÞWÛ!܏ìPð?ÛeÛ)ÞWà,p4

(8)

ik c

e

i

jk/$QEO 4Tj

i kg<XCP=?;B2'CN2!QEO(<JQB.k,) /g032)C?C-/$.2

/$QEOTik <>=CS+?2):@2!DB=N<J,(Q

i—CWAE:-;y=?;E/$=i k c

e

i? i>c

e i

8îO(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/$=N<J,(Q :!/$QŸME2[+-2!DB+?2)CW2!Q=?2)OŸMzUŸ/'DE/]+?=W<X/eF}F>U†,+@O2!+?2)OkCW2!=TAIDE,CW2!=C

5

\ j AH\c

e

CI/JS;<XCDE,zCW2!=[O2D-EQB2)C=?;B2—:@,03DBAB=/$=N<J,(Q·/$=CN,0325/]MECW=?+/:@=N<J,(QŸFJ2'(2@F! &S2—:!/eF}F

<>=",_` D #„/5FÖ<>.AB+?2k43O(<XCWDFX/eUVC[/ŸO(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q·/$=eL/$01DE,+?=NØCSF>2'2@FM~

5

\ j AH\c

e

CI/IPQ—DB+?,B:@2)C?CÖF}<JQB2)CLK! +?,0 FJ2D ==-,+W<>.;=)Ke2'2!Q=C&/$+?2SO2!QB,=?2)O—MU':-<>+:-F>2)CA.&P;<>=?2

,+MFX/:H=C/ 8Q/$+?+-, &g +?,0 ,(QB2'DB+?,B:@2)C?C FG<>QB23=-,†/$QB,=?;B2!++?2!DB+?2)CW2!Q=C/3032)C-C?/$.2$ B2!QEOBC,!

=?;B2/$+?+?,!&µ/$+?2PCW2!QEO(<>QB.3/$QEOg+?2):@2@<@'<>QB.—2'2!Q=C /032)C?C-/$.2P:@+?2)/$=?2)C&:!/]AEC?/eFO2!DE2!QEO2!QE:@2)C ,Q

2'2!Q=CM2@FJ,(QB.$<>QB.y=?,yCW2'(2!+/eF&DB+?,V:@2)C-CW2)C/4I=<XC<>03D,+?=/$Q==?,†QB,(=?2—=?;E/$==?;<XC[/$MECW=?+/(:@=W<>,Q

F>2'2@Fm<>QE:-FJAEO2)C[/FGF:@,030—ABQ<X:!/$=W<>,Qk2'(2!Qz=C/

c&%† c †† cl† c!'† c&(† c&)† c&*† c,+† c&.† c!-†

c%l c †

l c ll c'l c (l c )l c*l c +l c.l c-l c †%

l c

††

l c†l l c †'

l c †(

l

c&%

' c † ' cl'

c!'

'

c&(

'

c&)

'

c!*

'

c/+

'

c!.

'

c!-

' c†%

' c

††

'

0 †

0 l

0 '

FÖ<J.(AB+?234~B8 O(<XCW=?+W<>MBAB=?2)O2@TB2):@AB=W<>,Q·/$=TL/$03D,+?=NØC F>2'2@F

$!%21 33Z,3RQ:;NSE- 3 Q!35SE-+T;NS4V6/354),PR;-3548:/1+O35/RX+76 Z'3RQ!3Z

8[:!:@,+O(<>QB.y=-,†=?;B2—DB+?,(MFJ2!0 ;B2(&P/$Q=C=?, CN,$F@'2zAIQE/$032@F>U·O2!=-2):@=W<>,Q,! CW,(032'.$F>,ME/FDB+?2+

O(<X:!/$=?2,QµDB+-,V:@2)C?CN2)C—F>,B:!/eF '$/$+W<X/$MF>2)CDC—,QF>U /CNABMECW2!=3,! 'ME/CZ<ª:Œ2'2!Q=CzAZ:!/eF}F>2)O X=

2>48!3C[/$+?2Ÿ032)/$Q<>QB.! AFP=?,=?;B2†AECN2!+pAƒ=?;B2)CW2Ÿ2'2!Qz=@C5/]+?2†=-;B2†ABD"OB/$=?2)C—,! T'/$+W<X/$MF>2)C

AECW2)O1<>Qk=?;B2DB+?2)O(<X:!/$=?2$ =?;B2)CN2;'$/$+W<X/$MF>2)C/]+?2:!/eF}F>2)OX yPCD/L"2!=7 M2[=?;B27CN2!=

,! &+?2@F>2'/]Qz=2'2!Q=C/ JS;B2[DE,CW2!=‘57€j AX7 c

e C O2D-EQB2)C=?;B2':@,01DBAB=/$=W<>,Qy/$=CW,032[/$MECW=?+@/:D+

=W<>,QF>2'2@F/ &S25:!/eF}F&<>= `=X Y]D ,+ fC9#(P: /$==-;<ªC[/]MECW=?+/:@=N<J,(QkF>2'2@F&,QF>Uy+?2@F>2'/]Qz=

(9)

'$/$+W<X/$MF>2)C3:!/$QME2Ÿ,MECW2!+I'(2)O/,=?23=?;E/]=)KžOAB2Ÿ=?,y=-+/$QECƒ<>=W<@'(<J=WU,) c

e

,QME/(Cƒ<X:32'2!Q=C!K 75

<>QB;B2!+W<>=CS:!/$AEC?/FEDB+?2):@2)O2!QE:@2P<>QEOAE:@2)OŸMU5:@,0105ABQ<X:!/$=N<J,(Q†2'2!Q=C!Ke2'2!Q—< ž:@,030—ABQ<X:!/$=W<>,Q

2'2!Q=CP/]+?2[QB,=P+?2@F>2'$/$Qz=/

''

†' l'

%' †l

%l †† ll

l†

‡ †

‡ l

‡ '

FÖ<J.(AB+?2'` ~=L",B:!/eFºCN=/$=?2)C‘,! /3O(<XCW=?+W<>MBAB=?2)OŒ2@TV2):@AB=N<J,(Q /]=œAECN2!+NØC‘F>2'2@F

FÖ<J.(AB+?2 `:@,QECZ<ªO2!+@C—=?;B2kO(<ªCN=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,Q2@TB;<JM<>=?2)O <>Q FÖ<J.(AB+?24k/$=5CW,(032

DB+?2)O(<X:!/$=-2#AI,+PAECN2!+NØC FJ2'(2@FCD~}57€j Ab7 c

e

C/EIPQF>Uy+?2@F>2'$/$Qz=[2'(2!Qz=CLK:@,01DE,zCƒ<>QB.R7—K"/$+?2g+?2+

DB+?2)CN2!Qz=?2)O AI=?;B2!Uy/$+-2[=?;B2[MFX/:IHk2'(2!Qz=C ,! JFÖ<>.AB+-2†4!C/8+?+?,!&CPCN;B, & :!/$AEC?/eFžO2!DE2!QEO2!QE:@2)C

A c

e

C=?;E/$=‰&S<}F}FME2PAECN2)O3=?,'O2D-EQB2T&S2)/!H5/]QEO3CW=?+?,(QB.[DB+?2):@2)O2!QE:@2[+?2@FX/$=W<>,QEC ,Q—F>,V:!/F CW=/]=?2)C/

$!% /35PR3435SPR35+ 03R- 3535SVZ'82PR;NZ+.- ;-35+

L"2!=

k ME2Ÿ=?;B2 Ÿ+?2@F>2'/$Q=—2'2!Qz=gDB+?,BOAE:@2)OMUFc

k

<>=5DB+-, '(,H2)O/ŸF>,B:!/eF CW=@/$=?23:?;E/]QB.2

+?,0

v

k =-, k(j ?=i A

v

k C}AF>2!= jkŸME2Ÿ=?;B23<>Q<>=W<X/eFSF>,V:!/FCN=/$=?23,) ‚c

k

C/‰K,(Qz=?+@/$+?U=?,

2'2!Q=Cg=?;E/$=3/$+-2†AECWAE/FGF>Uµ:@,QECƒ<XO2!+?2)O <JQECN=/$Q=/$QB2!,AEC!K F>,V:!/eF[CW=/$=?2)C´;E/'2 /OAB+/]=W<>,Q,~k

FX/CW=@C‰ +?,0

k

A<>QE:-F>AEO2)OC=W<}F}F

v

k AIQB,=&<>QE:-F>AEO2)OC/ 4 c

k

=-2!+?0—<>QE/$=?2)Ck &S<}F}FžO2!QB,=?2<J=@C

FX/CW= FJ,B:!/eFCW=/$=-2/

87Cg/$Q2@TE/$03DF>2Kž:@,QECZ<ªO2!+3/ŒDB+?,V:@2)C-C[c

k & <J=-;=X&œ,ŸF>,B:!/eFw'$/$+W<X/$MF>2)C

v

/$QEO

/$QEO

,QF>Uµ,QB2,! [=?;B2!0yKC?/eU

v

Km<XC—+?2@F>2'/$Q=1< /2/œ/$DBD2)/$+Cg<>Q¼=?;B2y.$F>,ME/FDB+?2)O(<X:!/$=?29&œ2y/]+?2

<>Q=?2!+?2)CW=?2)OŒ<>Q,/<PD"OB/$=?2)C=?,

v

/$+-2'=?;B2g,QF>Uk+?2@F>2'/$Q=2'(2!Qz=C,! |c

k / 8P=P=?;<XC/$MECW=?+/(:@=W<>,Q

F>2'2@F/1F>,V:!/F CW=/]=?2—,! ;c

k

<XC':@,01DE,zCW2)O ,! P=?;B2'/FJAB2)Cg,!

v

DF>AEC5/ '/eF>AB29AI=W<>032)CW=@/$03DC

032)/(CWAB+W<>QB. c k

NØCgDB+?,(.+?2)C?C—/$=—=?;B2k=W<>0321<>=303,BO(<-E2)O

v"!

/m87C}&S2y:!/$QµCW2!2y/ŒFJ,B:!/eF7CN=/$=?2

'$#

Ý)ÞWÛkÚØÜ[ßeàÙ!â)íeáZÞW×&%'Éôß)àÙ@ãàÞW××[Ù-ä

‡ ' ä>àÙì ÜÝ)ޗâ!ÚØ×ÜàÚØóeí)ÜÞWâÞ.-!ÞWáZíeÜÚØÙÛß$Ù-ÚØÛ!Ü'Ù-ä o@ÚØÞ)(&ôžá?ð-Ûkó$Þ

àÞWß)àÞW×ÞWÛ!ÜÞWâPó!ë&ÜÝ)Þ"á?ð-í)×IðNÕ]ß$ð?×ÜBÙ-ä*% ' ô?Û$ð?ìSރÕØëSÜÝ)Þ"áWÙíeß!ÕØÞ5

n

7+%,-%25.%$/$01/$2345 5.%76

8 % ' 9:9 7$% ' 9-;<6

8

p4=ÖÝ)Þ

ìSÞ?ð?×íeàޞÙ-äz×íeáIÝPðmß)àÙ@ãàÞW××ÚØ×"áƒÕGð?××ÚØá?ðNÕØëSÚØìSß!ÕØÞWìSÞZÛ!ÜÞWâ>("ÚØÜÝ o@ÞWáZÜÙ@àEáƒÕØÙ!á@?!×

n

×ÞWÞAñå!ô ?å)Bð?Ûeâê!ÞWáWÜÚØÙ@Û ##hp4

(10)

k

O,2)C—QB,=3:-;E/$QB.2* É+-,0

k

=W<}F}F

v

k A<>QEO2!DE2!QEO2!Q=WF>U ,) =-;B2kME/Cƒ<X:Ÿ2'2!Q=Cg2@TV2):@AB=?2)O

M2!=b&S2!2!Q

k /$QEO

v

k /CS=-;B2)CW2[2'2!Q=CP/$+?2<>+?+-2@FJ2'$/$Q=C/

J &S,5DB+-2):@2)O2!QE:@25+-2@Fª/]=W<>,QEC:!/]QkME25O2D-EQB2)O,QŸF>,B:!/eFºCW=@/$=?2)C~

&S2)/!HDB+?2):@2)O2!QE:@2~ k‘&œ2)/)HF>UDB+?2):@2)O2)C

< kME2!.z/$QSA.&S<>=?;+-2)CWDE2):@=3=-,·:!/$AEC?/F

DB+?2):@2)O2!QE:@2!CPME2D ,+?2

/5F ,+?0†/FGF>UK k

e k c

e

CW=?+?,(QB.3DB+?2):@2)O2!QE:@2~ k CW=?+-,QB.$F>UkDB+?2):@2)O2)C

<P . k &P/C{-EQ<XCW;B2)O:AM&S<>=?;+?2)CWD2):@=[=?,

:!/$AEC?/eFDB+-2):@2)O2!QE:@2!C;&P;B2!Q

ME2!./$Q=?,Ÿ2@Tz<XCW=/:FB,+?0Ÿ/eF}FJUK k

e A

v

k c

e

j ?=i Ak>CIC/

0 ;B2!Q:@,QECƒ<XO2!+W<>QB.MFÖ<J.(AB+?25`(&S2[;E/'2~

jv

e v

v

v

e

v

A)

vv

e v C

$!% 3GZ,;-O-),PR3G8 PR8:S+ )'+.- 3S:-9:Z,8E0;NZW+.-;-35+

8 .$F>,ME/eF5CN=/$=?2]l <XC:@,03DE,CW2)O ,! ? FJ,B:!/eF3CW=/$=?2)C k

KS,(QB2‘ É+-,0 2)/:-; DB+-,V:@2)C?C/;J &S,

F>,B:!/eFCW=/$=?2)C>

k

/$QEO

/$+-250—AB=?AE/FGF>U:@,(QECƒ<XCW=?2!Q=AI,+´<>QEO2!DE2!QEO2!Q=CK&O2!QB,=?2)O k

K<

A k

e C ?

A

e k

C/!4IQ=?A<>=W<@'2@F>U3=?;B2!U—:@,AFXO—;E/'2œ:@,+2@Tz<XCW=?2)O1OAB+W<>QB.'=?;B2P:@,03DBA +

=/]=W<>,Q,/B8 ]D @ ƒI^ [lGj A

v ACACA

- k

ACA.A

D C&<XCCWAE:?;=?;E/$=jp~ k

<>=[:@,AFXOk;E/'2[ME2!2!QDE/C?CW2)OŒ=?;B+?,AB.(;†MUk=?;B2'O(<XCW=?+W<>MBAB=?2)O:@,01DBAB=/$=W<>,Q,/

JS;B2yCW2!=—,! '/eF}F:@,(QECƒ<XCW=?2!Q=3.$F>,ME/eFCW=/]=?2)Cg=?;E/$=3:!/$QµME2y/(C?CW,B:-<ª/]=?2)O]&S<>=?; /O(<XCW=?+W<>MBA +

=?2)Oµ:@,(03DBAB=/$=W<>,Qs57€j AX7 c

e

C7;E/(C3/ŒFª/]=?=W<X:@2yCW=?+?AE:@=-AB+?2p&;B,zCW2k0—<>Q<>0†/eF[Aƒ+?2)CWDB=/m0†/eT<@+

0†/FC‘2@FJ2!012!Qz=S<XCS=-;B2<JQ<>=W<X/eF AI+?2)CNDB=/-EQE/eFC.$F>,ME/eFžCW=/]=?2[lj;j A jv

ACACA - jk$

A.ACA - jD

CAI+-2)CWDB=/

l

j A

-

v

A.ACA -

-

k

ACA.A -

D

CbC[2ª4K`K"fEK&4)h!3M/JS;B2!+?2 <ªCg/$Q2)O.2—<>Q=?;B2 Fª/]=?=W<X:@2( +?,0

lgj A

v ACA.A

- k

A.ACA

- D C[=?,Gl=j A)

v A.ACA

?Ni8A k C

ACACA

- D C[< 5/$QEO,(QFJU¸< '=?;B2!+?2Ÿ<XCŸ/$Q

2'2!Q=

k ,! ac

k

=?;E/$=:!/$QyM2'DB+?,BOAE:@2)OŒ<JQ.$F>,ME/eFCW=/$=-2[l

k

0†/!H(2)Cc

k

DB+-,.+?2)C?Cw É+?,(0 k

=?, ?=i A

k

Cœ/]QEOk:@,QECW=W<>=?AB=?2)C =?;B2[FX/$M2@Fº,! m=?;<XCP2)O.2/

FÖ<J.(AB+?2 aO(<XCWDFX/)UBC—=?;B2 Fª/]=?=W<X:@2†,) 7:@,QECƒ<XCW=?2!Q='.]FJ,(ME/eF CW=@/$=?2)C'/(C?CW,B:-<ª/]=?2)OF& <J=-;O57—KÖ=?;B2

O(<XCW=?+N<JMBAB=-2)O·:@,(03DBAB=/$=W<>,Qk,) JFÖ<>.AB+?2'`_/ljTj Aj

v

j j

!

CS/$QEO9l - j A

!v

!!

C/

8cCW2Q(AB2!Qz=N<ª/F ,MECN2!+I'/$=N<J,(Q d ,! y=?;B2 O(<XCW=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,Q 75 +?2!DB+?2)CW2!Q=C/

:@,QECZ<ªCN=?2!Qz=S'(<>2& /$Q 2@TB=?2!+?QE/eFCW2Q(AB2!Q=W<X/eF·,MECN2!+I'2!+ :@,AFXO ;E/'2/4ƒ=µ<XC /^CN2QAB2!QE:@2~

lj

vlwv

l

ACA.A

l k v k l k k v

ACA.A

l- ,! :@,QECƒ<XCW=?2!Q=.$F>,ME/eFºCW=@/$=?2)CP/$QEOŒ+?2@F>2'/$Q=2'2!Qz=@C

CWAE:-;y=-;E/$=~

/eF}F+?2@F>2'$/$Qz=‘2'2!Q=C/$DBD2)/$+&<>Q†/]Q3,+O2!+S:@,QECƒ<XCW=?2!Q=|&S<>=?; 7€A<M/ñ2/$=?;B2!U} ,+?0^/F}<>QB2)/$+5

2@TV=-2!QECƒ<>,Qy,! 7}C5

(11)

†

†

%l l'

†

†

%l

†' l† ll ''

†

† †

l %'

%l

%' l

† †

l %' †

† †

l

†'†† †l l' l† †l l'l† †l '' ll l'

†

†

%l

%' l

† †

l

†' l† ll l'

%l

†'

l

l ''

%l l'

FÖ<J.(AB+?2'a ~=L/]=?=W<X:@2'/C?CW,B:-<X/$=?2)O &S<>=?;k=?;B25O(<XCW=-+W<>MBAB=?2)Oy:@,01DBAB=/$=W<>,Q,! FÖ<>.AB+?2—`

l k

<ªC=?;B2[.$F>,ME/FºCW=/$=-2,MB=@/e<>QB2)Oz +?,0 l k v MU†2@TB2):@AB=W<>QB.

k /

87CkCW;B,!&PQ¼<>QW2>4$K[4)h3'/eF}F'=?;B2CW2QAB2!Q=W<X/eF',MECN2!+I'/$=N<J,(QECk:@,+?+?2)CWD,QEO 2@TE/:@=WF>U =-, /eF}F

=?;B2DE/$=?;EC1,! [=?;B2kFX/$=?=N<ª:@2/14IQ /(:@=3=?;<XC1FX/$=?=W<X:@2y+-2!DB+?2)CW2!Q=C†/FGF=?;B2yD,zC?Cƒ<>MF>2CW2Q(AB2!Qz=N<ª/F

2@TB2):@AB=W<>,QEC,! ž=-;B25O(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q€57}/

8µQB,Q +ICW2Q(AB2!Qz=W<X/eFE,(MECW2!+I'/]=W<>,Q#2>43V/FGF>,!&Cm/$Q',(MECW2!+I'2!+m=?,"!CW2!2$CW2'2!+/eF<>QEO2!DE2!QEO2!Q=

+?2@F>2'$/$Qz=2'2!Qz=@Cœ/]=œ=-;B27C?/]032=N<J012/gF ,+?0†/FGF>UK(<>=S<XCP/'CN2QAB2!QE:@2g,! ž.$F>,ME/eFCW=/$=-2)Cœ/]QEO†CW2!=@C

,! &+?2@F>2'/]Qz=2'2!Q=CTl j v l v l

A.ACA

l k v k l k

ACA.A

l - &CWAE:?;=?;E/$=~

(12)

k

<XCS/[QB,Q +2!01DB=ZUŸCW2!=S,! "<JQEO2!D2!QEO2!Qz=2'2!Q=C&=-;E/$=œO,—QB,=‘DB+?2):@2)O2[=?;B22'2!Qz=@C&,!

K É,+/eF}F51A<>Q=?2!+?0†CS,) º,+@O2!+œ=-;B2!,+?U

<XCP/$Qy/]Qz=W<X:-;E/e<>Qy,! z57}C/

l k

<ªC=?;B2[.$F>,ME/FºCW=/$=-2,MB=@/e<>QB2)Oz +?,0 l k v MU†2@TB2):@AB=W<>QB. /FGFm2'2!Qz=@CS,! k /

$!% 3 828:63/ ;N/R1Z'Z,82X + ;N66/8:;NP

K,,D2!+†/$QEOGU/$+I?!AF}F>,ME/(CW2)O,Q CW2Q(AB2!Qz=N<ª/F,MECW2!+I'$/$=W<>,QEC—=-;B2yC?/$=W<XC. I/:@=W<>,QK&MU/O(<XCX+

=?+N<JMBAB=-2)O:@,01DBAB=/$=W<>,QO57—KÖ,! /]QABQECW=/$MF>2ŸDB+?,D2!+?=WU 8 2@TVDB+-2)C?CW2)O/C[/kDB+?2)O(<X:!/$=-2†,Q/

.$F>,ME/F CW=@/$=?2!/JS;B2!UyO2D-EQB2)O =b&S,†C-/$=W<XC. I/:@=W<>,Qy+-AFJ2)C/=FÖ<>+CW= 7Wi5 jVcedkfE8¼< =?;B2!+?2—2@Tz<XCW=@C

/µCW2Q(AB2!Q=W<X/eF5,MECN2!+I'/$=N<J,(Q d <JQE:-F>AEO(<>QB.î/.$F>,ME/F5CW=/$=?2:l CWAE:-; =?;E/$=9lVij 8;/ 2):@,QEO

5

7WijSnpo(qr8 < NKm<>Qµ2)/:-;µCW2QAB2!Q=W<X/eF,(MECW2!+I'/]=W<>,QEd

Kž=-;B2!+?2†2@T<XCW=C3/.$F>,ME/FCN=/$=?29l

CWAE:-;y=-;E/$=Tl

ij 8;/

87C´QB,=?2)O<>Q=?;B23<>Q=?+?,BOAE:@=W<>,QµCWAE:?;/$Q/$DBDB+?,/:?;¸;E/CT 2)/Cƒ<>M<}F}<J=WU¸F}<J0 <J=@/$=W<>,QEC3/C7<>=

+?2Q(A<>+?2)CŸ=?,MBA<}FXO =?;B2ŒFX/$=?=W<X:@2FA.&P;<X:?; :!/$Qµ<>QE:-F>AEO2 A

D

C'.$F>,ME/F7CW=/$=-2)C!KµM2@<>QB.µ=?;B2

0†/Tz<>0—AB0 QAB0—ME2!+P,) º+?2@F>2'$/$Qz=2'2!Q=CSDB+?,BOAE:@2)OkMUk/—DB+?,B:@2)C?CDC/

JS;B2†/$QECX&S2!+=?,Rced(fg8îO,z2)C´QB,='O2!DE2!QEO¸,Q=?;B2(&P/eU·/$Q,MECW2!+'/$=W<>,Q <ªC´03,BO2@FJ2)O

AI=-;B2y/$QECX&S2!+—<XC3D,zCƒ<>=W<@'2Œ<P [=?;B2!+?2Œ<XC3/CW=/]=?2Ÿ<>Q =?;B2ŸFX/$=?=N<ª:@29'2!+W< U<>QB.g8C/‰JS;E/$=—<XC—QB,(=

=?;B2k:!/CW2z ,+(npo(qr8/2FB,+g=b&S,O(<ªCN=W<>QE:@=3,MECW2!+I'$/$=W<>,QEC!K‰d

/$QEO d

Km=?;B2Ÿ.$F>,ME/eFCW=@/$=?2)C

C?/]=W<XC. ÉU(<>QB.F8î:!/$Q¸ME2†O(<XCW=W<>QE:@=/J,Ÿ< 75 ijVnzo(qr8 &S25;E/'2—QB,Ÿ<>Q> ,+?0†/$=N<J,(Q/$ME,(AB=[=?;B2

CW=@/$=?2)CÖ<>Qp&;<ª:-;98<ªCa'2!+W<-E2)O AI=?;<XC:!/$Q1ME2/$Q <JQE:@,(Q'2!Q<>2!QE:@2< ž=?;B2PO2!=?2):@=N<J,(Q3<XCO,(QB2 ,+

O2!MBAB..]<JQB.gDBAB+?DE,CW2)C!Kz/(CÖ<JQ1=?;<XC&:!/CW2S=?;B2SAECW2!+|&P/$Q=CÖ=?,THzQB,!&µ=?;B2S.$F>,ME/eFCN=/$=?2)C <>Q&P;<X:?;

8G&P/C1'2!+W<-E2)OC/ JS;B2[QB2@TB= 2):@=W<>,QkDB+?2)CW2!Q=CP/gQB2& :?;E/]+/:@=?2!+W<@?)/$=N<J,(QK ,+P/gDB+?,D2!+?=WU3=?,

M25C?/$=N<ªCb-E2)O"KE=?;E/]= O,2)CQB,=S;E/'(2[=?;B2)CW25O+@/&ME/:IHBC/

12%'& (*3 S)b-),8ES+

8 .$F>,ME/FºCW=/$=-2[l¼<XC‘<>QB2'<>=/$MF>2—< &<>=PM2@FJ,(QB.zC=?,†/eF}Fž=-;B2[,MECW2!+I'$/$=W<>,QEC,! º=-;B2'O(<ªCN=?+W<>MBAB=?2)O

:@,01DBAB=/$=W<>,Q

5

7[/T4ƒQ FÖ<>.AB+?2'a A

v

-v

v

!

C&<XC <JQB2'(<>=/$MF>2/

\S2@F>2'/$Q=—2'2!Qz=@C[/$QEO<>QB2'<>=/]MFJ2k.]FJ,(ME/eFœCW=/$=-2)C/$+-23=?;B2—+W<>.;=5/$MECW=-+/:@=W<>,QEC=?,yCN,$F@'2

DB+?,(MFJ2!0ŸC<>Q'(,$F@'<>QB..$F>,ME/eFœCW=@/$=?2)C[CW;E/$+-2)OyMU/eF}F,MECW2!+I'$/$=W<>,QEC/4ƒQB2'<>=/]M<GF}<>=WU :-;E/$+/(:@=?2+

+W<@?!2)C =?;B2S.+?2)/$=?2)CN=ºCW2!=m,! ".$F>,ME/eFECW=/$=?2)CmCW2!2!Q—MU5/eF}FE,MECW2!+'/$=W<>,QEC/!4IQB2'(<J=@/$MF>2P.$F>,ME/eFCW=@/$=?2)C

/eF}F>,!&î=-, CN=/$=?2[/$QŸ<>Qz=-2!+?2)CW=W<>QB.Ÿ,MECW2!+I'$/$=W<>,Q +<>QEO2!DE2!QEO2!Q=5O2D-EQ<>=W<>,Q É,+C?/$=W<XC. I/:@=W<>,Qk,! &/

(

êLí)áIÝ[ð-×Wô)ä>Ù@àÞ.-)ð?ìSß!ÕØÞ@ô

†! " #

$&%!'$ô (Ý)ÞWàÞ ' ó$ރÕØÙÛeã×&ÜÙ

‡ '

) #

ÚØÜݗÜÝ)ÞSÚØÛLÚØÜÚGðWՏð?Ûeâ(’Û$ðWÕã-ÕØÙó$ðWÕ×ÜIð-ÜÞW×Wô ðNÕñ՞ð?àÜÚØáWíLÕGð?ÜÚØÙ@Ûkß$Ù?ÚØÛ!Ü×SÙ@ào@ÞZàÜÞ.-g×ÞZß$ð?àIð-ÜÙ@à× A%)B"Ù?ämÜÝ)Þ

ÕGð-ÜÜÚØáWÞ ð-àÞmÚØÛ)Þo@ÚØÜIð-ó!ÕØÞPã-ÕØÙ@óðNÕE×ÜIð?ÜÞW×.

(13)

DB+?,(DE2!+?=WUkMU /Ÿ:@,03DBAB=/]=W<>,Q 7(/5 X` .T^ a^] —<XCO2D-EQB2)O/CY8 M2@<JQB.k=-+?AB25/$==?;B2

C?/]032p"@DE,]<JQ=$} ,+/FGFm,MECW2!+I'2!+@C~

A 57 ijVce7ed[c 8C

c

A

lS~>l ,?Ni9 bi#l ij 8C

…,(=?; cedkfE8 /]QEOGce7ed[ch8^/$+?2k,MECN2!+I'/$=N<J,(Q +<JQEO2!D2!QEO2!Qz=eKSMBAB=)K&/C}&œ2#& <GF}F7CN2!2K

O2!=?2):@=N<J,(Qy,! |ce7ed[c 8 :!/$QkME2—O,QB2'2k:-<J2!Q=WF>UK&S<>=?;B,AB=PMBA<}FXO(<>QB.y=?;B2FX/$=?=N<ª:@2/

12%K$ S3PR35+O+O;=/ ;NS4V+O17PR),3S:-TPR8ES4)K-),8:S

L"2!=}lGj A

v A.ACA

- D CM2'/—.$F>,ME/eF&CW=/$=?2(AWO(<ªCN=W<>QE:@= +?,0ulj'/$QEO9l- C/

o ! r

l,?Ni9 bi

,~>A k

e

?Ni IA)

C j -

C

"go

#

r

JS;<XC‘DB+?,z,) º:@,QECƒ<XO2!+C‘,QF>UkCW2QAB2!Q=W<X/eF,MECW2!+'/$=W<>,QECS/$QEOŸCWABDBD,zCW2)C‘DB+?,B:@2)C?CW2)C‘;E/'2

<>Q>-EQ<J=-2M2!;E/'(<>,+C/!4ƒ=:!/$Q—2)/Cƒ<}F>U—ME2P2@TB=?2!QEO2)O—=?,QB,Q +ICW2Q(AB2!Q=W<X/eFE,MECW2!+I'$/$=W<>,QEC‘/$QEO

-EQ<>=?2'M2!;E/'(<>,+C,! &DB+?,V:@2)C-CW2)C/

$

L"2!=elGj A)

v A.ACA

- k

ACA.A

D CME2'/]QŸ<JQB2'(<>=/$MF>2'.]FJ,(ME/eFºCW=/]=?2K

k ME2(c

k

NØC‘2'2!Q=

=?;E/$=PDB+-,VOAE:@2)O k KE/$QEO

ME2„c

NØC‘2'2!Qz==?;E/$=PDB+?,BOAE:@2)OT?Ni IA)

C/

K,QECƒ<XO2!+}l

j A

ACA.A

h?Ni IA)

C

ACA.A

C/B8QzUkCW2Q(AB2!Qz=W<X/eFm,MECW2!+I'$/$=W<>,Q·:@,(Qz=/<JQEC l

AIMU ;UDE,=?;B2)CZ<ªC^C /$QEO CNAE:?;î/ l}AIME2):!/$AECN22)/:-; ,MECN2!+I'/$=N<J,(Q <>QE:-FJAEO2)C¸/eF}F

2'2!Q=C[/$QEOCW,

C/$QEO:l /$DBDE2)/]+CME2D ,+?2zl AZ/C

<XC[DB+-,VOAE:@2)OMU c ME2+

É,(+?2@?Ni IA)

CIC z:@,(QECW2QAB2!Q=WF>U

k

/$DBD2)/$+CSM2D É,(+?2

&S<>=?;<>Qk=?;<XCS,MECN2!+I'/$=N<J,(Q,/

U,+?2!,!'2!+S=?;<XC‘<XCP=-+?AB2T É,(+/$QU :@,ABDF>2*A ,=CX/

87C lt<XC1<>QB2'<>=/$MF>2=-;B2·DB+-2'<>,AECŸ+?2!0Ÿ/$+IH<XCŸ=?+?AB2 É,+k/eF}F[,MECW2!+I'$/$=W<>,QEC/ 4ƒ=

É,]FGF>,!&CS=-;E/$= ,+P/eF}Fž,MECW2!+I'$/$=W<>,QEC~ , ~ k

/$DBD2)/$+CSM2D É,+-2

/

FB+?,(0 ?!D<}F>+/$YWQ,NØC—=?;B2!,(+?2!0 2>4ed3TAM&;<ª:-;µCW=/$=?2)C´=?;E/$=g=?;B23<>Q=?2!+CW2):@=N<J,(Qµ,! /eF}F

F}<JQB2)/]+œ2@TB=?2!QECƒ<>,QEC`z;B2!+?2S=?;B2PCW2!=‘,! /eF}F,MECN2!+I'/$=N<J,(QEC.`',! /DE/]+?=W<X/eFE,+O2!+`;B2!+?2

5

7€jSAb7c

e C`3<XCSDB+-2):-<ªCN2@FJU=?;<XCSDE/$+?=N<ª/F ,(+O2!+C&<>= ,$F}F>, &CS=?;E/$= ,~

k c

e

=?;E/$=S<XCS=-,†C?/eU—<>Qy=?2!+-0†CS,! mF>,V:!/eF&CW=/$=?2)C‚A 2):@=N<J,(Q·` /ñf_C /~ k

e

?Ni8A

CI/

(14)

L"2!=/—.]FJ,(ME/eFºCW=/]=?2(lGj A

v

A.ACA

- D C‘ME2'CWAE:-;y=?;E/]= /~ k

e

?Ni8 IA

CD/

FÖ<>+CW=[F>2!=gAEC'CW;B,!& =?;E/$=*l <XC5/k:@,(QECƒ<XCW=?2!Q='.$F>,ME/eFPCW=/$=-2/BABDBDE,zCW21=?;E/$=l <XC

QB,=':@,QECƒ<XCW=-2!Qz=/JS;B2!Q

/~ k

e A 2!2 2):@=W<>,Q` /k ,+=-;B2 O2D-EQ<>=W<>,Q,!

/†:@,(QECƒ<XCW=?2!Q=[.$F>,ME/eFCW=/$=?2!C > É+-,0 &;<ª:-;‘&S25:!/$Q:@,QE:-F>AEO2#AZCN2!2 2):@=N<J,(Q `_/ñf C

,~?Ni8A

k C

e

&P;<X:?;Œ<ªC/3:@,Q=?+/(O(<ª:@=N<J,(Q,/

P,!& :@,QECZ<ªO2!+P/[CW2Q(AB2!Q=W<X/eF,MECN2!+I'/$=N<J,(Q d =-;E/$=:@,03DB+W<XCW2)C‘=X&S,.]FJ,(ME/eF CW=@/$=?2)C

l4!A •Cyj A

ACA.A

k

ACACA

Cy/$QEO6lœ`>A2=Cj A

A.ACA

?Ni8A

C

A.ACA

C/T02;E/'2=?, CW;B,!&

=?;E/$=el4!A XCmDB+?2):@2)O2)CYlœ`>ACI/

L"2!=

kME2 c k

NØC—2'2!Q=3=?;E/$=1DB+?,VOAE:@2)O k K k¸ME2 c k

NØC—2'2!Q=3=?;E/$=1DB+?,VOAE:@2)O

?Ni8A

k

CP/$QEO

M2kc

NØC2'2!Q==-;E/$=PDB+?,BOAE:@2)O?=i A

C/87CTd <JQE:-F>AEO2)Cg/eF}F

2'2!Q=C‘<>=S<>QE:-F>AEO2)C

kƒK

k3/$QEO

<>= É,]FGF>,!&C=?;E/$=Tl4!A XC/$QEO9lœ`>A2=C&2@T<XCW=/

l4!A •CE/$DBDE2)/$+@C<>Q„d / É=?2!+

kV/$QEOM2D É,(+?2

k )lœ`>A CV/]DBDE2)/$+CÖ/ É=-2!+

/U,+?2!,!'2!+

k c

e

AIME2):!/]AECW2 k

e

?Ni8 IA

CIC <>=T É,$F}F>,!&C=?;E/$=}l4!A •CDB+?2):@2)O2)C}lœ`>A2=C <JQ

d/

87C MzUt;UzD,=?;B2)Cƒ<XC /*~*

k

e

?Ni IA)

CF&œ2 ;E/'(2 /~

kTc

e

3:@,QECW2+

QAB2!Q=WF>Uy/$QU CN2QAB2!Q=W<X/eFž,MECN2!+I'/$=N<J,(Q d <XCPCNAE:?;=?;E/$=~

d j lj

ACA.A k†

l4!A v C

ACA.A k

l4!A C

A.ACA

ACA.A

k

$

† lS`>A v C

A.ACA

ACA.A

lS`>A C

A.ACA

$ lœ`>A.D C

A.ACA

&S<>=?;3Q +ABDF>2)CTA v

ACA.A

D C&/$QEOzA v

ACA.A

/ D CME2@<>QB.3D2!+?0—AB=/$=W<>,QECm,! ‰A47

ACA.A h?BCI/

4I= ,$F}F>,!&CP=-;E/$=S=?;B2[.$F>,ME/eFºCN=/$=?2

<XCYlGj A

v ACA.A

k

A.ACA - D C/

12%21 (*3R-35P-),S9 35; 6/3PR35435SPR3

JS;B2ŸDB+?2'(<>,AEC3:-;E/$+/:@=?2!+N<x?)/]=W<>,QEAƒ=?;B2!,+?2!0 C,! S<>QB2'<>=/]MFJ2.$F>,ME/eFCW=/]=?2)C<XCgDBAB+?2@F>U

=?;B2!,(+?2!=W<X:!/eFM/!4IQ3,(+O2!+ž=-,AECW2 <J=m<>Q3O2!=?2):@=W<>,QŸ/eF>.,+W<>=?;B0†CB&S2SQB2!2)O3/$Q'2Q(A<@'/eF>2!Q=S,DE2!+/]=W<>,+

QE/eFœ:-;E/$+/(:@=?2!+W<@?)/$=W<>,Q,/,JS;<XC 2):@=W<>,Q¸DB+?2)CW2!Q=C[/$Q/$DBDB+?,DB+N<ª/]=?2['2):@=-,+':-F>,V:Hy032):-;E/$Q<XCW0

&P;<X:-;†/C?CN,V:-<X/$=?2)C&/=W<>032)CW=@/$03D(&S<>=?;—2)/:-;[F>,V:!/FCW=/$=?2$ e=?;B2)CW2S=W<>032)CN=/$03DECm/eF}F>, &µ=-,7O2):-<XO2

&P;B2!=-;B2!+=X&S,gFJ,B:!/eFºCN=/$=?2)CS/$+?2[+-2@Fª/]=?2)OkMU

e

,(+PQB,=/

4IQ=?+?,BOAE:@2)O5CZ<J0—AF>=/$QB2!,(AECƒF>U5MU FÖ<XO.2;2 3z/$QEO(U/$=?=?2!+-Q2>4 3IK'2):@=-,+º:-F>,B:IHBC&:@,QECW=N<J=-AB=?2

/$Q1,DE2!+/]=W<>,QE/eFE=?,,$FB=?,[2!QE:@,VO2O2!DE2!QEO2!QE:@Uk/$QEO3:@,QE:@AB+?+-2!QE:@U5,) 2'2!Q=Cm,! /[O(<ªCN=?+W<>MBAB=?2)O

:@,01DBAB=/$=W<>,Q,/‰0¸2·/C?CN,V:-<X/$=?2k;B2!+-2R'2):@=?,(+†:-F>,V:Hµ=W<>032)CW=/]03DEC(&S<>=?; FJ,B:!/eF7CN=/$=?2)Cg<>Q¼=?;B2

,$F}F>, & <JQB.z&P/eU~

Références

Documents relatifs

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex