• Aucun résultat trouvé

Imagining CLP (Lambda, alphabeta)

N/A
N/A
Protected

Academic year: 2021

Partager "Imagining CLP (Lambda, alphabeta)"

Copied!
23
0
0

Texte intégral

(1)

HAL Id: inria-00074287

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

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.

Imagining CLP (Lambda, alphabeta)

Olivier Ridoux

To cite this version:

Olivier Ridoux. Imagining CLP (Lambda, alphabeta). [Research Report] RR-2388, INRIA. 1994.

�inria-00074287�

(2)

ISSN 0249-6399

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

Imagining CLP( , )

Olivier RIDOUX

N˚ 2388

Octobre 1994

PROGRAMME 2

(3)
(4)

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

013254618799-:<;>=@?A7BDC8EFBHGJI$9&KL25BNMDO5EF:6P5QF1J26461879-97R3MS25TU:)RA4WV:)TFMS:XBS2646MDC8MS:)B

01J2ZY8:)R<[!7TL\$:

]<7^QFQ_2613RA\$:1J:ZCJ`F:)18C3`a:bTcd;5e6f5fX=@gXC8RJ26KF1J:hi6ijk=lhZi>QL7^46:)G

mnWo)pqrLsp5t<uv:G3RJEL\$IXEFTL\w:)1xA`FMDC3`yC826TL\wMNRJMS26TFGHRJ`F:z\$2597MST{2|L}$~R3:€139G‚ ƒA„…7^TL\{R3`F:†:ZO5EL7BSMSRIAR3`a:)261JI2|FR3`a:z}$~3C)7^B‡CˆEFBSEFG

‰XŠ6‹F„{|26139RJ`F:&KL7^G3MSG2|<7-EFGŒ7^KFBS:C826TaG3R3187MST$RXBN2546MDC>QF1325461Œ7^99-MTF4&BD7Ta46EL7^46:&?A[…0W„€ŽHA`F:C825TL\$MSR3MS26TaGU71J:URJ`L7RRJ`F:

:O6E_7BSMSRIR3`F:€2613I9&EFGJRkCˆ26T$RŒ7^MNT7’‘FMN259”“_P•7^TL\R3`F:y|26139&EaB‡7BD7TF45EL745:U9&EFGJR\$:)QL7^13RX| 1J269—–A2513TC8BD7^EFG3:)Gy7TL\v75C)C8:)QFR

EaTFMS˜6:)1JGŒ7B…O5EL7^T$R3Mš™›C)7^R3MS26TFG<7^TL\&MS9-QFBSM‡C€7R3MS25TFGMNTœ452d7BSGŽ…TœG3`a2613RPL?A[!0† ƒXPF‰XŠ6‹_„†9&EFG3RWK_:UC8BS25G3:XR32}_01325BS264LŽ

ž-Ÿ$ H¡3¢>£Lq6¤o^t¥?A[!0PF}$~3?A7BDC8EaBNEaGZPF}_01325BN254

¦D§&¨

©«ª¬Z­

¨

©®¯Sª°«±ˆ²

³µ´ ¶·¸8¹6º»¼¶½´ ¶¾¿ÀÁš´

Unite´ de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71

(5)

ŸFo Ÿ t A25EFGV:)R3EL\wMN25TFGGJ26EFGUO5EF:€BNBS:)GyC826TL\wMNRJMS26TFGBS:\$2597^MNTa:U\$:)G&}$~R3:€139:€G& ƒA„X:)RBD7-R3`AV:)261JMN:œ\$:&B3V:)4d7^BNMSRFV:U\$E

}w~3C)7BDC8EFB†‰ Š5‹L„ | 25139-:)T$R<EFTF:yKL7^G3:&EFRJMNBSMSGŒ7^KFBS:Q_26EF1XEFTBD7TF4$746:y\$:&QF13254618799œ7RJM26T-BS2646MDO5EF:Q_71C826T$RJ1Œ7MST$R3:œ?A[…0W„€Ž

[¼:)GWC826T_\$MSR3MS26TFGGJ26T$RzO5EF:†B‡7 R3`AV:€2613MS:<\$:ABJV:)4$7BSMSRFV:W\$26MSRW7EaG3G3M_C826T$R3:€TFMS1WB7’‘FMN259&:W“LP:)R‚BN:†BD7TF4$745:z\$:†| 25139&EFBS:W\$26MSRyV:)RJ:)TL\$1J:

Cˆ:)BSEFM•\$:€G C8BD7EaG3:)GX\$:U–A2513Tœ:)RX76C)C8:€QFR3:)1\$:€G O5EL7T$RJM™HC)7RJMN25TFG†EFTFMS˜6:)1JG3:)BSBS:)G{:)R \$:€G<MS9QFBSMDC)7^R3MS26TFGW\F7^TFG<BS:)GAKaEFR3GŽTœ|7MSRZP

?A[!0† ƒXPF‰XŠ5‹w„A\w26MSRA13:)GJG3:)9&KaBN:€17&}L01J26BS264_Ž

£_po)¡8sŸt ?A[!0PL}w~µC)7^BDC8EFB P_}L0 1326BS254

(6)

! #"

z

[¼2645M‡C>QF1J26461879-9MTa4UMSGU7-QF1J26461879-9MTa4&QL71876\$MS469MSTxA`FMDCJ` QF1J26451Œ79-G 7^13:&BS2645M‡C€7B!| 261J9&EFBD7GPL7T_\:8‘F:ZCˆEFR3MSTF4RJ`F:)9

7^925EFT$R3GWRJ2UGJ:Z718C3` | 261A7Qa132$2|ŒŽ$A`a: 9-26GJR|«79-26EFG‚QF1Œ75C8R3MDC)7^BHMNT_C)71JTL7RJMN25T2^|•BS2645M‡C QF13254618799-MTF4XMSGA01325BN254LP5xA`FMDCJ`MSG

K_7G3:\25T–A261JT-| 261J9&EFBD7G%$½e&'3Ž

A`F:‚| 251397^BSMNGJ9 2|H–A261JTUQa1326451Œ7^9GHMSGWC8269-QFEFRŒ7^R3MS26T_7BSBSIC8259QFBS:)RJ:%$Sh6Pjdf'3PKFEFR25TF:z`_7G2| RJ:)TRJ13MS:Z\yR32X7EF459:)T$RHMSRR32

4$7MSTX92513:)(L:8‘FMSKFMSBSMNRIX7TL\k:8‘FQF13:)GJG3MS˜$MSRIdŽg{TF:†2|FR3`F:€G3:<7RJR3:)9-QFR3G!MSG…R3`a:WQL71876\$MS459/2^|›C826TaG3R3187MST$R…BS2645MDC…Qa1326451Œ7^99MSTF4$Nh5hP

;+*$P6h,&FP8jdi'3Ž8R•79-26EFT$RJGLRJ2A13:)QFBD75C8MSTF4AEFTFMš™›C)7^R3MS26TX2^|d™_13G3Rµ~«251Œ\$:€1•RJ:)139-GZP)C825TFG3MD\$:€13:Z\y7G7†QF132FC8:Z\wEF13:‚| 261HGJ26BS˜$MSTF4A:ZO5EL7RJMS26TFG

25T&™L1JG3Rµ~«251Œ\$:)1{R3:)1J9GP$KdI&25R3`F:€1<QF1J2wCˆ:Z\$EF1J:)G{| 261†G325BN˜$MSTF4U7yxAMD\$:€1A1Œ7Ta46:X2|QF1325KFBS:)9GA:ZO5EL7RJMS26TFGAKFEaR<7BSG32yMSTF:ZO5EL7RJMS26TFG

7^TL\\wMNGJ:ZO5EL7RJMS26TFGPF:)R8C)„A25T 7>xAMD\$:)1{1Œ7Ta46:X2|W\$269œ7MSTFG.-5K_2d25BS:Z7TFGP5™LTFMSR3:\$2597^MNTaGZP5MNT$RJ:)46:)1JGZPa1Œ7RJMS26TL7^BNGP$13:Z7^BSGZPF:€RŒCŽ0/<T

MS9-QL2513RŒ7^T$R…Q_26MST$R•MSGWRJ`L7R‚R3`F:<C825TFG3RJ1Œ7^MNT$RW`_7TL\$BS:)1‚G3:Z7^1ŒCJ`FG†| 251•G87RJMNGµ™›7KaMNBSMSRIX2|…RJ`F:<C826TaG3R3187MST$R3GP6KFEaRWTF26R‚TF:ZC8:)GJGŒ7^13MSBSIy| 261

GJ26BSEFRJMN25TFGZŽ€A`FMSG:8‘FR3:)TFGJMS26TyQF13:)GJ:)13˜5:)G†R3`F:†92F\$:)Bš~R3`F:€2613:€R3MDC13:€G3EFBSR3G‚2|›01J26BS264_Ž)RW76\a\$G1(L:ˆ‘wMSKFMSBSMSRI<K_:ZC)7^EFG3:6P$C8259QFEFR87RJMN25T

25TG3259:U\w2697^MSTFGA9&EFG3R{KL:\w26TF:yMST 7œ\$MS13:ZC8RJMS26TL7^B•xA7IœMST 01J26BS264_PFRJ`F26EF45` MSRC)7^T K_: \w26TF:>| EFBSBSIœ13:)BD7RJMS26TL7^BNBSI-xA`F:)T

Cˆ26TFGJM‡\w:)13:Z\-7C825TFG3RJ1Œ7MST$RZP2a261MSTFG3R87TLC8:{MST01325BN254LP34658793:5P6xA`a:)13:{˜6713MD7^KFBS:7 MSGWTa26RWK_26EFT_\&7RW:8‘F:ZCˆEFR3MS26T&RJMS9:6PMSG

7>9MSGJRŒ7<;5:6P5R3`F25EF46`œMSR3GA:ZO5EL7^R3MS26T_7B…C825EFT$R3:)1JQL71JRZP3+4>=?793+:6PF9œ7<;5:)GWQ_:)1| :C8RXG3:)TFGJ:6PH7TL\-MSG†G326BS˜5:Z\-KdI-G3EFKaG3R3MSRJEFR3MSTF4h

RJ2@7ŽA`F:A:8‘FR3:€TFG3MS26T7^BSG32 75\F\>:BAC8MS:)TLC8IyK_:ZC)7EaG3:<GJ:Z718CJ`FMSTF4X| 251•G87RJMNGµ™›7KaMNBSMSRIXMSTFG3RJ:Z76\>2|HG3:Z7^1ŒCJ`FMSTF4{| 251•GJ26BSEFRJMN25TFGGŒ7˜5:)G

Ta26T$~3\$:)RJ:)139-MNTaMNGJ9 Ž

A`F:&45:)TF:)187BWG8CJ`F:)9:y|261C826TaG3R3187MST$RBS2645M‡CkQF1325461Œ7^99-MNTa4UMSGXTF26RJ:Z\v?A[…0P_MSTFGJRŒ7T_C8:)Gy2|AxA`FMDC3`vC)7^TvKL:y| 25139-:Z\œK$I

Q_7G3GJMSTF4 \w2697^MSTFGz7T_\&R3`a:)261JMN:€GAR32&R3`a: G8CJ`F:)9:5Ž$TRJ`FMSGzx†261C;HP$xz:XG3RJEL\$Iœ?A[…0†ƒ PF‰ Š5‹ „‚xA`FMDC3`œMSGA7TMSTFGJRŒ7^TLC8:X2|W?A[…0

xA`a:)13:RJ`F:\$269œ7MST&MSGA2|W}$~R3:)1J9GXƒ„†7TL\-RJ`F:R3`a:)261JIMSG

~«:ZO5EFMS˜67^BN:€TLC8:y«‰ Š5‹ „)Ž

A`F:>G3R3E_\$Iœ2|WR3`F:>46:)TF:€1Œ7BG8C3`a:)9:X`L7^GA| 2FC8EFGJ:Z\œ25TxA`_7R<Qa1326Q_:)1JR3MS:)GXR3`F:y\$269œ7MSTFGz7^TL\œR3`a:)261JMN:€G<9&EFGJRAGŒ7RJMSG| I| 261

GJ269-: 9-2F\$:)Bš~«RJ`F:)2513:)RJM‡Ck13:)GJEFBSR3GXR32-`F26BD\HŽEDœELCJ` BS:)GJGXMNG{GŒ7^M‡\ 26TRJ`F:#F+5.GHI6JLK{2|†R3`F:yG325BNEaR3MS26TFGA2^|zR3`a: C825TFG3RJ1Œ7^MNT$RJGZŽ1MWI

EaGŒ7KaMNBSMSRIXxz:{9:Z7^TURJ`F:<7KaMNBSMSRIRJ2KL:AEaG3:Z\KdIyR3`a:<QF1J26461879 MNRJG3:)Bš|…RJ`L7RW45:)TF:)187RJ:Z\-R3`F:<C825TFG3RJ1Œ7^MNT$RJGzMST&2618\$:)1†R32U7^TL7BSI$G3:

RJ`F:X13:)GJEFBSRZPaRŒ7<;5:{| EF13RJ`F:)1X\$:ZC8MSG3MS25TFGZPaKFEFMSBD\&TF:)x Cˆ26TFGJR31Œ7^MSTdRA:€RŒCŽENAGŒ7^KFMSBSMNRI&MSGAMST&|76C8R<7y9-:)RŒ7’~«QF1J26451Œ79-9&MTF4C)7^QL7KaMNBSMSRI$Ž

[¼MSR3R3BS:{MNGAG87MD\-2|EFGŒ7^KFMSBNMSRIyQF1325KL7KaBNI| 261†Rx†2&13:Z7^G326TaG.-

h5ކMNRAMSG…Y8EaG3RATL7^R3EF187B_| 251zT$EF9-:)13MDC)7^BH261†™LTFMSRJ:k\w2697^MSTFGZP|261AxA`FMDCJ`25QL:)187RJMN25TFGA:8‘FMSG3R{MNTœ7T$I&13:7G325TL7KaBN:XMSTFGJRŒ7T_C8:2|

01325BN254LP

;aކ926GJRW:8‘L79-QFBS:)G†MNT&RJ`F:XBSMNRJ:)1Œ7^R3EF1J:6PF7T_\&97^T$IU1J:)QL2513RJ:Z\œ7QFQFBSMDC)7^R3MS26TFGP625KL:€I7O5EF:)1JI5~µ7^TFG3x†:)1<G8CJ`F:)9:{MSTxA`FMDCJ`7

?A[…0 QF1325461879 KFEFMSBD\$GA7UC825TFG3RJ1Œ7^MNT$RJGAG3I$G3RJ:)9b|261†G326BS˜$MSTF4GJ269:AQa1326KaBN:€9 P5QL7GJGAMNR‚R32&R3`a:<G325BS˜6:)1PF7TL\13:)Q_261JR3G<RJ`F:

G326BSEFRJMS26TFGARJ2&G3269-:<25QL:)187RJ261ZŽ

TLCˆ2613Q_26187RJMNTa4 }w~«RJ:)139-GzMSTœ01325BN254UGJR3MS9&EFBD7RJ:)GWRJ`F:XG3R3E_\$I2^|•R3`a: Ta26R3MS25T&2|•EaGŒ7KaMNBSMSRIyKL:ZC€7EFGJ:R3`F:C825TL\$MSR3MS25T7K_2˜6:

7^13:XTF2&BS26Ta46:)1†R31JEF:-

h5ކMNRAMSGATF25R›YˆEFG3R{TL7RJEF1Œ7^BHG3MSTLC8:U0 1326BS254U2PO›:)1JG<TF2y26Q_:)187R3MS25TRJ276C)Cˆ:)G3G}w~«RJ:)139-G)P

;aŽA7TL\ R3`a:925R3MS˜67RJMN25T|261yMNT_C8261JQL251Œ7RJMSTF4}$~R3:€139G&MSGyR32v1J:)QF13:€G3:)T$RQF1J26451Œ79-G261y|26139&EaB‡7^GxA`FMDCJ` xz:œxA7T$R&R32

97TaMNQaEFBD7R3:AMST01J26BS264&7TL\-TF25Rz25TFBSI\$MSG3QFBD7I&RJ2&R3`F:25QL:€1Œ7RJ261Ž

uv:X925R3MS˜67RJ:75\F\$MSTF4}w~«RJ:)139-GzMST01J26BS264yMSTGJ:ZC8RJMN25T ;FŽ$A`a:)T…PFx†:X46MS˜6:X7yQF132$2^|D~«RJ`F:)2513:)RJM‡C>76C)C825EFT$RA2|z–A2513TC8BD7EaG3:

Qa1326451Œ7^99MšTF4MST GJ:ZC8R3MS25T/eFކuv:œG3RJEL\$I RJ`F: C825TFG3:ZO5EF:€TLC8:)G2| 75\F\$MSTF4}w~«RJ:)139-G7^TL\

~«:O6EaMN˜67^BS:)TLC8:MST/0 1326BS254vMNT

GJ:ZC8RJMN25TœjLŽ2!MSTL7BSBSIdP5x†:kCˆ26TLC8BSEL\w: MSTœG3:C8R3MS26T!QFŽ$uv: 7^G3GJEF9:X:)˜5:)13I$xA`F:)1J:U7yKL7^G3MDC;dTa2xABN:\$46:X2|W01325BS264LŽ

R S

†UTV†

uv:&45MS˜6:7*KF13MS:8| 75C)C826EaTdRy2|XR3`F:-G3I$T$RŒ7’‘ 2^|k}w~«RJ:)139-GU7TL\¥2|<RJ`F:RJ`F:)261JIv2| }w~µC€7BDC8EFBSEFGŽ!A`F:)Tx†::ˆ‘wQaB‡7^MSTvR32xA`L7R

QaEF13Q_26GJ:U}$~R3:€139GAC)7^TK_:EFGJ:Z\œMST[¼2645M‡C{013254618799-MSTF4LŽ

WYX[Z \!]%^`_a<\b^cdfe

}w~•:€139GA71J:X46:)TF:€1Œ7RJ:Z\œK$IRJ`F:{| 26BSBS2xAMSTF4451Œ79-971,-

ƒ -6-hgji kml

ƒ -6-hg }Eln‚ƒ MD„

ƒ -6-hgo‚ƒ ƒ  MSMD„

(7)

xA`a:)13:ARJ`F:8i7TL\ l71J:z1J:)G3Q_:ZC8RJMS˜6:)BSI&MD\$:)T$R3Mš™L:€13GW2^|¼C825TFG3R87T$R3G†7TL\yMD\$:)T$RJM™_:)13GW2^|›˜67^13MD7KaBN:€GZŽ]AEFBS:{ MD„!46:)Ta:)1Œ7^R3:)G@G 5BJB

JP5)PL7T_\1JEFBS:& MSMD„†46:€TF:)1Œ7^R3:)G> HIB,J < 5ˆŽ0/<T 7^KFG3RJ1Œ75C8R3MS26TC)7TœK_:MSTdRJ:)13Qa13:)RJ:Z\v7G<7>| EaTLC8R3MS25T…PL7^TL\7T7^QFQFBSMDC)7RJMN25T

C€7TK_:XMSTdRJ:)13Qa13:)RJ:Z\7GARJ`F:X13:)GJEFBSRA2|W7QFQFBSI$MSTF4GJ269: | EFTLCˆR3MS26T-R32yG3269-: 75C8R3EL7^BHQL71879-:)R3:)1Ž 2a261†MSTFG3R87TLCˆ:6PFRJ`F:XM‡\w:)T$R3MSRI

|EFTLC8RJMN25TMSGAxA13MSRJR3:)T } ŽFuv:7GJG3EF9-:7QFQFBSMDC)7^R3MS26T7^G3G32FC8MD7^R3:)G{R32&R3`a:BS:8| RZP$xA`aM‡CJ`œ97P;6:)G†G3259:XKF1876CC;6:)RJG<EFGJ:)BS:)G3G,-a| 261

MSTFGJRŒ7^TLC8:6P BU \$:)Ta26R3:€GWR3`F:†GŒ7^9:WRJ:)139 7G8 BB \w2d:€GZŽ $MS9-MNBD7^13BSIAxz:A\$1J26QTF:€G3R3:\yKF1Œ75C[;5:)R3G

251AKF1Œ75CC;6:)RJGAMNTœTF:€G3R3:\7KFGJR31876C8RJMN25TFG.-w| 261AMSTFGJRŒ7^TLC8:6P_}!)}K">K \$:)TF25R3:)G{R3`F:G879-:<R3:€1397G<}P})K ">K BB \$2$:)GŽ

/{KFG3RJ1Œ76CˆR3MS26TBS:Z75\$GAR32&RJ`F:TF25R3MS26TaGA2|$#BPP!# P_7TL\ G%PKŽ_TRJ:)139})}G3}&.BG ' PFRJ`F:`F:76\$MSTF4&MSG<})}G3}&P

RJ`F:X`F:Z75\MSGG€PL7^TL\&RJ`F:K_2w\wIMSG BGb( ŽLg{TF:XGŒ7I$G 7>R3:€139jGU),5AR3`F:X˜67^13MD7KFBS:)G†2|WMSR3G†`F:Z75\$MSTF4LŽ

g{TF:X\$MSG3R3MSTF45EFMSG3`F:€GzK_:)Rx†:):)T+*,‚7TL\ G<F{2FC)CˆEF131J:)TLC8:)G{2|…˜67^13MD7KFBS:)GŽ6T&RJ`F:<RJ:)139 K}-µ}>K- P K `L7GW25TFBSI

|13:):{2wC€C8EF131J:)TLC8:€GZP_R3`F:X25TFBSI2FC)C8EF1J13:)TLCˆ:U2^|.-•MSG†KL25EFTL\HP$7TL\/z`L7^G7k| 1J:):<2FC)C8Ea1313:€TLC8:&R3`F:{™L1JG3RŒ„†7T_\7XK_26EFT_\&26Ta: RJ`F:

GJ:ZC825TL\F„)ŽaTœR3`F:EaTL\$:)1JBNMSTF:\GJEFKFRJ:)139P)-7T_\ K{`L7˜5: 25TFBSIy| 13:€: 2FC)CˆEF131J:)TLC8:)GP•7^TL\-R3`F:X25TFBSI&2wC€C8EF131J:)TLC8:&2^|0<MSGAK_26EFT_\HŽ

D 2613:&45:)TF:)187BSBSIdPH7^Tv2wC€C8EF131J:)TLC8:*2|AG3269-:U˜67^13MD7KaBN:>MNG>KL25EFTL\MST 7 46MS˜6:)TR3:€139 Mš|MSRMSG7œG3EaKFR3:)1J9 2| 7Tv7KaG3R31876C8RJMS26T

RJ`L7R{KFMSTL\$GXR3`a:U˜67^13MD7KFBS:U7^TL\œMSG7&GJEFKFR3:€139 2|zRJ`F:y46MS˜6:)T*R3:)1J9 ŽE/<T2FC)CˆEF131J:)TLC8:œ2|†G3269-:˜671JMD7KFBS:XMSG<|13:):yMš|zMSR<MSGXTF26R

K_26EaTL\HŽLg{TF:&C)7^BNBSG.*1<2UGH3 52^|z7&46MS˜5:)TœR3:)1J9R3`F:y˜671JM‡7^KFBS:)GAR3`_7R<`_7˜6:U7>| 1J:):y2wC€C8EF131J:)TLC8:-MSTMSRP G<F4<2GH3 5

RJ`F26GJ:XR3`L7^RA`L7˜6:7>KL25EFTL\-2FC)C8EF1J13:)TLCˆ:&MNT-R3`F:XRJ:)139ŽFg<Ta: xA1JMSR3:)G65l [JD„†R3`F:$*78U+GUH9B5W2^|sJPF7TL\4:l [JD„†R3`F:G,PF

<2GH3 5)Ž/R3:)1J9 xAMSR3`a26EFRA7T$I&|13:):X˜671JMD7KFBS:<MSG<C)7^BSBN:\;H35%,{2517<PG J"8)ŽFg{TF:xA13MSRJ:)G>=?A@mKBWRJ`F:X26Q_:)1Œ7^R3MS26Tœ2|

1J:)QFBD76CˆMNTa4 7^BNB_|13:):2FC)CˆEF131J:)TLC8:)G>2|0{KdI!KPF7TL\DCE=%@mKBWRJ`F:U7^QFQFBSMDC)7RJMN25T&2|WR3`aMNGA25QL:€1Œ7RJMS26TRJ2&R3:)1J9FC†Ž

WYXW G \IHeJ^LK&M _aNOH&PRQ!S6PRS%e

A`a:\$269œ7MST2| }w~R3:)1J9GMSG:)T_\$2xz:\vxAMSR3`7^Tv:ZO5EFMS˜67BS:)TLC8:&1J:)BD7RJMN25TvxA`FMDCJ`vMNGy\$:8™LTF:\ 7^GR3`a:G39œ7BSBS:)G3RC825TF461JEF:)TLCˆ:

K_7G3:\25TœR3`F:{| 25BNBS2xAMSTF4U7’‘FMN259G,-

=@}P"C ‰ Š })KC&=?%@mKB P$Mš|K{`L7^GATF2&2FC)C8EF1J13:)TLCˆ:UMSTTCzŽ

A`FMSG 7‘FMS269 | 251397^BSM3U€:)G/RJ`F:13:)TL7^9MSTF42| K_26EFTL\ ˜6713MD7^KFBS:)GZŽ!2F251 MSTFG3R87TLCˆ:6Pv}!V*7 ‰ Š }KV*@K PKaEFR

}!+K <W‰XŠ })KK K Ž

= }!"C (XE ‰ ‹ CE=%@ X B)P$Mš|E5 l XEIY :l@"C =[ZFŽ

A`FMSG 7’‘wMS259 | 251397^BSM3U€:)G R3`a: :)˜67^BNE_7R3MS25T 2^| 7T 7^QFQFBSMDC)7RJMS26TKdIGJEFKFGJR3MSR3EFRJMSTF4 7^T”76C8RJEL7BvQ_71Œ7^9:)RJ:)1ZP X P

R32 7 | 261J97^BUQL7^1Œ7^9:)RJ:)1ZP\’Ž 2a261vMSTFG3R87TLCˆ:6P }]*^ 3: ‰{‹ ]* 3: P>KFEFR }ˆ})K" K /W‰{‹ })KCK KL:ZC€7EFGJ:

K_`5lVCK IY : l@ })}K" Žz–A2x†:)˜5:)1ZP@}!)})K K ‰XŠ }ˆ}bas" K ‰{‹ }basCK ŽWT |«76C8RPWMSRMSGœ7BSx7I$G&Q_26Gµ~

G3MSKFBS:&R32 7^QFQFBSI 7’‘wMS259

R327œRJ:)139 BSM6;6: }C (XE Mš|25TF:&EFG3:€G 7’‘wMS259

| 25113:€TL79-MNTa4R3`a:&KL25EFTL\˜671JMD7KFBS:)G

2|$CzŽ

“ =@}!"Cc ‰6d<C†P$M|e W_f5lV"C Ž

A`FMSG•7‘FMS269 | 261J97BSM9U):)GaR3`F:WQa13MSTLC8MSQFBS:W2^|g*UF JL?< PH,J"5U<E<HJLK<-)h,i{MIOH:)13:)T$R_| EaTLC8R3MS25TFG…I$MS:)BD\X\$MIO›:)1J:)T$R…1J:)G3EFBSRJGRjLŽ

/ C)C8251Œ\$MSTF4>R32RJ`FMSG•Qa13MSTLC8MSQFBS:6Px†:A`L7˜5:k=VlbP"Cc = X B6mnCs= X PxA`FMDCJ`&MNGTF25RQF132˜67^KFBS:zEFGJMSTF47‘FMS269G

7T_\

7BS26TF:5Ž 2a261{MSTFG3R87TLC8:5P…}!V*7 ‰6d1*P_KFEaRk} <W‰od I Ž 26RJ:URJ`L7RX7‘FMS269

C€7TTF:)˜6:€1 `a:)BSQ 7^QFQFBSI$MNTa4

7‘FMS269 “_Ž

/ ‘FMN259G

7TL\

71J:7BSx7I$G{QF13:)GJ:)T$R&MST RJ`F:}$~3C)7^B‡CˆEFBSEFGZPHKaEFRU7‘FMS269”“ MNG>26QFRJMN25TL7B -aMNRX45MN˜5:)GTF25R3`FMSTF47^G<|717GRJ`F:

Cˆ269QaEFRŒ7^R3MS26TL7^BQF1325QL:)1JR3MS:)G-2|<R3`a: }w~3C)7BDC8EFBSEFG&71J:C826TLCˆ:)13TF:\HŽA–A2x†:)˜6:)1Pxz:-xAMSBNB†G3:€:MSRyMSG C81JELC8MD7B†|261yR3`F:-:ZO5EL7BSMSRI

RJ`F:)2513I$Ž

/{QFQFBSMDC)7RJMN25T }P"C <XE MSGUC€7BSBS:Z\ 7

R,’Ž /<KFGJR31Œ75C8R3MS25T}!"Cp xA`F:€13:˜67^13MD7KaBN:'UMSGXTF25RX| 13:€:&MNTfC MSGUC)7^BNBS:Z\

7^T“R’Ž0/ }$~R3:)1J9xAMSR3`œTF2

~13:Z\$:ˆ‘ 1J:)G3Q…ŽH“^~13:Z\$:ˆ‘¼„†MSG<C)7^BNBS:Z\

[2U <H_13:)GJQ…ŽH“q[2U <H„)ŽaA`F:U7‘FMS269-GW97I&K_:

2513MS:)T$R3:\R32œ| 25139r,sa.U6J+UFH3 5)ŽH2 7^QFQFBSI

~:ZO5EFMS˜67BS:)TLCˆ:&| 251 GJEFQFQF1J:)G3GJMSTF4 7

~«1J:Z\$:8‘MSGRJ2

~13:\$ELC8:7œRJ:)139ŽL2

7^QFQFBSI“^~«:O6EaMN˜67^BS:)TLC8:{| 251zGJEFQFQF1J:)G3GJMNTa4 7y“^~«1J:Z\$:8‘MSGAR32“^~13:Z\wELC8:U7yRJ:)139Ž

/45MN˜5:)TœR3:)1J9 9œ7I&KL:7^QFQFBSMS:Z\œ\$MIO›:)1J:)T$R<1J:Z\$ELC8RJMS26T1JEFBS:)G<GJMN9-QFBSIUK_:ZC)7^EFG3:>MNR<Cˆ26T$RŒ7^MNTaGAG3:)˜5:)1Œ7^B•1J:Z\$:8‘F:)GŽ…g{TF:X97I

x†26T_\$:)1†xA`F:)R3`a:)1<RJ`F:X13:Z\$E_C8R3MS26Tœ251Œ\$:)1AMSG†G3MS46TaM™HC)7T$R†261ATF25RZŽ5T|76C8RP$MNR†MSGzTa26RZŽ$A`aMNG†G3I$GJR3:)92|13:Z\$E_C8R3MS26Tœ1JEFBS:)GX xAMSR3`

251zxAMSRJ`F26EFR<“^~13:Z\wELC8R3MS25TL„†:)TZY82I$GARJ`F:?†`dEa1ŒCJ`$~3]A26GJG3:)1{QF1325QL:€13RI1-1tX 8I2sUK@Ja0

,uF vPH3J8J"sU 50w <yxbJ?#s,

5JRU{z JR4a&##(w <)+x|,PF,b !5sP FGs(*b5BJR058}€Ž…–A:€TLC8:6P!:)˜6:€13IR3:)1J9”`L7^GU7R{926GJR<25TF:&TF261J97^B

|26139Ž|…:)˜6:)1JI&R3:)1J9b`L7^G7XTa26139œ7B5| 25139 P7^TL\7^TdI&71JKFMSR318713IyG3RJ1Œ7^R3:)45Iy™LTL\$G†MSRZP5xz:AG87I&R3`F:XC)7BDC8EFBSEFG‚:)TZY82I$G†R3`F: 5 J,P

)2U <HI65.,J< JLKŽ

$259:&RJ:)139-G&`L7˜6:-TF2vTF261J97^B| 261J9 -H:5Ž4_ŽR3:)1J9~ =f}P" }P"+ MSGUTF25R&MST

~TF261J97B‚| 25139 P¼KFEFR&MSRU25TFBSI

~13:\$ELC8:)G-R32MSRJG3:)Bš|ŒŽ€ w269:yR3:€139G>xAMNRJ`7œTF251397^B!| 261J9 `_7˜6:&TF25T$~«RJ:)139-MSTL7RJMNTa4G3:O6Ea:)TLC8:)G-2|<1J:Z\$ELC8RJMS26TFG,-:6Ž4LŽHRJ:)139

}ˆ})K" }!" ~

~13:\$ELC8:)GXRJ2 }P" 7yTF261J97Bw| 261J9„‚KdI&MSRJG†™L13GJRA13:Z\$:ˆ‘¼P_7TL\-MSR

~«1J:Z\$ELC8:€G RJ2&MSR3G3:€B|K$I&R3`F:X13:\$:8‘

MST4~XŽF]A:)Q_:Z7RJMSTF4&R3`F:>G3:ZC825TL\œ1J:Z\$ELC8RJMS26TœQF132F\$E_C8:)G7Ta26T$~R3:)1J9MSTL7^R3MSTF4GJ:ZO5EF:)TLC8:y2|13:Z\wELC8R3MS25TFGZŽ

(8)

WYX _a<\b^cdfe HIK RQ cqK cHdfd

A`a:A926RJMS˜67R3MS25T RJ2X97TaMNQaEFBD7R3:†}$~R3:)1J9GWMSTyBS2646MDC‚QF13254618799-MSTF4zMSGWGJMS9QFBS:-R3`a:)I 7^13:ARJ`F:<9-26G3RTL7^R3EF187BF1J:)QF1J:)G3:)T$R87R3MS25T

|261†G3R31JELC8RJEF13:)G>R3`L7^R†| :Z7RJEF13:X:)MSRJ`F:)1<G8C826QaMNTa4LPFC8259Q_26G3MSRJMN25TL7BSMSRI$PZ251AG3259:A|26139 2|•45:)TF:)1JMDC8MSRI $½e5;'µŽ

FCˆ26QFMSTF4_PCˆ269Q_26GJMSR3MS26TL7^BSMNRIv7T_\ 45:)TF:)1JM‡CˆMNRI 713:TF25R:ˆ‘aCˆBNEaG3MS˜6:6Ž /<925TF4vR3`a: GJR313E_C8R3EF1J:)GvR3`_7R&|:Z7RJEF13:vG8C826QFMSTF4_P

x†:GJ:): BS2645MDC)7B&7TL\ 97^R3`F:)9œ7RJM‡C€7B{| 261J9&EFBD7G BS2546MDC)7B&O5EL7T$RJM™HC)7RJMN25TFG.-6l…PXGJEF9G 7^TL\ QF132F\$E_C8R3G,- "!!P

#$

%&

'!L„()*!!P+A\$:)1JMN˜67^R3MS26TaG.-,)*-)*!…P+„€P<7TL\ C8259QFEFRJ:)1œQF1325461879GœQL71879-:)R3:)1JMSGŒ7RJMS26T-&*." J0./01œP23

KaBN2FCC;$G.-4/Je.561œP,3„€Ž/<9-26TF4*R3`F25G3:RJ`L7Ry| :7R3Ea13: C8259Q_26GJMNRJMS26TL7^BNMSRI$PHx†:GJ:)::8‘FQF13:)GJG3MS26TaG2|UC8259Q_26GJMNRJMS26TL7^B

GJ:)97^T$R3MDC8G«\$:€TF26R87R3MS25TL7B-4798$$x

$;:

x< '' g/}>=¼798$$x $

''…?798$$x<C''@=_„3„ $½f'3P23VDœ26T$R8746Ea: GJ:)97^TdRJMDC8Gœ| 251T_7R3Ea1Œ7B>B‡7^T$~

45EL745:#$Sh;'„€Ž12…MSTL7^BSBNI$PFBS2546MDC)7BWO5EL7^TdRJMš™›C)7RJMS26TFG{MNTv7EaR3269œ7RJ:Z\\$:)9-26TFGJR3187R3MS25T| :7R3Ea13:7| 261J92|A46:)Ta:)13MDC8MSRI1-H26Ta:&MNTaG~

R87T$R3MD7^R3:)GARJ`F:)9EFG3MSTF4yG3EFKaG3R3MSRJEFR3MS26TaGA| 251zKFEaMNBD\$MSTF4yQF1J2d2^| GZŽ

A`F:{| 25BSBN2xAMSTF4>RŒ7KaBN:{QFMDC8R3Ea13:)G{G3269-:<Q_26GJG3MSKFBS:13:€QF13:)GJ:)T$RŒ7^R3MS26TFG{EFG3MSTF4}w~R3:)1J9GZŽ

lACBy'L„ *%2B<HHF})F?F

#$

%&

'!L„()*! JR 2 PHAD 3&}PV*7

) &

-)*! sU<,J g{}PV*7

*,

J0. /E1 *UFBJ PI*VJW}P

/> J0.51 GUH9%GF J }6

7H8 $$x

$:

x<C'' g }I=¼798$$x $ ''!798$$x<C''@=_„3„ J >"3 <)8:

}JFP" V3#" :KF

-MLbJ I83+ V3<YJ :\ :

FCˆ26QFMSTF4&MST$R31J2w\wELC8:)GXR3`a:TF26RJMS26Tœ2|85%,'<2U GH3†251$ 8 <+ J"s)ŽFA`a:@;6:)I-26Q_:)1Œ7^R3MS26T | 261<C8259Q_26GJMNTa4UGJR313E_C8R3EF1J:)G

MSG{R3`F:5UF G 5BJLJLF+J<-2|7R3:)1J9”RJ2 7QL71879-:)R3:)1_MNR{9&EFG3R{KL:yG325EFTL\*xAMSR3`1J:)G3Q_:ZC8RyR32-GŒC825QFMSTF4LŽ1/ ‘FMN259

92F\$:)BSG{G3ELCJ`

7 G3EFKFGJR3MSR3EaR3MS26T…Ž!A`FMSGMSGyxA`dIv}w~«RJ:)139-GU71J:x†:)BSBzGJEFMSR3:Z\ | 2611J:)QF1J:)G3:)T$RJMNTa4vR3`F:)GJ:œG3R31JELC8RJEF13:)G,-z7^KFG3RJ1Œ76CˆR3MS26T G3:)1J˜6:)G7^G 7

45:)TF:)1JMDCO5EL7T$R3Mš™›C€7R3MS25T…Ž/{BNBHRJ`F:)GJ:&G3R31JELC8RJEF13:)GyC)7TK_:1J:)QF13:€G3:)T$R3:\vxAMSR3`-™L1JG3R~2618\$:)1XR3:€139GPFKFEaR<R3`a:UC8261J13:ZCˆR`L7T_\$BSMNTa4

2^|WG3EFKFGJR3MSR3EaR3MS26TœxAMSR3`œ13:€G3Q_:ZC8RRJ2&GŒC825QFMSTF4TF:€:Z\$G7yBS26RA2|z7^R3R3:€TdRJMS26T…Ž$A`F:>926GJR†| 13:O6Ea:)T$R<G325BSEFR3MS26T-MSG<R32&1J:)QF1J:)G3:)T$RRJ`F:

Q_71Œ7^9:)RJ:)13G{ RJ`F:(GON%BJ?[H3s2UH)8U+GUH9B53„‚xAMNRJ`01325BS264y˜6713MD7^KFBS:)GA RJ`F: J[2<2U+GUH9B53„€Ž6A`F:€13:71J: T$EF9-:)1325EFGW:8‘L7^9QFBS:)G

2^|zR3`aMNG{G325BNEaR3MS26TMSTRJ:8‘FR~KL2$2+;dGŽHA`F:)IC)7^T K_:>| 26EFT_\œMST CJ`L7QFRJ:)13Gy\$:Z\$MDC)7^R3:Z\RJ2R3`a:U9œ7TFMSQFEFBD7^R3MS26T&2^|zQF1325461879GX7TL\

|26139&EaB‡7^GZŽ

uv:XRŒ7P;6:7G<7^Tœ:8‘L79QaBN:ARJ`F:X| 25BSBN2xAMSTF4C8BD7^EFG3:X|13269 QF1325461Œ7^9 hPF޽;yQL745:k;+Q6i5„†MNTRQb#67BJo*0,PH3 <K$I $RJ:)13BSMSTF4

7^TL\( w`L7QFMS1J2 $j*'

$ Ž

JB<5UHJ",V?V ? 3<83 7 5TSVU5 -MLbJ P5UH,JR,0 €@3<7V56S7 5 3 J P5UHJ",eY.83< 7 5 3SU)5 XW

A`FMSGC8BD7EFGJ:AMNG!QL71JR2|›7 QF1325461Œ7^9 | 261RJ1Œ7TaG3BD7RJMNTa4<461879-971_13EFBS:)GWMST$R32<0 1326BS254LŽ˜6:€13IUC8BD7^EFG3:†2|LQa13:Z\$MDC)7^R3:VJ P5UH,JR

`_7GXR3`F:-GŒ7^9:GJR313E_C8R3EF1J:6ŽA`F:y™L1JG3RyQL71879-:)R3:)1XMSG7C8259Q_26TF:)T$R{2|AG3269-:U451Œ7^997^1z1JEFBS:6P!R3`F:&GJ:ZC826T_\vMSGXR3`F:C825131J:)G~

Q_26T_\$MSTF4C8269-QL25TF:)T$R<MSTRJ`F:yRŒ71J46:)RX01325BS264CˆB‡7^EFG3:5P›7^TL\œRJ`F:UBD7^G3R<25TF:yMNGX7&QL7^MS1<2|†˜6713MD7^KFBS:)GAR3`L7^R<9&EFGJR<2FC)C8Ea1 MSTRJ`F:

R871J46:)R<01J26BS264&C8BD7EaG3:6Ž) $2LPaR3`F:)GJ:Rx†2U˜67^13MD7KFBS:)G<7^13:X26K6Yˆ:ZC8R~BS:)˜6:€B…˜671JMD7KFBS:)GŽ$A`F:XQF1325KFBS:)9 MSGARJ`L7RAMSR†MNGATa2&BN25TF46:€1zQ_26Gµ~

GJMSKFBS:<R32y46MS˜5: 7y\$:ZC8BD7187RJMN˜5:<1J:Z76\$MSTF4&RJ2URJ`FMSGCˆB‡7^EFG3:XK_:ZC)7^EFG3:RJ`F:X26K6Y8:C8R~BS:)˜6:)B!˜671JM‡7^KFBS:)Gz7^13:X13:)Qa13:)GJ:)T$R3:Z\\$MS13:ZCˆR3BSIxAMSR3`

9-:)RŒ7˜67^13MD7KaBN:€GZŽA`F: \w:ZC8BD7187R3MS˜5:<13:76\$MSTF4y2|•01J26BS264y\$2$:)GzTa26R†G3Q_:)BSBH26EFR†R3`F:X76C8RJEL7B_1;Y25BS:<2| 7 5)P 7 5 3X7T_\RU5)Ž5A`F:)I7^13:

˜67^13MD7KaBN:€Gz2^|•R3`a: R871J46:)RXC8BD7EFGJ:6PL7^TL\&MSRA97P;6:)G‚TF2&G3:)TaG3:RJ2C826TFGJMD\$:)1<MSTFGJRŒ7^TLC8:)G{2|•RJ`F:)97GARJ`F:\$:ZC8BD7187RJMN˜5:XG3:)9œ7T$R3MDC8G

2^|•01325BS264&\$2$:)GZŽaRzx†261C;dGAMST01J26BS264yK_:ZC)7EaG3:RJ`F:XMNT$RJ:)13QF1J:)R3:€1 7BSxA7I$GC8259QFEaR3:)G†R3`F:X9-26G3R‚46:)TF:€1Œ7B!G325BNEaR3MS26TFGŽ w2LP$MSRzMSG

RJ`F:X26Q_:)1Œ7^R3MS26T_7BHG3:€97T$RJM‡CˆGAR3`L7^RA46MS˜6:)G†R3`a:9:Z7^TFMSTF42^|•R3`aMNG<CˆB‡7^EFG3:5PFMSTFG3RJ:Z76\-2^| RJ`F:\$:ZC8BD7^1Œ7RJMS˜6:XG3:)9œ7T$R3MDC8GŽ

TœR3`a:GŒ7^9:XKL2$2+;›P_C8BD7EFGJ: sU<,J2.7 7V5.3D

B

QF1325461Œ7^9 ea޽;6iFP5QL7^46:P5e6„†MSGAQL71JR<2^| 7yQF1J26461879R3`L7^R C8259QFEaR3:)G

RJ`F: \w:)13MS˜67RJMS˜6:AxAMSR3`&1J:)G3Q_:ZC8R{R32 7 2|W7{| EFTLCˆR3MS26T…Ž$g{TF:<2^|…MSR3G†BN2546MDC)7^BLC826TaG3:ZO5EF:)T_C8:)G<MSG1sU<,J 2.C3:P3:P5.3D

B

P6xA`FMDCJ`MSG

7^KFG3Ea1Œ\HŽ_?†B‡7^EFG3:yPHK<PPH7V67 QF1325461879eF޽;6faP6QL7^46:P5;6„†MSG<7&Q_713RA2^|WR3`F:U\w:8™LTFMSR3MS25T2^|WxA`L7R<7QL25BNI$TF259MD7BaMNT 7

MSGŽ$RA`L7G<7^BNGJ2 7^KFG3Ea1Œ\œBS2645MDC)7BHC826TaG3:ZO5EF:)T_C8:)GXBSM;5:7PHK<PPHC3:P3: Ž

T01J26BS264_P$G3EFKFGJR3MSR3EaR3MS26Tœ2|26K6Y8:C8R~BS:)˜6:)B˜67^13MD7KFBS:)G†MSGA:Z7GJI7^RAR3`F:Qa13MDC8:2^| \$:ZCˆB‡7^1Œ7^R3MS˜$MNRI$Ž5A`F:)T…PaMNR†|261ŒCˆ:)G<RJ`F:QF1J2~

451Œ7^99:€1HR32CJ`F:ZCC;&R3`F:<Cˆ26131J:ZC8RJTF:)G3G{2|H26K6Y8:C8R~BS:)˜6:)B_R3:€139G‚97TaMNQaEFBD7R3MS2TFGHxAMSRJ`&13:)GJQL:ZCˆRAR32XR3`F:{26Q_:)1Œ7^R3MS26T_7B$G3:)9œ7T$R3MDC8GŽ

TFGJR3:Z75\œ2|R3`F:7^KL2˜5:kCˆB‡7^EFG3:€GZPFx†:Xxz25EFBD\-BNM6;5:<R32yxA13MSRJ:R3`F:{| 25BSBN2xAMSTF4X25TF:)G

< -

sU<,J g,}!" 5.3DBXW

PHK<P PH}P" EW

JB<5UHJ",V?V ¼},5µ})K,5.<65BJ5<}.5U3 3'.57,5 3P.83+,5 3K,5V -ML J P5UHJ",. E@3 J P5UH,JR,eY.3 XW

<65BJ5[Z?-ML#(Z XW

}w~•:€139G†Q_:)139-MNRJG7&Cˆ26`F:)1J:)T$R 7^TL\œ\$:ZC8BD7187RJMN˜5:X`L7TL\wBNMSTF4>2|WGŒC825QL:€G 7T_\GJEFKFGJR3MSR3EFRJMS26TFGŽ

\]>^

¶¾_¶¾H¿ q ¿3_C`<¸)¾?aIb(c´?d6¿aD¶C`fe3¸3g hz¸ˆÁia

^

cAeT_¿8¹6¾?c)À ]>^

c•¸ q _jh `<¸·¶Cke3¿a¶¸ q ¶¾_ÁN¸ˆ´›¿3b)¸8¶·¶ql ¿4e'_¿)¾

^m

¶ja

^ q ¸a ¿(aD¶¸ q ¾w¹6¾cJ·†¶q a^

¶¾H¿8´'a¶je'_jc)À

q a^

c•¸ˆ´ ¶l q ¿G_;a?c3ºa6nIopCqsrJ¶¾ q ¸a?c3·+t&À

u a_¶¾ q ¸aH¸ q _jh5a

^

cv`<¿aa?c´_¸8ÁIa

^

c3¾?cAe'_¿ˆ¹6¾cJ¾6na

^

cvg´wcJ·¶je3¿a?c3¾*a

^

c6h4dscT_¸ ql a¸ `†¹6¾?a9d*c…´'c

m

´¶ja?ac q cq aD¶½´'c'_jh†¿3_¸ ql a^

c…¾¿3`c¾?e

^

c'`c)À

(9)

n

† Z

uv:XQF1J:)G3:€TdRy7&BD7TF45EL745:X2|C8BD7^EFG3:)G7^TL\œ462$7BSGAR3`_7RX:)TLC8259QL7^G3GJ:)G<RJ`F:UBD7^TF46EL7^46:X2|A–A261JT C8BD7EaG3:)GŽHR<MSG 7-C826T$˜5:)TFMS:)T$R

K_7G3MSG | 261XR3`a:U:8‘FRJ:)TFG3MS25TFG\$:)GŒCˆ13MSKL:\vMSTR3`a:UGJ:ZO5EF:)BŽHTL\$:€:Z\HPHMSR<GJR31J:)G3GJ:)G7y| EaTL\F79-:)T$RŒ7^B•7GJI$99:€R313I&MSTRJ`F:yB‡7^TF46E_746:

2^| – 2613T?†BD7EaG3:)GARJ`L7RARJ`F::8‘FR3:€TFG3MS26TaG<xAMSBSBL:)BSMS9MSTL7^R3:6Ž

?†BD7EaG3:)G<7^TL\-462d7^BSG7^13:X46:)Ta:)1Œ7^R3:Z\*K$I&R3`F:X|26BSBS2xAMNTa4 451Œ7^997^1.-

-6-hg k m k l l ¯ k MNMSMD„

-6-hg  MS˜F„

] EFBS:)G{ MSMSM‡„†7T_\MS˜w„‚46:€TF:)1Œ7^R3:<UH6<F+5%B5A7TL\ 8,<H5)PF13:€G3Q_:ZC8R3MS˜5:)BSIdŽ

A`F:*G3:)9œ7T$R3MDC8G-2|R3`F:C826TFTa:ZC8R3MS˜5:)GMSG&46MS˜6:€T K$IR3`a:| 25BSBN2xAMSTF4\$:Z\$ELCˆR3MS26T 13EFBS:)G-2|R3`a: MST$R3EFMSRJMN25TFMSG3RJM‡CG3:ZO5EF:€TdR

C€7BDC8EFBSEFGdŽ

B

:

$C!'@ '"!$#

B : l!

!$#

l&% AMSG7^T 7^13KFMSRJ1Œ71JIRJ:)139Ž

B

:' $ :'

< !(#

B

: $ < !$#

%

B

:

!)# B! w

B : wcm

!(#

m %

/{BSBdRJ`F:)GJ:<13EaBN:€Gz71J:ABN:ˆ| RMNT$RJ132F\$ELC8RJMS26Ty13EFBS:)G6RJ`F:)MS1zC825TFTF:ZC8RJMS˜6:A2|HMST$R3:)1J:)G3R†MSG•MSTyR3`F:ABS:8|R•Q_713R‚2|LRJ`F:<C826T_C8BSEFG3MS26T&GJ:ZO5EF:)T$RZŽ

2XG3`F2x RJ`L7RWRJ`FMSGB‡7^TF46E_746:†:)TLCˆ269Q_7G3GJ:)GA–A261JTy| 261J9&EFBD7GP)x†:A26KFGJ:)13˜5:<R3`_7RWRJ`F:A13MS46`$RMST$R3132F\$E_C8R3MS26T&1JEFBS:)GW2^|›9-2613:

Cˆ26TFTF:C8R3MS˜6:€G C)7^TK_:U\$:ˆ™LTF:Z\œK$I&GJ:ZC826T_\5~«251Œ\$:€1kCˆB‡7^EFG3:€G+*-

B Z $

, ZV< .- %Z

$

/- % ZV<

V(Z

$10

, ZV< .- %Z

$ % V(Z

$0

, Z < /- %Z <

A`$EFGPFx†:C)7TœMSTLC8BSEL\$:yC826TZYˆEFTLC8RJMN25TFG<7T_\\wMNGSY8EFTLCˆR3MS26TFGAMSTœ462$7BSGZŽN G3MSTF4&RJ`F:)97BSBS2xAGzEFGARJ2&13:)GJR31JM‡CˆR RJ`F:EFGJ:2|MS9QFBSMš~

C€7R3MS25Tœ| 261{KFEFMSBD\$MSTF4C8BD7EaG3:)GŽ2FEa13R3`a:)139-2613:5PLx†:&76\$25QFR<RJ`F:C826T$˜5:)T$R3MS26TRJ`L7R7^BNBC826TY8EFTLC8RJMS26TFGXMST C8BD7EaG3:)G71J:UQaEFG3`F:\

RJ2URJ`F:<RJ26Qœ2|…RJ`F:2~| 261J9&EFBD7GZP7^TL\&RJ`L7R<7^BNBaEFTFMS˜6:)1JGŒ7^B…O6E_7T$R3Mš™›C)7^R3MS26TaG7^13:<QaEFG3`F:\œ13MS46`$RWEaTL\$:)1JTF:Z7RJ`v«CˆB‡7^EFGŒ7^B_| 261J9„€Ž

w2LP$x†: GJ:):RJ`L7R<– 2613T-| 25139&EFBD7^GzC)7TœGJ:)13˜5:U7G<7&C825TLC81J:)R3:GJI$TdR87‘-| 261A25EF1ABD7TF45EL745:6Ž

M‚:ZC)7^EFG3:-2|<R3`a:C8BD7EFG87B| 25139PLC825TZY8EFTLCˆR3MS26TFGy7TL\EFTaMN˜5:)13G87BzO5EL7^T$R3Mš™›C)7^R3MS26TFGXMSTvC8BD7EFGJ:)GUTa:):Z\vTa29-261J:UK_:&TF26RJ:Z\

:ˆ‘wQaBNMDC8MSRJBNI&K_:ZC)7^EFG3:>R3`F:)IC)7^TœKL:X13:C826TFGJR31JELC8R3:\M|13:ZO5EFMS1J:Z\HŽ w2LP$R3`a:UC826T_C813:)RJ:UGJI$TdR87‘œMNGA7G†|26BSBS2xAG.-

3 -6-hg k4 W 3 ˜F„

-6-hg k -ML5  ˜$MD„

-6-hg k 6 k .7 ˜dMSMD„

] EFBS:)GX ˜F„€PH ˜$MD„A7T_\ ˜$MSMD„W45:)TF:)187R3:€G>), gB< 5)PEH<F+5% 5ˆP_7TL\ .PHh5)PF1J:)G3Q_:ZC8RJMS˜6:)BSI$Ž / QF1325461879MNG<7yGJ:ZO5EF:)TLCˆ:&2|WMSTFQFEFR

EaTFMSR3GZP_7BSBHR3:€139MSTL7^R3:Z\-K$I7>|EFBSB~G3RJ26Q…P98DŽSŽ6TaQFEFR<EaTFMSR3G<71J:UC8BD7EaG3:)GP›7^TL\-:)˜6:€13Iœ˜671JM‡7^KFBS:XR3`L7^RAMNG†|13:):MST7T*MNTaQFEFRAEFTFMSR

MSGAC826TaG3MD\$:)1J:Z\7GAEaTFMS˜6:)1JGŒ7BSBSIO5EL7T$RJM™_:Z\7^RAR3`F:C8BD7EaG3:XBS:)˜6:)BŽ$uv:XC)7BSBHR3`a:)G3:˜67^13MD7KaBN:€G H9B<B<H!<2UGH3 5W261@F*F<2a 5ˆŽ

Ty13EFBS:X˜dMD„€PZRJ:)139-MSTL7B;:-ML6<µMNGRJ`F:<C826T_C813:)RJ:<xA1JMNRJMSTF46G!| 251 Cˆ26TFTF:C8R3MS˜6: - %<Ž5?†26TFTF:C8R3MS˜6:el9%v`L7GTF2C825TLC813:€R3:<Ta26RŒ7^R3MS26T

K_:ZC)7^EFG3:>MNRAMSGAMS9QaBNMDC8MSRŽZTœ1JEFBS:U˜$MNMD„€P$R3:)1J9MSTL7BSG=:><Z7^TL\:.><Z7^13:RJ`F:C826T_C813:)RJ:UxA1JMSR3MSTF46G‚| 251<C826TFTa:ZC8R3MS˜5:)G1,7^TL\

0

,•Ž

? @

BA5C

† y

EDGF CIH

UT

"

2œ76\F\}$~R3:€139GXRJ2 0 1326BS254MSGXG3RJMSBNBW7| EUsU)I 25K6Y8:ZC8RJMS˜6:H25TF:&9&EFGJR \$:ZCˆM‡\w:&R3`F:C8MS18C8EF9GJRŒ7^TLC8:)GŽ1/ ™L1JG3R25KFG3:)1J˜67RJMN25T MSG

RJ`L7R{R3`F:€13:yMNG{TF2&EFGJ:| 251 75\F\$MSTF4}w~«RJ:)139-GAxAMNRJ`F26EaR

~«:O6EaMN˜67^BS:)TLC8:6Ž_TL\w:):Z\HP_MSR<MSG

~«:O6EaMN˜67^BS:)TLC8:yR3`L7^R 7^BNBS2xAG†EFGXR32

GJEFKFGJR3MSR3EFRJ:<RJ:)139-G•RJ2X˜6713MD7^KFBS:)GxAMNRJ`U1J:)G3Q_:ZC8RARJ2GŒCˆ26QFMSTF4_Ž $2LPGJIdGJR3:)9?A[…0†ƒ PhgX„!xA`F:)13:J<=K<Œ\w:)TF26RJ:)GA01325BN254G…:O6E_7BSMSRIdP

251A:)˜6:€T ?A[!0† ƒXP½‰XŠL„†xAMSR3`a26EFR

~«:O6EaMN˜67^BS:)TLC8:$PF71J:EFG3:€BN:€G3GZŽ

L ƒ ¾cM)¹cq aONPRQ*´'c3¿€·¾TSl ¸€¿3_&Q*¶¾•¿e3¸ q ¾?c+M€¹cq ec…¸8ÁHg´«¸ l ´«¿3`UNVÀ ƒ ´ ¹ _jc/WYX+Z[\X^]`_

³

WaXZ+[\Xb]\_

´'c3¿)·¾cS?e3¸ q eT_½¹6¾D¶¸ q

WaX+Z[\X^]`_

¶¾aD´¹c¶½ÁL¿G_C_

g´'c'`A¶¾?c3¾

WaX+Z[\X^]`_

³ ¿8´'cAa´ ¹cVÀ

dfe

ee¹´´wc

q

e6cJ¾F¸8ÁIeJ¸

q<q

c6eaD¶jbcOg-¶

q

¾h

q

a¿eaD¶je¼¹

q

¶ja ¾_¸8Á9ah(gschjilk ¸8´nmao_¿8´'c

q

¸acJ·cpTq¼À

(10)

X[Z \

T*261Œ\w:)1XR3276\F\*}$~R3:)1J9GX7TL\

~«:ZO5EFMS˜67^BN:€TLC8:yR320 1326BS254LPF25TF:y9&EFG3R<7^BNGJ275\F\œR3`a:&`L7TL\wBNMSTF4&2^|7‘FMS269-G

7^TL\

R32

EaTFMš™›C)7RJMS26T…Ž$g{TF:xA7T$R3G<7^BNGJ2URJ2&KL:XGJEF13:RJ`L7RARJ`F:)1J:MSG<7BSx7I$GA7Ta26139œ7Ba| 261J9bR32}w~R3:)1J9GZPF7^TL\-R3`L7^RAMSRC)7^TœKL:X|26EFTL\

K$I7^TdI-13:Z\wELC8R3MS25TGJR3187R3:€46I1-FRJ`F:G3RJ1325TF4&TF261J97^BNM9UZ7^R3MS26TyQF1J26Q_:)13RI$Ž

A`F:œ\$269œ7MST2^|<G3MS9QFBSIœRI$QL:\}w~«RJ:)139-G`L7G&77BS925G3RŒ„{x†:)BSBš~«K_:)`L7˜5:Z\EFTFMš™›C)7^R3MS26TvQa1326KaBN:€9 PH7TL\MSRMSGyG3RJ1326Ta46BSI

Ta26139œ7BSM9UZ7KaBN:5ŽA`F:XEFTFMš™›C)7^R3MS26T-QF1325KFBS:)9 | 251AG3MS9QaBNIyRI$QL:\}w~R3:)1J9G†92F\$EFBS2U7’‘wMS259G

7^TL\

MSGAG3:€9Mš~µ\w:ZC8MD\F7KaBN:X7TL\

MST$™_TFMSRŒ71JIŽ2F251&MSTFG3R87TLC8:5PzRJ`F:œEFTFMš™›C)7^R3MS26T QF1J26KFBS:)9 }-}!" - = }-."- `L7G7^T MNTw™LTFMSR3:œT$EF9&K_:)1U2^|G326BSEFRJMS26TFG

MST V-

%

=$=6@¥} 53}!-."-B3P

$

=$=6@}153}- 56- B)P < =$=6@}153}- 5@ 57-B B)PU=$=6@¥} 53}!-. 5 - BŒP¼:)RŒC޼•:€139 } 53}!-. 5 - MSG

RJ`F:?†`$EF1ŒCJ`:)T_C82F\$MSTF4&2|MNT$RJ:)46:)1@Ž

TQF1Œ75C8R3MDC8:5PH26TF:yEFGJ:)GR3`a:UGJ:)9Mš~37BS462513MSR3`F9 QF1325QL25G3:Z\K$I–AEF:€R>$½;Q'3ŽFA`F:yEFTFMš™›C€7R3MS25T QF1J26KFBS:)9|261<GJMS9QFBSIRI$Q_:Z\

RJ:)139-G<MSGX1325EF46`FBSIœR3`a:UG879:>xA`F:)R3`a:)1 7’‘FMN259 “ MNG7^G3G3Ea9:Z\œ251XTF26RŽLT*|«75C8R–AEF:)R G GJ:)9Mš~37BS462513MSR3`a9bG3:Z7^1ŒCJ`FGX|261XQF13:ˆ~

EaTFMš™L:)13G,-FMŽ:6Ž$G3EaKFG3RJMNRJEFR3MS25TFGAR3`L7^RA97P;6:AR3`a:QF1325KFBS:)9R313MS˜$MD7BSBSIG325BS˜67KFBS:6P$KFEaRAR3`L7^R<713:XTF25RATF:ZC8:€G3GŒ7^13MSBSBSIGJ26BSEFRJMN25TFGZŽ

g{R3`a:)1ZP‚9261J:GJ26QF`FMSGJR3MDC)7RJ:Z\HP‚RIdQ_:Z\ \w2697^MSTFGX:8‘FMNGJRRJ`L7Ry`L7˜6:7^BNGJ2 RJ`F:GJR31325TF4vTF251397^BSM3U7R3MS25T QF1J26Q_:)13RI 7TL\ 7

Qa1Œ76CˆR3MDC)7BHEaTFMš™›C)7RJMS26TœQF1325KFBS:)9 $Sh.*$P!hP$Paj6jFP$jdeaP$jd;'µŽ

Ÿ< ‚Ÿwo

A`a: Ta:)x/RJ:)139BD7^TF46EL7^46:{MNG†R3`a:BD7TF45EL745:<2|R3`F:>G3MS9QFBSIRI$Q_:Z\}w~«RJ:)139-GZŽ

$MS9-QFBS:ARIdQ_:)GX713:X45:)TF:)187R3:\œK$IR3`a:<|26BSBS2xAMNTa44618799œ71.-

 -6-hg k` H

 -6-hgo‚L"! ˜$MNMSMD„

xA`a:)13:RJ`F:# 7^TL\$

71J:XM‡\w:)T$R3Mš™L:)1JGA2|WRI$QL:X˜671JMD7KFBS:)GA7TL\RI$QL:UCˆ26TFGJR313E_C8R32513GXxAMSR3`7^13MSRI DP$1J:)G3Q_:ZC8RJMN˜5:)BSIdŽ_]AEFBS:y ˜$MSMSMD„

45:)TF:)187RJ:)GX| EFT_C8R3MS26T*RIdQ_:)GŽ1/ RIdQ_: L"!7 C)7TK_:UMST$R3:)1JQF13:€R3:Z\v7^G RJ`F:yRIdQ_:y2|W| EaTLC8R3MS25TFG<xA`F25G3:\$2597^MNT-MSG> 7TL\

Cˆ2~3\$269œ7MSTMSG1AŽ_uv: 7^G3GJEF9:%&XC825T$RŒ7MSTFGX7RXBS:Z7GJR<RJ`F:C826TaG3RŒ7^T$R :O<| 251<QF1J26Q_26GJMNRJMS26TL7^B…RI$QL:€GZŽHuv:U7^BSG327^G3GJEF9:RJ`F:

7^131J2xPL"!PL7^G3G32FC8MD7^R3:)G{R32&R3`a: 1JMS46`$RZŽ$A`FMSGA9œ7<;6:€Gz9œ7T$IUKa1Œ76CC;5:)R3G{EFG3:)BS:)GJG.-a| 251AMNTaG3RŒ7^TLC8:6P& L'!y L"!Iy\$:)TF25R3:)G{R3`F:XG879:

RI$Q_:7G L'! L"!I B \$2$:)GZŽ

uv:X7G3GJEF9:XRI$Q_:kCˆ26TFGJR313E_C8R32513G71J:k\w:ZC8BD71J:Z\œEFGJMNTa47&\$MS13:ZC8RJMS˜6:F <-w| 261†MSTFG3R87TLC8:5P

F) JLK W ( y_ &

F)>HI65BJJK L"! J K W ( H65BJ€_ $)

A`a:U\$:ZC8BD7^1Œ7RJMS26Tœ2|%H5 JHGJ`F2xAG<MSRAMSG 7yRI$Q_:UC826TaG3R31JELC8RJ261XR3`L7^R<9&EFGJRzK_:U7^QFQFBSMS:Z\-R32&G3259:XRI$QL:>R3276CˆR3EL7^BNBSI-QF132F\$ELCˆ: 7

RI$Q_:6Ž

+* { WŸF¤,‚Ÿ$q o

wMN9-QFBSIRI$QL:\}$~R3:€139GA71J:46:€TF:)1Œ7^R3:Z\ KdI-R3`F:{| 25BSBN2xAMSTF4X451Œ79-97^1.-

ƒ ¯

-6-hgji

¯ k l ¯

J._

ƒ ¯ rq.-

¯

-6-hg }El

¯r ƒ ¯ J J <_

ƒ ¯

-6-hgo‚ƒ

¯ rq-

¯ ƒ ¯ r J J <_

xA`a:)13:†R3`F:8i

¯

7TL\ l ¯

713:†13:€G3Q_:ZC8R3MS˜5:)BSIUMD\$:)T$RJM™_:)13GW2^|›C825TFG3R87T$R3GW7T_\MD\$:)T$RJM™_:)13G2|_˜6713MD7^KFBS:)G…xA`F25G3:†RI$QL:†MSGsJŽU/ARJR31JMNKaEFR3:)G

MSTRJ:)139-MSTL7BW7T_\œTF26Tw~«RJ:)139-MNT_7B…GJI$9&KL25BNGX71J:UEFGJ:Z\R32C825TFG3RJ1Œ7^MNTRI$QL:€GU7TL\*R32œ:)TaG3EF1J:R3`a:Ux†:)BSBš~«RI$QFMSTF4-2|z45:)TF:)187R3:\

RJ:)139-GZŽ

˜5:)13IR3:€139—2^|RJ`F:GJMN9-QFBSIRI$Q_:Z\}w~µC€7BDC8EFBSEFG`_7GU7

~TF251397^B!| 261J9 Ž1MW:C)7EFGJ:œ2|AR3`F:œ?†`dEa1ŒCJ`$~3]A26GJG3:)1yQF1J26Q_:)13RI$P

MSRMSGEaTFMDO6Ea:6ŽDœ261J:)2˜6:€1ZP!MNR&C)7^TvKL:C8259QFEFRJ:Z\EFGJMNTa4 7T$Iv713KaMNRJ1Œ7^13IvG3RJ1Œ7^R3:)45IdŽ–A:)T_C8:6PWRJ`F:C€7BDC8EFBSEFGy`L7GyR3`a:G3RJ1325TF4

Ta26139œ7BSMSGŒ7^R3MS26TyQF1325QL:€13RI$Ž

uv:X7G3GJEF9:XRJ`F:XRIdQ_:)G{2| Cˆ26TFGJRŒ7T$RJG 71J:U\$:ZCˆB‡7^13:Z\-EFGJMSTF47&\$MS13:ZCˆR3MS˜6:bJK-$| 251zMSTFGJRŒ7^TLC8:6P

JLKo=BCH65BJ Q [W ( l Q¥=B_ i

¦0/

ª¯216²

„

JLK <W <QRL"! CH65BJ Q L"! CH5 J+Q W ( l Qv <W <8_ i 1

q-

¦0/

ª¯216² q-

¦0/

ª¯216²

„

JLKU)#CHI65BJ Q L"! CH65BJ Q L"! CH5 J+Q L'! W#( l Q¥ U)_ i

¦0/

ª¯16² q-

¦0/

ª¯216² q-

¦0/

ª¯15² q-43

„

A`a:•RI$Q_:W2|=B_GJ`F2xAGHMSRHMNG…7†Ta26T$~| EFTLCˆR3MS26TL7^B6C826TaG3RŒ7^T$RZŽA`F:RI$QL:W2^|c:W <DGJ`F2xAG…MSRHMSG…7‚| EFT_C8R3MS26TXRJ`L7RHR87<;6:€G…Rx†2<71345EF9:€TdRJGZŽ

A`a:)G3:Rx†2&C826TFGJRŒ7^TdRJG 7^BNBS2xAG†EFGAR32&KaEFMSB‡\/#P 8<F+5AQ_26BSI$9261JQF`FMDCABSMSG3RJG.-$Q_26BSI$92513QF`FMDC†BSMSG3RJG<7BSBL:€BN:€9:)T$R3GA2^|WxA`FMDC3`

`_7˜6:<RJ`F:G879:{RI$QL:6ŽE2!MNT_7BSBSIdPRJ`F:1J:)G3EFBSRARI$Q_:2|%P :O<PaG3`F2xAGAMSR†MSG<7yQF13:Z\wM‡C€7R3:yC826TFGJRŒ7^TdRŽ

5

]>^

c´'c eJ¿ q d*c!¶q k q ¶jacT_jh`<¿ q h `<¸)¾?a l c q cµ´«¿3_¹ q ¶Ckcµ´«¾JÀ

(11)

{ WŸF¤kq£_qr o

–{7˜$MNTa4UCJ`F26GJ:)T 7yRI$QL:\$MSG8C8MSQFBSMNTa:<|261†R3`F:RJ:)139-G\w2d:€G<TF25RAGŒ7I:€˜6:)1JIdRJ`FMSTF4&26T-R3`F:>RIdQ_:\$MSGŒC8MSQFBSMSTF:X2|QF1325461879GŽ

A`F: ™L13GJR•Q_26MST$RHMSGHR3`L7^R…x†:z76\w26QFR!R3`F:.), 5%UJg JK Q_26MST$RH2|F˜$MN:€x@-)R3`a:zRI$QFMSTF4<\$MSG8C8MSQFBSMNTa: \w:8™LTF:)GW77a0HHJLKE

Qa13:Z\$MDC)7^R3:6P_7TL\-TF25RAxz:€BNBš~RI$QL:Z\QF1325461879G{ HH JK QF1325461879G8„z7^13:XG3MS9-QFBSIUTF25R<C826TaG3MD\$:)1J:Z\7GAQa1326451Œ7^9GZŽ

A`F:XEFGJEL7B!QF13MSTLCˆMNQaBN:€GA2|•Q_26BSI$92513QF`aM‡C†RI$QFMSTF4&71J:R3187TFGJQL25G3:Z\ R32?A[…0 ƒXPF‰ Š5‹ „-

JLKA\$:ZCˆB‡7^1Œ7^R3MS26TFG<75C8R 7^G<7>H9BJHMST D[ $½e6i'3P$MSRzMST$R31J2F\$ELC8:)GX7yRI$QL:XGŒCJ`F:€9:{| 261AGJ269-: C825TFG3R87T$RAG3I$9&K_26BP

O6E_7T$R3Mš™›C)7^R3MS26TaGX MSTLC8BSEL\$MSTF4&7KaG3R31876C8RJMS26TL„A75C8R<7G<7^T 7^KFG3RJ1Œ75C8R3MS26TœMST#D*[WP

:)˜6:)1JI2FC)C8Ea1313:€TLC8:y2| 7yC825TFG3R87T$RAG3I$9&K_26BF`L7^G7>RI$QL:XRJ`L7R†MSG7^TMSTFG3R87TLCˆ: 2^|•RJ`F:XRIdQ_:<G8CJ`F:)9:X2^|…R3`L7^RC825TFG3R87T$RZP

7TL\-:)˜5:)13Iœ2FC)C8EF1J13:)T_C8:U2^|z7˜67^13MD7KFBS:{`L7GARJ`F:GŒ7^9:{RIdQ_:6Ž

A`F:-G3:ZCˆ26TL\ Q_26MST$RUMSGRJ`L7Ryxz:œ76\$25QFRyR3`F:`JLP <HYUJLKyQF1JMNT_C8MSQFBS:-(tvC02UK A,F ,<"*#'<B,JR

P5BJPJ J?#y#B<* 4UH6<F+5% bF5BJ$#22> JLKbJ?# J%65', P /*b6J5VJLKb5%#})Ž_T26R3`a:)1Xxz251Œ\$GPLRJ`F:

RI$Q_:)G<7RARJ`F:)GJ:2FC)C8EF1J13:)TLCˆ:)GUC)7^TFTF26R{KL:WY8EaG3R<7T$I-MNTaG3RŒ7^TLC8:X2|WRJ`F:XRIdQ_:XGŒCJ`F:)9-:F25TFBSI&13:)T_79MSTF45G7^13:7BSBS2x†:Z\HŽ

A`FMSG†QF13MSTLCˆMNQaBN:{MSG<7G3GJEF9:\yMNT-R3`F:Xx†261C;&KdI>D IwCˆ132|R<7TL\-g {:):8|:$j&,'3P6KaEFRzTa26R<\$MSGŒCˆEFG3GJ:Z\HŽFR<7^QFQ_:Z71JGAEFTL\$:)1ARJ`F:

T_79:#B+<)<6J<XMSTyxz251[;$GWK$I&–<7T$EFGP67T_\&–AMSBSBL7TL\y[HBS2IF\$;ahP6;6;'3ŽRW7BSG32U7^QFQ_:Z71JGWEFTL\$:€1zRJ`F:ATL79-:^ 6J< PH

UJLK>MNTv[…7P;$G3`F9œ7T 7^TL\v]A:Z\a\$I GXx†261C; $½;6i'3Ž…–<7^T$EFG`L7˜5:UGJ`F2xATvMSR MSGU7-TF:C8:)G3G871JI C825TL\$MSR3MS26T*| 251k7 5%PJL?

5%PF )< 5B5RJ`F:)2513:)9G3R87R3MSTF4&1J26EF45`FBSI&R3`L7^R t4UHH JLK7), gB< 5yBP,JY+a.<})Ž

/{T/:8‘L7^9QFBS:œMSBNBSEFGJR3187R3:€GRJ`F:v:BOH:ZC8R2^| \$:8™_TFMSR3MS26TL7^BX46:)TF:€13MDC8MSRIdŽY/{G3G3Ea9MSTF4RJ`F:vC8EF131JMS:Z\ G3I$T$RŒ7’‘ |261œR3:)1J9GPzRJ`F:

?A[!0† ƒXPF‰ Š5‹ „†xA1JMSR3MSTF4y| 251zQF1J:Z\$MDC)7^R3:#UkMSG<7G†| 25BNBS2xAG,-

=B%7?7 W

=?C |7 BEUO=?C | B@-ML#Ub7 U W

A`aMNG‚QF1325461Œ7^9 MNG†x†:)BSB~RI$QL:\&xAMSR3`&1J:)G3Q_:ZC8R{R32yR3`F:{RIdQ_:<G8CJ`F:)9:€GA46MS˜6:)T&MST&GJ:ZC8R3MS25Tj_ŽSh6޽;FŽ–A2x†:)˜5:)1ZP$RJ`F:<G879:AQa1326451Œ7^9

QaBNEaGAR3`F:C8BD7EaG3:

=6D,3P :<4<sBo=<, ,"B$=6D,3P :<4< <B,"B W

MSGXMSBSB~RI$QL:\K_:ZC)7^EFG3:œMSR˜$MS26BD7RJ:)GXR3`F:-`F:Z76\d~µC825TL\$MSR3MS25T…ŽHA`F:&2FC)C8Ea1313:€TLC8:2^| UMSTvR3`F:7^KL2˜5:C8BD7EFGJ:`L7^GU7-RI$QL:6P

CHI65BJsJ L"!CH65BJs J L"!CH5 JYJ L'!I6P$RJ`L7RAMSG<7>G3RJ13MDC8R<MSTFGJRŒ7^TLC8:2^|•R3`a: RI$Q_:GŒCJ`F:€9:6P$TF25R…Y8EFGJR<7y13:)TL7^9MSTF4_Ž

uv:œTF25R3:?A[…0†ƒœP_‰ Š6‹ „yRJ`F:MSTFG3R87TLCˆ:2|?A[…0 MST xA`aM‡CJ` R3`a: \w2697^MSTvMNG&2^|G3MS9QFBSIRI$QL:Z\ RJ:)139-Gœ ƒ&„)PWRJ`F:

:O6E_7BSMSRI&R3`F:)2513IœMSG

~:ZO5EFMS˜67BS:)TLC8:«‰ Š5‹ „€PFRJ`F:QF1J26461879-G<713:>RIdQ_:Z\œQa13:)G8C813MSQFRJMN˜5:)BSIdP_7TL\ R3`F:U\w:8™LTFMSR3MS25TL7BH45:)TF:)1JM‡CˆMNRI

Qa13MSTLC8MSQFBS:<MSG<75\$26QFRJ:Z\HŽ

XW GR68a! #"$S$.H&P[^voQ1^

uv:†`L7˜5:zGJ:):)T&R3`_7RWGJ269:‚R3:)1J9G2|…?A[…0†ƒœP_‰ Š6‹ „‚ MŽ:6ŽRJ`F26GJ:AxAMSR3`&7T&7131J2xRI$Q_:Z„WC)7^T&KL:AMST$R3:)1JQF13:€R3:Z\&7^G| EFTLCˆR3MS26TFGŽ

uv:>`L7˜6:U7^BSG32&G3:€:)TvR3`L7^R<QF1J2$2| G{MNT?A[…0†ƒ P_‰ Š5‹F„<7^13:&\$26Ta:U9-2w\wEFBS2

~:ZO5EFMS˜67BS:)TLC8:5Ž w2LPFMSR{BN2$2+;dG{BSM;5:XM|†26TF:UC€7T

Qa1326451Œ7^9bMST 7>|EFTLC8RJMN25TL7BHGJRI$BN:XMST?A[…0†ƒ P_‰XŠ6‹F„€PL7T_\RJ`L7RAEaTFMš™›C)7RJMS26TMSG<7^KFBS: RJ2\$MSGŒC81JMS9MSTL7RJ: 7^QFQFBSMDC)7RJMN25TFG‚| 13259

7^KFG3RJ1Œ75C8R3MS26TaG 7^TL\ RJ2 7T_7BSI$G3:RJ`F:)MS1C8269-QL25TF:)T$R3GŽzuv:*xAMNBSBAGJ`F2x”RJ`L7R-R3`F:)GJ:71J: Rx†29-MNG8C826T_C8:)QFRJMN25TFG7^KL25EFRRJ`F:

C€7QL7^KFMSBNMSRJMN:€Gz2^| }w~«RJ:)139-GAMNTœ?A[…0†ƒ P_‰XŠ6‹F„€Ž

+* Xq£%Lqr '& & r)( & sp £ & r Wo)p€  Ÿ &+*-, /.Jƒ

/0

‰XŠ6‹21

g{TF:†9&EFGJRH13:ZC)7^BSBdRJ`L7R?A[…0†ƒ P_‰XŠ6‹F„¼R3:)1J9G•7^13:†:)G3GJ:)T$R3MD7BSBSIXG3MS9QaBNIARI$Q_:Z\y}$~R3:)1J9GŽU/<GGJELCJ`…PR3`a:)IX`L7˜6:z7{C8269-QFEFRJMNTa4

Q_2x†:)1AR3`L7^RAMSGAR32$2Ux†:Z7P;&| 251z1J:Z7BSBSIGJ:)13˜$MSTF47G<7yQa1326451Œ7^99MšTF4XBD7TF45EL745:6Ž

D[*QF1J26461879-Gz71J:k7^BSG32:)GJG3:)T$RJM‡7^BSBNI&9œ76\$:A2^|•GJMN9-QFBSIRI$QL:\}w~R3:)1J9GZP5KFEFRARJ`F:XBD7TF45EL745:<7BSG322PO›:€13G 7>C826TFGJR31JELC8R3MS25T

MŽ:5Ž1H3 J,µ„†R3`L7^RAMNG†MST$R3:)1JQF13:)RJ:Z\*KdIœ7X™a‘d~Q_26MST$RC8259&KFMSTL7RJ261Ž6A`L7^RAMSGzxA`L7^RA46MS˜6:€GAMNRJG<C8269-QFEFRJMNTa4QL2x†:)1ARJ2>D[WŽ

u `_7R&46MS˜5:)G?A[…0†ƒ P_‰XŠ6‹F„MNRJGC8269-QFEFRJ:)1&QL2x†:)1* xA`FMDCJ` MNG&RJ`F:G879:7^Gy| 2617^TdI 13:Z7^G325TL7KFBS:Qa1326451Œ7^99MSTF4

BD7^TF46EL7^46:Z„‚MSG<RJ`F:G3RJ13ELCˆR3EF1J:&2|WMSR3G<C8BD7EaG3:)GPLKaEFR<TF25R<MSR3G<}w~R3:)1J9GZŽaT26RJ`F:)1{xz251Œ\$GP

~13:Z\$E_C8R3MS26TMST?A[…0†ƒ P_‰ Š5‹F„AMSG

Ta26R13:Z7^BSBNI>EFG3:Z\>|261:)˜67BSEL7^R3MSTF4†| EaTLC8R3MS25TFGZŽR‚MNG9œ7MSTFBSIAEFG3:\y| 251•MSTFGJRŒ7^TdRJMD7R3MSTF4{R3:)1J9 G8C3`a:)9:)G‚13:)QF1J:)G3:€TdRJ:Z\-K$IU}$~R3:€139GŽ

– 2xz:)˜5:)1ZPF}w~R3:)1J9GA7BSBS2x EaGzRJ2| EaTLC8R3MS25TL7BSBSIU:€TLC82F\$:X26Q_:)1Œ7^R3MS26TaGAR3`L7^R7^13:XG3EACˆMN:€TdRJBSI&G3MS9QFBS:6Ž $MSTLC8:X˜671JM‡7^KFBS:)Gz7^13:

7^BSBN2x†:Z\œMSTRI$QL:)GP…KaEFRR3`a:O6E_7T$R3Mš™›C)7^R3MS26TaG 2^|RJ`F:)GJ:˜671JMD7KFBS:)G71J:7BSxA7IdGXQF1J:)TF:8‘…P!R3`F:\w2697^MST2^| ?A[!0† ƒ

PF‰XŠ5‹F„

RJ:)139-GHMSG…:)GJG3:)T$R3MD7^BNBSI{:ZO5EFMS˜67BS:)T$RHR32VD[43œLD*[&9MST$EFGH3 J„)ŽA`FMSG…\$2597MSTX7BSBS2xAGLEFG!R32{QF1325461Œ7^9/:ˆ‘wRJ:)TL\$:\Q_26BSI$TF269-MD7B

|EFTLC8RJMN25TFG†26TFBSI $½;j,'3Ž2a261†MNTaG3RŒ7^TLC8:6Pa26TF:X9œ7IU:)T_C82F\$:UC825TLC)7RJ:)TL7^R3MS26T7GA7&}w~«RJ:)139P$˜$MD7U7>G3EaMNR87KFBS:X:)TLCˆ2w\wMNTa4&2|•BSMSG3RJG7^G

|EFTLC8RJMN25TL7BHBSMSG3RJG $½i'µŽ

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