• Aucun résultat trouvé

Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllers

N/A
N/A
Protected

Academic year: 2023

Partager "Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllers"

Copied!
33
0
0

Texte intégral

(1)

HAL Id: inria-00074138

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

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-

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,

Large Integrating formal verification methods of quantitative real-time properties into a development

environment for robot controllers

Muriel Jourdan

To cite this version:

Muriel Jourdan. Large Integrating formal verification methods of quantitative real-time properties

into a development environment for robot controllers. RR-2540, INRIA. 1995. �inria-00074138�

(2)

a p p o r t

d e r e c h e r c h e

!"$#%'&

(*),+ -(./10' 0234&5

6%7"((08953:'5;(< =>?@: 33&

Muriel Jourdan

N˚ 2540

Avril 1995

PROGRAMME 4

(3)
(4)

6%7"((08953:'5;(< =>?@: 33&

! #"%$&'()+*-,./01*2345)76*98:*;<

=>?5)&@A*;B

$7CB/B()ED4GFH/5IFH/J<LKNMOC NP#"RQE6N?*TS7UGVVOW"XMVYB(G8

Z\[^]5_G`ba(c_dfeg<h)H*98EB(Bi54jkYDG8=FI?*;'(./4Il/B(5+*25<(FI3jk*;)Hh\D56IS;B/5<)45<6*;</m

5<)#nop='()FI<)CSqS;58r0j7H*9FHsB/6*9DG8#)H/\.(8?5tjk*;)Hnu3bSv65+*qwxF5C)?*;<no./<(FIm

)?*;<(ySq*;)?*;G85z#{ht8?).(D|}H/j~)=./5<N)E)H/G8?#nu./<(FI)?*;<(bST*;)?*;G84'|€bS98?\bSTS;jk*;</3no=bS

65+*qwxF5C)?*;<Cn‚,.(<N)+*2)I)?*;6kGbS;mu)?*;7B/=B(5)+*2G8rzkƒ7./vB/B/=NF=HL*98A'(8?GD#<)H/k)?*;GD

Il/)5<(8:*;<tnxE8?|<(FH/</.(8S9</.(0b<(GDt„…*;GDmuQEN850C<(D4<t!8?|t'(ST*9F…/DIS2m

F=H/GF†*;</‡)NCS<(GDhˆE</N8‰nu4)H/GbS;mu)?*;)5B(ySS2*9F„EŠv„7‹Az{ht*TSTS2.(8+))

)H*987CB/B/NF=H\'N|3L=GbSŒIl1BS2#)†5<nu)H/4G#n./)=</.(8…65H*9F=S;G850ij7H*9FH

BiN8?G8k8?EFH(bSTS;5</G8k<)H/EB/BST*-F5C'*qST*9)?|\nŒ)H/‰)H/5|C<(D#w(<(bSTS;|0/jkŽD*98FI.(88k8?

BiN88:*;'S;L8?S;./)?*;<(85z„kH*98ET‘u’“r”g•5–T“^GbSxCB/BSq*9F5)+*2<*98—yS-8+L<B/Bi)./<*;)?|t)E*9D5<N)?*Tnu|

</5j˜G8?GIFH}D*;GFI)?*;<(8&*;<})H/tG#n^nobSŒ65?*TwxF5)+*2<Œz

™›šNœŒ?žtŸx` ^]d¡nu3bSx65+*qwxF5C)?*;<Œ0GbS;mu)?*;L8?|/8?)58r0¢8+|N<(F=H/</.(8AS9</NCG850)5Bim

ySŒS;*9F5850/'()?*9F

£o¤t¥

¦?§?¨G©

¥

¦ª«2§­¬®G¯

(5)

+' :'9 %'1%(43 0706@% 0'0'333 &

=3),+

š¢]š d

7.(8EDGFI+*26<(84D/<(8EFIpIB/B(=)ŽFI5<N)‰*;<N)55EDG8E5)H//DG8EDp65+*qwxF5C)?*;<

nuISTS;\DB/B/?*5)G8E,.(C<N)?*;)C)?*;6G84)5B(ISTS;G83./<h5<6*;</</55<N)tDb*9DC. D5m

6IS;B/Bi55<)LDB/BST*9F5)?*;<(8E'i)?*9,./p</#ƒ!$‰Š7Š—Qtz‰)=LB/B//FH/#G8?)!'(85

8?./&S./)?*TSq*98C)?*;<hD./</4Il¢)=5<(8:*;<})5B(ISTS;pD.›S9</NL8+|N<(F=H/</4QEN8…5)!D./<\./m

)?*TSLD}65?*TwxF5)+*2< 8?|Nt'iST*-,./‡</ˆE=</N85z‰.(8Y*TSqS;.(8?)=<(8\FI5))}CB/B/¢F=H/€8+./

./<3Il¢5BS245IS‚D4FI<(D.*;)4./)</!DE65H*-FI.S;G85z‚Š—5))7Il/B 5+*25<N)C)?*;<G8?)kB(./

</.(8 S!/F5F58:*;<3Dv6bST*9D5—./</7B/B//FH/…nuISTS;75)D7DGFI./6?*;—Dk</./6G.lt'(G8?*;<(8

bw(<‡D?*;5<)5kS;G8kGF=H/5F=H/G875<"5G87D/<(8vS2tDb*;</tDES-Y65?*TwxF5)?*;<\nuISqS;tDG8

8?|/8?)#5G8…)5B(8?mu5IS985z

$˜Ÿi_G]5c&%'š d 65+*qwxF5C)?*;<hnuISqS;0—8+|¢8?)#5G8W)5B(8?mu5IS9850S9</NCG8t8?|N<(F=H/</G8r0ŒS;m

*9,./G87)=5B(=ISqS;G850i'i)?*9,./

(6)

,%8+: 3:

57698:;=<>8 :?6=@3A

„kH/b*;¡n)H*987B(Bi5E*987)38?H/j H/j nuyS 5)H//D/87Cn65+*qwxF5C)?*;<hFI.S9D}'iL.(8?GD

*;< ‡=GbSWCB/BSq*9F5)+*2< G8?.(F=H 8Y*;< ='()+*-F58r0*;<~ID5)FH/GF=† )?*;‡D5B(5<(D5<)

B/B(5)?*;G85zCB tB/GF=*98?IS;|0^jk'/?*;</‡)\)H/tnu#nu<)L8?B()?*9FI.S9L</5GD/8W*;<(8:*9D

\D56IS;B/5<N)#5<N6*;</5<)Eno4'()ŽFI<)CSqS;58W<(GD ƒ!$‰Š7Š—QEDGFIHkŠvˆ4VKJ2L:0Œ<(D

jkp8+H/yj˜H/j~)no.STw/S—)H/5¡'|\.(8:*;</}tS9</.(CL<(GD}„…*;GD QEN8MDON B ƒ!V J'L<(D

8+|Nt'(CSq*9F#65?*TwxF5)+*2<})SŒ<(GD\ˆE</N8PDOQ PF R4VML:z

„kH*984Il/B(5?*;5<)#*2< 3GbSvCB/BSq*9F5)+*2< =G*-8t<‡B/Bi)./<*;)?|‡n7†*;</}},.(m

ST*;))?*;6‡<(bS;|/8:*98#" DG,.()?*;< n!)=H/B/B/=NF=H )})H/\</5GD/8r0^*;<N)5)?*;< *;<N) )H/

Il*98?)?*;</‡5<N6*;</5<)G0z;z;zi" <(D \,.(<)?*;))+*26</#" QEN84FIB*qS;5t<(DhˆE</8

)SŒB(5+no=<(FIG8A"Rn 'i)H3Q!N8k<(DˆE=</N85z/„kH*98…*987bS98?#¢D3j7b|t)#*9D5<N)?*Tnu|

BiN88:*;'S;t</5j G8+GF=H}D*2=GFI)?*;<(8k*;< )H/p=GLCn nuyS‚65?*TwxF5)?*;<Œz

ST6=@U8 V/WC8

$k'()?*9F38?|/8?)58EtH|N'/?*9Dh8+|¢8?)=58EB(5I)?*;</\*;<hGyS2mu)+*2<(D H(<(DST*;</€565<N)848

jkISTS‚8$XrFI<N)+*2<./.(8FIB/./))?*;<(8Y1z$kIST*-C'S2LC<(DLG8?|LB/Y*2</4Cnx)H/G8?78?|/8?)538

G,.*;G83h8?|/8?)5)+*-F35)H/¢D nut)H/}8?BiGF=*TwxF5)?*;< n4'()?*9F\B/BST*-F5C)?*;<(850Ano=bS

65+*qwxF5C)?*;<Cn‚)=H/I*2…Il¢GFI./)+*2<3no LFI<)?*;<N./.(8—<(DD*98FI=5)5mu)?*;4B(C*2<)—Cn‚6*;5j~<(D

ZF=*;5<)7*;BS;55<))+*2<€65k)H/4)I5)7F=H*;)GFI)./z

„kH/}ƒ!$‰Š7Š…Q 8?|/8?)5\[ƒ7B(5< $k'i)3Š—<)STS;53Š—B/./)5=muQ7*9DGD EG8­*2<^]ŽB/=m

BiN8?G8EFIH/55<)—B/B/NF=H4nu ‰H*2H/mS256IS‚8?BiGF=*qwxF5C)?*;<Dj7<L)=7*;)8 *;BS;55<))?*;<

'|hH(<*;.(8:S;|‡*;<N)=5)?*;</‡D*-8=FI5)}<(DhFI<N)?*;<./.(8t8?BiGFI)85zŒe:)4*98#'(8?GD < ./)=m

C)?*9FLFI<)SŒ)H/5|nuk)H/tDG8:*;<€<(D <(bS;|/8:*987n)H/LFI<)CSxS9bjL0(C<(D3<}GFI)?*;6

8?|/8?)538k)H/5|nuk)H/pD*98FI5)=L565<)878+B(GFI)Gz

eg<})=H*-8&B(B(5G0ijkL‰*;<N)5=G8?)GD\<S2|\<\)H/LD*98FI5)#565<N)I878?BiGFI)85z>B 4B/=GF=*2m

8?IS;|tjk7D/DG88^)H/‰B/'S;5 n/nu3bS¢65?*TwxF5)?*;<nŒD*98FI5)7565<N)8^='()—FI<N)=STS25I8

*;<(8:*9D\ƒ!$‰Š7Š—Qtz(„kH/G8+pFI<)STS;587CLFI./5<)?S;|\5B/G8?5<)GD 8k'(S;G<h./))/0

j7H*9F=HhL'/)b*;</GD 'N|3)<(8­S-C)?*;</}ƒ!$‰Š7Š—Q 8+B(GF=*TwxF5)?*;<‡nu3bST*-8+8k*;<)\8?./'(8+5)

nŒ)H/78?|<(F=H/</.(8S-C</.(_H…8?)5ISD@$`4VM'Lg0j7H/N8+&8+5<)?*9F58—‰Il¢B/G8=8?GD#*;<)538

n'(S;G<./)3)/zG„&HN.(850r*;)^*98B(88:*;'S;7)E.(8?…*2<(8­*-D#ƒ!$‰Š7Š—Qs)H/—65+*qwxF5C)?*;<)S

QE./)aDDbF cPdV'L(j7H*9F=H\H(8—Žno?*;5<(DS;|*2<)5?ngFIEjk*;)HaH—8?)5=IS z„kH*98…)NCS‚FI.S9D'(E.(8?GD3)

'/.*TS9D‡'(8?)FI)—6*25jE8kn )H/ES;'(bSFI<N)=STS;5vj‰H*-F=H€FI.S-D3'i4I*;)H/5!D*;GFI)?S;|\'(8?5=6GD

[u*Tnk)H/LG8+.S2)+*2</}C./))=<3*9848?bSTS]vŽFIB(GD\)=</)H/5ŽC./))=<\j7H*9FH‡Il/m

B/G8=8?G84)H/tB/B(5)?|zŒ„kH*98LCB/B/NF=H *-8EjkISTS;mgD/B/)GD )\FH/GF=†‡S;'(bS—B/B(5)?*;G8ŽSq*;†

(7)

Q7jk565G0)H*98‰5)H//D}DG87</)EbSTS2j˜)65+*qnu|},.(<N)+*2)I)?*;6L=GbS;mu)?*;LB/B(5)?*;G8

bS;)H/./H ›S2)n!Il/BST*-F=*;)}DIS9b|¢8tB/BiGt*;< )=H/FI<)CSqS;58+B(GF=*TwxF5)?*;< [­D./)?*;<(8r0

)?*;5./)8]z/‚*2<(8+)<(FI0b*;)jk.S9D4'(…*;<)5G8?)?*;</4)E'(7'S;k)7B/=y6—)H() )H/kIl¢GFI./)?*;<

n73'i)?*9FtB/BST*-F5C)?*;<‡*984)?*;5mu'i./<(DGD !)=H()4)H/t)?*;5mS9\'(5)?jk55<‡)H/8?)I)?*;</

Bi*;<N)8‰n)?jvtIl/GFI./)?*;<\S9bj!8…*98‰'(./<(DGDz

Q j7G| nB/6*;</ 8+.(FH˜B/Bi5)?*;G850LFI<(8­*-8+)8›*2<˜/DIST*2</˜'i)€FI<N)=STS25I8€8

„…*;GDm`EB/H(8 DQ4VP'L—" 'iNCS2GC< ./))›Il¢)5<(DGD jk*;)H )?*;}FI./<)58p" <(D

.(8:*;</LE8?|p'iST*9Fk65?*TwxF5)?*;<#)Sgzy„kH/78?|<(F=H/</.(8‚S9</.(…Q!=N8 DOB‡VM-LNH(8 '(55<

w(8+)7*;<(8?B*;GD›nu F)C)GFH(C)8 DOQE"d Lgz/e:)878?53<N)+*-F58r0/ST*;† H…8?)5ISg0ij78kIl/B/G88?GD*2<

)5=8n'(S;G<\./)C)/z5e:)—H(8A'(55<3GFI5<N)+S2|tIl/)5<(DGDjk*;)HE)?*;!FI<(8?).(FI)k<(D

*;)8#8?5<)?*9F58LFI.S9D‡</j 'iIl¢B/=G88?GD *;<)58‰n&„v*2GDm`!B/H(8rz „kH/ˆE=</N8E)S

j7H*9F=H‡*;BS;55<)8L38?|p'iST*9Ft/DIS2mgF=H/GF=†*;</€yS2?*;)H/¡nu!)=H/LGbS;mu)?*;)5B(bS

S;*9F#„EŠv„7‹ DQ4Š"4VP'L*98…*;<)5?ngFIGD\jk*;)H‡„…*;GDmuQEN85z

C8 ?:%@3V 6M8 V <$V

„kH/5b*;<(D5LCnv)H/tB(Bi54*98ENC<*5GD 8‰noCSqS;j!85ze:<h)H/#w(8?)L8+GFI)?*;<hjktB/G8?5<)

8?k</5GD/8n)?*;7D5B(5<(D5<)—nu3bS¢65?*TwxF5)?*;<(8^*;<(8:*9D#ƒ!$‰Š7Š—Q )=H/./H<t65m

6*;5j~n )H*9878+|¢8?)=5}zN„kH/48?GFI<(D\8+GFI)?*;<3*987D56)GD)t)H/EB/G8?5<))?*;<3n )=H/Ž„…*;GD

QEN8&S9</.(YC<(D})=H/YˆE=</N8E8?|Nt'iST*-FY65?*TwxF5)?*;<‡)Sgz(e:<‡)H/t)H*;D‡8?GFI)?*;<Œ0jk

DG8FI+*2'iH/j~)*;<N)5)4)H/G8+4nubST*98?8E<(D›)NCS-8&*;<N)=}ƒ!$‰Š7Š—Q˜*;< D5E)'(

'S; )€F=H/GF†)?*;}D5Bi5<(D5<N)B/=B(5)+*2G8rzQ!< Il(BS;\)C†5<hnu )H/\G n4./m

)</.(8t65H*-F=S;G8*98B/G8?5<)GD ) *qSTS;.(8?)I)‡)H/\*;<)5C)?*;< B/?*;<(F=*;BS2G8rz *;<(bSTS;|0…*2<

)H/WS98?)48?GFI)?*;<‡jkpD*98FI.(884,.(bST*;))?*;6<(D ,.(<)?*;))+*26p<(bS;|/8:*987Cn—)H/LIl/B(5?*;5<)8

B/56*;.(8:S;|€DG8=FI?*;'(GDz

! 4(23#" (%$'&)('( !+*

„kH/3'(8:*9F35<)?*;)?|‡*;< ƒ!$‰Š7Š—Q DGFIHkŠvˆ4VKJL*98t)H/\FI<(FI5B/)tn-,./0 1”32(•4T[­$^„ *;< )H/

8?G,./IS]ze:)8Enu./<(FI)?*;<*98#)€8?BiGF=*Tno| <(D *;BS;55<)8:*;BS;\'i)?*9FFI)?*;<(85zŠ…BS;Il

FI)+*2<(8L'/)b*;</GD 'N|‡FIB(8:*;</ $^„78W.(8:*;</ D*65Œ55<)L†*;<(D/8LCn X58?|<(F=H/<*7G)?*;<>Y

Bi5)850Œ)=H/3w(<(bS7G8?.S;)'(I*;</ F5bSTS;GD 8,.9/: 1”<;v‘G–I“=N‘?“ [­$7f*;< )H/}8+G,./IS]z>1

*;<(8?)C<(FI0—8?./B/B(8?\)H()t)H/\t*988­*2< FI<(8:*98?)8#*;< ./)=)?*9F5bSTS;|B(†*2</€F5CGz? *2I8?)G0

)H/tF5Ep.(8+)!8?GF=H\nu!Ynu5LB(=†*;</\8?B(FIpC<(D\)H/5<›*2)L8+H/.S9D\B(†3*;)8+ISqnzeun—)=H/G8?

)?jkh8?)5B(83\</)t) FIBS;IlŒ0—)=H/\t*988:*;<~FI.S9D 'i€8?BiGF=*qw(GDs'| .(8­*2</ )?jkh$ „‰8

j7H*9F=Hh4./<3*;<€8+G,./5<(FI#*;<})H/4</t*;<(bSIl/GFI./)?*;< n)=H/p$7^z/{hWw(8?)kB/G8?5<)E)H/

$^„ FI<(FI5B/)b0)H/5<hjktB/G8?5<)4H/yj )=}FIt'*2<(C)t)H/G8?'(8­*-FY'/>?GFI)8k*;<(8:*9D\\$7 *2<

ID57)8?BiGF=*Tno|}<(D*;BS;55<N)4t'()?*9F#B/BST*-F5C)?*;<Œz

(8)

3V 6$6^8

<^A/6=@/V 8

$^„ FI<(8:*98?)8ECnvbS;?*;)H/t*9F5bS—8?BiGFI)8EIS9)?*;</\)3)H/tFI<N)=SŒS9bj <(D3S;C*-F5ySv8?B(GFI)I8

IS9)+*2</t)4)=H/kS;¢F5bS'(5H(b6*2&88?/F=*-C)GDtjk*;)H#8?5)—Cnx565<)8j‰H*-F=H3b|L/F5FI./v'iIno

—D./+*2</t)H/7FI<)CS/S-bj Il/GFI./)?*;<ŒzN„&H*-8S;¢F5bS'(5H(b6*2*98B/GDIw(</GDz/„kH/‰Il¢GFI./)?*;<

nk)H/FI<)SŒS9bj '(5C*2<(8#8E8?N< 8!\8?5)4Cnx‘?“– E1B /•…*98L8C)?*98:w(GDzŒ„kH/tj7b*;)?*;</

)?*; nuGF=H B/GFI<(D*;)?*;< )'(h8)+*-8­w(GD F5< '(‡'i./<(DGDzkeun4*;)\IS9B(8?G850…)H/‡$ „

*98t8?)B/BiGDz „kH/Il¢GFI./)?*;<n7)H/FI<N)=S S9bj F5C<h'(*;<N)5=./B/)GD *qn XIB/='S;58Y}C

D5)GFI)=GDzeg)E5<(D/8E</bSTS;|}I*;)H/5Lyno)5E)H/t8)?*98:ngFI)?*;< nv8+5)!n• 1u–= 1BE 1•v

'iGF5.(8?tn )H/t8?B(GF=*Tw(GD‡$^„ D./C)?*;<3*987Il(FI5GDGDz

eg<}D57)8?BiGF=*qnu|})=H*-8vS2/F5bS'(5H(b6*2G0/)H/4.(8?5E*;6G8

h8?5)tn4B/GFI<(D*;)?*;<s565<N)I85z^Q j7b*;)?*;</h)?*;›ST*2Y*2)\FI.S9D 'i}88?/F=*9)GD jk*;)H

GF=H\565<N)bz

8?5)7Cn XIIl(FI5B/)?*;<>Yt565<N)8rz(„kH/54†*;<(D/8En Il(FI5B/)?*;<(8!FI.S-D 'ip8?BiGF=*qw(GD

S;'(bS Il(FI5B/)?*;<*;)k*;<N)5=./B/)8EbSTS )H/L$^„787.(8+GD3*;<})H/LCB/BSq*9F5)+*2<Œz

S;¢F5bS7Il(FI5B/)?*;<*;)#*;<N)=5./B/)8#<S;|h)H/\$^„4z^{hjk*TSTSŽ8?5S9)5tH/j S;¢F5yS

Il1FI5B/)+*2<(8!=4H(<(DS;GD}'|\$7—85z

S;¢F5bS—F=H(</¢*2)4DG87</)‰*;<N)=5./B/)4$ „˜'/./)‰*;<(D*9F5)G84t/D*TwxF5)?*;<‡n

B(5)58…j7H*9FH‡B/B(GC7*;<})=H/LFI<N)=SS9Gj#z

}8?5)#nvBiN8?)FI<(D*2)+*2< 565<N)I85zQj&y*2)+*2</ )?*;Sq*;t*;)FI.S9D '(\88?/F=*9)GD jk*;)H

GF=H\565<N)bz

D./)+*2<Œz

„kH*98 8?BiGF=*TwxF5)?*;<t*98^./)C)?*9F5bSTS2|#)<(8­S-C)GD‰*;<N)4< H—8?)5=ISNB/I *;<Lj7H*9F=HbSTS

,.(<)?*;))?*;6!DIS9b|/8^H(G6v'i55<)=<(8:nuGDŽ*;<N)WS;*9F5bS()?*;5./)565<N)8rz„kH*98B/

*98\FIB*TS;GD *2<) h'iNCS2GC< ./)3)<Œze:)H(8'i55<~B/6GD*;< Dˆ4B(V Lg0…)H())H*98

./)=)?*9FE)I<(8:S9)?*;<\.(C<)5G8k)?jk4*;B()<)7B/Bi5)?*;G8

*;)p8)+*-8­w(G84Sq*;65</G8=8LB/=B(5)?|01*gzz \8?.(F5FIG8=8:no.S—)=5t*;<()?*;<hCnv)H/$^„ F5<‡'(

GF=H/GD3nu <|8+))En^*2)I8k56S;./)?*;<

*;)&8=)?*98:w(G8kL8yno5)?|tB/Bi5)?|0*gzz/<|S;'(bSIl1FI5B/)?*;<3*98kB/B/B/?*9)IS;|H(<(DS;GD

'N|35t*988:*;< n—8?B(GF=*TwxF#565<)kS;Gb6*;</3)H/L8?|/8?)5*;<€8bnuL8:*;).()?*;<Œz

(9)

3V 6$6^8 6/V>>KV6 <%:?A 8 6 /6 3:?@3V 6 6^8

<^A CA

{s*;)H)H/$7 nobST*98? </F5< 8?BiGF=*Tno|‡*;< }8?)=.(FI)./GD‡j7b|€S;C*-F5yS‰C<(D‡)5Bim

ySŽC</55<)np$^„78t*;< D53) FH*;56h<s'/>?GFI)?*;6\*;< FI<)Il/)D5B(5<(D5<)

<(D3=ISq*9'S;tj7b|0NB/=y6*9D*;</B/GDIw(</GD‡FIGFI)+*2<}FI)?*;<(8…*;<\)H/LF58+4n ./<(8?.(F5FIG88­no.S

Il/GFI./)?*;<(8En$^„785z

„kH/4.(8?548?B(GF=*Tw(G848:*;t*TS9E'(5H(b6*2!)t)H/t$ „ </z

h8?5)tn4B/GFI<(D*;)?*;<s565<N)I85z^Q j7b*;)?*;</h)?*;›ST*2Y*2)\FI.S9D 'i}88?/F=*9)GD jk*;)H

GF=H\565<N)bz

8?5)7Cn XIIl(FI5B/)?*;<>Yt565<N)8rz(„kjkt†*;<(D/8‰nIl(FI5B/)?*;<(8EFI.S9D '(L8?BiGF=*qw(GD

S;'(bS Il(FI5B/)?*;<*;)k*;<N)5=./B/)8EbSTS )H/L$7…87.(8?GD*;< )H/pB/BST*9F5)?*;<Œz

S;¢F5bS^Il1FI5B/)?*;< *;)7*;<)5./B/)I8k<S;|\)H/L$7^z

}8?5)#nvBiN8?)FI<(D*2)+*2< 565<N)I85zQj&y*2)+*2</ )?*;Sq*;t*;)FI.S9D '(\88?/F=*9)GD jk*;)H

GF=H\565<N)bz

„kH/t.(8?54bS98?\8?B(GF=*Tw(G84t E3B/ C<(D}8?5)En7“–“ 1BEB/=385z/„kH/Ly*2<

B/ FIG8+B(<(D/8W))=H/p</t*;<(bS—Il¢GFI./)+*2<hnv)=H/p='()4<(D *9848?)I)GD 848?<

8…)H/4B/=GFI<(D*;)?*;<(8!CŽ8=)?*98:w(GDz/„kH/4Il(FI5B/)?*;<\B/I8—CŽ88?/F=*-C)GD3jk*;)H3S;¢F5yS

Il(FI5B/)?*;<(8H(C<(DS2GDY*;<)H/7$^„78^—$7…8 [g)H/7$7 nuySq*98?˜*98AGFI./8:*;6IS;|DIw(</GDb] .(8?GD

'|)=H/4b*;<}B/}z„kH/G8?#)­jk#†*;<(D/8‰nB/=38vCŽ8+B(GF=*Tw(GD .(8:*;</FIB(N8:*;)?*;<

Bi5)8knv$^„78‰Ž$‰—8EbS;GD|€DIw(</GDz 1k*;<(8?)C<(FI0i*2)‰*987BiN88:*;'S;)3Il/B/G88‰)H/

8?G,./5<(FItn)­jk$^„78P[:!$7…8]—E)H/I*; XB(bSTS;ISYIl/GFI./)?*;<i)H/5|}L8?)I)GD\)‰)H/

8C*;<(8?)C<N)G0b<(D4)H/5<(D#n/)H/kFI<(8?).(FI)+*2<4¢F5FI./=GDLj‰H/5<L)H/…)­jkkBi5<(D/8 5<(DzGe:)

*98kbS98?LBiN88:*;'S;E)L)C†…*2<)tF5FI./<)Il¢)5=<(bS‚FI<(D*;)?*;<(8…jk*;)H3E†*;<(Dn

8?)=.(FI)./z(„&H/4j&y*2)+*2</3)?*;Enu7)H/LFI<(D*2)+*2<€)=p'ip8C)?*98:w(GD}FI.S9D›'(L'i./<(DGDz

„kH/kj7H/S;!FI<)STS;5—8?BiGF=*qw(GD'|p4$7hF5C<p'i7)C<(8:S9)GDW*;<N)LC< H…8?)5IS/B/

[­DIS9b|/8L)<(8:nuGD\*;<)\S;C*-F5ySv)?*;5./)4565<N)8]7*;<hD5#)\'(35B/G8+5<N)GD 'N|

'iNS;G<~./)=)<ŒzQŽ8\FI<(8?G,./5<(FI0k*;)3*983B(88:*;'S;h) FH/GF=† 8?}B/B(5)?*;G8

ST*;† DGDS;/F† '(8?5<(FI‡\FI<nut*;)?| nL)H/‡$7'(5H(b6*;\jk*;)H =G8?B(GFI)\)t*988:*;<

FI<(8+)b*;<)85zŠ—<N)I|3))H/t$ „˜'i5H(G6*;G0ij7H*9FH *98‰B/6GD}FI=GFI)7'|}FI<(8?).(FI)+*2<Œ0

)H/4.(8+5—*98A*;<}FH(CEn )H/4$7'(5H(b6*;765?*TwxF5)+*2<Œ0Nj‰H*-F=H}8?H/.S9D3'iLD</!j&*2)=H\)H/

QE./)L)=NSgz„kH/!B/=B(5)+*2G8…H/!FI.S-D3Il/B/G88…7</)—)?*;5mgD5Bi5<(D5<N)Gz /A*2<(8+)<(FI0H/

FI.S9D›</)7FH/GF=†)=H()k)H/!Il/GFI./)?*;< )?*;4nt$7 *-8‰bS;j&b|/8^S;jk57)H(<\#*;65<\6ybS;./z

„kH/y*2 n7)H/3jv†}B/G8+5<N)GD *;< )=H*-8#B(Bi5#*-8#B/GF=*98?IS;|)\jk*;)H(DbjJ)H*984*;m

BiN88:*;'*TST*2)?|z„kH/‰*-DGp*-8…)#5BS9FI4)H/E)<(8­S-C)?*;<*;<) H…8?)5ISŒjk*;)H\4)=<(8:S9)?*;<*;<N)=

„…*;GDQEN8*2<3D5…)L†55B)H/‰6ybS;./G8knŒ)H/EDIS-b|/8A*2<3)H/EB/I <(Dt)#.(8?E)H/

8?|t'(ST*9F#65?*TwxF5)?*;< )S ˆE</N8k<\)H/4G8?.S;)?*;</\)?*;GD3IB/HŒz

(10)

# 6%,. ! (&<3 ::+ % $# :(& ,(

„kH/…Q!=N8Œ8?|<(F=H/</.(8‚S9</.( DOB‡VM-LNj78xw(8?)*;<(8?B*;GDt'| F))=GFH(=)8 DOQ!C"d Lgz5e:)

B/6*9DG8)H/k.(8?5jk*;)H48?5)^nB(5C)8 )H()F5<t'(7B/BST*;GD)=!IS;55<)|./)=)

FIB(</5<)8^)E'/.*TS-DYkFIBS;IlY8?|/8?)5385zy„&H/G8?kB(5C)8i*;<(F=S;.(DEB(bSTS;ISxFIBim

8:*;)?*;<\<(D#H*;5F=H*9F!FIB(N8­*2)+*2<ŒzN„kH/kQEN88?53<N)+*-F58*98^Il¢B/G8=8?GDt*;<)=58^n'(m

S;G<C./))I/z5QEN8 H(8^'(55<GFI5<N)+S2|tIl/)5<(DGDtjk*;)H4DIS9b|FI<(8?).(FI)+*2< DN B ƒ!V J'L

j7H*9F=HySqS;j!8^)4Il/B/G88^j7)IFH(D8 <(DY)?*;5./)8^G8­*qS;|z„kH/7G8?.S;)?*;</WS-C</.(k*98A<(m

GD „…*;GDmuQEN85zieg)I8!8?53<N)+*-F58&*987Il/B/G88+GD3*;<‡)58kCnv„…*;GDm`!CB/H(850(j‰H*-F=H€C

./)=)…Il/)5<(DGD4j&*2)=HLGbS/F=S2/F=†¢85zr{ *;)H#)H*98†*2<(D#n/B/ /DIS-8r0G</—F5C<pF=H/GF†

GyS2mu)+*2,.(C<N)?*;)C)?*;6tB/B(5=)?*;G850.(8:*;</€8?|t'(ST*9Ft65+*qwxF5C)?*;<‡)NCS-848+.(FHh84ˆE</N85z

ˆE</N8…*98!Y)NCS‚j‰H*-F=H\*;BS;55<)8E8?|t'(ST*9F4/DIS;mgFH/GF=†*2</‡bS;?*;)H/ DOQ F R4VM'L

nu7)H/4=GbS;mu)?*;L)5B(ySŒS;*9FL„EŠk„7‹‡n„v*2GDm`!B/H(8MDQ4Š 4VP'Lgz

eg<)H*98…8?GFI)?*;<Œ0jk…w(8?)B/=G8?5<N)…)H/7QEN8‚S9</.(z‰Il¢)jkkB/G8?5<)*;)8A)5B(bS

Il/)5<(8:*;<Œz *;<(bSTS2|0jkEB/G8?5<)!)=H/LˆE</N8k65?*TwxF5)?*;<})=NSgz

3V A3@ 6=@ 6 3A%<^@ 3< =V=6=A

Q ŽD5)Ib*TS2GD B/G8+5<N)C)?*;<\nQ!N87FI.S9D\'i4nu./<(D*;< DONKB€VC L:z

eg<hQEN8r0x 8:*;BS;8?|/8?)5¡*98#DG8FI?*;'(GDD*;GFI)?S;| 84<./)C)<}'|}C*26*;</‡)H/

8?5)kn 8?)I)G8—C<(Dt)<(8­*2)+*2<(8—Il/BST*9F=*2)+S2|zi{ H/5<*;)…*98…!FIBS;Il‚0*;)7F5<'iŽDG8=FI?*;'(GD

8‰pFIp'*;<()+*2<}n8+565bS 8?.(F=H}FIBi</5<N)I850/.(8:*;</Bi5)8ASq*;†#)H/4B(ySqS;ISFIm

BiN8:*;)?*;<Œ0^j7H*9FHIl/B/G884H/j )H/5|h8?H/.S-D '( X5FI</</GFI)=GD/Y3*;< D54)€FIt./<*-F5C)

<(D›B()?*9F=*;B()#)t)H/LCS2'(bSŒ'(5H(b6*;En)H/L8?|/8?)5}z

eg<~)H/ B(bSTS;ISYFIB(N8:*;)?*;<Œ0&no3*2<(8+)<(FI07)?jk\hFIB(</5<)8356S;6 *2<

B(IbSTS2ISgzŒ„kH/5|‡F5<€FIt./<*-F5C)Ljk*;)H GF=H})H/5E'|\Il1F=H(</*;</\8:*;<(bS98i*Tnv<\*;</B/./)

8:*;<(ySvn!\FIBi</5<)8L<(D <h./)B/./)t8:*;<(bS—n!</)H/54</H(b6)=H/8t<(0

)H/t)?jkFIBi</5<)8!C4nuFIGD›)FIt./<*-F5C)4*;<‡)H*98Ej7G|zi„kH/pFIp./<*9F5)+*2<}*98

)H/W•(–N‘ •/5‘b –I• 1uzbeg)A*98</<t'S;¢F=†*2</ [g./<ST*;†E)H/4‘?“ “I” •^GFH(C<*-8+}0nu

*;<(8?)C<(FI]z/Q FIB(</5<)7F5<yS2j7b|/8./)B/./)78:*;<(yS-8rz(„kH/E)H/5k</G8kF5<\bS;j&b|/8GFI)

)3)H/5¡'(GF5.(8+)H/5|}3‘?“–31Bb“G0i'/./)Ž8+LCn—)H/5 H(b6t<.STS—GFI)?*;< [g)=H/5|}D

</)EFH(</L8?))G8&</7./)B/./)E8:*;<(bS98]z

*2./€UY*98<3B/ .(8­*2</ w(6\./))3)hDG8FI+*2'i} ¢D.S;m%d! m

FI./<)5jk*;)H#*;<*;)?*9bST*7G)?*;<\<(DW*2<)5=./B/)?*;<#nF=*TST*;)?*;G85zeg)8)?*98:w(G8^)=H/—nuSTS;jk*;</L8?B(GF=*Tw(m

F5)+*2<<(FI " $# E*98GFII*;6GD05Y*2)%'&)()* 7565=| d+ 8rz F)BYFI./<N)?*;</4)H/k/F5FI./5<(FIG8

n, j7H/5<‡I*;)H/5 )?*;t./<*;)8EH(b6LIS9B(8?GD 8:*;<(FI)H/ " -#}8:*;<(yS0 .&0/}H(8E/FIm

FI./=GDz

(11)

A

'fOf

^k

D D k

2fOf

f

f

!

" Uk

#$&%

('

' )#

)#

)#

)#

)#

)#

f

*i

*=j

*,+

* k

*-

*h

.0/1324657/(8:9<;</=;8:9<;<>&?8@ ;<13A6BCD5A6>E:FG/C

*2./U QEN8&B/C nuk)H/4/D.S;m%d ymgFI./<)5

$k./<(DGDmgFI</5E'(bl/G8k4./)C)<8?)I)G8/=yjE8—E)C<(8:*;)?*;<(8GFI)</.S-C

'iGl/G8—C7.(8?GD#nu…./<(|LB(5)=8 [­8?5‰'(IS;jP]zQ~8?5)…n‚8+))G8<(DY)<(8:*;)?*;<(8Aj7H*9FH

=LFI</</GFI)GD3)5)H/57FI<(8?)?*;)./)G8‰<}./)3)<Œz„kH/Ew(6E'(8:*9FLFIB(</5<)8kn^)H/

B/¡H(b6t)H/#noSTS;jk*;</€8?5)I87n78?))=G8IH&J &LK NMPORQ.& TS0&LK NMVUN0IHGWYXZO[W]\LUN0

H^NXZO_^]\LUN0VHJ`X-O_J\&UaHbYXZO[b]\]O[bYcZO_bNd-O[b`ePO0bYfgUNz

eg<\)H/4./)3)/0)H/‰*;</B/./)7B()k<(D)H/4./)B/./)…B()kn #)<(8:*;)?*;<S9'(IS48?5m

B(I)GD4'|pE8:S98?H [gIl(BS; &hGijkl ]z#‰5N)?*;<#*98D5</)GD#'|465?ST*;<*2</i0<(DtFI<>­./<(FIm

)?*;< *98ED5</)GD 'N|}3D)M[gIl(BS;nmoqprIsjkl/]Iz/{ H/5<€)=H/L./)B/./)48?5)‰*98E5B/)?|0*;)LF5<

'i7t*;))GDz„&H/k*;<*2)+*-yS 8+))A*-8…DG8:*;<()GDY'N|<=yjjk*;)H/./)—C<88?/F=*9)GDt8?./IFIz

17Il(BS;0()=H/Lj~FI</</GFI)GD›<})H/4+*2HN)7)=tJuXiz^F)C)G8k4<(GD01'/./)!<(G8

8?H/.S-D 'iLFI<(8:*9D5GD <S;|}8…S9'iIS-8‰)H/IS;B )H/LB/5Gz

(12)

Q!<tjhF5<LH(b6k8?565ySS9'(IS98^j7H*9F=Hp8?)C<(DEnu 8?565IbSN)C<(8:*;)?*;<(85z„kH/vD*65Œ55<)

S9'iIS-8&n‚#87=yj C78?5B()=GDt'N|4FI/z+F&S-C'(IS98…H(G67)4'(EFI<(8:*9D5GD

8‰'/'/56*-C)?*;<(85z/…*;<(8?)<(FI0i)H/ (YS9'(IS—8?)C<(D/8…nov'i)H ( .&0/$O ( m oqprŒz

„kH/ ./))<sj7H/N8?8?))G8\C J &LK NM <(D Q.& TS0&LK NM *98}8=b*9D ) '(

‘?“ (“4*;< *;)8 J)&&K YM\8?))=zx„kH/tIw(<*;</}8?./'/B/= *98E'/.*TS2)#jk*;)H‡)H/#no./!)=H/5

./)=)10j7H*9FH\7B/./) E ¢‘?T“GK[geg<w(./#U7)H/5|C!8?H/j7<8+5B()GDY'N|D/8?H/GD

ST*;</G8]z4„kH/‡./)5=N8?)\'iGlŒ0kjk*;)H~< C))F=H/GD 8?./'/'(bl j‰H*-F=H FI<N)Ib*;<(8 ((0…*98›)H/

IB/H*9F5bSv8?|<N)ylnu4./<(=|3S2/F5bS—8:*;<(bSvDGF=S9C)?*;<‡B(5C)Gz(„&H/L'(bl€DIw(</G8W)H/

8FIB(#*;<€j‰H*-F=H‡)H/8:*;<(bS (*987†</j7<Œz„kH*9848:*;<(bS^*-8E.(8+GD}8&*;</B/./)4'N| )H/LIw(</GD

./)=)<*;)k*98k.(8?GD\8…./)=B/./)v'|3)H/!)+*25!FIBi</5<N) [g65)?*9F5bSŒ./)3)<t*;< )H/

Iw(</GD8?))] G4FIt./<*9F5)?*;<tjk*TSTSx)C†—BS9FI7'i5)?jv55<t)H/k)?jk(z5QE</)H/5—8?.(F=Ht./<(|

Bi5)E*-8E.(8+GD *;<h)H/tB/I}0*;<hID54)ST*;t*;)t)H/8FIBin—)H/8:*;<(bS98$O S3)

)H/#B/I FI<(8?)?*;)./)GD3'|3)H/L)H/=54./</Iw(</GD‡./)C) [­DIGj‰<\H/?*75<)bSTS;|>]z

„kH/k*;<N)=5?n FIvCnx)H/7CS2'(bS(B/I~*98…DIw(</GD8 nuSTS;j!8bSTSx8:*;<(bS98Aj7H*9FH\B/B(GC

*;<h#S;Ino)=muH(<(D [gG8?BŒz/+*2HN)muH(C<(Db]&8:*9Dtn—tS9'iISg0Œ<(D\#</)!DGF=S9GD )'i#S2/F5bS)

8?4B()7Cn)H/4B/= =L’69/=E 91• [gG8+BŒz(’69/= 1 91•]z

{h7*;67H/5=!)H/&*2<).*;)?*;648?5<)?*9F58Cn‚)=H/7B(5I)8r0G'|tIl¢BS9b*;<*;</)H/7'i5H(b6*;

n)H/LFI./<)5Gz

*2I8?)G0'(8?56E)H/4)H/5M[gH/+*5<N)yS]—./)=)E5t'iGD/DGD3*;<}#B(bSTS;IS8?)=.(FI)./0

<(D3)=H/!Bi5)—j7H*9F=H}DIw(</G8k)H/L8FIBi!Cn<(D S¢z/„kH*987FI<(8?)?*;)./)G8kt8?./'/B/

j7H/8?4<S;|3*;</B/./)7*98+ ¢0/<(D›j7H/N8?4<S;|3./)B/./)k*98%'&)()* /z/„kH/4S;'(bS 'i5H(b6*;En )H*98

8?./'/B/= *984DIw(</GD‡'| i)H/tS;'(bS^*;<*2)+*-ySv8?))W*98 JuXZOq^NXZOqWNX 1j7H/5< *2)4H(87GFI)GD

)Y*2</B/./) nk‡)?*;G850/)=H/4B/C*98…*;<€8?)C) J VO<^:O<W­0/j‰H/5 Mh k ¢D d

% & ()* L*98‰./)B/./)7565=| d 85z

„kH*98'(5H(b6*;…*-8…F=H*256GDt'N|FI</</GFI)+*2</t)H/=57</5mu'*;)vFI./<)58rz„kH/kw(8?)…</ [gQM]

GFI)8k)tIl/)5<(bSŒ*;</B/./) ¢0i<(D3)?*;5I8k)H/L8?GFI<(D3</ [­@ ]jk*;)H€8­*2<(bSŒ0N565|)?jk

85z(„&H/L8?GFI<(D\</0/GFI)?*;</3)‚01)?*;58&)H/4)H*;D\</ [Š$]jk*;)H S¢01565|3)­jk 85z

„kH/…)H*;D#</—./)B/./)8% & ()* 7565|E)­jk S85zb„kH/vFIp./<*9F5)+*2<L'(I*;</•(–N‘ •505

GFI)?*;< X=*;<t)H/578?)5B(8Y/0)Ej7H*9FH)=H/v)=H/57'*;)8^B()+*-F=*;B()=0b*-8*;<(D5GD i“)C<(8:*;)?*;<

*;<})=H/LS;'(bS^'(5H(b6*; [gGFI)?*;<\)= Lnu J`X-O<^I\O<W]\Ž)tJ\O<^YXZO<WYX ]z

FGFI<(D0Œ'(8+56L)=H/)?*;5LFIBi</5<) i*;)456S;6G84B(=)7nu )H/t)H/=5pB/=56*;.(8

./)=)10¢FI./<N)?*;</\)H/#¢F5FI./=5<(FIG8En"K %¢z1eg)E./)B/./)8 ( ./<*;)8En)?*;bnu)5

*;)8&*;<*2)+*-ySq*7G)+*2<Œz

*2<(ySqS;|0i)H/G8?Enu./!./)=)Ž*;<}B(ySqS;ISIw(</4)H/aS0&LK NM8?))4Cnt)?jkmg8?))=

./)=)<ŒzN„kH/6S&&K YM " 4*98k=GFH/GD3j‰H/5< -# ¢F5FI./I85zQŽ87tFI<(8+G,./5<(FI0

)H/#Iw(<*;</8+./'/B/C*98!8?)I)GD*;<\*;)8&*;<*;)?*9bSv8?))=zNe:)k*987†*TSTS2GD j7H/5< .&0/\¢F5FI./8

(13)

*;)4*98#<%E 1u“G‘I‘= 1B (zŒ‹Gb6*;</€3Iw(</GDh8+))#b|€bS98?\'iD</'|h•5“GI” 1u“G‘ Ei 1B

n)H/4Iw(<*;</}8?./'/B/= z¢„&H*-8&*98k)H/tF58?E*;<}./‰Il1BS2#j7H/5< (#*987./)=B/./)Gz

eg) *-8^./)8:*9D—)H/k8FIBivCn()H*98ŒB(Bi5)7*;6…)H/…nobSN8?5C<N)?*9F58 n(QEN8CDB€CVM'Lgz

Q‰jv565G0i*;<hD5#)\./<(D58?)C<(D‡)H/t)?*;GD Il¢)5<(8­*2<hnvQE8EjvH(G6p)=\B/G8?5<)

H/j )H*98L8+5<)?*9F58E*98LDIw(</GDz^„kH/QEN848?53<N)+*-F58‰*98Y•1u G”9‘?“I– 1u“zeg)LDG8FI+*2'iG8

)H/‡'i5H(G6*;\npB/ '| DIw(<*;</ ‡nu./<(FI)?*;< 8?.(F=H )H()$[No<p (oqp&kU]

No<p (oqp&k<(D$[tU pr4M+]K[$[tU]$[4M+]]z

Q!< *;<N)=5G8?)?*;</}F=H(FI)5+*-8+)?*9FLCn—Q!N878?5C<N)?*9F58‰*98E)H()&*2)E*98EG8+|\)=IS2| /DIS

*;<nu)+*2<€<€8?./IFILB/}zeg<(D5GD0Œ/DISA8+)) [g=G8?BŒzxY¢DIS)C<(8:*;)?*;<^]—*98

38?5)4nX5FI)?*;62Y8+))G8 [:G8?BŒzCX=w(GD/Y)<(8:*;)?*;<(8]7n—)H/p8+./FItB/I ./))/z

{h#jk*TSTSA8?5ES9)=57H/j~)t.(8?L)=H*-8&*;<no)?*;<3*;< )H/465?*TwxF5)?*;< B//FIG885z

: V =6=A8 6 V>A : V : V <> A

Z! gŸ` Ÿ" $# `bŸ"%`ba ‡Ÿ‚  š%9] d&('€š/  *)\`ba"#,+Œ]

„…*;GD `!B/H(8Et./)3)tIl/)5<(DGD‡jk*;)HhYw(<*;)8?5)En—GbS;mu6bS;./GD F=S;/F†/85zŒ„kH/5|

=pCnv)H/tnu [-.*/10132*4536 ]j7H/5-J*98L\8?5)4n-3“5•50/10Ž*98E)H/1B9 3“G06

*983h8?5)3nŽ=GbS76y?*9'S;G8\F5bSTS;GD˜–G6G– 4G•507298:-<;>= [6 ]?;>@A;CBM[6 ]?;>- *98h8+5)

n 1u‘? /• 1BE 1•z7= [6 ]‰*-83h8?5)tn4'(S;G< FI<(D*;)?*;<(8'/.*TS;)no )H/\6yC?*9'S;G8t*;<D6

nuSTS;yj&*2</\)=H/pC h FE[pr 0ij7H/5 3*984</</</5N)?*;6#*;<)554FI<(8?)<)4<(D

pr\'iIS2</N8E)RHHGIJILKIMI (ON UNz@*98!8?5)7nŒS9'iIS985zPBM[6 ]^*-8‰8?5)7n7‘?“5•5“ 1…– 1B /•5z

Q ‘?“5•5“ 17– 1B RQTS>BM[U6 ]…*98L\8?./'(8+5)Ln5V j‰H*-F=H FI<)b*;<(8W)H/6yC?*9'S;G8L)=\'(G8+5)

j7H/5< )=H/)<(8­*2)+*2<h*98t)C†5<Œz „kH/3)H/5#6y+*-C'S2G83./<(FH(</GDzW4 X-!Y = [U6 ]

*;6G8‰)H/ES9'iISqST*;</}Cn<//DG87'|*2<6yC?*9<N)EB/Bi5)?*;G85z

„kH/8?5<)?*9F584nv„v*2GD `!CB/H(8‰*-8#DIw(</GD *;<h)538En B GbS;| B‡F=H*;</G85z F))=G8

=vCn()H/…no= [/Z

[

]Œj‰H/5?/…*98E</¢Dkn()H/k*;65<„…*;GD `!B/Ht<(D\Z

[

*98E6ybS;.()?*;<

nk*;)8#F=S2/F=†¢85z^„ŒI<(8:*;)?*;<(8t#S9'(ISTS;GD I*;)H/5t'|h<‡IS255<N)tn@ #'N|h3GySv6yyS2./

j7H*9F=H}D5</)G8k)=H/!)?*;EB(88­*2</iz(„kH*98k8?5<)?*9F58…*98…'(8?GD*;<N)=.*2)+*26IS2|\<)H/‰nuSTS2jk*;</

B/?*;<(F=*;BS;G8}+] „&H/7*;<*;)?*9bS8?)I)…*98—G,.(bSŒ) [/1L

Z

PK] [ Z

PE*98…)H/76bS;.()?*;<\j7H*9F=H8=8?¢F=*9)=G8

P›jk*;)HhGF=H F=S;¢F=†b] Œ'^]!„ <(8:*;)?*;<(8t=L*;<(8?)I<N)I</5.(8^F']!„…*;IS9B(8+G8E*;< <//DG8^Db]

„kH/#</¢DW*;<N6?*9<)8kH(b64)'ipbS;j7b|¢8k8C)?*98:w(GDz

/k*;<(8?)I<(FI0*Tn—jkLFI<(8:*9D5!)=H/L„…*;GD `EB/H\*;65<›*2<›w(./LM/0

[]^P ] _a`bY [](JNsM+] cedY [fIP+] gY [fO ] chbY []^O+]

*98EtB(N8=8:*;'S2tIl/GFI./)?*;<€8+G,./5<(FIz

„kH/!</5GDYnu—4H*;H3S;56ISiS-C</.(E)LDG8FI?*;'iL„…*;GDa`EB/H(8*-8…'6*2.(8v8­*2<(FIEjk

FI.S9D›</)7<(C!)=DG8FI?*;'(tFIBS;Il€8?|/8?)5'|„…*;GD `!CB/H}D*2=GFI)?S;|zx„…*;GD

QEN8#5Œ58WH*;HS;56ISŽFI<(8?)=.(FI)?*;<(8#)hDG8FI?*;'(‡< *2<)5G8+)?*;</ 8?./'xF=S98=8tnŽ„…*;GD

`EB/H(8…*;<€FIB(8:*;)?*;<(bS j7b|z

(14)

D

i

!

i )h 3

k

*;./=LM /QE<\Il1BS2#n—„…*;GD `EB/H

&^'‡š¢  Z\`L%(Ÿ]3d a _5š #^Ÿx`ba %…š _5šŒ]'-Ÿ _5Ÿ Z\`%iŸx]

„…*;GD QEN8 DONKBhƒ!VKJ2L…B/6*9DG8#\DIS-b| FI<(8?).(FI)?*;< )\Il¢B/=G884j7)F=H(DN84C<(D})+*2m

5./)85z1…*2<(8+)<(FI0/.(8:*;</3)H*987</5j˜FI<(8?).(FI)+*2<\)H/LFI./<)5!8?|/8?)5 FI.S-D›'(LDG8?m

FI?*;'iGD}'|3)H/LB/*;65<3*;<\w(./ J/z

„kH/t)?*;5LFIBi</5<N)4.(8+GD}'|})=H/LB/¡*;65< *2< w(./\ULH(8E'(55<h5BS9FIGD

'|#</48?))4./))<Œz„&H*-8‰8?))&*-8‰8b*9D)=p'i!)=5B(+*5GD›'N|)H/ŽDIS9b| ze:)vH(8

< ./)C*2</3)C<(8:*;)?*;<}j7H/8?ES9'(IS*98‰5BS9FIGD 'N|}8=,.(=L'(blŒz(„kH*98&*-8E)=H/ 1B t“ 91

)I<(8:*;)?*;<Œz/„kH/‰*2<).*;)?*;6L8?53<N)+*-F58A*9878noCSqS;j!8 <(FIŽ#)5Bi?*75GD\8?)C)k*98…5<N)5=GD0

*;) • 1^'itS;Ino)4'iIno=)H/#*;<(D*-F5C)GD C./<)!nk)?*;tH(8EIS9B(8?GDz^„kH/B/ F5<

S;Gb6k)H/k)5Bi?*75GD8?)C)'N|#)†*;</Ž XI</bSY‰)<(8:*;)?*;< [u*Tnx8?.(F=Ht)<(8­*2)+*2<(8^IlN*98?) ]I0

E*;)4H(8‰)3)†#)H/8?B(GF=*9bS—)+*25./)4)<(8­*2)+*2<Œ0j7H/5<‡)H/DIS-b| Il¢B*;G85zQE./)3)

jk*;)Hs)5Bi?*75GD 8?))G8}F5bSTS;GD)1Bp“ 91B p1uz7„kH/5| \)=H/}'(8:*9F›'/>?GFI)8tn

„…*;GD›Q!=N85z

„Œ5Bi?*75GD8?))G8&*;< \„v*2GD‡Q!=N8‰B/C t)<(8­S-C)GD›*2<)}F=S;/F†/8W*2< )H/

FI=G8?B(<(D*2</}„v*2GD `!B/HŒz

(15)

A

'fOf

^k

D D k

2fOf

f

f

!

" Uk

#$&%

('

'

)#

f

*

.0/1324657/(8:9<;</=;8:9<;<>&?8@ ;<13A6BCD5A6>E:FG/C

*;./ J ¢„v*2GD\QEN8kB/=Jnuk)H/4/D.S;m%d mgFI./<)5

D

i

D

i

!

i

k

*;./4 („ŒI<(8:S9)?*;<\n—t)?*;GD ./)3)<*;<N)3„…*;GD `EB/H

„kH/3*9DGhn4)H/\</5j 8?5<)?*9F58#nu./<(FI)?*;<D DON B ƒ!V J'LP[gj‰H*-F=H )=<(8:S9)G8tbSTSŽ„v*2m

GD›Q!=N8kB/8v*2<)\„…*;GD `EB/H(8]A*-8E)=H/EnoSTS;jk*;</

[o [jl^Hgoqp (oqp&kU]

(16)

o [jl"Q r\C<(D ?[tU pr4M ]D

[U [tU]3 ?[4M+]]z/„kH/#)<(8­*2)+*2<3S-C'(IS98En)H/

„…*;GD `EB/H(8…'/.*TS;)kno= „…*;GD3QE8—<(D3)H/E)C<(8:*;)?*;<S9'iIS987nŒQEN8k./)=)

H(b6)=H/8#nu}z{ *;6t*;< w(./ ‡<‡Il1BS23nk)H/)C<(8:S9)?*;<hn!3)?*;GD

./)=)<*;<)„…*;GD `!CB/HŒz

3V 6=@36UA V : /<b8 :%6=@ 8 6C6

„kH/kˆE</N8‚)NCSy*;BS;55<)8^78?|t'(ST*9F/DIS;mgFH/GF=†*2</LyS2?*;)H/fnoŒ„EŠk„7‹aDQ4Š 4VP'L

[­&GbS;mu)?*;kIl¢)=5<(8:*;<Ln/)H/…'/<(F=H*2</mu)?*;…S2*9F7Šk„7‹ ](<L„v*2GD `EB/H(8CDQ F RŽVMLgz

e:)!GC<(8k)H()7)=H/4B/B(5=)­|3*98‰Il¢B/=G88?GD\'|\„EŠv„7‹€no=p.S9C<(D\)H()EˆE</N87FIm

B/./)G8)H/}8?5)nW8+))G8tCnŽ)H/ B GbS;| B‡F=H*;</G88=8?¢F=*9)=GDjk*;)H )H/}„v*2GD `!IB/H

j7H*9F=H 8)+*-8­no|›*2)bzŒ„kH/tB/B(5=)­|›*98L8)+*-8­w(GD\*Tn!<(D <S;| *Tnv)H/#*;<*;)?*9bS&8?)I)t'(IS;</N8W)

)H*98t8?5)Gz^„kH/\bS;?*;)H/ *2BS255<N)GD 'N|hˆE</N8E*98t8?|p'iST*9F0—8:*;<(FI)=H/ B GbS;| B‡m

F=H*;</88?/F=*9)GD jk*;)H‡)H/„…*;GD `!IB/H *-8E</565LFIB/./)GD0i'/./)4)H/5E5B/G8+5<N)GD

*;BST*9F=*;)?S9|z

Q „EŠk„7‹ nut.S9›*-8‰'/.*TS;)EnoSTS;jk*;</)H/#3

r !"#$"$"

%

'iIS;</N8‰)RHHKIGILMIJ UNz`hk*987<3*;<)5576bS;./zur*987tB/=B(5)?|Cnv• 1u 1u“5• [u*gzz</¢DG8

<(D#6bS;.()?*;<n()=H/&F=S;/F†/8]0C<(DLF5<t'(…*9D5<)?*Tw(GD)E)H/78?5)^n‚8+))G8j‰H/5…*2)^*98^)=./z

„kH/\8?5)tF5<h'(3*;65< *;< Il/)5<(8:*;<Œ0 '/./)4*;)#*-8#.(8?.(ySqS;| DG8=FI?*;'(GD'|€.(8­*2</hno./<(FI)?*;<

j7H*9F=H '/.*TS9D/8 • 1u1u“ ‘ ¢“G‘1B“5•t./)tn 1u‘? 1• 1B x‘ /“G‘1B9“r•z?1#*2<(8+)<(FI0 ['&?]

FIB/./)G84)H/\8?5)4n!8?)I)G8I/\8?.(F=Hh)H()4)=H/5Il*-8+)8t)ES;G8?)L</)<(8­*2)+*2< 8?./FIGD

*;< /C<(D3S9'(ISTS;GD 'N|(&?z(„&H/G8?#no./<(FI)?*;<(84CLIl/B/G88?GD›*;<‡)58&n—)H/p„v*2GDm`!B/H

8?)I)G8…7)I<(8:*;)?*;<(85zb`7*;65< )H/EngFI)k)H()k)H/4QEN8k8?5C<N)?*9F58…*9878+.(FH\)H(C)k*;)k*98kG8?|

)IS;|/DISŒ*;<nu)+*2<<}8+./FI4B/}0C*2)&*-8‰B(88:*;'S;L)t.(8?L8?BiGF=*TwxF4nu./<(FI)?*;<(8

*;<).*;)?*;6IS;|hnu#)H/B/=5Gz /4*;<(8?)<(FI0 *;)#*98LBiN88:*;'S;\)‡FH(IFI)5?*75\

8?5)#n!8?))=G8‰*2<)H/¢DISkn& „…*;GDhQE8EB/C jk*;)H )=H/tnoCSqS;jk*;</\nu./<(FI)?*;<

)

+* " [/K]—j7H/5=(/#*98k)H/L<(C4n—<}./)3)<\8?))=7*;<})=H/p8?./IFI4B/C}z/„kH/

QEN8kFIB*qS;57†55B(8—5</./H3*;<no=)?*;<nov)=H/ŽˆE</N8…)NCSx)#'(L'S;4)#56ybS;.()

)H*98&no./<(FI)+*2<Œz

‹5)k.(8*TSTS;.(8?)C)4)H/48?5<)?*9F58…n „EŠv„7‹ jk*;)H3)H/‰noSTS;jk*;</Il(BS; ,$$-.GH /(UNzQ

<//D /0/x8=)?*98:w(G8k)H*98…nut.S9W*TnA<(D3<S2|*Tn)=H/54IlN*98?)I8—</4Il¢GFI./)?*;<‡8?G,./5<(FI4nu

/ /

8?.(F=H‡)H()L}8+))t8)?*98:nu|*;</\/*-8WGF=H/GD‡'(Inu \./<*2)I84n7)?*;ze:)LIl/B/G88?G8W)H/

•• B/  1#)\GF=H /1/^'(Inu \./<*2)I84nk)?*;zCFLnut.S984D </)4H(b6t)5B(bS

G8+)?*9FI)?*;<(8 [:*;65< 'N|s)H/ % h\Il/B/G88:*;<^] 2˜Il¢B/G8=8?G83)H() ~j&*qSTSt'(h8)?*98:w(GD

(17)

$"›Il¢B/G8=8?G8)H(C)*98—C<E"G‘ 1B/Bi5)?|p<(D!"*-8…8)?*98:w(GDY*Tn <(Dt<S;|#*Tn‚)=H/5

Il*98?)8‰</4Il¢GFI./)+*2<€Cn )H/LB/=<\j‰H*-F=H ›*98EbS;j&b|/8k8)?*98:w(GDz

&

4%,.

!

( &@ :% :(& &%7 $'&)('(

!+*

:%@/: >?V>A

e:<)H*98k8?GFI)?*;<3jk7*;6E<S;|<*;<).*;)?*;6‰*-DG#nŒH/j jk7B/=B(N8+!)E*;<)5C)765?*TwxF5m

)?*;< 5)H//D/84n7,.(<)?*;))+*26p=GbS;mu)?*;B/=B(5)+*2G8Ž*;<N)‡ƒ!$‰Š7Š…Q tzŒ„kH/G8+B/?*;<(F=*;BS2G8

jk*TSTS—'(W*TSqS;.(8?)=)GD '(IS;j˜j7H*TS2DG8FI+*2'*;</}< Il¢Bi5?*;5<)E*2< )H/pCGtn—./)</.(8

65H*9F=S;G85z

*;8?)G0/jk#)<(8:S9)=p$^„784<(D}$‰—8&*2<)\„…*;GD Q!=N850*;<‡D5E)35B/G8?5<)E)H/

FI<)STS;5}'i5H(G6*;}Cnp)H/‡'i)?*9FhB/BST*9F5)?*;<˜'| „…*;GDm`EB/H [­C<(D </)

'N|h›'(S;G< C./))=<^]ziQ Y*2<*;t*7G)+*2< )NCS*-8#.(8?GD <h)H/„v*2GDm`!B/H

FIB/./)GD'|h)H/3QEN8#FIB*TS;5'iIno=.(8:*;</ ˆE=</N85z^„kH*98tt*;<*;t*7G)?*;< *98

5ŒGFI)?*;6L8:*;<(FI0w(8?)b0N)=H/!'i5H(G6*;8kjk48?B(GF=*Tnu|}48?.(F=H\)H()vWS;)7Cn )<(8­*2)+*2<(8

S;GDs)h)H/‡8‡8?))\j&*2)=H D*65Œ55<)S9'iIS987<(D 8+GFI<(D0—)=H/}B/Bi5)?*;G83jk

FI<(8:*9D5vFI.S-D#'ivG8:*TS2|tIl/B/G88?GDW*;<)5=8ŒCn()H/7„…*;GDmuQ!=N8^8?./FIkB/

8?))=G8P[­8+5p'iIS;yj ]zŒQ484\FI<(8?G,./5<(FI0S9'iIS-8#FI.S9Dh'i'(8?)FI)L8:*;<(FI)H/5|€C

</)L=IS-C)GDh)=})H/3B/Bi5)?*;G85z„kH*98#GD.(FI)?*;<B/H(8?*-8tF=H*;56GD'|€.(8­*2</ )H/

t*;<*;t*7G)?*;<‡)SŒ<(GD\Q‰S9D5'(< D/5d d'Lgz

FGFI<(D0jk7Il¢B/=G88)H/EB/Bi5)?|#*2<\„EŠv„‰‹}<(Dt.(8+!)H/EˆE</N8…)S()LF=H/GF†Y*2)bz

{hp=L</j *;</)*TSTS2.(8+))t)H*98EB/?*;<(F=*;BS;Cn*2<)5I)?*;<}j&*2)=H YGbSIl1BS2

)C†5<3no= )H/L=GLCnA./)=</.(8&65H*9F=S2G8rz

@ V W>$V : V/@U8T:%@ 8 3V < V>< 6&<C8 6=@ 6 6 A ;V : %VbA

gŸ` €a %…]#^š/cO'—ca/_'-Ÿ Ÿ" 7_ +š‡š a #%;š

ƒ7./#S;</mu)5= '/>?GFI)?*;6*98L)=}8?B(GF=*Tnu|06ybST*9D/)\<(D *;BS;55<N)›6*;).(yS XI)Ib*;<>Y\n

IS;GFI)?*9FW65H*9F=S2G8 (GF=H\65H*9F=S;4*98kIl/B(GFI)GD›)F=S;N8?IS;|3noCSqS;j )H/4B/56*;.(8k</L./)=m

)?*9F5bSTS;|h.(8:*;</hDGD*9F5)GD8?5<(8?I8‰" 36*98:*;< B/B/FH *984.(8+GDh)S;¢F5C))H/B/=56*;.(8

65H*9F=S;E*;<D*98?)<(FIE<(Dt</S;k" <(Dt4FIB/./)5?*75GDFI<N)=S18+|¢8?)=5}z„kH/…w(8?)65H*9F=S;

jk.S9D#'(7)=H/—<S;|L</vj&*2)=HY‰H./<D?*;65Gz„kH*98jk†‰*98^B()^n()H/ ;v‘? E1“bT“ ;v‘ 5“–31

[­8‰*2< DPB‡V 'L]0i)H/t'*2)+*2.(8EB/C '|})H/ 15<(FH 65</5<)!)=D56IS;B

8?ISTnumg8?56*9FI\B/./'Sq*9F›)<(8?Bi)L8?|/8?)5 .(8­*2</h8?3bSTSvIS;GFI)?*9F365H*9F=S;G85z^{h\FI./5<)?S;|

jk†*;</jk*;)H <S;|\)­jk#65H*9F=S2G8rz

(18)

„kH/B/BST*9F5)?*;< jkDG8FI+*2'iGD 8?H/.S9DG8?BiGFI)L)H/nuSTS2jk*;</h8?BiGF=*qwxF5C)?*;<Œz{ H/5<

*;)E*98!8+))GD01)H/pD?*;65<hF548?H/.S9D‡8:*;<(bSj7H/5<›*2)E*98‰GD|z„kH/5<Œ0i)H/L./<(D?*;65<F5G0

j7H*9F=H}8?H/.S9D3'(E*;<3)H/4./)C)?*9F7/D0)?*;G8…)pF5C)FH3)H/E6*9D58:*;<(bSŒ)WS;¢F5)=4)H/

w(8+)ŽF5bz/{ H/5<\*;)7*98ED</0i)H/L</Y*2<(ySIl/GFI./)?*;<‡Il¢BiGFI)GD›*987)H(C)7)H/L./<(D+*265< F5C

nuSTS;yjE87)H/tD?*;65<€F5C7./<N)+*qS)H/tB/BST*-F5C)?*;< *-8E8?)B/B(GDziQ!<\Il(FI5B/)?*;<‡B/Ip.(8+)

'iŽ8?)I)GDW*Tn )H/76*9D58:*;<(bS(*98S28?)vD./?*;</t)H*98…</t*;<(bSIl¢GFI./)?*;<Œze:)—H(8A)L8?)B)H/

./<(D?*;65<‡F5!8k,.*9F†}8…BiN88:*;'S;zx„&H/LD?*;65<€F5…*98E8?./B/B(N8+GD3)FIE'(F=†C<(D3)H/

XI)=b*;<>YtInuGDzQ S;)‰n B/'S;58‰FI.S9D\H(Bi57)H*98kIl/GFI./)?*;<iB/HN|/8:*9F5bS D/G8

n—FI.(F=*9bS—FIBi</5<N)I850(FI)?*;6)?*;<\n)H/L3<N.(yS‚¢D0/GFH(<*9F5bS—8?)B(850z;z;z

„kH/\)?|NBiG8tnŽ,.(<)?*;))?*;6\GyS&)+*2\B/B(5=)?*;G8tjk\jv.S-D ST*;† )hFH/GF=† < )H*98

Il(BS;4*98

)H/LB/BST*9F5)?*;< *987)+*24'(./<(DGDz

)H/)?*;5mS9 '(5)?jk55< )=H/Y8+))?*;</ B(*;<)84nk)H/j7H/5ISkIl¢GFI./)+*2<hS9bj <(D )H/

)vIl/GFI./)?*;<›S-bj *98‰'(./<(DGDz

)H/—)+*25mS-C!'i5)­jk55<t)H/kD5)GFI)?*;<LCn()H/v8:*;<(ySS;N88^D5)GFI)?*;<<(D4)=H/vFIBS;5)

8?)B/B*;</3n )H/tF5k*98k'i./<(DGDz

&k`ba ‚] %;a/_'-Ÿ ' (_5Ÿ_ +š Ÿx[^Ÿi_5L`bŸŒc𢠠Œ`Gš gŸx` ‡a %']'

{h4)=<(8:S9)E)H*98…*;<nubSŒ8?B(GF=*TwxF5)+*2<}*;<)t$7^z/eg)8…</Y*2<(yS‚Il/GFI./)?*;<‡FI<(8:*98?)8…n

<Y*2<w(<*;)ES;Bj7H/8?7'(/D|t'(5*;<(8…jk*;)H)=H/7)G8?)nŒ<Il/)5<(bSxFI<(D*2)+*2<j7H*9F=H*;<(D*;m

F5)=G8)H()Œ)=H/—D?*;65<pF5‚*-8‚GD|z5{ H/5</565 *;)*98 8C)?*98:w(GD47$7 <(GD4$‰ .(DGD 6

*98L8+))GDzi„kH*98L8?GFI<(D‡$7fb*;8E)}FI<)S^)H/8?GFI<(D‡F54j7H/5< *;)EnoCSqS;j!8E)H/#w(8+)

</t<(D3)H(C<(DS2#)H/ES;N88‰n)H/46*9D5\8:*;<(bS 'i5)?jv55<\)=H/L)?jkL65H*9F=S;G85z

@—Inu'(5*;</<*;</ )=H*-8#</Y*2<(yS&Il/GFI./)?*;<Œ0}8+5)Ln!)=H/5B/GFI<(D*;)?*;<(8Yp.(8+)L'(

8C)?*98:w(GDz„kH/…*;<*2)+*-ySq*7G)+*2<\B/H(8? [g)=85058?5<(8?850z;z;zG](t.(8?)^H(b6k'(55<tDkjk*;)H/./)

D5)GFI)+*2</‡5=85zŒ„kH/\FI)?*;6¢Dp.(8+)L'(3FI)?*;6y)=GD <(D )H/ XHN./C<>Y\8?./B(56*98?

H(8A)4*;67)=H/!8?)=) ID5Gz„kH/7</Y*2<(ySxIl/GFI./)?*;<Cnx)H*983b*;<$7 *-8…8?)B/BiGDt*;<)?jk

F58+G850I*;)H/54)H/8?./B(5=6*98?#*;6G8438?)B D54E)H/t<.(bS¢D#*984FI)?*;6)GDzeg<

)H/#w(8+)ŽF5b0/)H/p$‰ 5<(D/8E</ySqS;|/*;<‡)H/8?GFI<(D </W*;)7*98‰*;<N)=5./B/)GD '|}S;'(yS

Il(FI5B/)?*;<Œz

„kH/4Il1FI)!8?B(GF=*TwxF5)+*2<€Cn)H*98‰b*;<}$7 *987)=H/EnoSTS;jk*;</</

Q" % /3b*;<

# `S& ( $& † *;<*;) D" NM % % 0JP#8L

(./) /D D YM % % 0JPt8L

(19)

& :S / $& (C./)NMC<

&NS) VS / -& &

Q& % ' uSGK -&

&)&-/

w(8+) F5 GD| D" NM % % kOt</L

8?)=) [­$7 .(IDGD 6]

(

&)&-/

:S / $& #) -% &

$7 .(IDGD 6A*-8^'/.*TS;)nuf)H/kB(bSTS;ISxFIBiN8:*;)?*;<tn()H/5…'(8:*9F…'i)?*9FkFIm

)?*;<(88+B(GF=*Tw(GD8)=H/5*;<(D5B(5<(D5<)7$ „‰85zy„&H/w(8?) )­jk(0b$ „ 8?5<(8 S;¢Fk<(D#$ „ 8+5<(8 D*2b0

G8+B(GFI)?*;6IS;|}FI<)S)H/EIS2GFI)=?*9FE)k<(D3)H/Ej7H/5ISŒnŒ)H/LF5kF5FID*;</)t8?5<(8?I8

*;<nu)+*2<Œz(„kH/ES98?)k</0/<(CGD$^„ '/†0¢FI<N)=S98—)=H/Eno)mu'/C†!Cn )H/LF5Gze:)—*98

</)EbS;j&b|/87FI)?*;60i8:*;<(FI4*;<}8?)7n)H/LF58?G8&)H/L5</*;</ '/†*;</*98E8?.+ZF=*;5<)!)8?)=B

)H/k65H*9F=S;z/„kH/…wx8?)^)?jv4$^„78D5)GFI)—‰S;¢F5yS(Il1FI5B/)?*;<j7H/5<t)H/k6*9D5p8­*2<(bS('(5)?jk55<

)H/#)?jvtF58…*98&S;N8?)Gz/„kH/t$7 $7 .(DGD 6EH(<(DS;L)H*98E8:*;).()?*;<\'|\8?))+*2</3<

XI555<(FI|/YtB//FIGD./t<(GD\$7 B(C†*;</(z

„kH/4Il1FI)!8?B(GF=*TwxF5)+*2<€CnA$7 .(DGD 6‰*987)H/EnuSTS;jk*;</</z

Q" % ($‰ .(DGD 6

# `S& ( $& &

& VS0& ( -& &

& :S / $& &

&NS) VS / -& &

Q& % ' uSGK -&

-#

8?)=) [­$^„ 8?5<(8 S;¢F']

8?)=) [­$^„ 8?5<(8 D*; ]

&)&0/

'/† }8?)=) [­$^„ '/†]

(

&)&-/

( -#

:S / $& #) -%

[k8:*;<(bS S28?) $^„ 8?5<(8 S;/F4!8­*2<(bS S;N8+) $^„ 8?5<(8 D*;&]

›8?)I) [­$‰ B(†*;<//]

(20)

{hpFI.S9D </)?*9FI#)H()7)H/#</t*;<(bS Il/GFI./)?*;<‡n—)H/L$‰ $‰ .(DGD 64</565

5<(D/8508:*;<(FI7*;)A*-8…'/.*TS;)…no )H/57B(IbSTS2ISŒFIBi</5<N)I8^*;<j‰H*-F=H</&*-8…<t*;<w(<*;)ES;NBŒz

„kH/3<S;| 8:*;).(C)?*;< j‰H/5$‰ .(DGD 6t5<(D/8W*-8#j7H/5< 3S;N8=8LCn‰8­*2<(bSv6*9D5}*98

D5)GFI)=GD}<(D›j7H/5<}$7 B(=†*;</35<(D/85z

{h</j˜*;</})}DG8=FI?*;'(3</$ „4z {hFH/N8?3$ „ 8?5<(8 S;¢Fz {ht5t*;<(D )H/

GD5v)=H()—t$ „ FI<(8:*98?)I8n bS;+*2)=H/t*9F5bS 8?B(GFI)I8IS9)?*;</t)#)H/ŽFI<N)=S/S9Gj [u*;<./

Il(BS;0*;)—D5)5=t*;</G8)H/78?Bi5GDn()=H/v65H*-F=S;4F5FID*;</#)Ž8+78?5<(8?^*;<nuC)?*;<

j7H*9F=Ht*;6G8nu*;<(8?)I<(FI—)H/kD*98?)<(FI…'(5)?jk55<L)H/…)­jkk65H*9F=S;G8] <(DŽS2*9F5bSN</G8 j7H*9FH

DG8FI+*2'i)=H/pD*98FI5)3FI<N)=S n—)=H/p='()+*-FtFI)+*2<(85z({ p#*;<)5G8?)GD›*;<‡./EB(B(5

<S;|\jk*;)H )H/L8?GFI<(D 8?BiGFI)85z

„kH/hFI<N)=S7S9bj Cnp$ „ 8?5<(8 S;¢F‡FI.S9D 'ih8?))=GD *qn<(Ds<S;| *Tnp)=H/\*;<*;)?*9bST*GCm

)?*;< B/H(8?#H(87'i55<‡DLj&*2)=H/./)!D5)GFI)?*;</\5=850(C<(D3*Tn—)H/LIl/GFI./)?*;<›S-bj˜j7H*9FH

FI<)CS-8Y)H/\j7H/5IS7n4)H/}F5#*98bS;GD| FI)?*;6yC)GDz—„kH/}D5)GFI)+*2< nŽ GF=H(<*9F5bS

B/'S25 *2<)H/3)4n7)H/F5C4S;GD/8#)€›555<(FI|8?)BhCn‰ySqS7)H/\B/BST*9F5)?*;<Œz

B 565b0b*qn^)H/Ž8+B(5GD36yyS2./LFIB/./)GD'N|t)H/4FI<)S/S9bjs*-8…)LH*;HŒ0/8?7B(C5m

)5I8kn)H*98!FI<)CS(S9bj t.(8?)k'(tFH(C</GD\)FIB/./)Lt</5j 8?B(5GD›6ybS;./z

„kH/4Il1FI)!8?B(GF=*TwxF5)+*2<€Cn)H*98E$ „ *-8‰)H/EnuSTS;yj&*2</3</

Q" % ($^„ 8?5<(8 S;¢F

# `S& ( $& )= † D" NM % % kOt8L

/j7H/5IS 8?))=GD D YM % % kOt8L

& VS0& ( -& &

K.#" -& `K ( 0(

& :S / $& /) B/'

&NS) VS / -& (8:*;<(bS S;N8?)

&NS) TS YM /8?Bi5GD 65?S;ND

$ „ 8?5<(8 D*;4*98465|}8:*;t*TS9t)$^„ 8?5<(8 S;/F0)H/t<S;| D*65Œ55<(FIt*98E)H(C)E*2)4H(8E</

G,.*;6ybS;5<)})h)=H/\B/GFI<(D*;)?*;<~j7H/5IS 8?)C)GD [u*;)H(8<S;| </ B/GFI<(D*;)?*;< j7H*9FH

*;<(D*9F5)G8E)H(C)7)H/E*;<*;)?*9bST*GC)?*;<hB/H(8?4j78‰FIGFI)?S;|\D</]z

$ „ '/C†L<(D\$7 C†*;</CLDIw(</GD3*;<})=H/pB/Bi5<(D*ql‡n )H/#B(B(5bz

&k`ba ‚] %;a/_'-Ÿ ' (_5ŸC&('‡š¢  Z\`%iŸx]

*;8?)b0()H/ˆE</N8765?*TwxF5)?*;<‡)SH(C<(DS2G8W<S;|}</#)?*;t./<*;) GF=H F=S;/F†›*;<(FIG8?G8

)…)H/48!8+B(5GDz/{hEE)HN.(8A'ST*;GD3)L)=<(8:S9)‰GFH\DIS9b|j7H*9FH}CB/B(G8*;<\)H/

8?BiGF=*TwxF5)?*;< *;<N)3t*TSTST*2mg8+GFI<(D/85z

(21)

Q „v*2GDmuQ!N8—$^„ FIB(</5<)—H(8A)H/5!8+))G8 j7H*9FH\FI=G8?B(<(DY)4)H/!$^„ FI./m

5<)!8?)I).(8j7H*TS;tj&y*2)+*2</nu7)H/4B/GFI<(D*2)+*2<€)='(t8)?*98:w(GD0(FI)?*;6 [g)=H/4Il¢GFI./)?*;<

S9bj*98bST*26] <(DWw(<*-8+H/GDzN„kH/…w(8?)8?)C)*98^Iw(</GDt'| Uk./)3)…*;<tB(bSTS;ISxj‰H/5

*-8‰)H/4<./t'(57nB/GFI<(D*;)?*;<‡8?B(GF=*Tw(GD *;< )H/L$ „Wz/eg<(D5GD0i</L./))<*98788+m

F=*9)GD jk*;)HhGF=HhB/GFI<(D*;)?*;< <(D </FI<N)=STS25E*98#D/DGD‡j7H*9F=H D5)GFI)I8E)H()4GF=H

B/GFI<(D*2)+*2<h*9848)+*-8­w(GDzeunv)=H/Y$^„˜H(8E\D./)?*;<Œ0i)H/ X5bST*;62Y\8?)I)4*98E)5B(?*75GDz

e:<€bSTSF58+G850*;)7*98k=Iw(</GD\'| & U4./)C)W*2< B(bSTS;ISj7H/5

t*98‰)H/4<N./t'i5!n^S;¢F5ySFH(C</4Il1FI5B/)+*2<(8

*987)H/4<./t'(5En^S2/F5bS Il(FI5B/)?*;<(8

& *98k)H/L<./t'(57CnS;'(yS Il1FI5B/)+*2<(8

*987)H/4<./t'(5En BiN8?)FI<(D*;)?*;<(8

ƒ7</pFI<)STS;5k*98ED/DGD\j7H*9F=H€D5)GFI)I8k)H()7GFH\BiN8?)FI<(D*;)?*;<›*98!8C)?*98:w(GDz

/E*;<(8?)C<(FI0Œ)H/t)C<(8:S9)?*;<‡nv)=H/$ „J$ „ 8+5<(8 S;/F#*;<N)‡„…*;GD‡QEN8&S;GD/8#)

)H/#B/I*;65<3*;<})H/Ww(./LO/z

eg<‡D5E)8?H/j˜H/j 3$7 FI.S9D‡'(t)I<(8:S9)GD*2<)\„…*;GD Q!=N850/jk#.(8?GD )H/

QEN8#B//FIGD./\F5bSTS7GFH(C<*-8+}z{s*;)H )=H*-8#GF=H(<*98? *;)#*98tB(88:*;'S;\)‡5mu.(8?\<

QEN8EFIBi</5<)E*2<3B/C jk*;)H‡565<)8‰5<(t*;</ B(N88­*2'*TST*;)?*;G85z/FIGD./F5ySqS98

n—<\QEN8&B/C C4Il¢B(C<(DGD\'(Inu4)=H/pFIB*TS9)?*;< B//FIG885z

„kH/\w(./= *98)H/}„…*;GDsQ!=N8tB/ 88+¢F=*9)GD jk*;)H $‰ .(DGD 6z

{h}FI.S-D 8+5)H(C)L)H/3</t*;<(bS!8?)C)*98#Iw(</GD'| B(bSTS;IS!FIBiN8:*;)?*;< n!)=H/5

FIB(</5<)8/)=H/4)­jk$^„ j7H*9FH G8?BiGFI)?*;6IS;|€FI<)SŒ)H/4)7<(D3)H/4j‰H/5IS n)H/

F5 (<(D\t)H*;D FIBi</5<N)‰j7H*9FH H(<(DS;G8E)H/Eno) '/†Ej7H/5<›*2)‰*98k</GFIG88C|z

š¢` 'Aca/_'-ŸD#^`bŸ‚cCš¢]b]

{ht4</j~C*2</)8?H/j~<\)=H*-8‰B()+*-FI.S9E'i)?*9F4B/BST*9F5)?*;<‡H/j~)F=H/GF=†\)?*;

D5Bi5<(D5<N)4B/B(5)?*;G85z

ƒ7./Ew(8?)4Il(BS;FI<(8:*98?)I8‰*2< B/6*;</\)H()4)=H/p3blN*;t./ Il/GFI./)?*;<h)?*;tnk)H/

B/BST*9F5)?*;<*98#bS;j&b|/8kS;jk54)H(<%P3t*;<N./)G8rzŒ„kH*984B/Bi5)?|h8?558E)\'i)./8­*2<(FI

)H/8?BiGF=*TwxF5)?*;<n—)H/L3b*;< $‰s*;<(D*-F5C)G84)H(C)!)H/tylN*;t./ j7b*;)?*;</\)?*;#nuE)H/

B/GFI<(D*2)+*2<(8k)L'iL8)?*98:w(GD [% /#uSE*;<\)H/!8?G,./IS]*98…G,.(bS)pO#t*;<./)G8k<(D)H()

)H/t*;<*2t./ j7b*;)?*;</})?*;nu4)H/BiN8?)FI<(D*;)?*;<(8#)\'i8=)?*98:w(GD [% / & \*;<)H/

8?G,./IS]t*98G,.(bS4) P‡Y*2<./)G85z ‰565)H/IS;G8850…</)H*;</ *;<(D*-F5C)G83)H())=H/}B/

j7H*9F=Hh*;BS;55<)8#)H*98t8?B(GF=*TwxF5)+*2< H(8W'(55< FIGFI)+S2|hFI<(8+).(FI)GDz B}565G0i)H/

ylN*;t./ Il/GFI./)?*;<t)?*;nx‰$7‡FI.S9D4'(…S;jk5Œ)H(<L‰6ybS;./k„ 8?.(F=Hp82K% /#uS

% / & zN„kH*98…*98…</)k)H/4F58?‰*;<\./kIl1BS20'/./)…*;)7FI.S9D3'(4)./‰nu—)=H/5v</G8

(22)

<

<!

)

6 #

!

G

<!! !

f e`*

f

)

!<

u

<

<!

)

) "f

)

-

<!! ! N'

) "f

) e`*

f

)

D

e`*

f

)

)

!<

e`*

f

)

&'2h

<!! !

e`*

f

)

<!! ! u

e`*

f

)

q!! !

e`*

f

)

'

<!! !

'

q!! ! g'

!<

i i

h

!<

!q

<!! !

<!! !

#

!

&

2h

h

h

h

<

!

&

9<B2N9 > 5A6>&;<>= >N8 "!NBB >#g89<?VBBE >%$&B=3>&/E8NA6>&;q>&= ? &8u9<1('&2N/) 3>&9q;C

5+*-,/. 9<B2N9 3>&8102,.3 4 9<B2N9 >&85026 9<?:BBE >)$&B=3>&/GE8Y9<1('&2N/% 3>&9<; 4 9<B2N9 3>C

*;./tO )H/L$^„ $^„ 8?5<(8 S;¢F#8?B(GF=*TwxF5)+*2<€)=<(8:S9)GD*;<)„…*;GD›Q!=N8

(23)

f e`* !

#

! !

e`*

f

)

'

e`*

f

)

'`

q

<!

)

('

) f

) e`*

f

)

e`*

f ! '

e`*

f

! 'u Gq

#

<

'

) "f

) e`*

f

!

f e`* !

e`* ! '

f e`* !

) f

) e`*

f ! '

) f

) e`*

f

)

'

f e

! Of

f e

! #

) "f

) e`*

f

)

' ) f

) e`*

f

! '

e`*

f

)

'

e`*

f

!

e`* ! '

f e

! Of G'

e`*

! )

'

e`*

! !

e`*

f

)

e

! #

'

e`*

f

!

e

!

#

'

e`* !

e

! #

e`*

! )

e

! #

'

e`*

!

!

e

! #

'

e`* !

e/

!

#

'

e`*

! )

'

e`*

!

! '

e`* ! '

fG e

! Of '&@N/=ENBE A6>)$&B5A >&;<>&= >N8 !NBB 9q;</G=;<BE88/G= 9<;q>&?N?VBE:C

5+*-,. '&@N/G=ENBE A6>)$&B&8NB2NE '@N/G=ENBE A6>%$BC

9<B2N9 >

#

!

&'

/<

!

'

<

q!

)

'#

!

'

) "f

)

9qB2N9 EN13=

/<

&'

/<

#

<

'

G<

('

) f

)

4 &N=/)&B !

&' !

' ! G"f

/=12 '

#

!

&'u))'

!

A#Of

e

! #

<

G)"f e

! #$

/f e

! #

(24)

[unuA*2<(8+)<(FI‰*qn^)H/7</t*;<(bSIl¢GFI./)+*2<3*-8kEB(IbSTS2IS FIB(N8:*;)?*;<3nŒ)?jkL$ „78k8?.(F=H3)H()

)H/t8?./ n)H/I*;7Il/GFI./)?*;<‡)?*;E*98kS;jk57)H(< % / & >]Iz

„kH/p„EŠk„7‹ nut.S9tj7H*9FH Il¢B/=G88?G8‰)H()!$‰*987)+*2L'(./<(DGD\*98‰)H/EnuSTS2jk*;</

</

) *"

)

) *"

(

)

*;6G8)H/^*;<*;)?*9bS(8?))=nN)H/k„…*;GD4QEN8iB/ II*;)H/5Œ{b*;) GF $7

7Y*2<(yS $7^0—F5FID*;</h)‡)H/\B/G8+5<(FI\'(8?5<(FI}Cn!B/GFI<(D*;)?*;<(8Y*;< )H/}$7

8?BiGF=*TwxF5)?*;<ŒzŒ„kH*98‰nut.S9tt.(8?)7'(W*;<N)5=B/)GD 8…nuSTS2j!8 /GF=H}Il/GFI./)?*;<h8?G,./5<(FI

*988?./GDnuJ)H/k*;<*;)?*9bS8?)I)7nŒ)H/E„…*;GDQE8B/ *98k8?.(F=H)H()…'(Inu4„ ./<*;)8

n)?*;#)H/TXI5<(D}8+))2Y#H(8k'i55<}GFH/GDz

„kH/8?GFI<(D‡Il(BS;jkt)†t)*TSTS2.(8+))3./45)=H/¢D0ŒFI<(8­*-8+)8‰*;<hB/6*;</ )H()

)H/k)?*;5mS94'i5)?jv55<#)H/78?)=)?*;</7B(*;<)n()H/kj7H/5IS/Il¢GFI./)+*2<LS9bj <(DW)H/k) </

*98E'(./<(DGDzx„kH/t8?B(GF=*TwxF5)+*2<‡*98!8?.(F=H})=H()7)H/#j7H/5IS *98EbS;GD|}FI<)CSqS;GD j7H/5< )H/

Il/GFI./)?*;<tS9bj Cn()H/—)*988?)C)GD05'/./)^)H/k5658+*98^</)^)./z5{h7FI.S9DtF=H/GF†#)H()

)H/)?*;tS9}'i5)?jv55< )H/)?jk8?)I)?*;</\B(C*2<)8W*98LbS;j7b|¢8‰S;jk54)H(< Y*qSTST*;mg8?GFI<(D/850

D./ )‡)H/\j7b*;)?*;</h)?*;3ST*;t*;)8=8?¢F=*9)=GDjk*;)H )H/\)?jk $^„ 8?5<(8 S;¢F›B/GFI<(D*;)?*;<(85z

e:< D5t) Il¢B/G8=8t)H*98tB/Bi5)?|0jkH(b6\)=€.(8+\)H/3noCSqS;jk*;</ 8?))3B/GD*9F5)G8

) * W:S ub &gS

<(D

) *" WVS `b ( # z „kH/}B/B/=m

B/?*9)=€„EŠv„‰‹snot.S-‡8?H/.S-D Il¢B/=G88)=H()tj7H/5< )H/}8+))RW:S ub ( #‡*98

FI)+*260*;)—*98k</)7B(N8=8:*;'S2#)8?)b|#*;<\*;)…no7„ Y*qSTST*;mg8?GFI<(D/84<(D3)=H/5<\)tGF=H)H/L8+))

WVS ub )&gS¢0/j&*2)=HR2 J z(„&H*-8&*98!D</L'|\.(8:*;</„ŽŠv„7‹ B(5C) /

j7H*9F=H\*98k</)‰*;65<3*;<}./7DIw(<*;)?*;<‡n—„EŠv„7‹›nut.S98k'(GF5C.(8?4n^*2)I87FIBS;Il*2)?|3nu

w(8+)LB/B/NF=Hhn—)=H*-8ŽS;*9Fz „kH*98Žno=p.S9*98L8=)?*98:w(GD *Tn!<(D <S;| *qn7</Il¢GFI./)?*;<

Il*98?)878?.(F=H\)H() *-8‰8)?*98:w(GD3<\GFH\8?))=!GFH/GD3'|)H/L8?G,./5<(FIL'iIno!=GFH*;</

h8+)) / j7H*9F=H 8)?*98:w(GD / z? *;<(bSTS2|0…)H/\„EŠv„7‹ no=p.S9 jkCS;†*2</ nu#*-8Y)H/

nuSTS;yj&*2</3</

</)P[

) *" WVS `b ( #

) * W:S ub ( #

) * W:S `b &gS ]

+3-( % ),+ 9 &3& # 4%,.

!

( & 3 + %693 '9 %1#: &

< @U8 :8 <b8 :;V <^@3<3A:%Aa6C $6^8 =6=A /6 3:<%V a< @ K6=@36=A 8 6C6

„kH/#)?*;LBi5?nu<(FIG8‰jk4*;64*;< )H*98!8?GFI)+*2<}H(b64'(55<‡'/)Ib*;</GD\<‡tt*9D/DS;5mg8:*75

jk†/8?)C)?*;<Œz

(25)

)?*;GDmuB/H FIB/./)GDk)H/‡<N./t'i5}nL)I<(8:*;)?*;<(85078?)I)G850A*;<N)5=<(bSL565<)850kF=S2/F=†¢8

<(D *;</B/./)8" GF=H nŽ)=H/G8?G8\,.(C<N)?*;)?*;G8*98*;<N6S;6GD *2< )H/hFIB*qS9)+*2<~)?*;}Cnp

„…*;GDmuQE87B/}z

„kH/3b*;< B/¡*98#)H/\„…*;GDmuQ!=N8#B/I 88?/F=*9)GD jk*;)H)H/3b*;< …$

jk4B/56*;.(8:S;|}DG8FI?*;'(GDz„kH/4B/J<(GD\$kGD.(FIGD*-8‰8:ST*2HN)?S;|}D*65Œ55<)kno=)H/

y*2< </zŒeg)tH(8#'i55< '/)b*;</GD 'N| 88?/F=*-C)?*;</€j&*2)=H GF=H 8?5)tn7B/GFI<(D*;)?*;<(8</

j7b*;)?*;</t)?*;kST*;t*;)G0*;<(8?)GDnŒ</7j7b*;)?*;</t)?*;kST*;t*;)7jk*;)HGFH3B/GFI<(D*;)?*;<Œz{h7j&*qSTS

8?54'iIS;yjf)H()k)H*9878:ST*;H)!D*65‚5=5<(FILn )=H/Ž8?BiGF=*TwxF5)?*;<‡H(8k8:*;<*TwxF5<)ŽFI<(8+G,./5<(FIG8

< )H/4B(5+no=<(FI4n'()=H\Q!N87FIB*TS;54<(D}ˆE</N8…)NCSz

Hl1BS2 „ŒI<(8 F))=G8 e:<N)=5<(bS HA65<N)I8 ŠS;¢F=†/8 eg</B/./)8 Š—B*TS9)?*;<‡„…*;

B‡b*;< J/UGP/UbM UGPO P UGO JP PH}MP

$kGD.(FIGD UGMVd UGPO P UU JP PHhUGP

„kH/7w(I8?)k5†jvEF5<\†&*-8&)H()7DG8?B*;)4)H/EH*;H\<N./t'i5vCnŒ*;<N)5=<(bSŒ565<N)I8

.(8?GDp*2<)H/G8?kB/I850bj7H*9FH3—†</j7<t)4'(kG8+B(<(8:*;'S;Enu '(DL)+*27B(5?nu3<(FI

*;<}8?|<(FH/=</.(8AS9</.(G8kFIB*qS;5P[?8:*;<(FILFIt./<*9F5)?*;<(87=!8?))+*-F5ySqS;|\FIB/./)GDb]I0

)?*;EB(5+no=<(FIEnŒ)H/!QE8FIB*TS;5k*98v,.*;)EN/DzN„&H*-8v*-8kD./E)L)=H/!D/B/)C)?*;<

nvC<}bS;?*;)H/¡.(8?GD3*;< )H/ H…8?)5ISFIB*TS254j‰H/N8?LFIBS;Il*;)­|›*98kST*;</GE*;<})5=8kn

)H/3<./p'i5tnk*2<)5<(yS&565<N)8#<(D </)LIl/B(</5<)?*9bS!8W)H/w(I8?)pbS;?*;)H/8#.(8?GD *2<

)H/t8vFIB*TS25bz

„kH/Ž8+GFI<(D35=†t*98—)=H()k)H/!QE8vFIB*TS25&*-8&65|8?5<(8­*2)+*264)L)H/4<./t'(5kn

F=S;/F†/87.(8+GD3*;<‡)H/L8?./FI#B/I}zN$&./HS;|0GF=H\)?*;LjkE*;<N)=¢D.(FItt</5j F=S2/F=†3*2<

)H/L8+./FI4B/}0jk7*;<(FIG8?L)?jknuS9D)H/4<./t'(57Cn)I<(8:*;)?*;<(8kn^)H/LFIB/./)GD

)?*;GD3B/H [u*;<ngFI)G0)H*98*98kIl(FI)?S;|)=H/ŽF58+7*Tn )H/E</5j~F=S;¢F=†*98kFI)?*;6E*;<3GF=HS;'(yS

8?)I)4n)H/L8?./IFI4B/Ca]z

eg< )H/\</Il/)t)'S;0jknu/FI.(8L< )H/)+*2\B(5?nuC<(FI\n!)H/3†N=</N8#)Svj7H*TS;

F=H/GF†*;</)=H()7)H/LB/BST*9F5)?*;< *98‰)?*;5mu'(./<(DGDz

H^l(BS; ŠAS2/F=†¢8 „ <(8 F))G8 c5?*TwxF5)?*;<h„…*;

B€y*2< UGO J1UGP/UGM UbPO M JtH}PP

B€y*2<\Y*2<*;t*75GD UGO NPP UbPO U4H}OP

B€y*2<\B/)?*;t*75GD V J1UGP/UGM UbPO M JtH}PP

B€y*2<\B/)?*;t*75GD˜Y*2<*;t*75GD V NPP UbPO PH}OP

$kGD.(FIGD UU UbMV d UbPO PtHhUGP

$kGD.(FIGD t*;<*2Y*5GD UU yPO PtH}P/U

(26)

„kH/kw(8?))+*2vjkk)|#)4B/6k)H/7„EŠv„‰‹3nut.S9E<t)H/7„…*;GDm`!CB/HFIB/./)GD

'|‡)H/QEN84FIB*qS;5tnu )=H/b*;<hB/ j784nb*TS;./ ^bno)=54)H/5H/./I84jk

8?)=B)=H/7)Sxjk*;)H/./)—H(b6*;</<|tG8?.S;)Gz/„kH/4„…*;GDm`!CB/H8:*754j78^)LH*;H3nu…)H/

ˆE</N84)SvF5B(F=*2)+*2G8rz„&H*-8Žw(8?)#Il¢Bi5?*;5<N)#S;GD/8#.(84)=3w(<(D ›j&b| )\GD.(FI3)H/

8:*75#n)=H/L„…*;GDm`!CB/H€FIB/./)=GD3'N|3)H/4QEN8kFIB*TS;5E'(InuL.(8­*2</3ˆE</N85z1{h

Il/B(5?*;5<))?jk\5)H//D/85z„kH/tw(8+)p</t*98L'(8?GDh< )H/YnFI)#)H()#)H/B/=B(5)?|‡jk

F=H/GF†\Dt</)7D5B(5<(D3<3)H/L„…*;GDm`EB/HS9'(IS985ziQŽ8ktFI<(8?G,./5<(FI0*;)…*98kB(N8=8:*;'S2#)

'(8+)FI)7)=H/5 <(D›)H/5<‡)t*;<*;t*75)H/t„…*;GDm`!IB/HŒzx„&H*-8EY*2<*;t*7G)+*2<‡S;GD/8E)

/D3G8?.S;)878:*;<(FI#)H/!'i5H(b6*;8&jvL8+B(GF=*Tno|\L8+.(FH\)H(C)v#S;)kn )=<(8:*;)?*;<(8…S;GD›)

)H/48 XI5<(D/Yt8?))=zeg<(D5GD0*Tn jk!8?)=.(D|p)=H/Ž8?BiGF=*TwxF5)?*;<3nubST*98?B/GF=*98?IS;|0(ŽS2)

n—FI<)STS;5EGFI)?*;<(87FI<(8:*98?)7*;< GF=H*2</)H/L5<(D\8?)I)z/„kH*98k*98‰)H/LF58?Wnov)=H/L$ „

j7H/5<‡#S;¢F5yS 7S;'(yS Il1FI5B/)+*2<\*98!D5)=GFI)GD0/j7H/5<‡DIS9G|3Il/B*2=G850 z-z;z

eg<}D57)FH*;56#)H*98kGD.(FI)?*;<‡B/H(8?4jk4.(8?tt)S <(GD3Q7S9D5'(C<Œ0(j7H/8?

)?*;4Bi5?nu<(FIG8…E65|N/DzN„kH/Et*;<*;t*7G)?*;< nŒ)H/Ž„v*2GDm`!B/H}88?/F=*-C)GD

jk*;)H)H/7b*;<B/=˜)†G8 S2G8=8)H(< JEt*;<N./)G8rzN„kH/7<./t'(5nŒ)I<(8:*;)?*;<DGFIG8?

'| 'i./) dOz „&H/ˆE</N8W)Sv)C†G8‰S;G88#)H(< M\H/./8W)}C*26)H/G8?.S;)tn7)H/

65+*qwxF5C)?*;<}B//FIG885z

„kH/!8?GFI<(DY5)H//DLjk7Il/B(5+*25<N)A*-8A</)—8^5</5IbSx8^)H/kwx8+)</zeg<38?!8+5<(8

*;)7B/)+*2Y*5GD3)=H/!<./t'(5kn F=S;¢F=†¢8&.(8?GDt*;<\)H/4„…*;GDm`EB/H}FIB/./)=GD'|)H/EQ!=N8

Š—B*TS25bzŒ„kH*98E</L5</5I)G87</5j F=S;/F†›no7GF=H DIS9b|\5<(FI./<)5GD›*;<‡)H/p8?./FI

B/}z„&H*-8*98—</)—4¢Dp*-DG#8:*;<(FIŽ8+!F=S;/F†/8kFI.S9D'i75mu.(8?GDYno)­jkLD*65Œ55<)

DIS9b|¢8Y'(GF5.(8?\)=H/}8?).(FI)./=nE)H/8+./FI\B/ *988+.(FH)H()t)H/G8?3)?jk€DIS9b|¢8

FI.S9D›</)k'(LFI)?*;6E*;<\)H/L8=ES;'(bS 8?))=z9/—*;<(8?)I<(FI0/)H*98…*98k'6*2.(8:S;|)H/LF58?

j7H/5<t)H/k)?jk!DIS9b|¢8=v88+¢F=*9)GD#jk*;)Ht)?jk!8?)C)G8ŒCn()H/v8C7./)C)<ŒzI{h7B/BS;|

)H*98kB/)?*;t*7G)?*;<\B/H(8?E<3)H/L„…*;GDm`EB/H\88?/F=*9)GDjk*;)H\)H/Eb*;<\B/I}0jk

GD.(FI#)H/4<./p'i5knAF=S;/F†/8…nu UGO#)V/zeg)kj78…</)78?.+ZF=*;5<)7)t†!BiN88:*;'S;t)H/

.(8?\Cn!)H/\ˆE</N8#)Sv< )H/\=G8?.S;)?*;</ „…*;GD `!IB/H '/./)bnu)5tt*;<*;t*7G)?*;<s)H/

)?*;#B(5?nu3<(FIG8k'(5</Iw()EGC)?S;|nu )=H*-8‰F=S2/F=†\B/)?*;t*7G)?*;<Œz

{hLbS98?t†E)H/L8C4)G8?)8Anuk)H/EGD.(FIGD\B/E[gjk*;)H3S;'(bS^j&y*2)+*2</)?*;

ST*;t*;)8]z^{h3FI.S9D 8?5)H()4)H/ˆE=</N84Bi5?nu<(FIG8#,.*2)=/D}j&*2)=H/./)pD*;</

<|)H*;</€<€)=H/„…*;GDm`!IB/H '/)b*;</GDh'|‡)H/QEN84FIB*TS25bz„&H/t*;<*;t*7G)?*;<

B/H(8+Ln)H/L„…*;GD `!B/H}ySqS;j!8k)=H(b6!'i5))5EG8?.S;)85z

/)H/t,.(C<N)?*;)C)?*;64B(*;<)7n6*;5jL0ijkLF5<\†4)H/EnoCSqS;jk*;</35†/8

Q7S;)H/./H )H/\Il(BS;\jk3*2BS255<N)GD *98t</)t65| FIBS;Il not)H/\Dy*2<

G/0 )H/}8:*75\n7)H/}„…*;GDm`EB/H j7H*9F=H 5B/G8?5<)8#)H/\FI<)STS;5t*98W*2B(m

(27)

„kH/!„…*;GDmuQE8—FIB*TS;5kB(5?nu3<(FIG8—=!,.*;)‰N/D#nu)H*98—„v*2GDm`!B/H

8:*75z

Q7jk565G0^)H*988­*5 nL„…*;GD `EB/H *-8'(5|<(D)H/€F5CB(F=*;)?*;G8n4ˆE</N85zA{h

H(D‡)H/5=Ino=)\w(<(D 5)H//D/8LySqS;jk*;</‡)}=GD.(FI)H*98#8:*75\'(InuF=H/GF†*;</h

B/Bi5)?|z

< ?:8 <b8 :;V <^@ < 3A:%A

„kH/Yw(8?)4./)FIG8Env)=H/Il¢Bi5?*;5<))?*;<‡S;GD/8#.(8E)\Il/B/G88#8?,.(bST*;))?*;6t*98?m

8?./G8

„kH/p„v*2GD\QEN8…S9</.(4*98EjkISTS;mgD/B/)GD ))=H*-8EB/BST*9F5)?*;<hG10(8:*;<(FIt)H/

)<(8­S-C)?*;<\n )H/L$&'()=mg/FIGD./4nu3bST*-8+*;<N)3p„v*2GD\QEN8…B/ *98

,.*;)t8:*;BS;z

„kH/3Il¢B/G8=8:*;6*;)?|hn7)H/„ŽŠv„7‹S;C*-FY*98t8?.+ZF=*;5<N)#nuL)=H/B/Bi5)?*;G8#jv3jk.S9D

ST*2†L)B/=y6z

7565)H/IS;G8850i*;)E*98E</)EB(N88­*2'S;tnu4<}5<(D .(8?5E*;<‡'i)?*9F58E)\D*;GFI)?S;|‡Il¢B/G8=8

H*98tB/Bi5)?*;G8#*;< „EŠv„7‹AzŒQ¡.(8+5mno+*25<(DS;| no=bST*98?}0Œj‰H*-F=H 8?H/.S9D )†

)H/LB/BST*9F5)?*;<h8?BiGF=*qwxF=*;)?*;G8Ž*2<)F5FI./<N)b0/H(8k)'(pDIw(</GDz

{ H/5< \B/B(5)?| *984</)t8)?*98:w(GD‡)=H/D*9</8:*984*;65<'N|hˆE</N84DNG8#</)LyS2m

S;yj )=w(<(D G8:*TS;| [u*;)7*98Ž*2B(N88­*2'S;noŽ</</muIl/B(5)#.(8?5!Cn&ˆE</8]v)=H/p5=

*;< )H/B/C}z(e:<(D5GD0^)H/D*9</N8­*-8Ž*98LIl/B/G88+GD *;< )5=8En&„v*2GDm`!B/H

*;<no=)?*;<(87C<(D\</)k*;< )58kCn)H/L8+./FI4B/}zb`7*;65< )H/EngFI)7)H()‰)H/

8?5<)?*9F58…n QEN8*98v8+.(FH\)H(C)*;)…*-8&G8?|)#IS;|)=H/7*;<nu)+*2</DISŒ<3)H/

8?./FI4B/= 0N)=H*-8EDbj7'(F=†8?H/.S-D›'(tD*-8=B/B(G=GD\*;< )H/Eno./)=./z

( :+&

{htH(b68?H/j7<›*2< )H*98EB(B(54H/j˜)\.(8?#nobS 5)H/¢D/8E)=F=H/GF† )?*;D5B(5<(D5<)

B/B(5)?*;G8Y*;<(8:*9D€<IlN*98?)+*2</ D56IS;B/5<)5<6*;</5<N)Ynot'()FI<)STS;585z„kH*98

5)=H/¢D*-8&'(8?GD\<}„…*;GD\QEN8r0¢#)5B(yS Il¢)=5<(8:*;<\n—8?|<(FH/</.(8…S9</.(0

<(D#<ˆE</N850!8?|t'(ST*9Fk65+*qwxF5C)?*;<)SNn)H/—=GbS¢)+*2v)=5B(IbSNS;C*-F‰„EŠv„7‹zbeg)I8

B/?*;<(F=*;BS;LFI<(8:*98?)8 *;<)=<(8:S9)?*;</4)H/78?BiGF=*TwxF5)?*;<no=bST*98?8^.(8?GD#*;<)=H/v5<6*2=</5<)

*;< „…*;GDhQE850)<(8­S-C)?*;</\)H/B/Bi5)?*;G8W*;<N)‡„EŠv„7‹ not.S-850Œ<(D w(<(bSTS;|h.(8:*;</

)H/hˆE</N83)SŽ)= †N</j¡j7H/5)H/5\)H/‡B/Bi5)?| *98\8)+*-8­w(GD 3</)Gzk{h *TSTS2.(8+))

./LCB/B/NF=H‡'N|‡3GbS—Il(BS;)†5<\nu )H/G3Cnv./)</.(8E65H*9F=S;G85z „kH*98

(28)

B/BST*9F5)?*;<\H(8'(55<*;BS;55<)GD<4GyS()?*;7Il/GFI./)?*;<8+|¢8?)=5}0<(DtIl/B(5?*;5<)8

<‡aXI6*;)=.(bS )y*2<>YYn)?jkt65H*9F=S;G87H(b64'i55<€3D4jk*;)H}8?.(F5FIG88rz

„kH/Ew(8?)!FI<(F=S2.(8­*2<€jkLF5<‡Dbjsno ./7Il/B(5?*;5<)8&*98k)H()7)=H/LB/B/NF=H\jk

nuSTS;yjs*98…jkISqS D/CB/)GD#*;<*;)8…B/?*;<(F=*;BS;G87)=L)H/E</5GD/8…nŒ)H*98vCB/BSq*9F5)+*2<}G/z+Q7jk565

)H/…B(5?nu3<(FIG8ŒCn()H/—.(8?GDW)S98Œt.(8?)^'(A*2B/6GDE*;<tD5G0r<L</…H(<(D0b)!H(C<(DS2

T‘u’“r”g•5–q“k=GbS B/BST*-F5C)?*;<Œ0xC<(D\<3)H/4)H/5‰H(<(D0/)t'(W*;<N)5)GD3jk*;)H*;< IlN*98?)?*;</

D56IS;B/5<N)45<6*;</5<N)I85z F).(D|*2</ X<})H/(| Y38?|t'(ST*9Ft5)H//D/8‰n—65?*TwxF5)?*;<

FI.S9D#'(7kj7b|E)knu.Sqw/S/)H/G8?…)?*;—=G,.*;55<)85zbQE</)H/5^B(N88­*2'S;78?S;./)?*;<t)&*2B/6

)H/4)+*24B(5?nuC<(FI4n )H/465+*qwxF5C)?*;<\B//FIG88…*98k)DIw(</pt8?BiGF=*TwxFL)=<(8:S9)?*;<3n

)H/4$7 nuySq*98? *;<N)t„…*;GD `!IB/HŒ0j7H*9FH\)I†G8 *;<F5FI./<N)78?!F=H(FI)5+*-8+)?*9F58n

)H*98no=bST*98?}z /Il1BS20N8?)n)H/7DIS-b|tIl/B*2I)?*;<(8^S;GDY)4)H/&XI5<(D8?)I)2Y/zbeun

jk7)C†—)H*98*2<nu3)?*;<t*;<F5FI./<N)j7H*TS;E)<(8:S9)+*2</t4$7 *;<)p4„…*;GDm`EB/HŒ0C*2)^*98

</)‰</GFIG88|3)D5)Ib*TS )H/L8?)C).(8…n )H/4)=H/5!DIS9G|/8E<(D3)H/4<./p'i57n)<(8­*2)+*2<(8

jk.S9D\'ipDC)?*9F5bSTS;|\GD.(FIGDz

{h77FI./5<)?S;|t)G8?)?*;</LE</5j bS;+*2)=H/ j7H*9F=HH(8^'(55<Y*2BS255<N)GDY*;<ˆE</8

)LFIB/./)7j7H/5)=H/5vES;'(bSx8+))…*98—F5FIG8=8:*;'S2E</)bz„kH*98—bS;+*2)=H/ *98—8?./B/BiN8?GD)

H(b6#N/D\)+*2pBi5?nu<(FIzieg)‰*987BiN88:*;'S;)3)C<(8:no )H/t„…*;GD Q!N8kB/

8=8?¢F=*9)=GD j&*2)=H $7J'N| D/D*;</*;< B(bSTS;ISp X58?|<(FH/</.(8t'(8?5=65"Y8DIw(</GD

*;< DOQE‹Œ$7V JLg0i*;< 8?.(FH}j7b|})=H()L)H/38)?*98:ngFI)?*;<n!\B/B(5)?| *98LG,.*;6ybS;5<)) )H/

./</GFH('*TST*;)?|\n4B(C)?*9FI.S975v8?)C)zN„kH/EB/'S;5 5<(FI./<N)5=GDj7H/5<\.(8­*2</t)H*98

5)=H/¢D*-8&)H/4nuSTS;yj&*2</ *TnvpDIS9b|3*987B/=G8?5<N)&*2< )H/4'(8?5=65!FIBi</5<)P[g)H*98…*98‰)H/

F58+*Tn()H/—B/=B(5)?|E*98 )?*;vD5Bi5<(D5<N) ]Œ)=H/—<./p'i5 Cn¢)I<(8:*;)?*;<L<./t'(5^n/)H/v„…*;GD

`EB/H 8=8?¢F=*9)=GD‡jk*;)H)H/B/ *-8W*;<(FIG8+GDh)?jknuS9D€8­*2<(FI3)H*98tDIS9G| *98tbS;j7G|/8

FI)+*26z(„kH.(8k)H/4FIB*TS9)?*;<})+*24n)=H*-8&Q!N8…B/C *98k*;<(FIG8?GD\<(D3)H/L8?)I)?*9F

<(yS2|/8:*98#nv)=H/Y„v*2GD `EB/H‡B(5?nuGD}'|hˆE</N8E'iIno56yyS2.(C)?*;</€)=H/pB/=B(5)?|

bS98?3)†G8—4)?*;L<(Dw(<(bSTS;|\)H/LG8+.S2)I87ES;G88&*;<N)5=G8?)?*;</)=H(<\Il¢BiGFI)GDz

B}565G0(< *;Bi)<)Ejv†\5b*;<(8E)3'(3D</#*2< D5E)3†tG8:*;54'()H

B/B(5)?| 8?B(GF=*TwxF5)?*;<~<(DsD*9</N8:*98Y*;<N)5=B/5))?*;<ŒzAeg)jk*TSTS4'(}3*;<N)=5G8?)?*;</ *2<

)H/nu./)./3)}Il/B/G88#B/Bi5)?*;G8#'N|‡.(8:*;</ nobST*98? Y*2<).*;)?*;6\)H(C< „EŠv„7‹Az

„kH*98›</h8?H/.S9D )†\*;<N)= F5FI./<)\)H/€B/BST*9F5)?*;< F=H(FI)5+*-8+)?*9F58\<(D 8?H/.S9D '(

./)=)?*9F5bSTS;|)I<(8:S9)GD#*;<)„EŠv„7‹not.S-85z B 7B/GF=*98?IS;|0/./*9DGW*-8…)W*9D5<N)?*Tnu|

s8?5)\nL*;<)5G8?)+*2</s5</5?*9F‡B/B(5)?*;G8›)H()\)H/hB/=5FI.S-D G8:*TS;|~.(8?‡nu

8?BiGF=*TwxFpF58?G85z/A*;<(8?)<(FI0(#B/B(5)?|j7H*9F=H€8?5538—)=p'i4G,.*2=GD\N8+)—n )=H/4)?*;

*98…)H()…)H/!='()+*-FEB/BST*9F5)?*;<3*98…)?*;5mu'(./<(DGDz/eg<3)H/48?S;./)?*;<3jvEB/BiN8?0)H/!.(8+5

H(8‰<S;|\)8?BiGF=*qnu|})=H/L)?*;4'i./<(Dz(QE<€C./))+*-FE)=<(8:S9)?*;<3*;<)\„EŠv„7‹hySqS;j!8‰)

F=H/GF†\j‰H/5)H/57)H/#B/B(5=)­|Y*-8E8)+*-8­w(GD\7</)Gz

(29)

{hkH(G6&yS2=GD|#*-D5<)?*Tw(GD)­jkE)H/55</5+*-F&B/B(5=)?*;G850jk*;)Htj7H*9F=Hjk7F5<F=H/GF†

)H(C)

)H/})+*25mS-C 'i5)­jk55<s)H/}8?)=)?*;</hB(*;<)CnŽ)?jk 8?G,./5<N)+*-yS!Il¢GFI./)+*2< S9bj!8#*98

'(./<(DGD

)H/)?*;5mS9 '(5)?jk55<h)H/8+))?*;</\Bi*;<N)#nv)?jk\65?S9B/B*;</}Il/GFI./)?*;< S-bj!8‰*98

'(./<(DGD

„kH/G8?L)?jkt)?|NBiG8knB/B(5=)?*;G87t.(8?)7'ipD*98?)?*;</.*98?H/GD 8:*;<(FIp)=H/I*2E)C<(8:S9)?*;<3*;<N)=

„EŠk„7‹ nut.S987LD*65Œ55<)Gz

*2<(ySqS;|0 )H/G8?LIl/B(5+*25<N)84yS-8+8?H/j˜.(84t</5j˜*;<N)=5G8?)?*;</\G8?GCFH‡D*;GFI)?*;<‡nu

)H*98k†*;<(D3nB/BST*9F5)?*;<(8rz(„kH/45)H//DjvEIl/B(5?*;5<)8kH/54B/=y6*9DG8…)H/!.(8+57jk*;)H\

j7b|t)L65+*qnu|t*TnŒ*;)8AB/C 8)+*-8­w(G8vW)?*;4D5B(5<(D5<)!FI<(8?)Ib*;<N)G0'/./)nuJ)H/ŽDG8­*2m

</5 8^B(*;<)n(6*25j </)H*;</E*-8…D</k)EH/IS2BH*2 )=Ž8?IS;GFI)…)H/k?*;HN)DIS9b|L6yyS2./G8Aj7H*9FH

jk*TSTS—</GFIG88C?*TS2|h8C)?*98:no|\)=H*-84FI<(8?)b*;<)Gz(„kH*984FIBS255<N)C|\B/'S;5¡*98‰*;<(D5GD‡65|

IS;56<N)&nok)H/4B/BST*9F5)?*;<‡G/z{hŽC!)=HN.(8k8?)C)?*;</L)H/E56yyS2.(C)?*;<}n tF5<(D*9D/)

5)=H/¢D )hD/DG88#)H*98#B/'S;5 e:)4*98t'(8+GDh< </)=H/5LIl/)5<(8:*;< n7QEN8#) HN|m

'/?*9D 8?|¢8+)587<(D3<}t)S(nu!8?|<)H/G8:*7I*;</ST*;</G‰*2<6yC?*9<N)I87<(GD3B(S;†y DOQE—$7VC Lgz

„kH/w(8?)#)G8?)8WjkB(5?nuGDh<}$^„ jk538?.(F5FIG88:nu.Sgz Q‰jk565G0ŒB/='S;58#n7)?*;

Bi5?no<(FIt8?H/.S9D}+*-8+E*qn—)=H/4<N./t'(5En./<N6bS;./GD‡F=S2/F=†*98‰)NH*2HŒz

!

,>"<34%7 6&

ejk.S9DST*;†!)=L)H(</† F5*; Ry6*;</ŽC<(D\Š—</D 4bj!8no—)H/I*;kH/IS;B}D./?*;</)H/E.(8?

n)H/LˆE</N8k)Sgz

!

070%'

$^„ '/†E*98EDIw(</GD\'|

Q" % ($^„ '/†

# `S& ( $& '/† † D" NM % % kOt8L

& VS0& ( -& 1'/† D</TD" NM % % vO8 L

K.#" -& `K ( 0(

& :S / $& /'/I† B/'

&NS) VS / -& /</</

&NS) TS YM '/† GF 8?)B

eg<})=H*-8‰8?B(GF=*TwxF5)?*;<

Références

Documents relatifs

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

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

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

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

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

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

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

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