• Aucun résultat trouvé

Convergence of Turbo Algorithms for Systems Defined by Local Constraints

N/A
N/A
Protected

Academic year: 2021

Partager "Convergence of Turbo Algorithms for Systems Defined by Local Constraints"

Copied!
43
0
0

Texte intégral

(1)

HAL Id: inria-00071723

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

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Convergence of Turbo Algorithms for Systems Defined by Local Constraints

Eric Fabre

To cite this version:

Eric Fabre. Convergence of Turbo Algorithms for Systems Defined by Local Constraints. [Research Report] RR-4860, INRIA. 2003. �inria-00071723�

(2)

ISRN INRIA/RR--4860--FR+ENG

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

Convergence of Turbo Algorithms for Systems Defined by Local Constraints

Eric Fabre

N˚4860

Juin 2003

THÈME 4

(3)
(4)

*+,&-!./$'&(01 2%345+46,789&:!;7 <!&

=>@?BADCFEHG>@I

JLK:MONDPRQS TVUWNYX-Z\[^]_Ua`cbdPO]<`ce-]_UWNfUagh[^]_Ua`cb

i

PYg_jHg]MONDP)gk)`cNfe-ZaPmlnP)g

o/p`^q"PO]TVUWrsNt[tu

v[^e-e.`cp_]

i

P5pP)khK:POpkK:PwbxsQzys{s|}S~€X-UWbus|s|s‚S‚sƒ%e;[^r€P)g

„†…ˆ‡)‰‹ŠŒ-Ž€‰s

Pk)`cb:g_U

i

POp<[%r€POb:POph[^Zb:`c]_Ua`cbd`^‘/g_jng_]PON}’-k)`cNfe.`sghP

i

`^‘/[fgPO]8`^‘ “c[^p_U\[^”-ZaP)g

[^b i [•gPO]`^‘LZaPOrz[^Z5–Be.`sghg_UW”-ZWjph[^b i `cN†—˜™”POK;[)“HUa`cpg"št`cb›]_K:P)ghPD“s[^p_U\[^”-ZaP)g‹œTVX:kKžg_jng_]PONDg

[^pPe-p`Ÿ“VUi P i¡  UW]_K›[k)`cNfe`sg_UW]_Ua`cb¡Z\[   ’   K-UakK›[^ZWZa`   g,]`”-X-UWZi Z\[^p_r€P%ND` i POZag,`cX-]R`^‘¢POZ¤£

PONDPObV]h[^p_j¥k)`cNfe.`cb:PObV]g‹œJLK-UagR‘¦ph[^NDP

 

`cp_§¥k‹[^e-]_X-pP)gZ\[^p_r€Ptk)`cb:g]_ph[^UWbz]gjHg_]PONDgŸ’©¨[^p_§€`‹“

ph[^b i `cN«ª;POZi gd–BUWb¬e;[^p_]_UakOX-Z\[^p†rsph[^e-K-Uak‹[^Z8ND` i POZagt`^‘5e.`   POp"‘¦X-Z<POp_p`cptk)`cp_pP)kO]_UWb-ržk)` i P)g@—m’

”-X-][^Zag`}g`cNDPt[cge.P)kO]gR`^‘ i Uag_]_p_UW”-X-]P i­i jVb;[^NfUak†g_jHg]PONDg‹œD¨[^bzje-p`c”-ZaPONDg   UW]_K¥]_K:P)ghP

ND`

i

POZagRk‹[^b¥”PDPmlne-pP)ggP

i

X-b

i

POp]_K:P%‘¦`cp_N`^‘[†˜™pP

i

X:kO]_Ua`cbnšt`cePOph[^]_Ua`cbR®D¯±°B²‹°Dk)`cNfe-X-]P

]_K:P†UWbn³:X:POb:k)P`^‘]_K:P   K:`cZaPk)`cNfe`cX-b i gjHg_]PON´`cbµ[rsUW“€PObµk)`cNfe`cb:PObz]‹œ¶:`cp%Pml:[^Nfe-ZaP

k)`cNfe-X-]P]_K:PRe`sg_]POp_Ua`cp i Uag_]_p_UW”-X-]_Ua`cb`^‘/[DrsUW“€PObd”-UW]‹’UWb9[tk)` i P   `cp i ’.rsUW“€POb9[^ZWZˆ[‹“c[^UWZ\[^”-ZaP

NDP‹[cgX-pPONDPObz]g`cb¬]_K;[^]†k)` i P   `cp i [^]D]_K:P}`cX-]_e-X-]†`^‘R[¡khK;[^b-b:POZ±œ·JLK:P}pP i X:kO]_Ua`cb¸`^‘Y[

gjHg_]PON¹]`%`cb:P,`cpP‹[ckK`^‘ˆUW]gk)`cNfe.`cb:PObV]gUagLr€POb:POph[^ZWZWj•º<ožK;[^p i ’n”-X-]r€`H` i [^e-e-p`‹lHUWNt[£

]_Ua`cb:g¢k‹[^bt”P`c”-]h[^UWb:P i ’   K-UakK]h[^§€P<[ i “s[^bz]h[^r€P5`^‘»]_K:P8gh`^£™k‹[^ZWZaP i UWbV]POph[ckO]_Ua`cb†rsph[^e-K`^‘»]_K:P

k)`cNfe`cX-b i g_jHg]PON}œ  P†UWbz“€P)g_]_UWrz[^]Pe-p`cePOp_]_UaP)g`^‘8`cb:P`^‘8]_K:PON}’ §Hb:`   b¼[cgY]_K:P†]_X-p_”`

e-p`Hk)P i X-pPs’UWb-UW]_U\[^ZWZWj i POp_UW“€P i ‘½`cpRPOp_p`cpk)`cp_pP)kO]_UWb-rdk)` i P)g‹œ†¾™b¡e;[^p_]_UakOX-Z\[^p‹’   P†g_K:`   ]_K;[^]

]_X-p_”`f[^ZWr€`cp_UW]_K-NDg8[^pPe.`sghg_UW”-ZaP[cgLg`H`cb}[cgLg`cNDP,[lHUa`cNDg`cbk)`cNfe.`sgUW]_Ua`cb[^b i pP i X:kO]_Ua`cb

[^pPgh[^]_Uag"ª;P i œ¡¿¢`cbz“€POp_r€POb:k)P•k‹[^b-b:`c]%”PDe-p`Ÿ“€P i UWbµr€POb:POph[^Z±’/Pml-k)POe-]Y‘½`cpk)`cb:g]_ph[^UWbz]Dg_jng"£

]PONDgŸ’   K-UakhKk‹[^b”P8k)`cb:g_Ui POpP i [cg¢]_K:Pg_UWNfe-ZaP)g_]À‘½[^NfUWZWjt`^‘©k)`cNfe`cX-b i g_jng_]PONDg‹œ ¶ˆUWb;[^ZWZWj€’

UWbd`cX-p<[lHUa`cNt[^]_UakR‘Bph[^NDP   `cp_§.’   Pg_]_X i j]_K:PRg_]_p_X:kO]_X-pPY`^‘/[^e-e-p`)lnUWNt[^]POZWj}pP i X:k)P i k)`cN%£

e`cb:PObz]gÀ`c”-]h[^UWb:P

i

[^]¢[,g_]h[^]_Ua`cb;[^p_jfe`cUWbz]À`^‘]_K:P]_X-p_”`,e-p`Hk)P

i

X-pPs’

 

K-UakhKPmln]POb

i

g/pP)gX-ZW]g

e-pPO“HUa`cX:g_ZWje-X-”-ZWUag_K:P

i

”Vj



POUaghg²OÁLÂcÃW°

Ä}ŀÆÇÈÉ

ŠÊˆ‡s

]_X-p_”`•[^ZWr€`cp_UW]_K-N}’»ª-lde`cUWbz]‹’rsph[^e-K-Uak‹[^ZËND`

i

POZ±’”;[‹j€P)g_U\[^b¡b:PO]

 

`cp_§.’k)`cbn£

g]_ph[^UWbz]8g_jng_]PON}’-P)g_]_UWNt[^]_Ua`cbF’POp_p`cp8k)`cp_pP)kO]_UWb-rtk)` i P

̤ͩÎÐϱыÒÎÀÓ©ÔWϱսÖ)×

Unité de recherche INRIA Rennes

(5)

h&(&:+,&-!/$'& 3 88!.7 h8!.&

‡  bk)`cb:g_Ui MOpPX-b:PkOZ\[cgghPRrObOph[^ZaP i PYg_jng_]MONDP)g‹’ i mª:b-Uage;[^p<X-b9POb:gPONY”-ZaP

i P†“s[^p_U\[^”-ZaP)g‹’ PO]e;[^p i P)gY˜Ðk)`cNfe.`cp_]PONDPObV]g"š†ePOp_NfUaggX-pk)P)g“c[^p_U\[^”-ZaP)g•–O“€PObV]_X:POZWZaPONDPObz]

[^Z‹[^]`cUWpP)gm—mœ8¿¢P)g8g_jng_]MONDP)gg`cbV]8NX-b-Uag iX-b:PYZa`cU i PYk)`cNfe`sg_UW]_Ua`cbzX-UFePOp_NDPO] i`c”-]POb-UWp

i Prsph[^b i g5ND` i MOZaP)g†e;[^p_]_UWp i Pk)`cNfe`sgh[^bV]gOZONDPObz]h[^UWpP)g‹œf¿¢P%k‹[ i pP%e.POp_NDPO] i PND` i £

OZWUaghPOpZaP)gg_jng_]MONDP)g i P,k)`cbz]_ph[^UWbV]P)g‹’ZaP)gkK;[^Nfe:g i P,¨9[^p_§€`Ÿ“¡–¦PO]PObe;[^p_]_UakOX-ZWUaPOp i P)gND` i £

MOZaP)grsph[^e-K-UVX:P)g i P†k)` i P)g%k)`cp_pP)kO]POX-pg iPOp_pPOX-pg@—m’ i P†NONDPzX:Pk)POp_]h[^UWb:gD[cg_eP)kO]g i P)g

gjHg_]MONDP)g i jVb;[^NfUVX:P)g i Uag_]_p_UW”-X)g‹œ5PDb:`cN”-pPOXnl­]_ph[^UW]PONDPObV]gD[cgg`HkOU)g}k)P)gYND` i MOZaP)g

ePOX-“€PObz]ˑ¦`cp_NX-ZaPOpÀg`cX:g/Z\[‘¦`cp_NDP iX-b:P`ceOph[^]_Ua`cb i P! #"%$'&‹Á¦¯(%)+*Vk)POZ\[,k)`cb:g_Uag_]P,Rk‹[^ZakOX-ZaPOp

Z UWbn³:X:POb:k)P iX-b·–Brsp`sgm—Rg_jng_]MONDPDk)`cNfe`sg_UW]P†g_X-pYZ X-b –¦`cX­kK;[ckOX-b— i P†gP)gYk)`cNfe`sgh[^bz]gŸœ

o [^pPml-PONfe-ZaPs’ne.`cX-pLZaP)gk)`

i

P)g¢k)`cp_pP)kO]POX-pg i

POp_pPOX-pg‹’:k)POZ\[pPO“VUaPObV],k‹[^ZakOX-ZaPOpZ\[

i

Uag]_p_UW”-Xn£

]_Ua`cb¡Â,-'(/.OÁ™²0m¯(%m¯ i PkK;[%VX:P8”-UW] i XtND`c] i Pk)` i P<k)`cb-b;[^Uaggh[^bz]L]`cX-]P)g¢ZaP)gÀNDP)g_X-pP)gËpP21OX:P)g

gX-p,ZaP)g,”-UW]g i PDk)P%ND`c]YPOb¥gh`cp_]_UaP i Pfk‹[^b;[^Z±œ3FPfe-p`c”-ZaMONDP i P%p# i X:kO]_Ua`cb­P)g_]RPOb›rObOph[^Z

i PYk)`cNfe-ZaPmlHUW]#º<oˆ’-Nt[^Uag`cb}ePOX-]8POb i `cb-b:POp i P,”.`cb-b:P)g<g`cZWX-]_Ua`cb:g5[^e-e-p`VkhK)P)g‹’PObX-]_UWZ¤£

Uag@[^bz]Z\[Dg_]_p_X:kO]_X-pP iUWbz]POph[ckO]_Ua`cb¥PObV]_pPYZaP)gk)`cNfe.`sg@[^bz]g‹œº<`cX:g8b:`cX:gUWbz]#OpP)gg`cb:g4DZ X-b:P

iPObV]_pP8POZWZaP)g‹’€Z\[5e-p`Vk2 i X-pP˜™]_X-p_”.`^šh’ze-p`ce.`sg5)P,Z`cp_UWrsUWb:Pe`cX-pZaP)gËk)` i P)g/k)`cp_pP)kO]POX-pg5–BZaP)g

]_X-p_”`^£™k)` i P)g@—mœ/º`cX:gLND`cbz]_p`cb:g,VX:P,k)P)g8[^ZWr€`cp_UW]_K-NDP)g8]_X-p_”.`%ePOX-“€PObz],O]_pP5NfUag8POb}`VPOX-“HpP

i M)gzX X-b­POb:gPONY”-ZaP i[lHUa`cNDP)gg_X-pRZ\[•k)`cNfe`sg_UW]_Ua`cbµPO]RZ\[p# i X:kO]_Ua`cb i PDg_jng_]MONDP)gRg`cbV]

“Op_U¤ª6)gŸœ73©[dk)`cbz“€POp_r€POb:k)P}b P)g_]Ye;[cg i OND`cbz]_ph[^”-ZaP•PObµrObOph[^Z±’Nt[^Uag%POZWZaP†ZP)g_]e`cX-pZaP)g

gjHg_]MONDP)g i PDk)`cbz]_ph[^UWbV]P)g‹’8VX:PfZ `cb›ePOX-]Y“€`cUWpk)`cNfNDPDZ\[kOZ\[cggPfZ\[}e-ZWX:gYg_UWNfe-ZaP i Ptg_jng"£

]MONDP)g8k)`cNfe.`sg_UW]P)gŸœ/º<`cX:gb:`cX:gUWbz]#OpP)ggh`cb:g8POb:g_X-UW]PR[^Xnle-p`ce-p_UO]#)g i P)ge.`cUWbV]gLª-lnP)g i P)g

[^ZWr€`cp_UW]_K-NDP)g8]_X-p_”.`-’;k)PzX-U»ePOp_NDPO] iO]POb i pP i P)g8p#)g_X-ZW]h[^]ge-p#)gPObV]#)g8e;[^p  POUaghg²OÁLÂcÃW°

9 É ‰‹‡ Ç Ž;:  [^ZWr€`cp_UW]_K-NDP%]_X-p_”.`-’e`cUWbz]5ª-l-Ps’ND` i MOZaPrsph[^e-K-UVX:Ps’»p#)gP‹[^X”;[‹j)g_UaPObF’Fg_jng"£

]MONDP i P,k)`cbz]_ph[^UWbz]P)gŸ’P)g_]_UWNt[^]_Ua`cbF’k)` i P,k)`cp_pP)kO]POX-p iPOp_pPOX-pg

(6)

88!.8!.&

‰‹Š É Ê Žs‰"!É #

$ 9 É Ê :BŒ-Š‡ Æ ‡)‰ Å ›‡fŒ ʸ‰"% Å Š Å Ê ©Žs‰"!É '& Š É … :Å (

unœ*) 5Pmª:b-UW]_Ua`cb:gYœ,œRœYœ,œRœ,œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ {

unœ*)sœ*) +[cg_UakR[lnUa`cNDg œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ {

unœ*)sœu ¾Ðbz“€`cZWX-]_UW“HUW]™j4œ,œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ ,

unœu - l:[^Nfe-ZaP)g«œ,œRœYœ,œRœ,œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ y

unœunœ*) ¿¢`cb:g_]_ph[^UWbV]<g_jng_]PONDg¥œRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ y

unœunœu TVjng_]PONDg   UW]_K}k)`sg_]‘¦X-b:kO]_Ua`cb:g œ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ ƒ

unœ‚ .ph[^e-K:g[cgg`HkOU\[^]P i ]`t[%k)`cNfe.`cX-b i g_jHg]PON œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )‹|

unœQ JLK:P,pP i X:kO]_Ua`cbde-p`c”-ZaPON œ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )‹|

/ Å Ê Žs‰"!É Œ:0 É Š1!\‰"% 32 É ŠD‰‹Š ÅzÅ ‡"%Œ & Šʸ‡ Æ ‡)‰ Å ¥‡ 4$

‚nœ*) THPOe;[^ph[^]_Ua`cbe-p`cePOp_]™j œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )‹‚

‚nœu ¿¢`cb:gP2VX:POb:k)P)g8`^‘gPOe;[^ph[^]_Ua`cb œ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )OQ

‚nœ‚ v8P i X:kO]_Ua`cb9[^ZWr€`cp_UW]_K-N œRœ,œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )5

‚nœQ 6<ZW]POp_b;[^]P[^ZWr€`cp_UW]_K-N UWbd[^b•UWbV“€`cZWX-]_UW“€PghPO]_]_UWb-r œ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ )",

‚nœ75 v8P)k)`cb-b:P)kO]_UWb-r†pP

i

X:k)P

i

k)`cNfe`cb:PObz]g œ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ us|

#

Å Ê Žs‰"!É

Œ:0 É Š1!\‰"% 32 É ŠtŽ Æ Ž;:!Ž‡ Æ ‡)‰ Å ›‡

$8

Q:œ*) 6<e-e-p`)lnUWNt[^]PRpP i X:kO]_Ua`cb9[^ZWr€`cp_UW]_K-NDg œ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ u4)

Q:œu 68lHUa`cNDgPOb:gX-p_UWb-rtk)`cbz“€POp_r€POb:k)P œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ us‚

Q:œ‚ op`cePOp_]_UaP)g8`^‘g_]h[^]_Ua`cb;[^p_je.`cUWbV]g œ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ u95

Q:œ‚nœ*) - lne;[^b i P i

g_jng_]PONDgœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ u95

Q:œ‚nœu - ln]POb i UW”-UWZWUW]™j•]`fPO“€POp_jb:P)g_]P i ]_pP)Pœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ u:,

Q:œ‚nœ‚ 3F`Hk‹[^ZF`ce-]_UWNt[^ZWUW]™j œRœRœ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ usy

Q:œQ TVeP)kOU¤ª;k,e-p`ce.POp_]_UaP)g<`^‘ˆUWbV“€`cZWX-]_UW“€PYg_jng_]PONDg œ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ ‚4)

Q:œQ:œ*) ¿¢`cNfe;[^p_Uag`cb`^‘g_]h[^]_Ua`cb;[^p_je`cUWbz]g8`^‘<;>=8[^b i ;@? œRœ,œRœYœ,œRœ,œ ‚4)

Q:œQ:œu ¾Ðbz“s[^p_U\[^b:k)P,”zjrsph[^e-KdkhK;[^b-r€P œ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ ‚su

Q:œQ:œ‚ v8Pmª:b:PONDPObV]g8`^‘ ]_K:PRPmln]POb i UW”-UWZWUW]™j•e-p`cePOp_]™j œ,œRœ,œRœ,œRœYœ,œRœ,œ ‚s‚

Q:œQ:œQ op`crspP)ggUW“€P,pP i X:kO]_Ua`cb9œ,œYœ,œRœ,œRœRœ,œRœ,œYœRœ,œRœ,œRœ,œRœYœ,œRœ,œ ‚^Q

A B É Ž : ‡"!É /CA

„ DYŠ É & Å Š‰ Æ¼É 2<‡ Æ ‡)‰ Å ¥‡:!FEG!

0 É

Œ‰‹Š ÅzÅ

/ (

(7)

<!;,3©!

6 b;[^]_X-ph[^Z   [‹j­]` i P)g_UWrsb¼Z\[^p_r€Pk)`cNfe-ZaPml¼g_jHg]PONDgUag%]`k)`cN”-UWb:P}POZaPONDPObz]h[^p_j¼k)`cNfe`^£

b:PObV]g‹’ˆ”zj›gh`cNDP†[^e-e-p`ce-p_U\[^]Pk)`cNfe.`sgUW]_Ua`cb­Z\[

 

œ}JLK-UagYND`

i

X-Z\[^p%k)`cb:g_]_p_X:kO]_Ua`cb­e-p_UWb:kOUWe-ZaP

Uag   Ui POZWjdX:gP i UWb¡e-ph[ckO]_Uak)P%]` i P)g_UWrsb]_K:Pfg_jng_]PONDg]_K:PONDgPOZW“€P)g‹’»”-X-],Uagb:`c]Y[^Z  [‹jHgYk)PObn£

]_ph[^Z UWb]_K:P i P)g_UWrsb¡`^‘¢g_X-”:ghP2zX:PObV]e-p`Hk)P)gg_UWb-r€gD–B“€POp_U¤ª;k‹[^]_Ua`cbF’FND`cb-UW]`cp_UWb-r:’©PO]ksœ—mœR¾Ðb]_K-Uag

e;[^ePOp‹’

 

Pf]h[^§€P%UWb:g_e-UWph[^]_Ua`cb¡‘¦p`cN ]_X-p_”.`}[^ZWr€`cp_UW]_K-NDgŸ’[pP)k)PObz]Y”-pP‹[^§V]_K-p`cX-rsK­UWb

i

UWrsUW]h[^Z

k)`cNfNX-b-Uak‹[^]_Ua`cb:g‹’[^b i e-p`ce.`sghPY[r€POb:POph[^ZF‘¦ph[^NDP   `cp_§•]`fK;[^b i ZaPRND` i X-Z\[^p8gjHg_]PONDg   UW]_K

ND` i X-Z\[^p<[^ZWr€`cp_UW]_K-NDg‹œ¢JLK-Uage`c]PObz]_U\[^ZWZWj[^ZWZa`   g8]`tPmlH]POb i gh`cNDPRkOZ\[cgg_Uak‹[^ZFe-p`Hk)P)gg_UWb-r€g8]`

Z\[^p_r€P†k)`cNfe-ZaPml¥g_jHg]PONDg‹’»‘½`cpYPml:[^Nfe-ZaPtg_]h[^]PDP)g]_UWNt[^]_Ua`cb›‘½`cpRZ\[^p_r€P i Uag]_p_UW”-X-]P i›i jHb;[^NfUak

gjHg_]PONDg/UWbt]_K:P¨9¨ gPO]_]_UWb-r–8Ui-i POb¨9[^p_§€`Ÿ“D¨d` i POZag@—mœ`ce.Pm‘¦X-ZWZWj€’€]_K-Uag   UWZWZ.[^Zag`g_K:P i

gh`cNDP5ZWUWrsKz]<`cb[^ZWr€PO”-ph[^Uak[cg_eP)kO]g`^‘ˆ]_X-p_”`%e-p`Hk)P i X-pP)g‹œ

68ZWZ[^Za`cb-rt]_K-Uage;[^ePOp‹’;[fg_jng_]PONpPOe-pP)gPObV]g8]_K:P i Pmª:b-UW]_Ua`cb`^‘ ZaPOrz[^Z©”POK;[)“HUa`cpg8`‹“€POp5[

ghPO]8`^‘“c[^p_U\[^”-ZaP)g‹œ 6k)PObV]_ph[^Ze`cUWbz]<Uag]_K:PRe-pP)ghPOb:k)P`^‘Nt[^bzj•“s[^p_U\[^”-ZaP)g‹’   K-UWZaPR]_K:PYb:`c]_Ua`cb

`^‘ ˜™”POK;[)“HUa`cp"šk‹[^bd”.Pg_e.P)kOU¤ª;P i ]`tk‹[^e-]_X-pPNt[^bzjdg_UW]_X;[^]_Ua`cb:g5`^‘/UWbz]POpP)g_]‹œ 3FPO]<X:g<”-p_UaPm³:j

NDPObV]_Ua`cbd]_K-pP)PPml-[^Nfe-ZaP)gŸœ¢¶ˆUWpg_]<`^‘/[^ZWZ &#(%) .OÁ"Âc¯);Á .S/.OÁ™² .m’   K-UakhK i Pmª:b:PY]_K:PRePOp_NfUW]_]P i

]_X-e-ZaP)g`^‘R“s[^ZWX:P)g =f‘¦`cp†“c[^p_U\[^”-ZaP)g =’”Vj¬NDP‹[^b:g`^‘RUWb:P2zX;[^ZWUW]_UaP)g‘½`cp

Pml:[^Nfe-ZaPsœ JLK:PLk)`cNY”-UWb;[^]_Ua`cbt`^‘k)`cb:g]_ph[^UWbz]/g_jng_]PONDgˆUag g_UWNfe-ZWj i `cb:P¢”zjg_K;[^p_UWb-r5“c[^p_U\[^”-ZaP)g©®

[Z\[^p_r€Pfk)`cb:g]_ph[^UWbz]Yg_jng_]PON Uag5]_KVX:gR`c”-]h[^UWb:P i ”Vjdrz[^]_K:POp_UWb-r}Za`Hk‹[^Z/k)`cb:g_]_ph[^UWbV]gY`cePOph[^]_UWb-r

`cb [µg_Nt[^ZWZbzX-NY”POp}`^‘Y“s[^p_U\[^”-ZaP)g‹œ1THP)k)`cb

i

ZWj€’Â%%(1 _Â%) "(9 ¢²OÃ"/.O’8`cp]_K:P9pPOZ\[^]P

i

<Â1z² .m¯¦Â%) ).²OÁ (% .O’   K-UakK¥k‹[^b¡”PpPOrz[^p i P i [cg<˜Ðg`^‘B]"šk)`cb:g_]_ph[^UWbz]YgjHg_]PONDg! *)‹‚#"™œ -“€POp_j

k)`cNfe`cb:PObz]†b:`c]t`cb-ZWj i Pmª:b:P)gDe`sgg_UW”-ZaP“s[^ZWX:P)g$ =%&f`cb¸[g_X-”:gPO]t`^‘5“s[^p_U\[^”-ZaP)g('Ÿ’

”-X-][^Zag`­[cghg_UWrsb:g†[)À²m¯1VÁ]`­P‹[ckK·]_X-e-ZaPs’

 

K-UakK·UagtpPOZ\[^]P

i

]`¥UW]g†ZWUW§€POZWUWK:`V`

i œ 3F`Hk‹[^Z

  POUWrsKz]À‘BX-b:kO]_Ua`cb:gL`^‘Fk)`cNfe`cb:PObz]gLk‹[^bt”P8k)`cN”-UWb:P i UWbV]`[Re-p`c”;[^”-UWZWUW]™j i Uag_]_p_UW”-X-]_Ua`cb•`Ÿ“€POp

[^ZWZ5“s[^p_U\[^”-ZaP)g}[^e-e.P‹[^p_UWb-r¼UWb ]_K:Pk)`cNfe`cX-b i gjHg_]PON –i PO]h[^UWZag•`^‘Y]_K-Uag•k)`cb:g]_p_X:kO]_Ua`cb [^pP

rsUW“€POb9UWb¡gP)kO]_Ua`cb¡unœunœu€—mœJLK:P]_K-UWp i Pml:[^Nfe-ZaPYUagND`cpP%`cbd]_K:Pg_Ui P`^‘ "1%)Â1%¯&.S/.mÁ™²P.Oœ

6k)`cNfe.`cb:PObV]dk‹[^b(”Pk)`cb:g_Ui POpP i [cg[ –Be`sgg_UW”-ZWj g_]`HkK;[cg_]_UakŸ—[^X-]`cNt[^]`cb g_eP)kOU¤‘BjHUWb-r

Za`Hk‹[^Z i jHb;[^NfUak)g`cb [¼g_X-”:ghPO]}`^‘“s[^p_U\[^”-ZaP)g‹œ 6<rz[^UWbF’5k)`cNfe.`sg_UW]_Ua`cb k‹[^b(”.P i Pmª:b:P i ”zj

gK;[^p_UWb-r¬“c[^p_U\[^”-ZaP)gŸ’

 

K-UakhK NDP‹[^b:g]_K;[^]•]

 

`¸k)`cNfe.`cb:PObV]gK;[‹“VUWb-r·[žk)`cNfND`cb “s[^p_U\[^”-ZaP

k‹[^bµ”`c]_K­kK;[^b-r€P]_K:P†“c[^ZWX:P`^‘]_K-Uag“c[^p_U\[^”-ZaP†”zj¥ª:p_UWb-r9`cb:P`^‘]_K:POUWp%]_ph[^b:g_UW]_Ua`cb:g‹œ9JLK-Uag

i Pmª:b-UW]_Ua`cbµND` i POZagY]_K:PPmlnkhK;[^b-r€P†`^‘UWbn‘½`cp_Nt[^]_Ua`cbµ”.PO]   P)POb¼k)`cNfe.`cb:PObV]g‹’/[^b i [^ZWZa`   g]`

i P)gUWrsb i Uag_]_p_UW”-X-]P ii jHb;[^NfUakg_jng_]PONDg* *)OQ+"™œ¨9`cpPRUWbz]POpP)g]_UWb-rsZWj€’p_X-b:g`^‘]_K:P)gP i jHb;[^NfUak

gjHg_]PONDgtk‹[^b¬”.P`c”-]h[^UWb:P i ”zj¼k)`cNfe`sg_UWb-r¥Za`Hk‹[^Zp_X-b:gt`^‘,]_K:POUWptk)`cNfe`cb:PObz]gŸ’[cgtg_K:`   b

UWb, *)‹y%"™œ

3©[^p_r€PDg_jng_]PONDgR[^pP%r€POb:POph[^ZWZWjUWbz]_ph[ckO]h[^”-ZaP[cgY[

 

K:`cZaPs’

i

X:P%]`]_K:PfPmlne-Za`sg_Ua`cb›`^‘¢]_K:P

bVX-NY”POpR`^‘ ˜Ðg_]h[^]P)g‹’š   K:POpP%[†g_]h[^]PUag5`cb:Pk)`cbnª:rsX-ph[^]_Ua`cb­`^‘Ë]_K:PgjHg_]PON}’‘½`cpPml:[^Nfe-ZaPf[

]_X-e-ZaPf`^‘L“s[^ZWX:P)g5‘¦`cpY[^ZWZ“s[^p_U\[^”-ZaP)g,UWb¡]_K:Pfk‹[cgPf`^‘k)`cb:g_]_ph[^UWbV]g_jng_]PONDg‹œ¶:`cp_]_X-b;[^]POZWj€’ˆ`cb:P

Uagr€POb:POph[^ZWZWj›b:`c]UWbz]POpP)g]P

i

UWbžg_]_X

i

jHUWb-r[Z\[^p_r€Pg_jHg]PON.-1[cg%[

 

K:`cZaPs’”-X-]ph[^]_K:POp%UWb

/10

J3254SJ647#78:9:;4<19:=SJ>@?%ABCBD9:254CEA7F1=;@A@>G>G97JC?H48:8H<1I78:A@>J4KF1AL7+AMF12N9O<G<1APQB

(8)

X-b i POpg]h[^b i UWb-r]_K:PUWbn³:X:POb:k)P%`^‘/]_K:Pk)`cNfe-ZaPO]P%g_]_p_X:kO]_X-pP%`cb`cb:P`^‘/UW]g5k)`cNfe`cb:PObz]g-"’

`cpL`cb•[Rg_X-”:gPO]L`^‘F“s[^p_U\[^”-ZaP)g‹œ  P<k‹[^ZWZ.]_K-UagL`ce.POph[^]_Ua`cb]_K:P_²#"%$'&‹Á¦¯(%)D`^‘]_K:P8rsZa`c”;[^Zg_jng_]PON

]`}[ghPO]5`^‘L“s[^p_U\[^”-ZaP)g‹œ%¾™b¡]_K:Pfk‹[cgPf`^‘Lk)`cb:g_]_ph[^UWbz]g_jHg]PONDg‹’‘½`cp5Pml:[^Nfe-ZaPs’F]_K:P%pP i X:kO]_Ua`cb

`^‘ -(]`]_K:P%“c[^p_U\[^”-ZaP)g,`^‘Lk)`cNfe.`cb:PObV] - k)`cNfe-UWZaP)g,]_K:P%k)`cb:g_]_ph[^UWbV]gYk‹[^p_p_UaP

i

”zj[^ZWZ`c]_K:POp

k)`cNfe`cb:PObz]gR[^”`cX-] - œ¶:`cp5¨9[^p_§€`Ÿ“}ª;POZi g‹’pP i X:kO]_Ua`cb¥k‹[^b9POb:k)` i P]_K:Pk)`cNfe-X-]h[^]_Ua`cb¥`^‘

]_K:PNt[^p_rsUWb;[^Z i Uag_]_p_UW”-X-]_Ua`cb`^‘»[Rg_X-”:gPO]Ë`^‘“c[^p_U\[^”-ZaP)gŸœ¨d`cpP)`Ÿ“€POp‹’zU¤‘»g`cNDP“s[^p_U\[^”-ZaP)g¢[^pP8gPO]

]`f[e;[^p_]_UakOX-Z\[^p“s[^ZWX:Ps’npP

i

X:kO]_Ua`cb•e-p`‹“HU

i

P)g]_K:Pe.`sg_]POp_Ua`cp

i

Uag_]_p_UW”-X-]_Ua`cbd`^‘g`cNDP“c[^p_U\[^”-ZaP)g

k)`cb i UW]_Ua`cb;[^ZWZWj•]`%]_K:P)ghP,“c[^ZWX:P)gŸœ/¨9[^bVj[^e-e-ZWUak‹[^]_Ua`cb:g<UWb}UWNt[^r€P,e-p`Hk)P)gg_UWb-r:’:UWb}PmlHePOp_]8g_jng"£

]PONDgŸ’[cg   POZWZ/[cg<]_K:P i P)k)` i UWb-r}`^‘Àg`cNDP%POp_p`cp,k)`cp_pP)kO]_UWb-r}k)` i P)g5k‹[^b]_KzX:g5”P%PmlHe-pP)ghgP i

[cgf[dpP

i

X:kO]_Ua`cb¼e-p`c”-ZaPON *)9)€’ )‹un’ˆQ:’ƒ#"™œ¥¶ˆUWb;[^ZWZWj€’UWbž]_K:P•k‹[cgP†`^‘

i

Uag_]_p_UW”-X-]P i¼i

jHb;[^NfUak

gjHg_]PONDgŸ’`cb:Pk)`cX-Zi ”.PYUWbz]POpP)g_]P i UWb9pP)kOX-pg_UW“€POZWjP)g_]_UWNt[^]_UWb-r]_K:P%g_]h[^]P`^‘ËP‹[ckK¡k)`cNfe`^£

b:PObV]‹’€rsUW“€PObtgh`cNDP`c”:gPOp_“c[^”-ZaPPO“€PObV]gËk)`cZWZaP)kO]P if  K-UWZaP]_K:Pg_jHg]PON Uag p_X-b-b-UWb-r:œ68rz[^UWbF’z]_K-Uag

e-p`c”-ZaPON4k‹[^bµ”.P†g_]h[^]P

i

[cg[pP

i

X:kO]_Ua`cb¼`ce.POph[^]_Ua`cb *)5n’ )‹{"™’[^b

i

Uagf[ckO]_X;[^ZWZWj­[dk)PObz]_ph[^Z

ND`c]_UW“s[^]_Ua`cb`^‘ ]_K:P,e-pP)gPObV]e;[^e.POp‹œ

JLK:P}pP i X:kO]_Ua`cb `ce.POph[^]_Ua`cb [^e-e-ZWUaP i ]`µ[¥k)`cNfe`cX-b i gjHg_]PON Uagtºo £±K;[^p i [^b i ]_KzX:g

X-b;[»`cp i [^”-ZaP‘½`cpÀZ\[^p_r€P5g_jng_]PONDg‹œ ¶:`cp_]_X-b;[^]POZWj€’-r€`H` i [^e-e-p`‹lHUWNt[^]P,pP i X:kO]_Ua`cb[^ZWr€`cp_UW]_K-NDg

K;[‹“€P”P)POb¸PO“HUi POb:k)P i ‘½`cpt]_X-p_”`^£™k)` i P)g‹’[‘±[^NfUWZWj¬`^‘RPOp_p`cpk)`cp_pP)kO]_UWb-ržk)` i P)g Q;’Ëy-’Àƒ"™œ

JLK:P)ghP˜™]_X-p_”.`­[^ZWr€`cp_UW]_K-NDg"š i `¡b:`c]t`cePOph[^]P i UWpP)kO]_ZWj¼`cb¬]_K:P•Z\[^p_r€P}gjHg_]PON -’Ë”-X-][^pP

ph[^]_K:POp”;[cghP i `cb•Za`Vk‹[^ZFk)`cNfe-X-]h[^]_Ua`cb:g[^]]_K:P5ZaPO“€POZF`^‘ˆP‹[ckKdk)`cNfe.`cb:PObV]‹œËJLK:P,g_]_pPOb-rs]_K}`^‘

]_K-UagR[^e-e-p`€[ckhK›Uag5e-pP)kOUagPOZWj9]`•k)`H`cp i UWb;[^]PfZa`Vk‹[^Z/k)`cNfe-X-]h[^]_Ua`cb:gYUWbz“€`cZW“HUWb-rg_Nt[^ZWZ/g_X-”:ghPO]g

`^‘“c[^p_U\[^”-ZaP)g‹œ -lnk)POZWZaPObV]}k)`cbz“€POp_r€POb:k)P¡pP)g_X-ZW]gK;[‹“€P”.P)POb PO“VUi POb:k)P i UWb·e-ph[ckO]_Uak)Ps’5[^b i

pP)ghP‹[^pkK•Uagg_]_UWZWZF[ckO]_UW“€P5]`X-b i POpg_]h[^b i ”PO]_]POp]_K:P)gPe-p`ce.POp_]_UaP)g‹œ¾Ðb]_K:Pª;POZi `^‘ i jHb;[^NfUak

gjHg_]PONDgŸ’]_X-p_”`•[^ZWr€`cp_UW]_K-NDg,b;[^]_X-ph[^ZWZWjrsUW“€Pp_UagP]` i Uag_]_p_UW”-X-]P i ND`cb-UW]`cp_UWb-r[^ZWr€`cp_UW]_K-NDg‹’

‘½`cpPml-[^Nfe-ZaP9UWb·“VUaP   `^‘P)g_]_UWNt[^]_UWb-rž]_K:Pg_]h[^]P`^‘P‹[ckhK k)`cNfe`cb:PObz]‹œ JLK:POjb;[^]_X-ph[^ZWZWj

i P)ghkOp_UW”.P%]_K:PDgh`^£™k‹[^ZWZaP i (%!&n² .OÁ"ÂsÁ¦¯(%) us|"/e;[^p_]Y`^‘k)`cNfe-X-]h[^]_Ua`cb:g‹’À¯½°B²‹°   K;[^]Yg_K:`cX-Zi ”P

k)`cNfe-X-]P i Za`Vk‹[^ZWZWj€’   K;[^]8UWbn‘¦`cp_Nt[^]_Ua`cb9g_K:`cX-Zi ”P,PmlnkhK;[^b-r€P i ’[^b i•  K:PObFœ

JLK:P†e-X-p_e`sgP`^‘8]_K-Uage;[^e.POp%Uag]`de-p`‹“HUi P}[^bž[^e-e-p`ce-p_U\[^]P}[^”:g_]_ph[ckO]‘¦ph[^NDP   `cp_§µ]`

i P)ghkOp_UW”.P[^b i g]_X i j¡]_K:P)gP[^ZWr€`cp_UW]_K-NDgŸ’pPOrz[^p i ZaP)gg%`^‘]_K:P[^e-e-ZWUak‹[^]_Ua`cbžª;POZi œ  Pf‘½`HkOX:g

UWb¡e;[^p_]_UakOX-Z\[^p`cb›[NfUWb-UWNt[^ZËgPO]R`^‘L[lnUa`cNDgt–¦gP)kO]_Ua`cb›u€—`cb¥k)`cNfe`sg_UW]_Ua`cb­[^b i pP i X:kO]_Ua`cb

]_K;[^][^ZWZa`   ]_K:P[^ZWr€PO”-ph[^Uak i POp_UW“s[^]_Ua`cb­`^‘L]_X-p_”.`9[^ZWr€`cp_UW]_K-NDg–¦ghP)kO]_Ua`cb­‚€—mœ  P†[^Zag`}g_]_X i j

UWb i PO]h[^UWZagDe-p`cePOp_]_UaP)g†`^‘,g_]h[^]_Ua`cb;[^p_j¼e`cUWbz]gt`^‘,]_K:P[^ZWr€`cp_UW]_K-N(®dK:`   ‘½[^p†k‹[^b   P]_p_X:g_]

]_K:PON  P/e-p`‹“HUi P[^b:g   POpgUWb]POp_NDg`^‘;Pmln]POb i UW”-UWZWUW]™j%[^b i Za`Hk‹[^ZH`ce-]_UWNt[^ZWUW]ÐjY`^‘:”.POK;[‹“VUa`cpg

pPONt[^UWb-UWb-r¡UWbž]_K:P•[^e-e-p`)lnUWNt[^]POZWjµpP i X:k)P i k)`cNfe.`cb:PObV]g–¦gP)kO]_Ua`cbžQV—m’   K-UakK¼r€POb:POph[^ZWU‹P

pP)gX-ZW]g%e-pP)gPObz]P i UWb *)E"™œ­oˆ[^p_]_UakOX-Z\[^p[^]_]PObz]_Ua`cb¬Uag%e;[^Ui ]`k)`cb:g_]_ph[^UWbV]tg_jng_]PONDg‹’   K-UakK

k‹[^b¸”.Pk)`cb:g_U

i

POpP

i

[cgt]_K:Pg_UWNfe-ZaP)g]D‘¦ph[^NDP

 

`cp_§’,¯½°B²‹° [cg†[¡”POb:kK-Nt[^p_§¬‘¦`cpDpP

i

X:kO]_Ua`cb

[^ZWr€`cp_UW]_K-NDgŸœR¾™b9e;[^p_]_UakOX-Z\[^p‹’FPmln]_ph[DpP i X:kO]_Ua`cb›[^ZWr€`cp_UW]_K-NDgYk‹[^bd”P i POp_UW“€P i ‘½`cp]_K:PON}’F[^b i

k)`cbV“€POp_r€POb:k)P8k‹[^bf”PLe-p`‹“€P i œ 3FPO]ËX:gg_]_pP)gg]_K;[^]]_K:P¢‘½`VkOX:g/Uag`cbf]_K:P8[^ZWr€PO”-ph[^Uakg_Ui P`^‘.]_K:P

VX:P)g_]_Ua`cbF’

 

K-UakK¼[^ZWpP‹[

i

j¡jVUaPOZ

i

gUWbz]POpP)g]_UWb-rdpP)g_X-ZW]gŸœ¨9`cpPtgX-”-]_ZaPDe-p`cePOp_]_UaP)g`^‘]_X-p_”`

e-p`Hk)P i X-pP)gpPOZ\[^]P i ]`t[^b;[^ZWjV]_Uak‹[^Zˆ[cg_e.P)kO]g<[^pPR`cX-]`^‘ˆ]_K:PYgk)`ce.P,`^‘ ]_K-Uage;[^ePOp‹œ

(9)

,37 &:+,&-!./$'& 73 !# 3©!

%/$

‰‹Œn‰"!É

‡ JLK:Pg_jHg]PONDg   Pk)`cb:g_Ui POp%`cePOph[^]P†`cbžgPO]g`^‘“c[^p_U\[^”-ZaP)g‹œË[^p_U\[^”-ZaP)gf[^pP

i

POb:`c]P

i

”zj¼k‹[^e-UW]h[^Z8ZaPO]_]POpg©® Àv<P)g_eP)kO]_UW“€POZWj€’À]_K:POjž]h[^§€P•“s[^ZWX:P)g #3ÀUWb

i `cNt[^UWb:g 5 Ë[^p_U\[^”-ZaPgPO]g8[^pP i POb:`c]P i ”zj•gkOp_UWe-]ZaPO]_]POpg=G?%  P

i Uag]_UWb-rsX-Uag_K­UWbže;[^p_]_UakOX-Z\[^pD[dgPO]9`^‘<g_jng_]PON “s[^p_U\[^”-ZaP)g‹’Ë[^b i [dgPO] `^‘<[^XnlnUWZWU\[^p_j

“s[^p_U\[^”-ZaP)g *8]_K:P•Z\[^]_]POp†k‹[^b¸”.P•PONfe-]Ðj€œ·JLK:POUWp†pP)g_eP)kO]_UW“€P}p`cZaP)g

 

UWZWZ<”.Pg_e.P)kOU¤ª;P

i

Z\[^]POp‹œ

6<ZWZ“s[^p_U\[^”-ZaP)g,ZWUaP%UWb !#" œ 3©PO]%$'&8=# (D”.PD[“s[^p_U\[^”-ZaPDgPO] *ˆ[7.mÁ±ÂsÁ™²¬–¦`cp

&5(%)I%$ _ÂsÁ¦¯( )H—*)dUagË[<‘BX-b:kO]_Ua`cb†]_K;[^]À[cgg_UWrsb:g/]`RP‹[ckKD“s[^p_U\[^”-ZaP8`^‘+¬[“c[^ZWX:P8`^‘.UW]g i `cNt[^UWbFœ

+¢jD[^”-X:gP`^‘»b:`c]h[^]_Ua`cb:g‹’   P8pPOe-pP)gPObz]Lg_]h[^]P)g¢[cg/]_X-e-ZaP)g,) $ =%&m’H[cgg_X-NfUWb-r]_K:POpP

PmlnUag_]gg`cNDP/b;[^]_X-ph[^Zn`cp i POp_UWb-r`cb“c[^p_U\[^”-ZaP)gˆ`^‘-’s[^b iY  P i POb:`c]PÀ”zj##.$/103254646472869

]_K:P i `cNt[^UWb9`^‘ˆ]_K:P)ghP,g_]h[^]P)g‹œ

:<;>= ?A@-B8CDFEGDIHCJ

$ K Œ-‡"!BŽ}ŒMLG!É ¥‡

 P%k)`cb:g_Ui POpR[^b¥[^”:g_]_ph[ckO],b:`c]_Ua`cb¡`^‘¢gjHg_]PON}’.r€POb:POp_Uak‹[^ZWZWj i POb:`c]P i ”zj-œRJ©`K:POZWe¡UWbV]_Xn£

UW]_Ua`cbF’ˆg_jng_]PONDgRk‹[^b¥”Pfk)`cb:g_Ui POpP i [cgYg_]h[^]PfgPO]gŸ’/¯±° ²‹°[cg–Be.`sggUW”-ZWjdUWbnª:b-UW]PŸ—Rg_X-”:gPO]gR`^‘

#.NPOQR2#S¥œ<TVjng_]PONDg5[^pPYe-p`Ÿ“VUi P i9  UW]_K]   `”;[cg_Uak`ce.POph[^]_Ua`cb:g©®[ &#(1 -'(%.@¯¦Á¦¯(%) Z\[   ’

[^b i [LgPO]©`^‘ _²!" $'&)Á¦¯ (%)`ce.POph[^]`cpgŸœJLK:P/k)`cNfe`sg_UW]_Ua`cbY`^‘-g_jng_]PONDg‹’ i POb:`c]P i ”zj -T$ - =VU - ? ’

Uag<k)`cNfNYX-]h[^]_UW“€P%[^b i [cggh`VkOU\[^]_UW“€Psœ¢JLK:P5‘±[^NfUWZWj}`^‘ˆpP i X:kO]_Ua`cb`ce.POph[^]`cpg&XWY. [Z\!3(

UagUWb i PmlnP i ”zj•gPO]g8`^‘“s[^p_U\[^”-ZaP)g *:pP i X:kO]_Ua`cb:g`cePOph[^]PY`cbd[fgUWb-rsZaPRg_jng_]PON(® -]^$_W . -Nmœ

+[cg_Uak‹[^ZWZWj€’:pP

i

X:kO]_Ua`cbdk‹[^e-]_X-pP)g]_K:PRUWbn³:X:POb:k)PR`^‘[Dg_jHg]PON `cb[fkK:`sgPOb“c[^p_U\[^”-ZaPRghPO]‹œ

 P

[cghg_X-NDP,k)`cNfe.`sgUW]_Ua`cbd[^b i pP i X:kO]_Ua`cbdg@[^]_Uag"‘Bj†]_K:P5‘½`cZWZa`   UWb-r[lnUa`cNDg‹œ

` = ? Za W . 0cbdW .Ge $fW . 0Ig .Ge –½[4)Ÿ—

 

K-UakhKPmlne-pP)ggP)g]_K;[^]pP

i

X:kO]_Ua`cb9`ce.POph[^]`cpg[^pPR[ckO]_X;[^ZWZWje-p`^q"P)kO]_Ua`cb:g‹œ

` -3h3\Zi!kjlW. - m$ - –½[su€—

TVjng_]PON - Uag5gh[^Ui ]` ( --² "ÂsÁ™² (%) ^Â%@¯½Â mÃa² .(n5œ68lnUa`cN4–½[4)Ÿ—UWb i X:k)P)g5]_K:PPmlHUag_]POb:k)P%`^‘

[gNt[^ZWZaPOpRgPO]R`^‘¢“s[^p_U\[^”-ZaP)gY`cb   K-UakhK,- `cePOph[^]P)g‹’ i POb:`c]P i ”zjo!pœ%JLK:PDk)PObV]_ph[^ZÀ[lnUa`cN

k)`cb:k)POp_b:g¢]_K:P8pPOZ\[^]_Ua`cb†”PO]

 

P)PObk)`cNfe`sg_UW]_Ua`cb•[^b

i

pP

i

X:kO]_Ua`cbFœ83©PO] - =- ?”P]

 

`%g_jng_]PONDg

`cePOph[^]_UWb-rDpP)g_eP)kO]_UW“€POZWj•`cbq=G?s’n]_K:POb

` r5sa=ctuG? WY.v+ - = U - ?A$fWY.1v+ - =E U WY.v - ? –½[s‚€—

JLK-UagUag}[­§HUWb i `^‘k)`cb i UW]_Ua`cb;[^Z i Uag_]_p_UW”-X-]_UW“HUW]™j·e-p`cePOp_]™j `^‘wW   UW]_K pP)g_eP)kO]•]` U œ1¾Ð]

Pmlne-pP)ggP)g¢]_K;[^]]_K:PUWbz]POph[ckO]_Ua`cb”.PO]   P)PObg_jng_]PONDg - =[^b i - ?UagLk)`cNfe-ZaPO]POZWjk‹[^e-]_X-pP i ”zj

]_K:POUWpRgK;[^pP i “s[^p_U\[^”-ZaP)g#=,tqI?^’   K-UakK¡]_KzX:gY`ce.POph[^]PD[cgR[^bUWbz]POp"‘±[ck)Pf”PO]   P)POb¥]_K:P]   `

(10)

gjHg_]PONDg^œ v<POe-Z\[ckOUWb-r*-»”Vj W . - `cb†]_K:P8p_UWrsKV]ÀK;[^b i g_Ui P8`^‘Ë–½[s‚€—m’-[^b i [^e-e-ZWjHUWb-r•–½[4)Ÿ—m’

`cb:PRr€PO]g

` r5sa<=t G? WY.

v

- = U - ?f$ W.

vg . 0

- =E U W.

vg

.e - ? –)Ÿ—

Jˆ[^§VUWb-rrn$/= "uG?UWb›–)Ÿ—¢jHUaPOZi g

W . 0 .Ge - = U - ? $ W . 0 - = U W .Ge - ?

$ - = U - ? –½u€—

  K-UakhKPmlne-pP)ggP)gË]_K;[^] - = U - ?8`ce.POph[^]P)g¢`cbt“s[^p_U\[^”-ZaP)gÀ`^‘ = "G?cœ 6gÀ[,Z\[cg_]¢[lnUa`cN UWb†]_K-Uag

ª:pg]rsp`cX-eF’   PY[cghg_X-NDP,]_K:PRPmlnUag_]POb:k)P,`^‘/[^b}Ui PObz]_UW]Ðj}POZaPONDPObz]L‘½`cpk)`cNfe`sg_UW]_Ua`cbR®

` - - U k$ - –½[^QV—

¾Ð]FUagb;[^]_X-ph[^ZV]`<pP2VX-UWpP/]_K;[^]

i

`<b:`c]`cePOph[^]PÀ`cb%[^bzjR“s[^p_U\[^”-ZaPs’H¯½°B²‹°c c$n’c`cp WH +P$Vœ

–61ND`cpPPOZaPOrz[^bV],e-p`ce.POp_]Ðj   `cX-Zi ”P ` -W -Nn$V’z”-X-]   Pf[ckO]_X;[^ZWZWj i `cb ]5b:P)P i ]_K-Uag

g]_p`cb-r€POpË[cgg_X-Nfe-]_Ua`cbfUWb%]_K:PgP2VX:POZ±œ— +¢j–½[4)Ÿ—m’s]_K-Uag UWb i X:k)P)g,WY. + $ˆ‘¦`cp/[^ZWZ-/Za!:œ

6g[fk)`cb:gP2VX:POb:k)Ps’

` - ` \Za - U WY.L % $ - –½‚€—

v8PONt[^p_§œJLK:PL‘½`cp_N1`^‘ –½[s‚€—kOZaP‹[^p_ZWjpPONfUWb i g¢[5k)`cb i UW]_Ua`cb;[^Z:UWb i POe.POb i POb:k)P<g_]h[^]PONDPObz]‹œ

JLK-Uag5UWbV]POp_e-pPO]h[^]_Ua`cb¥NYX:g],”.PkOZ\[^p_U¤ª;P i K:`   PO“€POp‹œWY.v% - =E8NX:g_]_b ],”.PpP‹[ i [cg]_K:PY˜™pPm£

Nt[^UWb-UWb-r”POK;[)“HUa`cp"š`^‘ - =`cb:k)P“s[^ZWX:P i [^pPYª-lnP i ‘¦`cp“s[^p_U\[^”-ZaP)g`^‘,cr^œ bd]_K:Pk)`cbz]_ph[^p_j€’

WY.

v

- =ERkK;[^ph[ckO]POp_U‹P)g]_K:P%˜™Nt[^p_rsUWb;[^Z¢”POK;[)“HUa`cp"št`^‘L“s[^p_U\[^”-ZaP)gcrfUWb,- =Ÿœº<PO“€POp_]_K:POZaP)ggŸ’

–½[s‚€— i `HP)g,PmlHe-pP)ghg<]_K;[^]- = [^b i - ? K;[‹“€P%b:`UWbz]POph[ckO]_Ua`cb›`cX-]g_Ui P“s[^p_U\[^”-ZaP)g,`^‘ r œ 6g,[

k)`cb:ghP2zX:POb:k)Ps’nrsUW“€POb}[“c[^ZWX:P5)!r8‘¦`cpL“s[^p_U\[^”-ZaP)g`^‘crc’H]_K:PpPONt[^UWb-UWb-rf”.POK;[‹“VUa`cpg`^‘ =,r

[^b i ? 8 r UWb - = [^b i - ? pP)g_eP)kO]_UW“€POZWj•[^pPRUWb i POe.POb i PObV]‹œ

$ $ E É

:©‰"!FEG!\‰

Æ

 P/ª:b;[^ZWZWjRUWbz]_p` i X:k)PL[Z\[cg_]e-p`ce.POp_]Ðj   K-UakK   UWZWZz”PËg@[^]_Uag"ª;P i ”VjY`cb-ZWj,e;[^p_]`^‘:]_K:P¢g_jng_]PONDg

 

PRk)`cb:g_U

i

POpUWb•]_K:PYgP2zX:POZ±œË¿¢`cNfe`sg_UW]_Ua`cbdUaggh[^U

i

]`f”P%¯)(cÃ$HÁ¦¯^²U

` - ` 3- U W. -NA$ - –½[95€—

¯±°B²‹°fk)`cNfe`sg_UWb-rd[g_jng_]PON   UW]_K˜™e;[^p_]`^‘¢UW]gPOZ¤‘_š i `VP)gb ]RkK;[^b-r€PD]_K;[^]g_jHg]PON}œ  P   UWZWZ

gh`cNDPO]_UWNDP)gg@[)j•]_K;[^] W . - Uag% . ( ²#" -<œ ”:ghPOp_“€PY]_K;[^]‹’.UWb¡[^bUWbz“€`cZWX-]_UW“€PfghPO]_]_UWb-r:’

WY.L %$k)`cNDP)g5[cg[Dk)`cb:gP2VX:POb:k)P`^‘/UWbz“€`cZWX-]_UW“HUW]™j€œ¾™bV“€`cZWX-]_UW“VUW]Ðj}Uag[tg_]_p`cb-rte-p`cePOp_]™j€’

[^b i› 

UWZWZË]_X-p_bž`cX-]Y]`”.Pt[}e.`

 

POp"‘¦X-ZÀ]`H`cZËUWb­]_K:PtgP2VX:POZ±œ3FPO]X:gRNDPObz]_Ua`cb¼g`cNDP†`^‘UW]g

UWNfNDP i U\[^]Pk)`cb:gP2VX:POb:k)P)gK:POpPsœ

0J <#A >GAIAM8?DA 9:882N=><18:6I#>GA 4#9:=2! 4#"#$% 9O<'&

v(

&

0*)

& e ? 4SJP+&

(

&-,#.MB/0>GAMF1(A 48:>G=

<%4<? CE921(A J3 454?4#6#$ ? 9O< 9:> AJ=IC# <1= >< 4K<1A7 4#"8$9=F:&

0 ) &

e;

& v ; &

0*<

& e

?&9O< <A J A=<1AJP#> <1= 48:8

&

v?>

&

0@)

& e B

(11)

ËÅ ¥Œ .5.0$ ) Â

- = U - ? $ - = ` /Za 8 W . - = U W . - ? $ W . - = –BQV—

DYŠ É»É 2 º<`c]_Uak)Pª:pg_]]_K;[^]- = U W.L - ?n$ - = U - ? U WY.L - ?n$ - = U - ?$ - =‹œ,JLK:PObF’

gUWb:k)PwWY. - ?<`ce.POph[^]P)gR`cb 5’/–½[s‚€—5[^e-e-ZWUaP)gY[^b i jHUaPOZi g#W. - =EY$ WY. - = U W.L - ?5$

WY.L - =E U W. - ?mœ

ËÅ ¥Œ

$

.5.0$ ) Â/ÃW²OÁ - ( --² "ÂsÁ™²(%) ËÁn²0)

-T$ - = U U - -T$ WY. 0 -N U U WY.5 - –5€—

¾Ðb­`c]_K:POp   `cp i gŸ’ U¤‘5- )Â&)Á ( @¯Ÿ² .O’ˆ]_K:P ²!"%$ &h²!"k)`cNfe.`cb:PObV]g - ]

W . - RrsUW“€P[^b:`c]_K:POp

‘±[ckO]`cp_UŸ[^]_Ua`cbd`^‘-<’nb;[^NDP i ]_K:P &Â%) ( ):¯&hÂcÃ:)Â&)Á(%m¯ŸÂsÁ¦¯ (%);œ

DYŠ

É»É 2

¾™]pPOZWUaP)g`cbµ–½[s‚€—.®,W.K -N,$ - U

W. !

" -

mœ/JLK:POb

#

W.K - f$

# - U%$

#

WY.

#

&

" -

(' –½{€—

+¢jDUWbV“€`cZWX-]_UW“VUW]Ðj€’;PO“€POp_j†]POp_N WY. )&

" -

/Uag[^”:gh`cp_”.P i ”zj - ’   K:POb:k)P5]_K:P5pP)g_X-ZW]‹œ*

:<;: +-,/.10324I@^J

$ $ B É ‡)‰‹Š^Œ! ‰D‡ Æ ‡)‰ Å ›‡

¾Ðb¼]_K-Uagtk‹[cghPs’ UagtPONfe-]™j€œ 6 gjHg_]PON4Uag i Pmª:b:P i ]_K-p`cX-rsK·[gX-”:gPO]t`^‘5e.`sggUW”-ZaP•k)`cbn£

ª:rsX-ph[^]_Ua`cb:g65 Z #. N^OQ ’LK:POb:k)P-¹g_eP)kOU¤ª;P)g†k)`cb:g_]_ph[^UWbV]g`cb¬]_K:P}e`sgg_UW”-ZaP“c[^ZWX:P)gt]_K;[^]

“s[^p_U\[^”-ZaP)gLk‹[^b]h[^§€Psœ 3FPO]d]X"R8]]:”P[Ye;[^p_]_UW]_Ua`cb}`^‘!8-’-[^b i )!]G)]] i POb:`c]PR[Yg]h[^]P<`^‘

#. NPOQ $_ .87 2 .877 œLJLK:PRpP i X:k)P i gjHg_]PON - ] $ W .87 -NLUag i PO]POp_NfUWb:P i ”Vj95 ] i Pmª:b:P i

[cg

5 ] $ & ) ]

;:8j3h ) ] )

]]

<=5( –,s—

  K:POpP )!];:pPOe-pP)gPObz]gR[^ZWZˆPOZaPONDPObz]g,`c”-]h[^UWb:P i ”zj}ZaPO]_]_UWb-r]_K:P)!]]Fe;[^p_]]h[^§€P%[^bzj•“s[^ZWX:P

UWbm .877 œ ”:gPOp_“€PD]_K;[^]- ] $ W .87 - ]   K-UakK­X-b i POp_ZWUWb:P)gY]_K;[^]- ] g_e.P)kOU¤ª;P)gYk)`cb:g_]_ph[^UWbz]g

`cb9“s[^p_U\[^”-ZaP)g,`^‘,]ˆ`cb-ZWj€œ¶;`cp5gUWNfe-ZWUakOUW]™jd`^‘Àb:`c]h[^]_Ua`cb:g‹’   PUi PObz]_U¤‘¦j )!]G;:   UW]_K )!]¦’»[^b i

[ i `ce-]Ëb:`c]h[^]_Ua`cb - ] $ ]>5 ] UWbD]_K:PgP2VX:POZ±’   K:POpP5 ] Za .87 pPOe-pP)gPObz]gL[,gPO]Ë`^‘/–BZa`Hk‹[^Z—

g]h[^]P)g )!]½œ

(12)

¿¢`cNfe.`sg_UW]_Ua`cbUag i Pmª:b:P i [cg¢]_K:P<k)`cbcq"X-b:kO]_Ua`cb•`^‘k)`cb:g_]_ph[^UWbz]g i Pmª:b:P i ”VjD]   `%g_jHg]PONDg‹œ

.5UW“€POb9g_jng_]PONDg3- $ >5 8$ % ’]_K:POb - $ - = U - ?YUag i Pmª:b:P i ”zj 5 $ 5 =<t5 ?

–BpP)k‹[^ZWZ¢]_K;[^][^bµPOZaPONDPObz]R) `cp ) ;: <35 [ckO]_X;[^ZWZWj¥g]h[^b i gR‘½`cp[^ZWZÀe.`sggUW”-ZaPDPOZaPONDPObz]g

) ) ]  

K:POpPY ] $/!8, *nUWbV]POpgP)kO]_Ua`cb•Uag¢]h[^§€POb•UWb†]_K;[^]gPOb:ghPŸ—mœ

b:PP‹[cgUWZWj†kK:P)kh§Hg

]_K;[^]¢]_K:P5g_]h[^]P)gL`^‘J-¬[^pP5`c”-]h[^UWb:P i ”VjtNDPOp_rsUWb-r%e;[^UWpgL`^‘g_]h[^]P)g8) =) ?   K-UakK•k)`cUWb:kOUi P5`cb

gK;[^pP i “c[^p_U\[^”-ZaP)gn = t ? œ

JLK:P•X-b-UW]Dg_jng_]PON fUag

i

Pmª:b:P

i

”Vj5 $ #. NPOQ ’<¯½°B²‹° t[^ZWZa`

 

g†[^ZWZe`sgg_UW”-ZaP•g]h[^]P)g‹œ

”V“VUa`cX:gZWj€’ ` Z_ 8 ’PW . Uag i Pmª:b:P i ”Vj & ) ;:jM)< . (z’.gh` W . +*$Vœ ]_KzX:g

`cePOph[^]P)g`cb­b:`“c[^p_U\[^”-ZaPs’[^b i k‹[^b­”PfpPOe-pP)gPObV]P i ”Vj¥]_K:PtgUWb-rsZaPtX-b-UW“€POpgh[^ZLg_]h[^]Pf˜!:)š®

$ & :(mœ

¾™]Uag8g_]_ph[^UWrsKz]"‘½`cp   [^p i ]`DkhK:P)k§}]_K;[^]8k)`cNfe`sg_UW]_Ua`cb[^b i pP i X:kO]_Ua`cb`cbk)`cb:g_]_ph[^UWbz]5g_jng"£

]PONDg8gh[^]_Uag"‘¦j[^ZWZ»]_K:PY[^”`‹“€P[lHUa`cNDg‹œ¾Ðb•e;[^p_]_UakOX-Z\[^p‹’;k)`cb:g]_ph[^UWbz]<gjHg_]PONDg<[^pP5UWbz“€`cZWX-]_UW“€Psœ

$ $ $ Æ ‡‹‰ Å ¥‡ È !\‰"%Ž É ‡‹‰ 2 Žs‰"!É ‡

JLK:PdZ\[^]_]POp}[^pPpPmª:b:PONDPObV]g}`^‘k)`cb:g_]_ph[^UWbV]•g_jHg]PONDg‹œ  Pdb:`   K;[‹“€P $f&w(   UW]_K

6 g_jng_]PON -¬Uag i Pmª:b:P i ]_K-p`cX-rsK9[%gPO] 5 Za#. NPO Q 2 #S¡’-g`%UW]gPOZaPONDPObz]g[^pP

e;[^UWpg ) .®8)›pPOe-pP)gPObV]g[%ZaPOrz[^Zˆg_]h[^]P5‘½`cp]_K:PRg_jng_]PON}’;[^b i 5UagUW]g<[cghg`VkOU\[^]P i}  POUWrsKz]

`cp,k)`sg_]‹œ 6<g5”Pm‘½`cpPs’rsUW“€POb¡]_K:Pe;[^p_]_UW]_Ua`cbm!u$ ] " ]] ’F[–BZa`Vk‹[^Z—g]h[^]P ) ];:H m’ˆ`cp

)] À‘½`cpg_K:`cp_]‹’:g]h[^b i gL‘¦`cp8[^bVj•POZaPONDPObz] )])]]G m’   K:POpP)!]]1< . 77М

JLK:P,pP i X:k)P i g_jng_]PON'W

. 7 - ¢Uag i Pmª:b:P i ”zj]_K:PRgPO] 5]

5 ] $ & ) ] ] jh ) ]

) ]]

<=5

] $

77

7

77

X( –½y€—

JLK-Uag i Pmª:b-UW]_Ua`cb%gh[^]_Uag"ª;P)gL–½[4)Ÿ—m’”-X-]ˆUWb`cp i POpˆ]`8POb:gX-pP<–½[su€—m’   PËZWUWNfUW]ˆ`cX-pghPOZW“€P)g©]`g_jng_]PONDg

g@[^]_Uag"‘BjHUWb-r- $ W.NPOQ -Nm’   K-UakhKNDP‹[^b:gt]_K;[^] - Uag i Pmª:b:P i ”zj¬[¡gPO]†`^‘ZaPOrz[^Z]_X-e-ZaP)g

) < . NPO Q%[^b i [fk)`sg_]0$ ) &)Á¦¯ (%)t`cb•]_K:P)gP,]_X-e-ZaP)gŸœ

¿¢`cNfe.`sg_UW]_Ua`cb$-T$ - = U - ?c’   UW]_K - $ >5 m’:UagrsUW“€POb}”zj65·®

5 $ & ) qjwh ) =E <=5=^h ) P?#<=5 ?% $! !#"$ ( –½ƒ€—

  K:POpPd) i POb:`c]P)gË[^bfPOZaPONDPObz]Ë`^‘P#.

NPOQ

’€[^b i [^rz[^UWb$ ) <=5 NDP‹[^b:g]_K;[^]]_K-UagPOZaPONDPObz]

Uag©POb:k)`cNfe;[cggP i ”Vj5gh`cNDP5 ) ;:H .`^‘ 5 œˆ¿¢`cNfe`sg_UW]_Ua`cbRUag[cgg`HkOU\[^]_UW“€P/[^b i k)`cNfNYX-]h[^]_UW“€Ps’

[^b i e-p`cePOp_]™j - $ W. NPOQ - tUag]_ph[^b:g_NfUW]_]P i ]` -<œ  P9ZaP‹[)“€P¥[cg•[^b Pml-POpkOUagP9]_K:P

“€POp_U¤ª;k‹[^]_Ua`cb¥`^‘,–½[s‚€—mœ 5Uag i Pmª:b:P i ”zj9]_K:P%gPO],`^‘¢[^ZWZ e.`sggUW”-ZaPg]h[^]P)g #.1NPOQH’   UW]_K›[†bVX-ZWZ

k)`sg]L‘¦`cpP‹[ckhKd`^‘ ]_K:PON(® $ & :H%Q(mœ

”:gPOp_“€P]_K;[^]   UW]_K i Pmª:b-UW]_Ua`cb:g†[^”`‹“€Ps’Lg_jng_]PONDgD[^pPb:`c]fUWbV“€`cZWX-]_UW“€P®k)`cNY”-UWb-UWb-rž[

gjHg_]PON

 

UW]_K•UW]ghPOZ¤‘

i

`cX-”-ZaP)g]_K:PRk)`sg_]L‘¦X-b:kO]_Ua`cbFœ

TVjHg_]PONDg   UW]_K}k)`sg_][^pP5kOZa`sgPOZWjtpPOZ\[^]P i ]`%¨[^p_§€`‹“†ph[^b i `cN¹ª;POZi g‹œ 3FPO]LX:g i POb:`c]P”zj

&

]_K:Pfk)`sg_]‘BX-b:kO]_Ua`cb¥`cb¡g_]h[^]P)g ) < #.

,

`^‘¢[gjHg_]PON -<œJ[^§HUWb-r('*),+J .-

&

m’[^b i pPOb:`cp"£

Nt[^ZWU)UWb-rUW]”zj%UW]gËgX-N1`‹“€POp¢[^ZWZg_]h[^]P)g,)[^ZWZa`   P i ”zj -<’zjVUaPOZi gÀ[5e-p`c”;[^”-UWZWUW]™j i Uag_]_p_UW”-X-]_Ua`cb

Références

Documents relatifs

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST