• Aucun résultat trouvé

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

N/A
N/A
Protected

Academic year: 2021

Partager "Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing"

Copied!
24
0
0

Texte intégral

(1)

HAL Id: inria-00073277

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

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.

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

Valérie Gouranton

To cite this version:

Valérie Gouranton. Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study:

Slicing. [Research Report] RR-3413, INRIA. 1998. �inria-00073277�

(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

Deriving analysers by folding/unfolding of natural semantics and a case study: slicing

Val´erie Gouranton

N ˚ 3413

Avril 1998

TH `EME 2

(3)
(4)

.234%( 657./

8-9;:=<?>A@=BDC6EGF(>9;HJIKE;H

LNM4OPDQ"RTSVU WXZY[Q]\[^`_aY[bKY[QK\

QKcbedf\[bgZ\ihkjZPl(^a\mY[n;g4Q

o,pk^fqrQKcsidaX4t4Q

udav4v(^`prct4QTpkQbM4QpkbM4QwXx^`yazZ{?yDS}|2~ZprYm\{?``€SVRa‚vJda_`Qh

ƒ…„2†e‡eˆŠ‰4‹`‡`Œ  Q)b^`X4hkY[t4QpDhv(QbKYmŽJbedfckY[^`X4h^adaXJdf\mjZhQpkhDQA‘4v4pkQhhQt’dahDb^`PDv(^`hkYmckY[^`X4h6^ac”“!^$•g4X4bKckY[^`X4h?–—d

hQP6daX˜ckY[b •g4X4bKckY[^`Xš™G“MZY[bM)pkQKcg4pkX4hdXJdfcg4pdf\šhQP6daX˜ckY[bhNt4QprYm~adfckY[^`X›cpkQQ`™JdaX4t—dv4pk^`v(Qprc”j›t4QKŽJX4Qt)lœjpkQbg4pž

pkQX4bQ]^`X—t4QprYm~`dfckY[^`X…cpkQQh?Ÿ| pkQbg4pkhkYm~œQ t4QKŽJXZYmckY[^`X)^a/dtZjZXJdaP‚Y[bTdaXJdf\mjGhQp&bedaX—l(Q^`lZcdfY[X4Qt)l˜j=^a\[t*¡fg4XZ•^a\[t

v4pk^`_`pdaP¢cpdaX4hk•^`pkP6dfckY[^`X£b^`PlZY[X4Qt£“NYmcM¤t4QK=^`pkQhkcdfckY[^`XšŸ  QTdav4vZ\mj)^`g4pN=pdaPDQK“¥^`pk¦—c^6cM4QTt4QprYm~adfckY[^`X£^a§d

hk\mY[bKY[X4_…daXJdf\mjGhkY[h•^`pd‚\[^`_aY[bv4pk^`_`pdaPDP‚Y[X4_6\¨daX4_`gJda_`Q`Ÿ

©)ª˜«'¬­® ˆŠ¯/†`Œ hkjZhkcQP6dfckY[b"t4QprYm~adfckY[^`Xš™šv4pk^`_`pdaP°cpdaX4hk=^`pkP6dfckY[^`Xš™šXJdfcg4pdf\hQP6daXœckY[bh?™šv4pk^;^acpkQQ`™'hk\mY[bKY[X4_

daXJdf\mjZhkY[heŸ

±[²x³µ´”¶e·N³&¸x¹m´»º½¼¾

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : 02 99 84 71 00 - International : +33 2 99 84 71 00

T´el´ecopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

(5)

!¥"6"./&%- »-k]*3-

† Œ ^`g4h"b^`X4hY[t4Wpk^`X4h‚\¨d hv(WbKYmŽJbedfckY[^`X7tg4X daXJdf\mjZhQg4p‚b^`PDPDQ›\¨d b^`PDv(^`hkYmckY[^`X7t4Q›t4QgG‘ •^`X4bA

ckY[^`X4h›–Tg4X4Q6=^`X4bKckY[^`X hWP6daX˜ckY[n;g4Q`™§nGgZY pkQX4t g4X dapkl4pkQt4Q6t4WprYm~`dfckY[^`X t4QD\¨d¤hWP6daXœckY[nGg4QXJdfcg4pkQK\m\[Q`™§QKcg4X4Q

v4pk^`v4prY[WKcW6t4WKŽJXZY[QvJdap]pkWbg4pkpkQX4bQ6hg4p\[Qhdapkl4pkQh]t4QDt4WprYm~`dfckY[^`XšŸX4QDt4WKŽJXZYmckY[^`X pkWbg4pkhkYm~œQDtg4X daXJdf\mjZhQg4p

tZjZXJdaP‚Y[n;g4Q-vQgZcKcpkQN^`lZcQX˜g4QvJdapt4Qh§cpdaX4hk=^`pkP6dfckY[^`X4h t4QNv4pk^`_`pdaPDPDQh! ½vZ\mY¨da_`Q?¡ft4WvZ\mY¨da_`Q"A™Gb^`PlZY[X4WQd~œQb

t4QhcQbM4XZY[nGg4Qh t4Qt4WK=^`pkQhkcdfckY[^`XšŸ ^`g4hdav4vZ\mY[n;g4^`X4h X4^acpkQbedat4pkQ_`WX4WprY[nGg4Q#6\¨d6t4WprYm~`dfckY[^`X tg4X4Q‚daXJdf\mjGhQ

tWK\¨da_œda_`Qv^`g4pg4X—\¨daX4_œda_`Qt4Q]v4pk^`_`pdaPDP6dfckY[^`X \[^`_aY[nGg4Q`Ÿ

‡e† ¬ ‹&% Œ t4WprYm~adfckY[^`X£hkjZhkcWP6dfckY[n;g4Q`™JcpdaX4hk•^`pkP6dfckY[^`X£t4QTv4pk^`_`pdaPDPDQhe™(hWP6daXœckY[nGg4QXJdfcg4pkQK\m\[Q`™'dapkl4pkQt4Q

v4pkQgZ~œQ`™(daXJdf\mjGhQ]tWK\¨da_œda_`Q`Ÿ

(6)

8 9 -%(]‚ .i%-

| \¨dapk_`QdaPD^`g4X˜c¥^a(“¥^`pk¦‚MJdah l(QQXDt4QK~œ^acQt6c^Tv4pk^`_`pdaPwdaXJdf\mjGhY[h,t4g4prY[X4_]cM4QN\¨dahkc c”“¥^t4Qbedat4Qhe™˜l(^acM6^`XDcM4Q

v4pdabKckY[bedf\ hY[t4Q‚daX4t ^`X cM4Q"cM4Q^`pkQKckY[bedf\,Y[hhg4Qh?Ÿ;:^?“¥QK~œQp™xPD^`hc ^a¥cM4Q‚v4pk^`_`pdaPdaXJdf\mjGhQpkh cMJdfcTMJde~œQDlQQX

Y[PDvZ\[QPDQX˜cQt£^`ppkQv(^`prcQt¤Y[X—cM4QT\mYmcQpdfcg4pkQh^D½dapdapkQTb^`X4bQpkX4Qt “NYmcM¤^`X4QThv(QbKYmŽJbTv4pk^`v(Qprc”jœ™*^`X4QhvQbKYmŽJb

\¨daX4_`gJda_`QdaX4t^`X4Qhv(QbKYmŽJbhQpr~GY[bQ ½tZjZXJdaP‚Y[b-^`p,hkcdfckY[b"AŸ| =QK“ _`QX4QprY[bNc^G^a\[h MJd~œQlQQXv4pk^`v^`hQtl4gZc,cM4QKj

dapkQT_`QX4Qpdf\m\mj)pkQhkcprY[bKcQt¤c^6^`X4QTbK\¨dahh^a§v4pk^`v(QprckY[Qh^`pN\¨daX4_`gJda_`Qhe™J^`p\mY[P‚YmcQt)Y[X)cM4QKY[pN\[QK~œQK\i^a§dal4hkcpdabKckY[^`XšŸ

 Q6l(QK\mY[QK~œQDcMJdfcTcM4QpkQ6Y[hd—hkcpk^`X4_¤X4QQt$=^`p]QXœ~GY[pk^`X4PDQXœch"hg4v4v(^`prckY[X4_)cM4Q6t4QhkY[_`X$^a&v4pk^`_`pdaP daXJdf\mjZhQpkh

daX4t)cMJdfcPD^`pkQTQ<(^`prchM4^`gZ\[t)lQ]v4gZc^`X)cM4Q'*+=>5? )5 T^adaXJdf\mjZhQpkheŸ

 Qv4pkQhQXœc d"•pdaPDQK“!^`pk¦—•^`pNt4QhkY[_`XZY[X4_…daXJdf\mjGhQpkh-•pk^`P ^`v(QpdfckY[^`XJdf\2hvQbKYmŽJbedfckY[^`X4hlœj)v4pk^`_`pdaP cpdaX4hr

=^`pkP6dfckY[^`X ==^a\[tZY[X4_˜¡fg4XZ=^a\[tZY[X4_ "AŸLNM4Q daXJdf\mjGhkY[h›hv(QbKYmŽJbedfckY[^`X MJdah…c”“!^ b^`PDv(^`X4QXœch?– d hQP6daX˜ckY[bh›^a]cM4Q

v4pk^`_`pdaPDP‚Y[X4_…\¨daX4_`gJda_`QdaX4t dDt4QKŽJXZYmckY[^`X ^a2cM4QTv4pk^`v(Qprc”jœŸ

dfcg4pdf\ hQP6daXœckY[bhA@CBZ™-{?yDdapkQ d _`^G^;t hkcdaprckY[X4_ v(^aY[Xœc›=^`p6cM4Q t4QKŽJXZYmckY[^`X ^adaXJdf\mjZhQh›lQbedag4hQ cM4QKj

dapkQ6l(^acM$hkcpkg4bKcg4pdf\! ½b^`PDv(^`hkYmckY[^`XJdf\"daX4t$Y[XœcQX4hkY[^`XJdf\»ŸLNM4QKj dapkQ6hcpkg4bKcg4pdf\ lQbedag4hQ‚cM4Q6hQP6daXœckY[bh^a&d

v4M4pdahQ Y[X›cM4Q v4pk^`_`pdaPDP‚Y[X4_D\¨daX4_`gJda_`Q]Y[h&t4QprYm~œQt—=pk^`PwcM4Q]hQP6daXœckY[bhN^a/hg4l4v4M4pdahQhEZcM4QKj—dapkQY[X˜cQX4hkY[^`XJdf\

l(Qbedag4hQcM4Qt4QprYm~`dfckY[^`X›cpkQQ-cMJdfc!Y[h!dahh^;bKY¨dfcQt…“NYmcM—dv4M4pdahQY[X…cM4Qv4pk^`_`pdaPDP‚Y[X4_‚\¨daX4_`gJda_`Q b^`XœcdfY[X4h&cM4Q

Y[X˜cQpkPDQtZY¨dfcQ¤pkQhgZ\mch =cM4Q…hQP6daXœckY[bhD^ahg4l4v4M4pdahQh "AŸ LNM4QhQ…nGgJdf\mYmckY[QhDdapkQ…hkY[_`XZYmŽJbedaX˜cDY[X cM4Q›b^`XœcQA‘ZcD^a

v4pk^`_`pdaP daXJdf\mjZhkY[h¥l(Qbedag4hQb^`PDv^`hYmckY[^`XJdf\mYmc”j\[Qedat4h!c^"PD^`pkQ-cpdabKcdalZ\[Q v4pk^G^ašcQbM4XZY[nGg4QhdaX4tY[X˜cQX4hkY[^`XJdf\mYmc”j

P6da¦`Qh-YmcQedahkY[QpNc^6QhkcdalZ\mY[hM—cM4QTb^`X4X4QbKckY[^`X l(QKc”“!QQX¤cM4QTpkQhgZ\mc^a/cM4QdaXJdf\mjZhkY[h-daX4t)YmchY[XœcQX4t4Qt g4hQ`Ÿ

F g4phQP6daXœckY[bh]Y[ht4QKŽJX4Qt$•^`pkP6df\m\mj$dahTd›=g4X4bKckY[^`X cda¦˜Y[X4_¤d›cQpkP#daX4t daX$QK~`df\[gJdfckY[^`X b^`X˜cQA‘GcdaX4t pkQA

cg4pkXZY[X4_d"t4QprYm~`dfckY[^`X)cpkQQ`ŸLNM4Q]v4pk^`v(Qprc”j›YmchQK\miY[hd"=g4X4bKckY[^`X—•pk^`P3t4QprYm~`dfckY[^`X)cpkQQh&c^6d"hgZYmcdalZ\[QTdal4hkcpdabKc

t4^`P6dfY[XšŸ¥LNM4Qb^`PDv(^`hkYmckY[^`X)^a2cM4QhQ c”“!^‚•g4X4bKckY[^`X4ht4QKŽJX4QhdtZjZXJdaP‚Y[b0;G*H"2(daXJdf\mjZhkY[heŸJIµc&pkQv4pkQhQXœch

d=g4X4bKckY[^`X—“MZY[bM—Y[XZYmckY¨df\m\mj…bedf\[bgZ\¨dfcQhcM4QcpdabQ ^a§db^`PDvZ\[QKcQ]QA‘4QbgZckY[^`X »d"t4QprYm~adfckY[^`X—cpkQQ"!^a2d"v4pk^`_`pdaP

l(QK•^`pkQNQA‘ZcpdabKckY[X4_]cM4QNpkQnGgZY[pkQt6v4pk^`v(Qprc”jœŸ§o,pk^`_`pdaPcpdaX4h•^`pkP6dfckY[^`X4h+&QA‘ZcQX4t4QtD=^a\[tZY[X4_˜¡fg4XZ•^a\[tZY[X4_cQbMG

XZY[nGg4QhdaX4t hkY[PDvZ\mYmŽJbedfckY[^`X pkgZ\[Qhdf\m\[^e“ c^)^`lZcdfY[X d—pkQbg4pkhkYm~œQ6t4QKŽJXZYmckY[^`X ^a!cM4QDtZjZXJdaP‚Y[bdaXJdf\mjGhQp =“MZY[bM

t4^GQhDX4^acDbedf\m\!cM4Q)v4pk^`v(Qprc”j •g4X4bKckY[^`X "AŸ LNMZY[h"•g4X4bKckY[^`X7Y[h‚Y[X ½dabKc6d tZjZXJdaP‚Y[bK L*M%(NO—daXJdf\mjGhQpY[X7cM4Q

hQX4hQcMJdfc Ymc bedf\[bgZ\¨dfcQh]cM4Q‚pkQn;gZY[pkQt v4pk^`v(Qprc”j v4pk^`_`pkQhhkYm~œQK\mj t4g4prY[X4_›v4pk^`_`pdaP QA‘4QbgZckY[^`XšŸTLNM4Q‚=^a\m\[^e“NY[X4_

tZY¨da_`pdaP hM4^e“h-cM4Q]_`QX4Qpdf\2^`pk_œdaXZY[hdfckY[^`Xš–

P)Q"RSUTWVSYX[ZT'\2]_^

T']7`RS2acb'def

g

R`5hijd+T'\

k

lm

m

m

m

m

m

m

m

m

m

m

m

m

Z\2TWT

n \2QoTW\+Si

p

q

r T-d+sjhCS

LNM4Q¦`QKj—v(^aY[Xœch-^a2cM4Qdav4v4pk^œdabM v4pk^`v(^`hQt¤M4QpkQdapkQ cM4QT•^a\m\[^?“NY[X4_4–

t

LNM4Q6t4QprYm~`dfckY[^`X Y[hdabMZY[QK~œQt Y[X d¤hkjGhcQP6dfckY[bD“!dej l˜j$g4hkY[X4_¤=g4X4bKckY[^`XJdf\,cpdaX4hk=^`pkP6dfckY[^`X4he–"g4XZ•^a\[tZY[X4_

daX4t—•^a\[tZY[X4_4Ÿ

t

I”cY[h…dav4vZ\mY[bedalZ\[Q£c^ d$“NY[t4Q ~adaprY[QKcµj ^a \¨daX4_`gJda_`Qh)daX4t v4pk^`v(QprckY[Qh…l(Qbedag4hQ¤Ymc…Y[hlJdahQt ^`X XJdfcg4pdf\

hQP6daXœckY[bht4QKŽJXZYmckY[^`X4heŸ

|h‚PDQXœckY[^`X4Qt l(QK•^`pkQ`™§h^`PDQ›^acM4Q—daXJdf\mjGhQhcMJdfc"“¥Q›“&daXœc‚c^£hvQbKYm•j dapkQ…tZjZXJdaP‚Y[b)daX4t ^acM4Qpkh6dapkQ

hkcdfckY[b`Ÿ LNM4QpkQ6Y[h"X4^ pkQedf\¥pkQedah^`X “Mœj cM4QhQ6cµ“¥^ bedfcQ_`^`prY[Qh"^adaXJdf\mjZhQh"hM4^`gZ\[t l(QhQQX dahl(QK\[^`X4_aY[X4_ c^

tZYu<'QpkQXœc“¥^`pr\[t4heŸ0IžX cM4QDvJdav(Qp]“¥QD=^Gbg4h]^`X tZjGXJdaP‚Y[b…daXJdf\mjGhkY[h?™xb^`X4hkY[t4QprY[X4_)cMJdfchcdfckY[bdaXJdf\mjGhY[hTbedaX$lQ

^`lZcdfY[X4Qt Y[X£dhQb^`X4t hcda_`Qdah daX£dal4hkcpdabKcY[XœcQpkv4pkQKcdfckY[^`X$^a§cM4Q"tZjGXJdaP‚Y[b"daXJdf\mjGhkY[h dahv4pkQhQXœcQt£Y[Xv@{?D»Ÿ

 Q—^`gZck\mY[X4Q›cMZY[h‚t4QprYm~adfckY[^`X Y[X cM4Q›b^`X4bK\[g4hY[^`XšŸ ^acQ…cMJdfc"^`g4pDdav4v4pk^œdabM7Y[Xœcpk^Gt4g4bQh6d bK\[Qedap‚hQvJdapdfckY[^`X

l(QKc”“!QQX cM4QhvQbKYmŽJbedfckY[^`X£^a,daX daXJdf\mjGhY[h ½t4QKŽJX4Qt£dahdDv4pk^`v(Qprc”j¤^`X¤hQP6daX˜ckY[bht4QprYm~`dfckY[^`X£cpkQQh "NdaX4t¤cM4Q

df\[_`^`prYmcM4P¢cMJdfcY[PDvZ\[QPDQXœchYmceŸ

 QTYm\m\[g4hkcpdfcQ]cM4Q]=pdaPDQK“¥^`pk¦)l˜j…cM4Q]=^`pkP6df\it4QprYm~`dfckY[^`X¤^ad‚hk\mY[bKY[X4_daXJdf\mjZhkY[hN=^`pd‚\[^`_aY[bTv4pk^`_`pdaPDP‚Y[X4_

\¨daX4_`gJda_`Q`Ÿ LNM4Q$tZYu<(QpkQX˜c¤hkcda_`Qh—^acM4Q t4QprYm~adfckY[^`X dapkQ t4QKcdfYm\[Qt Y[X cM4Q •^a\m\[^?“NY[X4_ hQbKckY[^`X4heŸxwGQbKckY[^`X R

(7)

Y[X˜cpk^;t4g4bQh›b^`XœcQA‘Zche™¥cQpkPDhe™¥t4QprYm~`dfckY[^`X cpkQQh›daX4t7cM4Q¤hQP6daXœckY[bh•g4X4bKckY[^`XšŸ LNM4Q¤dal4hkcpdabKct4^`P6dfY[X daX4t

cM4Q…v4pk^`vQprcµj$•g4X4bKckY[^`X dapkQ6v4pkQhQXœcQt Y[X hQbKckY[^`X yZŸ…LNM4Q6cpdaX4hk•^`pkP6dfckY[^`X ^a&cM4Q6b^`PDv(^`hkYmckY[^`X ^a&cM4QDcµ“¥^

hv(QbKYmŽJbedfckY[^`X6=g4X4bKckY[^`X4h! =cM4Q-hQP6daXœckY[bh&daX4tDcM4Qv4pk^`v(Qprc”j "/Y[Xœc^"d]tZjZXJdaP‚Y[b3 *M% NOdaXJdf\mjZhQpY[h,t4QhbprY[lQt

Y[X¤hQbKckY[^`X z4Ÿ uQK\¨dfcQt)“¥^`pk¦(™*b^`X4bK\[g4hY[^`X£daX4t de~œQX˜g4Qh•^`p•g4prcM4QppkQhQedapkbM£dapkQtZY[hbg4hhQt)Y[X hQbKckY[^`X‚daX4t

hQbKckY[^`XDpkQhv(QbKckYm~œQK\mjœŸ

N%( (),+--%./

LNM4Q&XJdfcg4pdf\JhQP6daX˜ckY[bh,^ad\¨daX4_`gJda_`Q&Y[hd-hQKc^adŠ‘ZY[^`PDh,daX4t"Y[XZ•QpkQX4bQ&pkgZ\[Qh§cMJdfct4QKŽJX4QdpkQK\¨dfckY[^`XDlQKcµ“¥QQX

dDb^`X˜cQA‘Gce™(d‚cQpkP Y[X)cM4Qv4pk^`_`pdaPDP‚Y[X4_6\¨daX4_`gJda_`Q‚daX4t dDpkQhgZ\mceŸ¥|XJdfcg4pdf\/hQP6daXœckY[bht4QprYm~`dfckY[^`X¤cpkQQTMJdah

cM4Q]=^`pkP)–

n \2QQZ\2T'T r

n

\2QQZ\2TWT

n

\2QQZ\2TWT

^ Z Z

“M4QpkQ"u Y[hcM4Q"XJdaPDQ^acM4QpkgZ\[Qg4hQt c^t4QprYm~œQ wGLNL]ŸLNM4Qb^`X4bK\[g4hkY[^`XAwGLNL Y[hd6hkcdfcQPDQX˜ce™cMJdfcY[h-c^

hdej¤d"cprY[vZ\[QTb^`X4hkY[hkckY[X4_6^ad‚b^`XœcQA‘Zce™d"cQpkP daX4t d‚pkQhgZ\mceŸ

IžX7^`pkt4Qp"c^ P6da¦`Q›=^`pkP6df\NP6daXZY[v4gZ\¨dfckY[^`X4h6QedahkY[Qp™,“!Q—QA‘Zv4pkQhh"cM4Q—b^`X4hkcpkg4bKckY[^`X ^a-XJdfcg4pdf\hQP6daXœckY[bh

t4QprYm~`dfckY[^`X cpkQQhY[X d—=g4X4bKckY[^`XJdf\ =pdaPDQK“¥^`pk¦(Ÿ)sxQKc l(QDcM4Q6hQKc^a&b^`X˜cQA‘Gch?™ cM4Q6cµjGv(Q6^a&cQpkPDh"^a!cM4Q

\¨daX4_`gJda_`QdaX4t! ""cM4QNc”jZv(Q^a(t4QprYm~`dfckY[^`X6cpkQQh?™`cM4QX6cM4QhQP6daXœckY[b=g4X4bKckY[^`X$# Y[h!d vJdaprckY¨df\*=g4X4bKckY[^`X6^a'c”jZvQ`–

%

X'&)(+*,&

*-& .&,&?X0/21354768*,&9.X;:=<

.&,&>

%

X'&?X!<-?

& *,* XA@

B QprYm~`dfckY[^`X¤cpkQQh-dapkQP6dat4Q^ad‚hkcdfcQPDQXœc =cM4QTb^`X4bK\[g4hkY[^`X "A™dD\mY[hkc^a/t4QprYm~`dfckY[^`X¤cpkQQh =cM4QTv4pkQP‚Y[hQh "

daX4t cM4QXJdaPDQ^apkgZ\[Qdav4vZ\mY[Qt£c^6t4QprYm~œQcM4Qb^`X4bK\[g4hkY[^`XšŸ



Qdahhg4PDQ]cMJdfcd6cQpkP Y[hdvJdfY[p^a,d6v4pk^`_`pdaP

v(^aY[Xœc¥daX4t6daX‚QA‘4v4pkQhhkY[^`XšŸDCEFt4QX4^acQh,cM4Q&cµjGv(Q&^a(hcdfcQPDQXœche™HGHIpkgZ\[QNXJdaPDQhe™"IHJX4^`pkP6df\4=^`pkPDh ½v4pk^`_`pdaP

pkQhgZ\mch "A™K H …v4pk^`_`pdaP¢v(^aY[Xœch-daX4tML"QA‘Zv4pkQhhkY[^`X4heŸ

LNM4Q‚Y[PDv(^`prcdaXœc]Y[hhg4Q"dal(^`gZc cM4Q"c”jZvQ‚^a,cM4Q‚hQP6daX˜ckY[b‚•g4X4bKckY[^`X Y[hcMJdfc]YmcpkQKcg4pkX4h cM4Q"“M4^a\[QDXJdfcg4pdf\

hQP6daX˜ckY[bht4QprYm~`dfckY[^`X$cpkQQ`™ipdfcM4Qp cMJdaX)qrg4hkc cM4QDpkQhgZ\mcT^a!cM4QDv4pk^`_`pdaP)ŸDLNMZY[hTbM4^aY[bQ6P6da¦`QhTYmcTQedahkY[Qp c^

t4QKŽJX4QDY[X˜cQX4hkY[^`XJdf\!daXJdf\mjZhQheŸDLNM4Q6=dabKc]cMJdfc]“!Q6t4QhbprY[l(QDcM4QDhQP6daXœckY[bhY[X d›=g4X4bKckY[^`XJdf\,•pdaPDQK“!^`pk¦ t4^;Qh

X4^ac‚v4pkQK~œQXœcDg4h•pk^`Pt4Qedf\mY[X4_ “NYmcM X4^`X t4QKcQpkP‚Y[XZY[hkckY[b›\¨daX4_`gJda_`Qhe™ dah“¥Q›hM4^e“w•^`p"d¤\[^`_aY[b›v4pk^`_`pdaPDP‚Y[X4_

\¨daX4_`gJda_`Q`Ÿ¥LNMZY[hY[hNl(Qbedag4hQ]“¥QbedaX¤g4hQNIHJ—daX4tODc^DpkQv4pkQhQXœchQKch^a/v(^`hhkY[lZ\[Q]pkQhgZ\mch-daX4t¤b^`XœcQA‘ZcheŸ

 Q g4hQcM4QX4^acdfckY[^`X$PQSRHT6c^"t4QX4^acQcM4QŽJQK\[t…^axcµjGv(QUHV6^aWP ŸX*^`p!QA‘JdaPDvZ\[Q`™Z“¥Q“NYm\m\šP6da¦`QY[XœcQX4hkYm~œQ

g4hQ^a2cM4Q =^a\m\[^e“NY[X4_…QA‘Zv4pkQhhY[^`X4hNY[X—cM4QTpkQhkc^a/cM4QTvJdav(Qp–

Si oT ] T-`"R acRZY

[\ ]^-^ .&,& bWQRbhsdaQR Q [\

[\

_`,^ /2135476a*,&b9 o\2T'] acd2d+T-d.Q

[\

[\ c-d :=< R`"] TYQ SfejT \2sjhTJsd+Thg[`S SfejT \2QQ"SYQ [\

[\ ]^-^ESi

%

bWQRSUTWVS QSfeTJbWQ"Rb hsdacQ"R;d+TkjsT'RS Q [\

[\ ]^-^E^ZSl @ SUT'\2] Q SfejTJbWQ"Rb hsdaQ"R(d+TkjsT'RS Q [\

[\ ]^-^E^Z`-` *,* o\2Q-Y"\U`"] oQacRS QSfeTJbWQ"Rb hsdacQ"R;d+TkjsT'RS Q [\

[\

]^-^Ed,m <-? RQ\2]7`5h" Q\2] Q SfeTJb QRbHhcsdaQR;d+TkjsTWRS.Q

[\

npoDqsrtqvuxw8yz"{}|~r$W€wƒ‚fW„{…|‡†)ˆ"„Wˆ"w8u‰u‰{…yD„Š‚fw8yD„‹)wŒ„Wq

 Qdahhg4PDQdDv4pk^`_`pdaPŽAEZ‘›“MZY[bM¤Y[hdDb^a\m\[QbKckY[^`X ^a§v4pkQtZY[bedfcQt4QKŽJXZYmckY[^`X4h^a2cM4QT•^`pkP“’”–•˜—W™š=Q›Q›Q›šk—vœKDž

ŸN”b ”Ÿ6LNM4Ql(^;tZjŸN”…^ad—v4pkQtZY[bedfcQ…Y[h]Y[X X4^`pkP6df\,=^`pkP#daX4t$Ymcb^`X˜cdfY[X4h^`XZ\mj ~`daprY¨dalZ\[QhT=pk^`P¢¡—W™š=Q›Q›Q2šk—£œv¤˜Ÿ

^`pkP6df\-=^`pkPDh…dapkQ)ŽJpkhc…^`pkt4QpD=^`pkPgZ\¨daQ »df\[h^ bedf\m\[Qt¦¥”_`^œdf\-=^`pkPgZ\¨daQ,§)Y[X @{ZD "Dl4gZYm\mc…g4v =pk^`P1v4pkQtZY[bedfcQ

dav4vZ\mY[bedfckY[^`X4hg4hkY[X4_6^`XZ\mj›cM4QTb^`X4X4QbKckYm~œQh¨¥µdaX4t–§™K¥”^`ph§™JdaX4t¥»cM4QpkQTQA‘ZY[hkchk§ŸLNM4QKY[phjGX˜cdŠ‘—Y[h-t4QKŽJX4Qt¤lœj'–

©'ª›ª«ž+¬t­Œ•˜—™šk—£®Ešk—°¯=;±t—žƒ²³±H´)™µ´®±H´)™¶´®A±"·¸—Q´)™U±E”¸•˜¹–™=š=Q=Q=Qbšk¹ºœ~

(8)

“M4QpkQ ¬t­¤hkcdaX4t4h•^`plJdahkY[b"v4pkQtZY[bedfcQh

daX4t”‚=^`p-g4hQpž”t4QKŽJX4Qt v4pkQtZY[bedfcQh?Ÿ ´ dapkQcQpkPDh ^a§c”jZvQ Ÿ  Q

dahhg4PDQTcMJdfcQedabM ~`daprY¨dalZ\[QA— ^Gbbg4pkprY[X4_Y[X d‚cQpkP ·–—Q´)™Y[hg4XZY[n;g4Q`Ÿ IžX dv4pk^`_`pdaP)™QedabM£hg4lZcQpkP¢Y[X¤cMZY[h

hkjZXœcdŠ‘)Y[h-dahh^;bKY¨dfcQt—“NYmcM£d‚v4pk^`_`pdaP¢v(^aY[Xœc ½g4hkY[X4_vJdfY[pkh "AŸ

TRjaCS2aQR Q SfeT o\2Q-Y"\U`"] aR `OhQY"acbJo\2Q-Y"\U`"] ] aRtY di RSH`5V

[ /H31 ,9

[ // "31›9 º9

[ // "4 9 …4 ! a3"F9K /# [

/"4 %$ }4&$' ! $ a3"%$9 9

/#%() *+º/ $ F9 9

/#-, *+º/4 $ 4 99

/#-. /0 –/& $ ! "9 9

/#%1) /03"K/a3" $ a3"F99

2³/21' 3 ! a3"F9v /#-4 [ /21' 5 }46 & U3'F9 9

/#%7) 8 3"3º/4 5 3b99

Q\2]7`5h" Q\2] Q SfeT oj\2Q-Y"\U`"]

[ /21 5 }4 ! a3"F9£

//21"9"3519:/N; 9<:/4¦=,9>:/& ¨0-9>:/a3"N=-9 9?

/'@FF/21"‡/ H31›99>:/a; 9:A/ 4¦9"9%: /! ³9"9%:A/a3" 9"99?

/'@F@"4-A@ $@t4 $@& $-@a3" $t1"‡/ "4 9:

/# [

/"4 $ …4 $ & $ a3" $99:

/# ( *B+º/

$

F99:

/#-, *B+º/4A $ }4N9 9:

/# . /= –/!

$

> ! "9 9:

/# 1 / 3"v/U3" $ U3"¸99 9

2¨/21 3 ! a3"F9K /'@~A@t4

/# 4 [

/21' 5 …4A6 & U3'F9 9:

/# 7 8 3"3º/4 3b99 9

X/Y[_`g4pkQD{œ–,| hkY[PDvZ\[Q]\[^`_aY[bTv4pk^`_`pdaP

|hNdaXYm\m\[g4hcpdfckY[^`X)^axcMZY[h&hkjGX˜cdŠ‘'™–X/Y[_`g4pkQ"{v4pkQhQXœchdhP6df\m\šv4pk^`_`pdaP Y[X—d\[^`_aY[b v4pk^`_`pdaPDP‚Y[X4_DhkjGX˜cdŠ‘

daX4t›hM4^e“h¥Ymch,cpdaX4h\¨dfckY[^`XY[X˜c^X4^`pkP6df\(•^`pkP)ŸLNMZY[h¥v4pk^`_`pdaP3b^`PDv4gZcQh cM4QP‚Y[XZY[Pg4P)™GcM4Q-P6dŠ‘ZY[Pg4P)™4daX4t

cM4Q-de~œQpda_`Q-^ašd\mY[hkc b^`X˜cdfY[XZY[X4_DC)Y[XœcQ_`Qpkh?Ÿ>wG^`PDQv4pk^`_`pdaPv(^aY[Xœch¥dapkQ-^`P‚YmckcQtD•^`p,cM4QNhda¦`Q^a'pkQedatJdalZYm\mYmc”jœŸ

X*^a\m\[^e“NY[X4_ @{ezD»™ “¥Q¤dahhg4PDQ—daX7Y[XZŽJXZYmcQ)hQKc‚^av4pk^`_`pdaP ~adaprY¨dalZ\[Qh' %EGF%H daX4t’daX Y[XZŽJXZYmcQ)hQKcD^apkQXJdŠ

P‚Y[X4_…~adaprY¨dalZ\[QhUG<E5F-HŸ!L2QpkPDh]daX4t hg4l4hkckYmcgZckY[^`X4h dapkQb^`X4hcpkg4bKcQt£g4hkY[X4_…v4pk^`_`pdaP¢~`daprY¨dalZ\[Qh daX4t pkQXJdaP‚Y[X4_

~`daprY¨dalZ\[QheŸ  Q›tZY[hkckY[X4_`gZY[hM c”“¥^ ¦;Y[X4t4h^aNhg4l4hckYmcgZckY[^`X4he–Dv4pk^`_`pdaP#~`daprY¨dalZ\[Q›hg4l4hkckYmcgZckY[^`X4h }CAI>JLKbR " “M4^`hQ

t4^`P6dfY[X¤daX4t›b^f”t4^`P6dfY[X¤dapkQ hg4l4hQKch!^a %E5F-H6daX4tpG<E5F-HDpkQhv(QbKckYm~œQK\mjœ™4daX4t›pkQXJdaP‚Y[X4_"~`daprY¨dalZ\[Q hg4l4hkckYmcgZckY[^`X4h

GLKI<JMKbR "!“M4^`hQ]t4^`P6dfY[X£daX4t)b^f”t4^`P6dfY[X dapkQThg4l4hQKch-^aG>EGF-H–

.)NPOZ]^ *PQSRc (‰:=^TcU

:Z]VNPOZ] ^ :SQSRc (‰:=^TcU

“M4QpkQGHR5W-HX pkQv4pkQhQX˜ch)d$cQpkP b^`X4hcpkg4bKcQt “NYmcM pkQXJdaP‚Y[X4_ ~`daprY¨dalZ\[Qh$G<EGF%H*ŸZY!j’b^`Xœ~œQX˜ckY[^`Xš™“!Q£g4hQ

[]\ CI<JLKZR¤=^`p d—v4pk^`_`pdaP ~`daprY¨dalZ\[QDhg4l4hkckYmcgZckY[^`X daX4t_^ \ GLKI>JLKbR •^`pTd›pkQXJdaP‚Y[X4_)~`daprY¨dalZ\[QDhg4l4hkckYmcgZckY[^`XšŸ

LNM4Q$t4QKŽJXZYmckY[^`X ^a"hg4l4hkckYmcgZckY[^`X0b^`PDv(^`hkYmckY[^`X0Y[h)PD^GtZYmŽJQt c^ cda¦`Q dabb^`g4Xœc¤cM4Q$pk^a\[Q$M4QK\[t0l˜j pkQXJdaP‚Y[X4_

~`daprY¨dalZ\[QheŸLNM4Q-PD^GtZYmŽJbedfckY[^`X—^;bbg4pkh¥“M4QX [`\ CAI>JLKbRDdaX4ta^ \ GbKI<JLKZR™˜“¥QMJd~œQ!^dc [e\ CI<JMKbRDt4QKŽJX4Qt…l˜j(–

+Sf) /gihkj-9K=+Sf) /"j-9

/glhmj-97/"9K9g£/"jb/"99v Q"\ `5hChon!+Sf /"j,9

LNM4Q›t4^`P6dfY[X7^ab^`XœcQA‘Zch"•^`pcMZY[h\¨daX4_`gJda_`Q›Y[h"t4QKŽJX4Qt l˜j HW>WkpCI<JMKbRLq›“M4QpkQp>HGW<Wv•r‡]Y[hcM4Q

cµjGv(Q)^alZY[XJdaprj cpkQQhD“NYmcM \[Qede~œQh^ac”jZvQ=r Ÿ  Q)t4QKŽJX4Q¤b^`XœcQA‘Zch…dahDlZY[XJdaprj7cpkQQh6^ahg4l4hkckYmcgZckY[^`X4h6c^

cda¦`QDY[X˜c^ dabb^`g4XœccM4QDX4^`X$t4QKcQpkP‚Y[XZY[hkckY[bXJdfcg4pkQ^a¥cM4Q‚\¨daX4_`gJda_`Q`Ÿ wG^4™x“¥Q6_œdfcM4Qp]Y[X$^`X4QDt4QprYm~`dfckY[^`X cM4Q

b^`PDv4gZcdfckY[^`X6^a'df\m\ZcM4Q!hg4l4hkckYmcgZckY[^`X4h^a(dv4pk^`_`pdaP)Ÿ|’vJdaprckY[bgZ\¨dap,b^`X˜cpk^a\JhkcpdfcQ_aj=^`p/cM4Q¥Y[PDvZ\[QPDQX˜cdfckY[^`X

st

T bWQRdag T'\ QR hi7SUT'\2R`"\+i&u`"dab oj\2Tkg acb'`5SUT-d8eT'\2TvAujsjS Q"SfejT'\ `"\+aCS2aT-d `"\2T SU\2T-`5SUTkgaR[SfejTJd2`"] Txw.`-iSy

(9)

`

/# `"/¸ %() ,k9 9K( fF/

¸ -() -,k9

/#b ;p6 9v( "3 / ˜69

:

°()) (W( (

/#b G: (k9K(x(

?

°(D (W( (

/# 5? (k9K( AH3"f)³/ ) (k9

@

*B+S+/ > º9 °()

/# @¸ 9K( 8)f / "9

&n 3S \2T-de"`"\+ac`u hT

% R-_,_

² !

/ 9 "

!

(D

/# [ !

/$#b h #,E99K( %'&

¹! / D}9

w aCSfe)([ ! /¸ h ºZ9v " !+* n [ f-,

. // /\ \ ( 9 khh 9v0/ /. /\ hh7 9 . /\ ( hhh 99

. /"j khh 9K . /"j hkh 9

1 ¼

/"j ( , 9K24365!gN7(/"jb/ 9.QoojZ/ ( 9 98)jZ/ , 9

*:9<;

glhmj

ajb/ 9.`REgojb/ ( 9.`"\2T Y"\2QsjREg `REg!jb/ , 9Mna:PQRc >= QSfeT'\w acd+T

¶? 6@A

/"j 6 9KB243?5!g 4]¨Y"sF/"jb/"9 jZ/699 9<;

g hkj abjb/"9.`"Rtg!jb/6f9.b'`RouT sR aTkgD

= QSfeT'\w acd+T

¶? 6@

1

// /\ \ (k9 / / (h9 C/ /EDF D-(79 9v0/ /

¶ 6@

1 /\ DF…9

¶? 6@

1 /\ () (V D-(h99

¶? 6@

1

/"j DD9£0/ / D)9

FCGHG /"j $3 )3b9K=j6(3?83

* w aSfe!3JIK3ML j?(3?83

*

/3b9v=jb/3b9 `REg j?(3?83

*

/N3b9K0)3

OQP

1 ¼

/"j $A3b9v=j+RTSVU w aSfe!3WIK3ML jXRTSYUb/3b9K=jZ/3b9 `"Rtg j+RSYU/N3b9KQ=

²C

!

/"j,9K7(jZ/$#<Z˜98V[Z*

%'&

¹!

/"j j $9K9glhmj w aCSfeZj $ 9glh\(jb/$#HZ598)[Z

*

X2Y[_`g4pkQ"RG– dfcg4pdf\ihQP6daXœckY[bh-^ad‚\[^`_aY[bTv4pk^`_`pdaPDP‚Y[X4_\¨daX4_`gJda_`Q

(10)

A/

\

9~?3

\

/# )/¸ %() -,h9 9t// \ f¸/ ¸ %(V -,k9 9 ; 9 2- `Z9

/# t/> 6f99Z/ / \ "3T)/ 6f99

; 9

2A 9

/# ; / ( 9924365

[\

A/

9

D [\ h]^,^Ed=m

[\ (0A/) (k9

( [\

( ]^,^Ed=m

9<; // \ (h9 V([\ [\ (* :K9

/# M/ (k9926365 [\ pA/ …9

[\

]^,^Ed=m

[\ (0A/ (k9

x(0 [\ (]^,^Ed=m

9X;

// \ "3"f¨/ ( 99 V([\ [\ ( * ?K9

/# 9 50/

9 9243?5 [\

A/*B+S+/

"9

9

)p [\ 7S] ^,^Ed=m

9<;

/ / \ 8f /

"9˜9 V([\

*

@t9

/# [242/[ !

/$#b hkh #,Z99924365 [\ pA/

²C !

/ 9 " ! 9

)p [\ h]^,^Ed=m

9<; / / \ % & ¹! / )…9 9 V(

[\

* % R-_,_9

w aSfe ([ !

/ h 9v " ! * n n \2QY

X/Y[_`g4pkQyZ–LNM4QThQP6daX˜ckY[bh=g4X4bKckY[^`X¤^ad‚\[^`_aY[bTv4pk^`_`pdaPDP‚Y[X4_6\¨daX4_`gJda_`Q

^a§cM4Q]\¨daX4_`gJda_`Qb^`pkpkQhv^`X4t4h-c^6dDvJdaprckY[bgZ\¨dap-^`pkt4QprY[X4_…^a2cM4QT\[Qed~œQh^a/hg4l4hckYmcgZckY[^`X4hcpkQQheŸ XJ^`pNY[X4hkcdaX4bQ`™

cM4Q\mY[hkc^aNpkQhgZ\mch"^a!cM4Qg4hgJdf\¥t4QvZcMG»ŽJpkhkc"QK~adf\[gJdfckY[^`X hkcpdfcQ_aj$^aNo,pk^a\[^`_£Y[hv4pkQbKY[hQK\mj$cM4QD\[Qede~œQh‚^a!cM4Q

hg4l4hckYmcgZckY[^`X cpkQQTv4pk^Gt4g4bQt lœj)^`g4p-hQP6daX˜ckY[bh^`pkt4QpkQt£=pk^`P \[QKcc^6prY[_`MœceŸ  QT“prYmcQ! Š•#"™=š$"8®b&=^`p-d‚cpkQQ

“NYmcM¤hg4lZcpkQQh%"™daX4t&"Œ®`Ÿ

LNM4QXJdfcg4pdf\2hQP6daX˜ckY[bh ^ad6hkY[PDvZ\[Q]\[^`_aY[bv4pk^`_`pdaPDP‚Y[X4_›\¨daX4_`gJda_`Qg4hkY[X4_6cM4QTg4hgJdf\iY[XZ=QpkQX4bQpkgZ\[QTv4pkQA

hQX˜cdfckY[^`X Y[h v4pkQhQXœcQt Y[X‡X/Y[_`g4pkQ‚RGŸ IžX cM4Q"ŽJ_`g4pkQ`™ ''•#"N-t4QX4^acQh cM4Q‚dav4vZ\mY[bedfckY[^`X$^a¥d6=g4X4bKckY[^`X('wc^—df\m\

cM4Q hg4l4hkckYmcgZckY[^`X4hN^a/dTcpkQQ)" daX4t…Ymch&pkQhgZ\mc!Y[hNdf\[h^‚dcpkQQ`ŸLNM4Q=g4X4bKckY[^`X$+*¤pkQv4pkQhQX˜chNcM4Q-Y[X˜cQpkv4pkQKcdfckY[^`X

^a!^`vQpdfc^`p¬E­ŸTLNM4QDhg4l4hkckYmcgZckY[^`X(,LC.-/ •[ šk—šk²k-^a CAI>JLKZR¤Y[h]t4QKŽJX4Qt •^`pcM4Q‚g4XZYmŽJbedfckY[^`X ^aD— daX4t² + [

½pkgZ\[Q1032&"AŸLNM4Q6pkgZ\[Q$µ Y[hX4^achg4pkv4prY[hkY[X4_4™2cM4QDŽJpkhkc]=^`pkPgZ\¨dM´)™^a!cM4Qb^`Xfqk^`X4bKckY[^`X$Y[hQK~`df\[gJdfcQt daX4t cM4Q

pkQhgZ\mc%4 ™&Y[h¥cda¦`QX)dahNb^`X˜cQA‘Gc&=^`p¥cM4Q QK~`df\[gJdfckY[^`X—^axcM4Q hQb^`X4t›•^`pkPgZ\¨d$´®^axcM4Q b^`Xfqr^`X4bKckY[^`X E4cM4Q pkQhgZ\mc

4 ® Y[h cM4Q-ŽJXJdf\(pkQhgZ\mceŸ XJ^`p¥cM4Q-pkgZ\[Q ¶!™˜cM4Qhg4lZcpkQQh&b^`pkpkQhv(^`X4tZY[X4_c^cM4Q-hg4lG»=^`pkPgZ\¨daQ ^ašcM4Q-tZY[h½qr^`X4bKckY[^`X

dapkQ QK~`df\[gJdfcQt…Y[X4t4Qv(QX4t4QXœck\mjœŸ!LNM4Q•g4X4bKckY[^`X # 2 £•#"™,š$"8®Eš$"8¯b,Y[h&X4QQt4Qt›c^‚l4gZYm\[t)dX4QK“0hg4l4hkckYmcgZckY[^`X›cpkQQ

qk^aY[XZY[X4_¤cM4QcpkQQh5"8®6daX4t"8¯6v4pk^;t4g4bQt lœj c”“!^£hg4l4_`^œdf\[heŸ Iµch]ŽJpkhkc"dapk_`g4PDQXœc‚Y[h]cM4Q6Y[XZYmckY¨df\!hg4l4hkckYmcgZckY[^`Xš™

“MZY[bM¤Y[hNg4hQt—c^DY[t4QX˜ckYmj›cM4QTv(^aY[XœchN“M4QpkQTcM4Q!qr^aY[X4hMJde~œQ]c^Dl(Q Y[Xœcpk^Gt4g4bQt =cM4QhQ]v(^aY[Xœch-dapkQTcM4Q \[Qed~œQh

^a6"™ "AŸ LNM4Q›pkgZ\[Q· g4hQhc”“!^£=g4X4bKckY[^`X4h87:939 daX4t<;$º+*2Ÿ=7:939$Y[h"g4hQt c^ dat4t d v4pk^`_`pdaP~adaprY¨dalZ\[Q…Y[X d

hg4l4hckYmcgZckY[^`X =cM4Q‚X4QK“ v4pk^`_`pdaP°~adaprY¨dalZ\[Q"Y[h dfckcdabM4Qt c^—d6=pkQQpkQXJdaP‚Y[X4_›~`daprY¨dalZ\[Q"daX4t>;$º?*$pkQPD^e~œQhTd

~`daprY¨dalZ\[Q]=pk^`P¢d‚hg4l4hkckYmcgZckY[^`XšŸ

X*^`p&cM4QpkgZ\[Q FA@A@J™Gc”“¥^Dt4QKŽJXZYmckY[^`X4h-^aihg4l4hkckYmcgZckY[^`X4hdapkQ X4QQt4QtšŸB4DCCW”F•E¥bpkQedfcQhd"X4QK“0hg4l4hkckYmcgZckY[^`X

c^…QA‘ZQbgZcQcM4Ql(^;tZj)^a dbK\¨dag4hQ =Ymc daPD^`g4Xœchc^…d6~adaprY¨dalZ\[Q"pkQXJdaP‚Y[X4_ "l(Qbedag4hQcM4Ql(^;tZj ŸN”‚^a d6bK\¨dag4hQ

b^`X˜cdfY[X4h =^`pkP6df\*vJdapdaPDQKcQpkh —bxdaX4t1E0b^`X˜cdfY[X4h¥v4pk^`_`pdaP ~adaprY¨dalZ\[Qh)¹-žŸGFA—£²7”–•EašH4 ™,§v4pk^`vJda_œdfcQh¥cM4QpkQhgZ\mc

^ad$v4pkQtZY[bedfcQ£Y[X’cM4Q£bedf\m\mY[X4_ hg4l4hckYmcgZckY[^`X4h…l(Qbedag4hQE#b^`XœcdfY[X4h›~`daprY¨dalZ\[Qh'¹-TdaX4tI4™›b^`XœcdfY[X4h…•^`pkP6df\

vJdapdaPDQKcQpkh¨—LkŸX*pk^`P3cM4Qt4QKŽJXZYmckY[^`X ^aJ4DCSCW”;™Z“¥Q hQQcMJdfc&cM4Ql(^GtZj'ŸN”^a2d"v4pkQtZY[bedfcQ Y[hNQK~`df\[gJdfcQt—Y[X—daX

QX˜~;Y[pk^`X4PDQX˜ct4QKŽJXZY[X4_…QA‘4dabKck\mj›cM4Q]=^`pkP6df\xvJdapdaPDQKcQpkh^a/cM4QTv4pkQtZY[bedfcQA”;Ÿ

LNM4Q=^`pkP6df\(t4QKŽJXZYmckY[^`X4h&^ašcM4Q=g4X4bKckY[^`X4h!Y[Xœcpk^Gt4g4bQt›Y[XZ•^`pkP6df\m\mjl(QK=^`pkQdapkQ-v4pkQhQXœcQt›Y[X6cM4Ql^ackc^`P ^a

X/Y[_`g4pkQRGŸ

(11)

LNM4Q-hQP6daXœckY[bh¥Y[X‚•g4X4bKckY[^`XJdf\•^`pkP Y[h v4pkQhQXœcQtY[X X2Y[_`g4pkQyZŸ/LNM4Q-hQP6daXœckY[bh •g4X4bKckY[^`X6^aŒX/Y[_`g4pkQ-y cda¦`Qh

cµ“¥^¤dapk_`g4PDQXœch =cM4Q"b^`X˜cQA‘Gc!EwdaX4t cM4Q"cQpkP " "-daX4t Ymc pkQKcg4pkX4hTd›t4QprYm~adfckY[^`X cpkQQ`Ÿ]LNM4Q‚t4QprYm~adfckY[^`X cpkQQ

b^`X˜cdfY[X4hcM4Q]b^`X4bK\[g4hkY[^`X •ENš$";š

”

•Eaš 4 šHF A™Z“M4QpkQ

”

Y[h&cM4Q]pkQhgZ\mc^a/cM4Q]v4pk^`_`pdaP Y[X—=g4X4bKckY[^`XJdf\x•^`pkP)™

cM4Q\mY[hkc!^aihg4lZcpkQQhNdaX4tcM4Q XJdaPDQ^aicM4QpkgZ\[Qg4hQt…c^t4QprYm~œQcM4Qb^`X4bK\[g4hkY[^`XšŸ,LNM4Ql^GtZj6^axcM4Q•g4X4bKckY[^`X

Y[h‚d¤\mY[hc^abedahQh"hQK\[QbKcQt lœj vJdfckcQpkX P6dfcbMZY[X4_ ^`X cM4Q=^`pkP#^aNcM4Q…cQpkP)Ÿ LNM4Q…•g4X4bKckY[^`X Y[h"t4QKŽJX4Qt l˜j

pkQbg4pkpkQX4bQ^`X)cM4Q]cQpkP)Ÿ,LNM4Q]hQKc^a/t4QKŽJXZYmckY[^`X4ho,pk^`_DY[hg4hQt£dah-daX—Y[PDvZ\mY[bKYmcvJdapdaPDQKcQp^a/cM4QThQP6daX˜ckY[bheŸ

….2 "./&%1 *.2 "(*%;

w;\mY[bKY[X4_"d6v4pk^`_`pdaP°b^`X4hkY[hkch-Y[X b^`X4hkcpkg4bKckY[X4_)d6pkQt4g4bQt£~œQpkhkY[^`X£^acM4Qv4pk^`_`pdaP ½bedf\m\[Qt dv4pk^`_`pdaP 21"

b^`X˜cdfY[XZY[X4_›^`XZ\mj—cM4^`hQhkcdfcQPDQXœchcMJdfcd<'QbKcdD_aYm~œQX£hQKc-^a§~`daprY¨dalZ\[Qhdfc_aYm~œQX£v4pk^`_`pdaP¢v(^aY[Xœch =cMZY[h-hQKc

Y[hbedf\m\[QtA*M 21 &1"+*H+ "AŸJIµX)v4pk^`_`pdaP t4Ql4g4_`_aY[X4_4™*hk\mY[bKY[X4_DP6da¦`QhNYmcv(^`hhkY[lZ\[Q =^`p&d‚h^acµ“!dapkQTQX4_aY[X4QQp

c^•^Gbg4h,^`X6cM4Q-pkQK\[QK~adaX˜c!vJdaprch¥^a(cM4Qb^;t4Q`Ÿ w;\mY[bKY[X4_Y[h¥df\[h^Tg4hQK•gZ\J=^`pcQhkckY[X4_4™Gv4pk^`_`pdaP g4X4t4QpkhcdaX4tZY[X4_"daX4t

Y[X P6dfY[XœcQXJdaX4bQdabKckYm~GYmckY[QheŸ!Y&Qbedag4hQ‚^acMZY[htZYm~œQpkhYmc”j£^a dav4vZ\mY[bedfckY[^`X4h?™štZYu<(QpkQX˜c~`daprY¨dfckY[^`X4h]^`X£cM4QX4^ackY[^`X

^ahk\mY[bKY[X4_£MJd~œQ—l(QQX v4pk^`v(^`hQtš™dah“!QK\m\&dah"d¤X˜g4PlQp‚^aPDQKcM4^Gt4hc^£b^`PDv4gZcQ—hk\mY[bQheŸ X/Y[pkhkce™d¤v4pk^`_`pdaP

hk\mY[bQbedaX¤QKYmcM4Qp-l(Q 51#*U, ^`p-X4^aceŸ¥o,pk^Gt4g4bKY[X4_…daX QA‘ZQbgZcdalZ\[Qhk\mY[bQTP6da¦`QhYmcv^`hhY[lZ\[Q c^dav4vZ\mj—•g4prcM4Qp

cpkQedfcPDQX˜ch‚c^¤cM4QpkQhgZ\mc^aNcM4Q…daXJdf\mjZhkY[heŸ—|X4^acM4QpY[PDv(^`prcdaXœc‚tZY[hkckY[X4bKckY[^`X Y[hl(QKc”“!QQX *U*+21daX4t

/?21hk\mY[bKY[X4_4Ÿ IžX$cM4Q…ŽJpkhkcbedahQ`™/cM4Q…hk\mY[bQ6Y[hb^`PDv4gZcQt “NYmcM4^`gZc‚daXœj dahhg4PDvZckY[^`X ^`X cM4Q6Y[X4v4gZche™/“M4QpkQedah

cM4Q)\¨dfckcQppkQK\mY[Qh6^`X h^`PDQ)hv(QbKYmŽJb—Y[X4v4gZctJdfcdZŸLw;\mY[bKY[X4_ df\[_`^`prYmcM4PDh›bedaX’df\[h^$l(Q)tZY[hkckY[X4_`gZY[hM4Qt’l˜j cM4QKY[p

tZY[pkQbKckY[^`XšŸ 1 =>-"hk\mY[bKY[X4_DY[t4QX˜ckYmŽJQh-cM4QThcdfcQPDQXœch^ad6v4pk^`_`pdaP cMJdfc-P6dej¤MJd~œQh^`PDQ]Y[PDvJdabKc-^`X¤cM4Q

bprYmcQprY[^`X£“M4QpkQedah>=>-hk\mY[bKY[X4_…pkQKcg4pkX4h-cM4QhkcdfcQPDQXœch“MZY[bM£P6dej¤lQ]Y[XJg4QX4bQt lœj)cM4QbprYmcQprY[^`XšŸ IµX

cMZY[hvJdavQp™*“¥Qb^`X4hY[t4Qp /?21 -1 =>'21 “NYmcM£QA‘ZQbgZcdalZ\[Qhk\mY[bQheŸ w;cdfckY[bhk\mY[bKY[X4_…df\[_`^`prYmcM4PDhbedaX

l(Q-t4QprYm~œQt›lœj…dal4hcpdabKc¥Y[X˜cQpkv4pkQKcdfckY[^`X)^a'tZjZXJdaP‚Y[bhk\mY[bKY[X4_"daXJdf\mjZhQpkh[E˜cMZY[h!b^`X4hkcpkg4bKckY[^`X›Y[h!h¦`QKcbM4Qt…Y[XcM4Q

b^`X4bK\[g4hkY[^`XšŸ



QbedaX t4QhbprY[lQ•^`pr“&dapkt£hk\mY[bKY[X4_›daXJdf\mjGhQpkhY[X£dhkY[P‚Ym\¨dap“&dj¤l4gZchk\mY[bKY[X4_…daXJdf\mjZhQhv4pk^;t4g4bKY[X4_

X4^`X QA‘ZQbgZcdalZ\[Q"hk\mY[bQht4^X4^ac-Ž4c“¥QK\m\/Y[Xœc^›^`g4p=pdaPDQK“¥^`pk¦¤hY[X4bQTcM4QhvQbKYmŽJbedfckY[^`X ^acM4QdaXJdf\mjZhkY[hY[h d6pkQA

\¨dfckY[^`XDl(QKc”“!QQXDcM4Q&hQP6daXœckY[bh,^a*cM4Q!^`prY[_aY[XJdf\Jv4pk^`_`pdaP daX4tcM4Q&hQP6daX˜ckY[bh,^a*cM4Q&hk\mY[bQNdah§v4pkQhQX˜cQtDY[X @{?D'Ÿ

w;\mY[bKY[X4_‚“&dahN^`prY[_aY[XJdf\m\mj›v4pk^`v(^`hQt—lœj  QKY[hQp!•^`p!Y[PDv(QpdfckYm~œQ\¨daX4_`gJda_`Qh3@Ra€DšdaX4t…Ymchdav4vZ\mY[bedfckY[^`X—c^"\[^`_aY[b

v4pk^`_`pdaPDP‚Y[X4_ @R`RjD¥daX4t$=g4X4bKckY[^`XJdf\ v4pk^`_`pdaPDP‚Y[X4_ @{jBjD MJd~œQ6l(QQX hkcg4tZY[Qt pkQbQXœck\mjœŸ&IžX ½dabKce™xcM4Q6b^`X4bQvZc

^a h\mY[bKY[X4_YmchQK\m Y[h-~œQprj _`QX4Qpdf\»–-YmcY[hX4^acckY[Qt£c^›^`X4Q"hvQbKYmŽJb"hkcµj;\[Q"^a,v4pk^`_`pdaPDP‚Y[X4_6daX4t Ymc bedaX£\[Qedat£c^

tZjZXJdaP‚Y[bdahN“!QK\m\/dahhkcdfckY[bTdaXJdf\mjZhQpkh@RfzD»Ÿ

| hk\mY[bKY[X4_›daXJdf\mjGhY[h=^`pd‚\[^`_aY[bv4pk^`_`pdaPDP‚Y[X4_…\¨daX4_`gJda_`Q =“NYmcM v4pk^`_`pdaPDhY[X X4^`pkP6df\2•^`pkP "-dabb^`pktZY[X4_c^

dv4pk^`_`pdaP v^aY[X˜c&daX4t)dhQKc¥^ai~adaprY¨dalZ\[Qh&^axY[X˜cQpkQhkcNb^`X4hkY[hkch!Y[X…¦`QQvZY[X4_‚^`XZ\mj6cM4Qhg4lG”_`^œdf\[hN^axtZY[h=qkg4X4bKckY[^`X4h

^axQedabMbK\¨dag4hQ »dTbK\¨dag4hQt4QKŽJX4Qh!dv4pkQtZY[bedfcQ",l(QKY[X4_dalZ\[Q-c^d<'QbKc cM4Q~`df\[g4Q-^a'cM4Q-~adaprY¨dalZ\[Qh!^a'Y[XœcQpkQhkceŸ Iµ

df\m\xhg4lG”_`^œdf\[h-^a2d"•^`pkPgZ\¨d‚^aicM4Q]tZY[h=qkg4X4bKckY[^`X¤dapkQ t4pk^`v4vQtš™JcM4QX…cMZY[h•^`pkPgZ\¨d"Y[hNt4pk^`v4vQtšŸ Iµ2df\m\š=^`pkPgZ\¨daQ

^acM4QtZY[h=qrg4X4bKckY[^`X ^a,_`^œdf\[h dapkQt4pk^`v4v(Qtš™cM4QX cM4QbK\¨dag4hQTY[ht4pk^`v4vQtšŸ7IžX¤cM4Q^`v4v^`hYmcQbedahQ`™*cM4QM4Qedat£^a

cM4QTbK\¨dag4hQTt4QKŽJXZY[X4_DcM4QTv4pkQtZY[bedfcQY[h¦`QvZceŸ

siQKcg4h]cda¦`QDcM4Qv4pk^`_`pdaPY[X X4^`pkP6df\¥•^`pkP^a X/Y[_`g4pkQ){6c^)Ym\m\[g4hcpdfcQtZjZXJdaP‚Y[b6lJdab¦;“!dapkt hk\mY[bKY[X4_4Ÿ  Q

dahhg4PDQ¤cMJdfc6“!Q£dapkQ¤Y[X˜cQpkQhkcQt ^`XZ\mj Y[X’cM4Q)~adf\[g4Q£^a cM4Q)~adaprY¨dalZ\[Q dfccM4Q v4pk^`_`pdaP v(^aY[XœcaŸ LNM4Q

vJdfY[p!¡F• š !–¤›Y[hTbedf\m\[Qt cM4Q…hk\mY[bKY[X4_¤bprYmcQprY[^`XšŸ—LNM4QtZjZXJdaP‚Y[bhk\mY[bQ^a!cM4Qv4pk^`_`pdaP#Y[hTQA‘ZcpdabKcQt •^`p]^`X4Q

vJdaprckY[bgZ\¨dap-Y[X4v4gZceŸDXJ^`pNY[X4hkcdaX4bQ`™*Ymi“!QQA‘4QbgZcQ cM4QTv4pkQtZY[bedfcQ#" “NYmcM=C.-%$dahNcM4Q Y[XZYmckY¨df\i~`df\[g4Q]^a&$ž™Z“!QT_`QKce–

'•C.-'$…š)(Eš *–š *–š *H

"'•+$…š !vš,-F—š,=-C)ž •+/.Eš '•+$7šC š10,/,Mš,-H—š,=-Ck

•+ šH; -%°• 0,2,MšC š !–k

LNM4Q—v4pkQtZY[bedfcQ °Y[h‚X4^ac"pkQbg4pkhkYm~œQK\mj bedf\m\[Qt daX4t cM4Q›ŽJpkhkc‚tZY[h=qkg4X4bKckYm~œQ—vJdaprc"Y[h"hdfckY[hkŽJQtš™,cM4Q…cMZY[pkt7bK\¨dag4hQ

^a)wY[h X4QK~œQp QA‘ZQbgZcQtšŸ]LNM4Q"t4QKŽJXZYmckY[^`X$^a,cM4Q"v4pkQtZY[bedfcQ" Y[h ¦`QvZcl(Qbedag4hQDdf\m\2Ymch bK\¨dag4hQh]dapkQ‚g4hQK=gZ\2c^

34

Q\2TJoj\2T-b acd+TWhCi5u`b76Sw `"\fg dhCabHacRZY98y

:;

T'R a%SfejT gjTSH`aChcd Q%SfeT \2T'd+sjhCS2aRtY7`"R`hCijd+T-d `"\2TJQ$bWQsj\Ud+Ty

(12)

b^`PDv4gZcQcM4Q ~adaprY¨dalZ\[Q !Ÿ>I”2“¥QTb^`X4hkY[t4QpcM4QTQA‘ZQbgZckY[^`X ^a2cM4Q]v4pk^`_`pdaP¢“NYmcM • šb•¸šC.-%$fk-dahY[XZYmckY¨df\x~adf\[g4Q

^a&$r™Z“¥QpkQbg4pkhYm~œQK\mj—bedf\m\šcM4Qv4pkQtZY[bedfcQ6™Z“!QT_`QKce–

'•k•˜—šC.-%$fš)(Ešk—šk—šk—8

'•k•˜—šk—0EšC š10,/,Mš,-H—š,=-C)ž •+8™=š '•˜— 0"šC š10,2,˜š,-H—5š,=-Ck

•+v®tšH7 9£•C

š)(EšCk

•+v¯tšH7 9£• 0,2,šk—š10,2,k

"!•+$7š !vš,-F—š,=-C ž •+

. š '•+$7šC š10,/,Mš,-H—š,=-Ck

•+ZšH; -7Œ• 0,/,MšC š ~

F XZ\mj dDvJdaprc^a§cM4Q]cMZY[pkt bK\¨dag4hQ^a§cM4Qv4pkQtZY[bedfcQ Y[h-¦`QvZce™*cM4Qv4pk^`_`pdaP°v^aY[X˜ch "daX4t-dapkQt4pk^`v4vQt

l(Qbedag4hQ]cM4QKj)dapkQTX4^ac-g4hQK=gZ\šY[X)b^`PDv4gZckY[X4_!Ÿ

|hhg4P‚Y[X4_›dDhQKc^a§vJdfY[pkh • 7š ™4“M4QpkQ b§Y[hdDv4pk^`_`pdaP°v^aY[X˜cdaX4t A dD~adaprY¨dalZ\[Q`™'dDlJdab¦;“!dapkt hk\mY[bKY[X4_

daXJdf\mjZhkY[h-v4pk^Gt4g4bQhcM4Qhk\mY[bQ]b^`PDv4gZckY[X4_6=^`pQedabM£v^aY[X˜c cM4QThdaPDQT~adf\[g4QhdahNcM4Q]Y[XZYmckY¨df\iv4pk^`_`pdaP¢•^`pNcM4Q

~`daprY¨dalZ\[Q

IžX6^`g4p=pdaPDQK“¥^`pk¦(™Zd]v4pk^`vQprcµjDY[h,QA‘4v4pkQhhQt6l˜jDd]•g4X4bKckY[^`XD“MZY[bMcda¦`Qh!dfc,\[Qedahkc¥daX…dapk_`g4PDQXœc¥l(QKY[X4_TcM4Q

b^f”t4^`P6dfY[X¤^a2cM4Q hQP6daXœckY[bhN=g4X4bKckY[^`X »d"t4QprYm~adfckY[^`X—cpkQQ]^a2c”jZvQN H "!daX4t›cM4Q]pkQhgZ\mcN^aicM4Q v4pk^`vQprcµj…Y[hdaX

dal4hkcpdabKc t4^`P6dfY[XšŸLNM4Qhk\mY[bKY[X4_…v4pk^`v(Qprc”j)cda¦`Qh daX dat4tZYmckY[^`XJdf\§dapk_`g4PDQX˜cc^…pkQv4pkQhQXœccM4Qh\mY[bKY[X4_…bprYmcQprY[^`X

½^a&c”jZv(Q'• H GF%H¸ "]daX4t cM4QDc”jZv(Q^a!cM4QpkQhgZ\mcTY[h'• H ~ l(Qbedag4hQ6hk\mY[bQh"dapkQpkQv4pkQhQX˜cQt lœj hQKchT^a

v4pk^`_`pdaPv^aY[X˜cheŸ)LNM4Q6hk\mY[bKY[X4_£bprYmcQprY[^`X Y[hpkQv4pkQhQXœcQt Y[X ^`g4p"dav4v4pk^œdabM7lœj cM4Q…P6dav4vZY[X4_ =pk^`P#v4pk^`_`pdaP

v(^aY[XœchNc^‚pkQK\[QK~`daXœcN~`daprY¨dalZ\[QheŸ Y&Qbedag4hQ ^aicM4Q]h\mY[bKY[X4_"v4pk^`v(Qprc”jœ™J“¥Q]X4QQt—QA‘Gcpd"Y[XZ=^`pkP6dfckY[^`XšŸ  QY[Xœcpk^Gt4g4bQ

d£hQKc‚^aN~adaprY¨dalZ\[Qh‚^aNY[XœcQpkQhcDdabb^`pktZY[X4_ c^ d v4pk^`_`pdaP v(^aY[Xœc =cMZY[h‚hQKcpkQv4pkQhQX˜ch‚cM4Q~`df\[g4Q›^aN~adaprY¨dalZ\[Q

cMJdfcPg4hkc lQv4pkQhQpr~œQt¤=^`p-b^`PDv4gZckY[X4_…cM4Qb^`pkpkQhv(^`X4tZY[X4_6cQpkP "AŸNLNM4QY[XZYmckY¨df\2~`df\[g4Q^a§cM4QhQKcY[hZŸ&LNM4Q

v4pk^`v(Qprc”j)v4pk^`vJda_œdfcQhcMZY[hNY[XZ•^`pkP6dfckY[^`X£^a2cµjGv(Q'•GF%H–daX4t)ŽJXJdf\m\mj…cM4QTc”jZvQ]^a/cM4QTv4pk^`v(Qprc”j—Y[he–

ª" H'• F GF%H¸ '•5F-H~!'• H ~ '•5F-H~

LNM4Qhk\mY[bKY[X4_Tv4pk^`v(Qprc”j

•^`pcM4Q\[^`_aY[bv4pk^`_`pdaPDP‚Y[X4_\¨daX4_`gJda_`QY[h,v4pkQhQX˜cQt6Y[X!X/Y[_`g4pkQz4Ÿ/LNM4Q-v4pk^`vQprcµj

cda¦`Qh‚dahdapk_`g4PDQXœchDd)t4QprYm~`dfckY[^`X cpkQQ$ "™2vZ\[g4hTc”“!^£dat4tZYmckY[^`XJdf\&vJdapdaPDQKcQpkh!4"

\$#%#

&'• <EGF-H~]daX4t

; \ #%')(+* AŸ›LNM4Q…hQb^`X4t dapk_`g4PDQX˜c 4" ==^`puQK\[QK~adaX˜c, daprY¨dalZ\[Qh "]Y[hTcM4Qh\mY[bKY[X4_ bprYmcQprY[^`X PDQXœckY[^`X4Qt

dal(^e~œQ`Ÿ,|0v4pk^`_`pdaP3v(^aY[Xœc dahh^;bKY¨dfcQt“NYmcM)dTX4^`XG”QPDvZc”j—hQKc 4"'•+,Y[h¥bedf\m\[Qt)daX›^`l4hQpr~`dfckY[^`X…v(^aY[XœceŸLNM4Q

cMZY[pkt dapk_`g4PDQXœc8; ^a&cM4Q6v4pk^`v(Qprc”j pkQv4pkQhQX˜chcM4QhQKc^a!~adaprY¨dalZ\[Qh“M4^`hQD~`df\[g4QhPg4hkcl(Q6v4pkQhQpr~œQt Y[X

cM4QT^`gZcv4gZcb^`XœcQA‘Zc.- ½X4^`pkP6df\x=^`pkP "&^aicM4Q]cQpkP)™ /0/,cM4Q]hQKc^a2~`daprY¨dalZ\[QhcMJdfcPg4hkc-l(Q]v4pkQhQpr~œQt)Y[X)cM4Q

pkQhgZ\mc 4!-^aNcM4Q—QK~`df\[gJdfckY[^`X ^a-cM4Q…t4QprYm~`dfckY[^`X cpkQQ$ "mkŸ IžX cM4QY[XZYmckY¨df\Nbedf\m\»™B; Y[h"cM4Q›QPDvZc”j hQKceŸ£LNM4Q

=g4X4bKckY[^`X

Y[hTbedf\m\[Qt$pkQbg4pkhYm~œQK\mj ^`X cM4Q‚Y[X˜cQpkPDQtZY¨dfcQt4QprYm~`dfckY[^`X$cpkQQh  "m"^a¥cM4QDXJdfcg4pdf\ hQP6daXœckY[bh

daX4t¤hQKch^a/^`l4hQpr~adfckY[^`X)~`daprY¨dalZ\[QheŸ

LNM4Q)pkQhgZ\mc"^acM4Q›v4pk^`v(Qprc”j Y[hDd£vJdfY[p •f#šH M“NYmcM¦# \ #1# "daX4t \ #%')(+* AŸ #Y[h"cM4Q—hQKc‚^a

v4pk^`_`pdaP v(^aY[Xœch-^a2cM4Q cQpkP" cMJdfcPg4hkc-l(Q¦`QvZcNY[X—cM4Q]h\mY[bQTdaX4t= #Y[h&cM4Q]hQKcN^a/~adaprY¨dalZ\[Qh“M4^`hQ ~adf\[g4Q

Pg4hkclQ v4pkQhQpr~œQt¤Y[X…cM4Q Y[X4v4gZcb^`X˜cQA‘Gc32œŸ| v4pk^`_`pdaP v(^aY[XœcPg4hclQ ¦`QvZcNY[X›cM4Q]hk\mY[bQYmiYmcbedaX—Y[XJg4QX4bQ

daX›^`l4hQpr~`dfckY[^`X…v(^aY[XœcN^`p,cM4Q~`df\[g4Q^aid~adaprY¨dalZ\[Q^a ;3Y[X…cM4Q^`gZcv4gZc&b^`XœcQA‘ZceŸ,LNM4QhdaPDQ-b^`X4tZYmckY[^`X)dav4vZ\mY[Qh

c^Tt4QbKY[t4Q-“MZY[bM~adaprY¨dalZ\[Qh¥Pg4hkc!lQNv4pkQhQpr~œQtY[XDcM4QNY[X4v4gZc!b^`XœcQA‘ZceŸJI”(cM4Qv4pk^`_`pdaP v(^aY[Xœc¥bedaXl(QNpkQPD^e~œQt

=pk^`PcM4Q…hk\mY[bQ`™/cM4QpkQhgZ\mc"^a!cM4Q…v4pk^`vQprcµj Y[h$•¸šH; A™/“MZY[bM PDQedaX4hcMJdfc‚X4^ v4pk^`_`pdaPv(^aY[XœcY[h"dat4t4Qt c^

cM4QTh\mY[bQdaX4t)cM4Q ~`daprY¨dalZ\[Qh“M4^`hQ]~`df\[g4QhPg4hkc-l(Q]v4pkQhQpr~œQt¤Y[X—cM4Q]Y[X4v4gZcb^`XœcQA‘ZcdapkQ]cM4Q]~`daprY¨dalZ\[QhNcMJdfc

dapkQ6X4QbQhhdaprj Y[X cM4Q6^`gZcv4gZcb^`X˜cQA‘GceŸ F cM4Qpr“NY[hQ`™icM4Q6ŽJpkhkcb^`PDv(^`X4QXœc^a!cM4Q6pkQhgZ\mc^a¥cM4Q6v4pk^`v(Qprc”j Y[h

4 # 4 ¡ ¤›l(Qbedag4hQ ’MJdahc^¤l(Qdat4t4Qt c^ cM4Q6v4pk^`_`pdaP v(^aY[Xœchb^a\m\[QbKcQt Y[X cM4Qhg4lZcQpkPDh"^a "ŸLNM4Q

hQb^`X4t b^`PDv(^`X4QXœcD 1^a cM4QpkQhgZ\mc Y[hcM4Q‚hQKc^a ~adaprY¨dalZ\[Qh“M4^`hQ"~`df\[g4QPg4hkc]lQ"v4pkQhQpr~œQt Y[X cM4QY[X4v4gZc

576

Q"\ ` Q"\w `"\fg oj\2QoT'\+Si7Sfejacd `"\Ysj] T'RSmw.Q"sjh«g bfe`\U`b SUT'\+acd+TJSfeTYacRjos S bWQRSUTWVS \U`SfejT'\ Sfe`R SfeT QsjSUojsjS bWQ"RSUTWVSy

8 6

Q"\ ` Q"\w `"\fg oj\2QoT'\+Si7Sfejacd `"\Ysj] T'RSmw.Q"sjh«g bfe`\U`b SUT'\+acd+TJSfeT QsjSUojsjS bWQ"RSUTWVS \U`SfeTW\ Sfe`"RSfeT aRojsjS bWQ"RSUTWVSy

(13)

b^`X˜cQA‘Gc)EDŸ Iµc¥b^`XœcdfY[X4hNdfc!\[Qedahkc cM4QhQKc ; daX4t…cM4Q~`daprY¨dalZ\[Qh64"'•+,^axhk\mY[bKY[X4_"bprYmcQprY[^`Xš™;cM;g4h!“¥Q=dabKc^`prY[hQ

cMJdfc-l˜j)hQKckckY[X4_ ;~ž ; 4

4"$•+!Y[X)l(Q_aY[X4XZY[X4_6^a2cM4Qhk\mY[bKY[X4_6t4QKŽJXZYmckY[^`XšŸ

 Qdahhg4PDQ cMJdfcNcM4QTt4QKŽJXZYmckY[^`X4h^a #M§daX4t 6§dapkQ]X4^ac-PgZcgJdf\m\mj)pkQbg4pkhkYm~œQ`Ÿ,LNM4QTt4QKŽJXZYmckY[^`X¤^a/cM4Q]hQKch

^ax^`l4hQpr~`dfckY[^`X6~`daprY¨dalZ\[Qh =cMZY[pkt…dapk_`g4PDQX˜c&^a

"t4^X4^ac!g4hQ) Eš ^acQNcMJdfc!cMZY[h¥Y[h¥dTbMJdapdabKcQprY[hkckY[b

=Qedfcg4pkQT^adDlJdab¦;“!dapkt daXJdf\mjGhkY[h?Ÿ

IžXOX/Y[_`g4pkQ"z4™JcM4Q"pkQK\¨dfckY[^`X©<C 93C *•EašH;p™bšH; ®bNY[hg4hQt c^QX4hg4pkQcMJdfccµ“¥^›hQKch^a/~`daprY¨dalZ\[Qh ;p™ daX4t ; ®

dapkQ-Y[X4t4QvQX4t4QX˜ce™Z“MZY[bM…Y[h,cM4Q-bedahQ“M4QX6cM4QKj6t4^X4^ac¥hMJdapkQdaXœj6pkQXJdaP‚Y[X4_~adaprY¨dalZ\[Qh =Y[X…daX˜j6hg4l4hkckYmcgZckY[^`X

^a(cM4Qb^`XœcQA‘Zc E"AŸ2LNM4QpkQK\¨dfckY[^`X$©%C 9C$*›dav4v(QedapkhY[X‚cM4QNŽJpkhkccµ“¥^bedahQh dah d X4QbQhhdaprj"b^`X4tZYmckY[^`Xc^]QA‘ZbK\[g4t4Q

cM4QcQpkP3=pk^`P cM4Q hk\mY[bQ`ŸJIµxcM4Q pkQK\¨dfckY[^`X)M4^a\[t4he™GcM4QX›cM4Q ½pkQXJdaP‚Y[X4_‚~adaprY¨dalZ\[Q"!hg4l4hkckYmcgZckY[^`X—pkQhgZ\mckY[X4_‚•pk^`P

cM4Q›QK~adf\[gJdfckY[^`X7^a&cM4Q…cQpkP bedaX4X4^ac‚MJd~œQ)daXœj Y[PDvJdabKc"^`X cM4Q6~`daprY¨dalZ\[Qh‚^a ;£Ÿ¤LNM4Q›pkQK\¨dfckY[^`X •Eašk—šk² 

Y[h›hdfckY[hkŽJQt YmcM4Q g4XZYmŽJbedfckY[^`X ^a — daX4t ²DbedaX4X4^ac…½dfYm\-=^`pdaXœj hg4l4hkckYmcgZckY[^`X ^a!E6Ÿ I”c…Y[h…d v4pkQpkQnGgZY[hkYmcQ

=^`pDQA‘ZbK\[g4tZY[X4_

•˜—šk² "=pk^`P cM4Q¤hk\mY[bQ)l(Qbedag4hQ¤d ½dfYm\[g4pkQ)Y[h6pkQb^`pkt4Qt Y[X7cM4Q¤hg4l4hkckYmcgZckY[^`X cpkQQ¤dahDcM4Q

hg4l4hckYmcgZckY[^`XEGdahNdb^`X4hQnGg4QX4bQ`™;Ymc&MJdah&daXY[PDvJdabKcN^`X—df\m\cM4Q~adaprY¨dalZ\[Qh?ŸLNMZY[h!b^`X4tZYmckY[^`X›“&dah!X4^ac&Y[X4bK\[g4t4Qt

Y[X cM4Q

bedahQ`™&dahhg4P‚Y[X4_ cMJdfc6cM4Q¤\[^`_aY[b¤v4pk^`_`pdaPDP‚Y[X4_ \¨daX4_`gJda_`Q Y[h6Qn;gZY[v4v(Qt7“NYmcM’PD^Gt4Q daX4X4^acdfckY[^`X4h

QX4hg4prY[X4_"cMJdfc&^`vQpdfc^`pkhdapkQ df\m“!dejGhNbedf\m\[Qt…“NYmcM›cM4QKY[p ŽJpkhc¥cµ“¥^Ddapk_`g4PDQXœch_`pk^`g4X4t)daX4t…cM4Q-\¨dahc!^`X4Q•pkQQaŸ

IžX£l(^acM¤cM4Q

daX4t£cM4Q

bedahQhe™cM4Q"hQKc^a,X4QbQhhdaprj¤~`daprY¨dalZ\[Qh »dfccM4QY[X4v4gZc]^acM4Q"v4pk^`_`pdaP v^aY[X˜c "NY[h

; dat4t4Qt£c^…df\m\/cM4Qv4pk^`_`pdaP ~adaprY¨dalZ\[Qh ^acM4QcQpkP)–&cM4QhQKcA¡— ™ šk— ® šk— ¯ ¤‚•^`p

•˜— ™ šk— ® šk— ¯ -daX4t cM4QhQKc

^a&v4pk^`_`pdaP ~adaprY¨dalZ\[Qh^;bbg4pkprY[X4_)Y[X²Y[X4bpkQedahQt “NYmcM‡— =^`pcM4QDpkgZ\[Q

•˜—šk²kAŸ‚LNM4Q‚=^`pkP6df\,t4QKŽJXZYmckY[^`X4hT^a

©<C 93C$*$daX4t´ 'wdapkQ]v4pkQhQXœcQt Y[X—cM4QTl^ackc^`P¢^aX/Y[_`g4pkQTz4Ÿ

X*^`p cM4QpkgZ\[Q

;

™'l(^acM l4pdaX4bM4QhdapkQ"v4pk^;bQhhQt£Y[X£cg4pkX =cM4Q‚hQb^`X4t l4pdaX4bM ŽJpkhkc]hkY[X4bQ"^`g4p v4pk^`vQprcµj

Y[hb^`PDv4gZcQt Y[X£d6lJdab¦˜“&dapkt tZY[pkQbKckY[^`X "AŸLNM4Q"v4pk^`vQprcµj¤Y[hŽJpkhcbedf\m\[Qt£“NYmcMO "8®daX4t; daX4t¤cM4Q"pkQhgZ\mc-Y[h

•f# ® šH ® E`cM4QX‚cM4Q&v4pk^`v(Qprc”j"Y[h/b^`PDv4gZcQt6“NYmcM 5" ™ daX4t ® ™a“!QNMJd~œQA•f# ™ šH ™ /dah2cM4QNpkQhgZ\mceŸ2LNM4QNv4pk^`_`pdaP

v(^aY[Xœc —bedaXDl(Q&pkQPD^e~œQt6=pk^`P cM4QNhk\mY[bQ&“M4QXDl(^acM'#™daX4t'#8®&dapkQNQPDvZcµj"hQKcheŸ



M4QX‚cM4QNv4pk^`_`pdaPv(^aY[XœcY[h

¦`QvZce™GcM4QpkQhgZ\mc!^ašcM4Q^`v(Qpdfc^`p

;

Y[h¥cM4QX•f#™

4

#8®

4 ¡ ¤"šH '™- lQbedag4hQcM4QY[XZ•^`pkP6dfckY[^`X)dal(^`gZc!v4pk^`_`pdaP

v(^aY[XœchN^a/l^acM›l4pdaX4bM4QhNY[h&¦`QvZc-daX4t›cM4Q hQKc6 !™NpkQv4pkQhQXœch&cM4Q~`daprY¨dalZ\[QhNPg4hkcl(Qv4pkQhQpr~œQt›Y[X…cM4QY[X4v4gZc

b^`X˜cQA‘GchkY[X4bQ “¥QTb^`X4hY[t4Qp-dDlJdab¦;“!dapkt£tZY[pkQbKckY[^`XšŸ

LNM4QcpkQedfcPDQXœcT^a

Y[htZYu<(QpkQX˜ce–NcM4QcQpkP¢Y[hhkjZhkcQP6dfckY[bedf\m\mj ¦`QvZc-Y[X£cM4Q"hk\mY[bQl(Qbedag4hQYmcdf\m“!dejGh Y[XG

Jg4QX4bQh2cM4Q,~`df\[g4Qhi^a4df\m\˜cM4Q~`daprY¨dalZ\[Qh =cM4pk^`g4_`MTcM4QY[X˜cpk^;t4g4bKckY[^`X‚^aZhg4lZcpkQQhiY[XTcM4Q,t4QprYm~adfckY[^`XcpkQQ"AŸxY!^acM

l4pdaX4bM4QhdapkQTb^`PDv4gZcQt¤Y[X4t4QvQX4t4QX˜ck\mj£daX4t—cM4QTpkQhgZ\mc-_œdfcM4Qpkh-cM4Q Y[XZ•^`pkP6dfckY[^`X£^a2cM4QhQ c”“¥^…l4pdaX4bM4QheŸ

LNM4Q"pkgZ\[Qh•^`p

9 53 daX4t

[2 2

dapkQX4^ac hg4pkv4prY[hkY[X4_4Ÿ  Qdahhg4PDQTcMJdfccM4QT~`daprY¨dalZ\[Q— Y[X

9 H5

•˜—š,´)™-

Y[hNg4XZY[nGg4QY[X—d"X4^`pkP6df\mY[hQt)v4pk^`_`pdaP E4h^ —¤bedaX—l(Q pkQPD^e~œQt—=pk^`P cM4Q hQKcN^aiX4QbQhhdaprj~`daprY¨dalZ\[Qh&j;Y[QK\[t4Qt)l˜j

cM4QdaXJdf\mjZhkY[h^a ´)™ ½M4QX4bQ !™s¡—¤ "AŸ

IžX cM4Q‚pkgZ\[Q=^`p

2 2

™'ŽJpkhkc cM4Q"t4QprYm~`dfckY[^`X cpkQQ‚b^`pkpkQhv(^`X4tZY[X4_—c^…cM4QDv4pkQtZY[bedfcQ ”6Y[h b^`PDv4gZcQt “NYmcM

cM4Q)hQKcp¡— ±" G£•EašH; š,¡¹ ¤t¤ ^a-~`daprY¨dalZ\[QhDc^ l(Q›v4pkQhQpr~œQt '/0/ cM4Q›=^`pkP6df\vJdapdaPDQKcQpkh!— ^aU”

l(^`g4X4t4Qt)c^6dapk_`g4PDQXœchU¹-i“MZY[bM dapkQ]X4^acY[X4t4Qv(QX4t4QXœc=pk^`P3cM4QThQKc%;"AŸ LNM4Q cQhkcNY[X—cM4Q]pkgZ\[Q]=^`p

[2 2 Y[h

hkY[P‚Ym\¨dap&c^"cM4QcQhkc!Y[X›cM4Q

bedahQ`Ÿ  Q b^`gZ\[t)P6da¦`QPD^`pkQ]h^`v4MZY[hkckY[bedfcQt)bM4^aY[bQh&c^Dd~œ^aY[t—Y[X4bK\[g4tZY[X4_…df\m\(cM4Q

~`daprY¨dalZ\[Qh³¹–™=Q›Q›Q›šk¹ºœ›Y[X—cM4QThQKc^a/cM4QTX4QbQhhdaprj›~adaprY¨dalZ\[Qh?Ÿ

QSUT[Sfe`5S = ad7`R4`ud+Q\u acRZY TWhT'] T'RS Q\7SfeT(d+T']7`RS2abWd7Q SfeT h`RtY"s`Y"Ty

6

Q\ aRdSH`RbWTdf–/E= F %() -, 9UQ= `REg

"3¸/E=i 6f9KQ= y

SfeTW\w ad+T `R[TWVSU\U` b QREgaCS2acQ"Rou`"d+Tkg[Q"R bW`"RouTJ`gtg Tkg[`"d aR SfejT bW`d+Ty

Références

Documents relatifs

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST