• Aucun résultat trouvé

Deriving Unbounded Petri Nets from Formal Languages

N/A
N/A
Protected

Academic year: 2021

Partager "Deriving Unbounded Petri Nets from Formal Languages"

Copied!
27
0
0

Texte intégral

(1)

HAL Id: inria-00073324

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

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,

Deriving Unbounded Petri Nets from Formal Languages

Philippe Darondeau

To cite this version:

Philippe Darondeau. Deriving Unbounded Petri Nets from Formal Languages. [Research Report]

RR-3365, INRIA. 1998. �inria-00073324�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Deriving unbounded Petri nets from formal languages

Philippe Darondeau

N ˚ 3365

F´evrier 1998

TH `EME 1

(3)
(4)

('%*')

+-,.0/1.12&24365798:<;&=3>79?

@BADCFE GIHKJ LMNOGQP$R>SGFTUNOVWNOTXCFE GN

Y[Z]\$^_G`TaYP$ZbP$cdZbP$efADG

LgP"ehei\$ZXTjhG-ZXGk]ADG`Z]k]ADGmlnonopoqrJ s&M`tuZXvwG`Z)Hyxoxoz%J {dn|e}P$coGN

~€&F‚Qƒ"„h…d‚‡†‰ˆ

GŠehZX\de<\oNXG‹jhGFkFvwN_vw\dl%ehZX\>kFGjfRhZXGNŒ}PdNXGFj|\dl%Z]GFcdvw\dlhNŽ\$ZT‘\aehZX\dŒh’“GFE N

\dl€ehRhZXGaRhluŒ<\dRhlDjhGFjYGFTOZXv<lDGFTXNBv“TOA€v“ld^_GFkFTOv“toGU’”P$Œ<GF’•’“v•lDch–—alDGaehZX\dŒh’wG`E˜vwN‘TX\|k\$lf™

NOTXZORDkFTlhGFT]N”ZX\dE!v•lDk\$E eh’“GFTXGaNOe<Gk`v“šDkP$TXv“\dlDNF›hcdv“tdGFlŒuV€e}P"v“Z]NB\dZ]Gc$Rh’”P$ZB’”P$lDc$R}PdcoGFN

TXA}P$Tv•E e<\oNXG4ZXGNOe<Gk`TXv•toGF’•V)Rhehe<GFZ&P$lDj’“\yBG`ZŒ<\dRhlDjfN&\dl%TXADG`v“ZG`SWe<GkFTXGj*Œ<GFADPytuv“\dRhZ]NF–

@BADG)NXGkF\dlDjehZ]\$Œh’wG`EœvwNTX\IjhGFZOv“toG)GFuRfv“t$P$’wG`luTlDGFTXN”ZX\dEžjfGFT]G`ZXEv“lhv“NOTOvwkgefRDNOADjf\Ÿl

P$RhT]\$E€P$T]Pf›>TOAuRDNG`SWAhv“Œfv“TXv•lDc|TXAhGFv“ZAfvwjhjhG`l kF\dlDk`RhZXZXGFlDk`Vo–

¡ ¢‡£i¤O¥|¦ ƒ"§d† YGFTXZOvflDG`T]NF›oZ]Gc$Rh’”P$Z’”P"lDcdR}PdcdGN›$k\dluTXG`SWTO™¨”Z]GG‘’”P$lDc$R}PdcoGFN›$efRDNOADjf\Ÿl

P$RhT]\$E€P$T]Pf›fNOGFEv•™¨’“v“lhGQP$Z‘NXG`T]N

©«ª¬­®y¯¬‹°±²­³0´`µ

¶&·9¸¹º¼»•½D¾<¿yºÀ»¼ºÂÁŸÁ"ÃFÄÅ[¹`Æ0ÇFÈ"ÉyÃO¹FÊ$˺¼Æ0ºÂÌ0¹"ÄͲÆ

Unit´e de recherche INRIA Rennes

(5)

'% %&

'%` ('%*')%

 † \dRDN)jh\dlhlh\dlDN)jhGN)ehZX\>kFMjfRhZXGN%jhGIjhMk`vwN_vw\dl Ž\dlDjhMFGN)NORfZ’“GNKZ]MFcdvw\$lDN

ei\dRfZjfGFRfS ehZX\dŒh’wC`ErGFNjfG N_VWluTOADCNOG€Z]GF’wP$TXv•ŽN)P$RfS ZXMNXGP$RfS jhG YGFTOZXvŠlD\dl6Œi\dZOlDMN

MFTXv“‡RDGFT]PdcoGBv•ld^_Gk`TXv“ – GBehZXGFEvwGFZehZ]\$Œh’wC`ErG‘GNOT‹jfGk\dlhNOTXZORhv“ZXGBRhlIZ]MFNXGP$Rae}P$ZXTOv“ZjhG

NOe<MkFv•šDkQP"TXvw\$lDNv•lDk\dEeh’“CFT]GFN›ojf\dlhlDMFGN[e}P$Z[jhGFRfS*’”P$lhc‡PdcoGFNZ]MFcdRh’•vwGFZXN&‡Rhv>Œi\dZOlDGFluT‹N_Rf™

eiM`ZXvwG`RhZ]G`ErG`luT4GFT4v•lhŽMFZOvwGFRfZ]GFE GFluT[’“Gk\$E e<\dZXTXGFE GFluT‹P$TOT]G`lDjfRjfRIZ]MFNXGQP"R – GNXGkF\dlDj

ehZ]\dŒf’wCFE GGN_TBjÀGS>Afv“Œ<GFZ‹’wGe}P"ZbP$’•’wMF’•vwN_ErG‘kQPdk]ADMUjRhlP"RhT]\dErP$TXG)efv“’wGjfMFT]G`ZXEv“lhv“NOTXG

GFl k\dlDN_TXZORhvwNXP$luTURfl ZXMNXGP$R jhG%YGFTOZXvM‡Rhv•t$P$’wG`lWT–

¦ ‚Ÿ ¤ …! † ZXMNXGP$RfS jfG YGFTOZXv¨›U’wP$lDc‡PdcdGNrZXMcdRh’•vwG`Z]N›’wP$lDc‡PdcdGN Ah\dZ]NkF\dluT]G`SWTXGd›

P$RhT]\$E€P$TXGN"|ehv•’wGd›>GFlDNOGFE|Œf’wGNUNXG`E v²™ ’•v“lDMP$v“ZXGN

(6)

I! ŠF

"#$$%4\d ’”P$Œ<GF’•’wGFj cdZ]P$ehADNŠA}PQtoGKŒ<GG`lv“luTXZX\>jfRhkGj v“l'&)(‹Lgx*oP,+iP$lDj-(‹Lgx*$Œ€ADG`Z]G

TXADG`V NOGFZOtoGjP"Er\dlhc\dTOADGFZŠT]\k]A}P$Z]PdkFTXGFZXv/.GgcdZbP$efADN0/ 1$243$5&T]\ErP$Z76Wv•lDc%cdZbP$efADN

\d[G`’wGFE GFluT]P$ZXV€lhGFTgNOVWNOTXGFE N–98 Z]GFcdvw\dlErP$eDNNOT]P$T]GFNUTX\!:;%<>=?*v•l N_RDk]A P PQVTXADP$T

k]A}P$lDcoGFN\d t$P$’•RDGNP"Z]GgRflhv“Ž\dZOE \dlP$’•’iP"Z]kN‘v“TXAP*k\dEE \dlr’wP$ŒiG`’ ›‡ADG`lDkGKv•T‘TOZbPdkFGN

TXADG-t$P$’“RhGN\d&P|ei\dTXGFluTXvwP$’ eh’wPdkG-\$[P|lDG`TgkF\dEe}P$TXv•Œh’wGUv“TOATOADG)k\dlhNOvwjfGFZ]GFj c$ZbP$ehA –

@BADGYG`TXZXv²™ ZXGcdv“\dlDN|\d@&BAR6>x‡{,+0›4Ahvwk]ATbP6oG€v“luTXGcoG`Z tdP"’“RDGFN›4eh’”PQV TXADGNXP$E G€Z]\d’“G

)– YG`TXZOv‘lDG`T]NF–@BADGCDEF3E/G2HIJ>/!Ž\$Z*lDG`T]N*TOADGFl ZXGjfRhkGN|TX\ NOGQP$ZXk]A Ž\dZ

LKM/NJ>/NORhŒhNXGFTXN)\d‹Z]Gc$vw\dlDNF›ijfv“NOTOv“lDcdRfvwNOAfv“lDcŒiG`TBGFGFl P$’“’NOT]P$T]GFN)P$lDjr^ RDN_TXv“”Vuv•lDc

Z]GN_TXZ]P$v“luT]NŠ\dl€PdkFTOvw\dlDNŠP$T‘GQP$k]A€NOT]P$T]GO&BPaLgxop+¨–QuVWluTOADGN_vwNP"’wco\dZOv“TOAhErN&jhGk`vwjfv•lDc%AhG`™

TXADG`ZIP cdv•toGFlc$ZbP$ehA AD\d’wjfN P$lRLKM/NJ>/)N_RhŒDNOGFTI\dZ]GFcdvw\$lDNA}PQtdGPdkFTOR}P$’“’•VŒiGFGFl

NOTXRhjfvwGFj P"lDj v“Eeh’wG`ErG`lWTXGj*Ž\$Z4GF’“GFE GFluTbP$ZOV*lDG`T]NS&BTVU XW)xoq+}P$lDj|Ž\$Z4Œi\dRflDjhGjYGFTXZOv

lDGFTXN@&BTPoxLYZ+¨–

@BAhG T]\W\d’\[>]_^a`Eb jhGFNXkFZOv“Œ<Gj v•lc&BTPoxLYZ+BP"’“’w\yNPdN)BG`’“’ŠT]\ kF\dlDN_TXZXRhkFT*Œ<\dRhlhjhGj

lDGFTXNB”Z]\dE˜šhlfv“T]GaP$RhTX\dE€P"TbPde2fgM% hji>k/5`–&@BADGaŒ<\dRhlDjhGFj€Z]GFcdvw\dlhNB\d

Z]Gc$Rh’”P$Z’wP$lDcdRDPdcoGNA}PQtdGU^ RDN_TgŒ<GG`l NOTORDjfv“Gj v•ll&)mVmVPax‡q+T]\IehZ]\ytuvwjfG*P ’“v•lDGQP$ZUP"’wcoG™

ŒhZbP$v“kINX\d’•RhTXv“\dl6TX\ TOAhvwN-Z]G`’”P"S>GFj NOVuluTXADGFNOv“N*ehZ]\$Œh’wG`E –@BAhG ehZXGNXG`luT|e}P$e<GFZG`SWT]G`lDjhN

\ŸtdGFZ‘TXAhv“NŠGP$ZX’•vwG`Z4B\dZ76Iv“l NXGFtdGFZ]P$’<ZXGN_eiGFkFT]NF–Šsv“ZXNOTQ›oTOADGgŒ<\dRhlhjhGjflhGNXN‘k\dlhNOTXZ]P$v“luT‘\dl

lDGFTXN›[‡Rhv•T]GIl}P$TXRfZbP$’ŠADGFl k\dlDN_TXZORDkFTOv“lDc lhGFT]N%”Z]\dE šhlfv“T]GITXZ]P$lDN_v“TXv“\dl6NOVWNOTXGFE NRhe

T]\€cdZ]P$ehA v“NX\dE \dZOehAhvwN_E ›DŒhRfT)P$ZXTOv“šDk`v”P$’ADG`l jhGFZOv“tuv“lhcrlDGFTXNK”Z]\dE ’wP$lDcdR}P$coGNF›iNXGFGFl

PdNBNOGFZXtuv“kGKN_eiGFkFv“šhkQP$TOvw\dlDNF›>v“N‘’“v•”T]GFj –_Q>GFk\dlhj ›hk\$E eh’“GFTXGgN_eiGFkFv“šhkQP$TOvw\dlDNBP$Z]GgZ]GFef’”PdkFGj

ŒWVv•lDk\$E eh’“GFTXGKNOe<Gk`v“šDkP$TXv“\dlDN›hlDP$ErG`’“V e}P$v“ZXN\d&ZXGcdRf’”P$Z’wP$lDcdR}P$coGNGS>efZ]GNONOv•lDcrNXP"™

ŽGFTVP$lDj’“v•toGFlhGNXNZ]GF‡Rhv“ZXGFE GFluT]NF–@BAhv“ZXj ›hTXADG)lDG`TaN_VWluTOADGN_vwNaehZX\dŒh’“GFEžv“NUNO\d’“tdGjŽ\dZ

jhGFTXGFZXEv“lfvwNOTOvwkkF\dluT]G`SWT_™ ”Z]GFGa’”P"lDcdR}PdcdGN–[@BADGgTXGk]Ahlhv“‡RDGNRDNOGjrTX\|\dŒhT]P$v“lTXAhGgZ]GFNORh’•T

E v“cdAuT&‘\dZj6IP$N[BG`’“’hŽ\dZ[\dTXADG`Z‹kF’wPdNXNOGN4\d9’”P$lhcdR}PdcoGFN&v“TOAINXG`E v²™ ’“v•lDGQP"Z&kF\dE E*RhTbP$TOv“tdG

v“ErPdcoGNF–

@BAhG Z]GFNOTr\daTOADG e}P"eiG`Z v“N \dZXc‡P$lhv/.GFj PdNIŽ\d’•’w\yN–nQWGkFTOvw\dl { jhG`šhlDGFN Z]GFcdvw\$lDN

v“l’”P$lDc$R}PdcoGFNgP"lDj N_TbP$TXGNUtdP"ZXv”P"lWTUk]A}P"ZbPdk`T]GFZOvo.P$TXv“\dlDN\d&lhGFTU’”P$lDc$R}PdcoGFNv•l TXGFZOErN\d

Z]Gc$vw\dlDNF–pQ>GFkFTXv“\dl nrNO\d’“tdGNKTXAhG|NOVuluTXADGFNOv“NKehZ]\dŒf’wGFE Ž\dZglDGFTXNa”Z]\dE e}P$v•Z]Ng\d4Z]GFcdRh’”P"Z

’”P$lDc$R}PdcoGFN–0Q>Gk`TXv“\dlrq NX\d’•toGNgTXADGNOVuluTXADGFNOvwNgehZ]\dŒf’wGFE Ž\dZUlDG`T]Ng”ZX\dE jhGFTXGFZOE v•lhvwN_TXvwk

k\dluT]GSWTO™ ”ZXGGI’”P$lhcdR}PdcoGFN–M8mN_AD\dZXT%kF\dlDkF’•RDNOv“\dl k\dEE GFluT]N)\dl TXAhGI’•v“Ev“T]P$TXv“\dlDNgP$lDj

ei\oNONOv•Œh’wG-kF\dluTXv“luR}P"TXvw\$l\dTOAhvwN‘\dZ76<–

(7)

%Fœ% ' (F'')%

G`T Œ<GP šflhv“TXGrNXG`T \d E`–r8 % )\ytoG`Z vwN*P NORhŒhNXGFTI\$ *ADG`Z]G

</<BvwNaTOADG*”Z]GFG|Er\$lD\dvwj coGFlhGFZbP"T]GjŒuV–p8 NXGFuRhGFlDkFG \dŠG`toGFluTXN v“N

P\7Kd– ˆ ADG`l! }›<TOADG‘\dZ]jv“NKPC/F u5g\d[TOADG*‘\dZ]j#"1lD\$TbP$TOvw\dl%$

'&(*)–@8 ’wP$lDcdRDPdcoG+ vwN 2HI-,/.10j5/ jKv“‹v•TKv“lDk`’“RDjfGN-P$’•’&TOADG|’wG`”TK1PdkFTX\dZ]N-\$ŠTOADG

B\dZXjhN-v“T)kF\dluTbP$v•lDN2"1v•l Ž\$ZXE|Rh’wPdN3$465

+789+ ’“GFTXTOv“lDc:465

+;< :!=> @?

BA

#

+;*C&#@?1]–C8œefZ]GFš>SW™ kF’“\oNXGFj ’”P$lDc$R}PdcoGD+ \ŸtdGFZ2 E€PQV Œ<GrvwjhG`luTXv“šhGj v•TXA TOADG

jhGFTXGFZXEv“lfvwNOTOvwk"1ŒfRhTKcoG`lDGFZ]P$’“’•Vv“lDkF\dEeh’wG`T]GE)P$RfT]\dErP$T]\$l

+S<Fd<FG9<<H+7]›9ADG`Z]G*TOADG

NOTbP"T]GN‹\d9TXAhGP$RhT]\$E€P$TX\dlP$ZXGTXADG‘\dZ]jhNŠ\dI+›‡TXADGv“lfv“TXvwP$’WNOT]P$T]GvwN[TOADGGFEehTV|‘\dZXj ›

P$’“’ŠNOT]P$T]GFN P$ZXG€PdkFkGFefTXv“lhch›[P$lhjJGmvwNTOADGrNOGFT \$’”P$Œ<GF’•’wGFj TOZbP$lDN_v“TOvw\dlDN K

L

NORDk]A

TXA}P$TM <F J+›ONPQ›iP$lhj DINd–@BAhZX\dRDcdA TXAhv“NUv“jhGFluTXv•šDkQP"TXvw\$l ›hTXADGk\dlhkGFefTK\d

v“luT]GFcoGFZ‹t$P$’“RhGj Z]GFcdvw\dlhNŠ\$ P-TXZbP"lDNOv•TXvw\$lINOVWNOTXGFE!PdkkF\dRhluT]GFjrŽ\dZ4v•lr&BAR6>x‡{+0› &BP Qfxon+0›

\dZh&Bm\PKYSR-xop+0›fErPyVrŒiG)PdjhP$ehT]GFj P$NŽ\$’“’w\yNBTX\ ehZ]G`šfSu™kF’“\oNXGFj ’wP$lDcdR}P$coGN\ytoG`ZM –

T¢UWVYX ‚ Xަ6V[ZI\-]'^ €¢`_6XަIV bac Z]GFcdvw\$l + / d2 124 ed

<Ffgh*_3 dji

+ L kml

KMf

i L non

h 4533%OC[p q

dS

W dS

rtsuf

v e#wx+

K:a< Qy h /N :f

i L nzn

J3EdkENi>E1$243/ 1NK3%

{. K 3E 2Df

i L non|

eMk3}~f

p vWCf

r1sf

v; 3EI€ <F

K: /NKEN,VjKu_3 3EM G 2\7KP_F3 E0/3Et:‚ „ƒ

+7K

F3EG 9 GI$$% p% …+

† „h…d‚ ZI\‡Zˆ+=8[+S‰vqŠƒ

+S‰‹Œ8ƒ

+7Ž

8 ZXGcdv“\dl

d

<Ffg‘\d„+ v“NUG`luTXv“ZXGF’•VjhGFTXGFZXEv“lhGjŒWVTOADG%ErP$ef€”Z]\dE TOADG%t$P$’•RDG dS

\dZBE \dZ]GUcoG`lDGFZ]P$’“’•V ”Z]\dE dS

Ž\dZNO\dErG+–~ lkQP$NXGaADG`lu+ \Wkk`RhZ]NŠT]\*Œ<GgTOADG

NXGFT\dŠŒiG`A}PQtuvw\dRhZXN\$PehRhZXGrYGFTXZOv‹lDGFT›GPdk]A eh’wPdkGI\dŠTXAhGlDG`T*c$v“toGFN-ZXvwNOG T]\ P$lDj

E€PQV P$kFTXRDP$’“’•VŒ<GNXGG`lPdN‹P-Z]GFcdvw\$lI\dr+– G`TŠRhN‹ZXGkP$’“’hTOADGjhGFšflhv“TOvw\dlI\diYG`TXZOv9lhGFT]NF–

T¢UWVYX

‚

Xަ6V[ZI\z‘=^{’K¢

‚yƒ

X€V¢

‚Ÿ!ac

YGFTXZOv&lDG`T/ B2H/”“•

–

<Fd<H—P˜ 3EI

–

K ISK/-™eE F &eh’wPdkGFN0 KG`toGFluTXNŽh

ipe–9š

š–

L kml

c ErP$Zj6uv•lDc ˜“ /1C2Jœ

ir–

L kml

c EŒN 3%-k\dlDkFGNONOvw\$l

K ED

‡Ÿž

– —

<HNbu& œ

¡

c E<NJ_F3 55$c*œ

D šfZ]G ¢ 3/' F3E N7% $yœ¤£{Nj¥ œ ‰ E53nF3%

¦Ÿž

–

œ ‰

Wjœ

*§¨—

<¡Nbs9—

N<

ž

Ž c 0N _/BefRhZ]G

‡Ÿž

–

¦

N˜2

—

<¡Nb

š —

N<

ž

W ;gP¢ 3E9J3% $kIS 9-v•lhv“TOv”P$’•vo.GFj1g“©

–

<Hd<H—9<¡œ«ª­¬3ª­®¯

(8)

_F3-v•lhv“TOv”P$’WErP$Zj6uv“lhcPœª¬3ª­® IS3E9 ji>45# EFS 3ES KE5 DOK-,jK

“* :EX?x› : N3 ?6N@

œª­¬3ª®6?{N@¥9œ

K

Q

<H<H—9<¡œ

K

I?Ÿ

¢ 3E

“p/@ 5j/jKd3E’”P"lDcdR}PdcdG- …“Q

T¢UWVYX ‚ Xަ6V[ZI\y^  ‚ ac N_RhŒhlDG`T -E N jK %“©

–

<Hd<H—9<¡œ«ª­¬3ª­®¯

/ ENN jKr;“u‰„

–

‰<Hd<F—˜‰/<¡œC‰

ª­¬ ª­®

KE5jK rI $5N$n

1@%J # S2H5

–

‰Y8

–

!œC‰

ª¬3ª­®

/M3EMIN$5N$ ˜œª­¬ ª­®p K2—*‰r

—

‰ š

˜›

š–

‰

†

„h…d‚

ZI\

“«78

“ ‰ eODM%J>W“ ‰ …“J

(ŠP$k]A‰eh’wPdkG

ž

\drP$l v•lhv“TOv”P$’•vo.FGj efRhZ]G YG`TXZXv lhGFTQ“

<H<H—9<¡œª­¬ ª­®e jhG`T]GFZ_™

E v•lDGN)P€Rhlhv“‡RDG Z]Gc$vw\dl

d

<FfgU\d

“«]›N_RDk]A TOA}P$T dS

œª­¬3ª®

aP$lDj«f

NbM

— N<

ž

…§—

<HNb Ž\dZGFtdGFZOV GFtoG`luTxN[ – TB\dlutoGFZXNXG`’“Vo›aGQPdk]AZ]GFcdvw\dl

d

<Ffg\d

“«ŠjfGFT]G`ZXEv“lDGFNBRhlhv“‡RDGF’•VP$l . NDaeh’”P$kG

ž

Ahv“k]AE€PQVrŒ<G-PdjfjhGjT]\2“v²™

TXAD\dRfT%PiGFkFTOv“lDc€v•T]NaŒ<GFA}PQtuvw\$RhZ]NF› NORDk]A6TXA}P$T˜œª­¬3ª®

… dW

UP$lDjŽ\dZKGFtoG`ZXV G`toGFluT

Nd›v—

N<

ž

—

<¡NbW[f

NbŠP$lDj —

<HNb

š —

N<

ž

W ;f– A\dZ]Gav“jhGF’•Vo›fP$lv“lhšflhv“TXG

YGFTOZXvŠlDGFT

+;˜

<H<H—9<¡œª­¬ ª­®aE€PQVŒ<Grk\$lDNOTOZXRDk`T]Gj v•l6TOAhvwN)BPyV ”Z]\$E P$luV

lD\dlf™ GFEehTV*ehZXGFšfSu™ kF’w\dNXGjI’”P"lDcdR}PdcdG +›ov“TXA P-NXG`TŠ\d}eh’”PdkFGN

–

kF\dlhlDGFkFTXGjrN_v“Ev“’wP$ZX’•V

v“TXA6TXADGIZ]GFcdvw\$lDN\$ +–@BADG v•lDkF’•RDNOv“\dl6ZXGF’wP$TXv“\dl + 8

+7gvwN)TXADG`l P$’•PQVWN

N]P$TOvwNOšhGj ŒWV jfGFšhlhv•TXv“\dl \dBZXGcdv“\dlDN–@BADGk\$lWtdGFZXNXGrv•lDkF’•RDNOv“\dlvwN)coG`lDGFZ]P$’“’•V v“lut$P$’•vwj –

s}\$ZŠv•lDNOT]P$lDkFGd›WPdNXN_RhEv“lDc)TXA}P"T;+'

+7Ž\dZŒ+'

s`’wGPdjhN4T]\*P%kF\dluTXZ]P"™

jfvwk`TXvw\$l P$N%Ž\d’•’w\yN–8aN)TXAhG NOG‡RDGFlhkG

v“NPŒiG`A}PQtuvw\dRhZ%\d

+;KP$lDj

 vwN-lD\dT›

TXADG`Z]GgE*RDNOT‘G`SWvwN_TP)Z]GFcdvw\dl ed

<Ffg[\d%+N_RDk]A€TOA}P$T dS

n;*P$lhj dS

c;f›uADG`lDkG

f

v! ;>– shZX\dE P$lD\dTOADGFZ NX\$RhZ]kFGd›UP$’“’NOG‡RDG`lDkGFN!#" P$Z]GŒiG`A}PQtuvw\dRhZXN \$$

+7]›

ADGFlDkFG dW

Os%

š f

‹E|RDN_TUŒ<G-lD\dllDGcoP$TXv•toG-Ž\dZUP$’•’&%<–8aN dS

`‹v“Nšhlhv•T]Gd›hTOAhvwNv“N

kF’wGP$ZX’•Vv“Eei\oNONOv•Œh’wG$–('-GFlDG`ZbP$’•vo.`v“lDc \dlTXAhv“NaGShP"E eh’“Gd›<\dlDG|kP$l NOT]P$T]G*TOADG|Ž\d’•’w\yv“lDc

ehZ]\de<\oN_v“TXv“\dl ›uTXADG-ehZX\>\$&\dAhv“k]A v“NNOTXZ]P$vwc$AWTOŽ\dZXBP$ZXj –

’ ƒ ¦*)4¦  X ‚ X1¦6VZO\,+^.-0/ „hƒŸ„D…d‚ ¢ ƒ X1`XV²_V¢ ‚ 1„ V/_ „ _}¢ !a32 fg0j02HNDf2HI-,/.10

5/ jKd + # 9 OEM2h 3E_e/b_ I ji>/EB}

v-)‚ /hF3Eh% # 1pENN jKG2HI<#N_-h

v“v-)w+'

+7{h

v“v“v¦)

+7Œ8[+7h

v“t)

‡

«+7

‡

NŠIN54x+ q f

Nb c;6 dS

`Osf

rIs f

Nb7 ;

e# 1pI$$

ed

<FfpŒƒ

+7Ž

(9)

3E-3E p N$%GI0NKbhr+'

“«ae EDh%J>%“

+7# 0

J>/jKhI !J G I$$%*ƒ@‰

+7J8 ƒ

+; 3fgu_N9eF3E

NKD Dd%$5 h N$

|

t

@BAhvwNk]ADP$ZbPdk`T]G`ZXvo.P$TXv“\dlPdkFk\dRflWTXNŽ\dZB’wP$lDcdR}P$coGN\$ ei\oNONOv•Œh’“Vv“lhšflhv“TXGglDG`T]N›>v –Gd–[lDG`T]N

v“TXA v•lhšhlhv•T]G‘NXGFTXN4\d}eh’”P$kGNF–_m‘RhT&lD\dT4G`toGFZOV|’”P"lDcdR}PdcdGB\d<PalDG`T4vwN&TOADGB’”P"lDcdR}PdcdGB\d<P

šhlhv“TXGŠlhGFT&sD\dZv“lDN_TbP$lDkFGd›"TXADG‹v“lhšflhv“TXGŠlDG`TS“©

–

<>: E<

?X<H—9<¡œª­¬ ª­®<v“TOA|k\$RhluTbP$Œh’“G

NXGFT\$-eh’”PdkFGN

–

kml

NORDk]A TXADP$T — E<

ž

 ='—

<

u

ž

P$lhjCœª­¬3ª®



ž%zž

§ = %Ž\dZP"’“’

ž

A}PdNBlh\*šhlhv•T]GKGFuRfv“t$P$’wG`luTQ–4@BAhv“NBErPyVIŒ<GaehZX\ŸtdGj”Z]\$E TOADGa1Pdk`T

TXA}P$T

¬ ¬

¬

“«%Ž\dZ G`toG`ZXV l}P"TXRhZ]P$’luRhE|Œ<GFZ›‹AhGFZ]GPdNP$T TXAhGN]P$E G

TXv“E G

¬ ¬

¬

4

“«]– ˆ Afv“’wGBGP"Z]GrE \>jfGFZbP"T]GF’•V v“luT]G`Z]GN_T]GFjv•l v“lhšflhv“TXG

lDGFTXN›‘‘Gk\dlhNOvwjfGFZIADGFZXGPdN šhZ]N_T k`’”PdNONIkFv“TOvo.FGFlDN|TOADGšhlhv“TXG€v“lhv•TXvwP$’“v/.Gj lDGFTXN Ahvwk]A

A}PQtoGv“lhšflhv“TXG Ij53%LJ> D :"0NOGFT]NI\dErP$Zj6uv•lDcoN*ZXGQPdk]ADGFj ŒuV6šhlhv“TXGrŒ<GFA}PQtuvw\dRfZ]N

\dgTOADGv“lhv•TXv”P"’“vo.FGj lDGFTH)`– @BAfvwN vwNP NOvwc$lhv“šDkP$luTIjfv“tdGFZXcoGFlDkFG ”ZX\dE TXAhGN_TbP$lhjfei\$v“luT

Pdjh\dehTXGjv“l &)mVmVPKx‡q,+0›hADG`Z]G%NXk\$eiG)P$NUZXGNOTOZXv“kFT]GFjTX\Œ<\dRhlhjhGjlDGFTXN"ŽlDGFTXNUAD\dNXG

E€P$Z76uv“lDc%cdZbP"ehADN‘P$Z]Gšhlhv•T]GE)–4@BADGaE \ytoG”Z]\dE˜šhlfv“T]GTXZ]P$lDN_v“TXv“\dlNOVWNOTXGFE NBT]\%v“lhšflhv“TXG

TXZbP"lDNOv•TXvw\$l N_VWNOT]G`ErNUA}PdNgP$lv“Ee}PdkFTU\dlTXAhG%TVue<G*\dZ]Gc$vw\dlDNTOA}P$TUv“lDjfRhkG-eh’”P$kGNU\d

TXADGNOVuluTXADGFNOv/.Gj lhGFT]N

+;]– ˆ \dZ76Z]G`ei\dZOT]GFj6v“l &)mVmVPKx‡qZ+‘BPdN)Œ}PdNXGFj Rhe<\dl TOADG

’“v“lhGQP$Z‘P$’“coGFŒhZ]P$vwkehZX\deiG`ZXTOvwGNŠ\d TOADGKNXG`T\d Œ<\dRhlhjhGj€ZXGcdv“\dlDNŠ\dPZ]GFcdRh’wP$Z‘’wP$lDcdRDPdcoGd›

ADGFZXG

d

<Ffg«ƒ

+7IvwN'Jk KjK v“M:

dW

J? +-? vwNrRhefeiG`ZŒi\dRflDjhGj¨"1v•l

kl

)`›&\dZ*GF‡Rhv“t$P$’“GFluTX’•Vo›&v•#:!f

D?r +-?€vwN%Rhehe<GFZŒi\dRflDjhGj["Žv“l

nzn

)– T*NOAD\dRf’wj

ŒiGG`E ehADPdNOv/.Gj TOA}P$T :!f

u?/•+!?vwN|’“\Ÿ‘GFZ Œ<\dRhlhjhGjŽ\dZIP$luV ZXGcdv“\dl\dM+–

@BAhvwNŠk]A}P$Z]PdkFTXGFZXv“NOTOvwkehZ]\de<GFZOTVI\d ZXGcdv“\dlDN›u\di’“v“TOTX’“GBADGF’•erADG`l€Ž\WkFRDNŠvwN‹\dlrŒ<\dRhlhjhGj

Z]Gc$vw\dlDNF›dvwNTXADGBk\dZOlDGFZXNOT]\$lDG\dDTXADGBjhGFtdGF’w\$ehErG`luT]N4ehZ]GFNXG`lWTXGjIv“l|TOAhvwNe}P$e<GFZ–4@BAhv“lhcoN

E€PQV Œ<G jhGFNXkFZOv“Œ<Gj P$NŽ\d’•’w\yN– 'Kv“tdGFl P ehZXGFšfSu™k`’w\oNOGj ’wP$lDcdR}P$coGu+˜\ytdGFZ›B’wG`T

f i L non

Œ<GP$luV ErP$e NORDk]A TXADP$T :!f

˜ #+-?A}PdNrP6E v•lhv“E*RhE ›‹’wG`T

›alDGFkGNON]P$ZOv“’•V lD\dlf™¨ei\oN_v“TOv“toGN_v“lDkFG«f

`x ;f– @BADG šfS>GjE€P"eˆf c$v“toGFNZXvwNOGT]\

P kF\d’“’“Gk`TXvw\$l\dgZXGcdv“\dlDN

d

<Ffgƒ

+7]›BGQP$k]A \dgAhvwk]A k\$ZXZ]GFNOe<\dlDjhNIv“TOA NX\dE G

v“luT]GFcoGFZ ;N_RDk]A TXADP$T dS

< §

–18gE \dlDcTOADGNOG Z]GFcdvw\$lDN› TXAhG’“GQPdN_T\$lDG

" ;1)v“NTXADG)E \oNOTN_vwcdlhv•šDkQP"lWTN_v“lDkFGd›DŽ\dZUGFtdGFZOVGFtoG`luT˜NN_RDk]A TOA}P$Tf

Nb ;f›hv•T

vwN4TXADGUEr\dNOT‹’“v6oGF’•V|T]\)Œ}P$ZŠTXAhGgGS>v•T]N€IN54+y"ŽADGFZXG<x+Œ)4ŒuV ehZ]\WjfRDk`v“lDc%lDGc‡P"TXv“tdG

tdP"’“RDGFN dS

INbW dW

Ms f

ONbW f

r˜§

Ms

s f

Nb]–‹@BAhvwN‘Er\dTOv“t$P$TXGN‘TOADG

Ž\d’“’“\Ÿv•lDc|jhG`šhlhv•TXvw\$l –

T¢UWVYX ‚ Xަ6V[ZI\ ^ ~€F‚yƒŸ„D…d‚Iƒ ¢`_6X1¦6V ba #g0j02HND 2HI-,/.10j5/ jK %

+ 2hGr2 f i L non

453 3%0:!f

˜D?6 [+V?'3%1'MEM /

(10)

5j/jKr P$ŒDN_TXZbP$kFT%Z]Gc$vw\dl + ‚

+;JF3EM p dLJ 75 $$% +

:\jK«+ K EWN> E53 3%/ON54«+;hV I$$f

+7

/ >NK1 )ŒDP$ZTXADG)GS>v•T”INd…f

r²§ :!f

²? ˆ+!?;s f

Nb ;g

T¢UWVYX ‚ Xަ6V[ZI\=^ XQ X  ¢  ¢ ‚Ÿ ¦ ƒ ¢`_IXަ6V !a«c J

+7 /PdjfEvwN_™

NOv“Œf’wG2_F3 245g+ OD {. ²ON 4+ /@JIjK1J>DM 1GI$$:f

+7Ž

@BADG-Ž\d’“’“\Ÿv•lDc*v“NPIN_TXZ]P$vwcdAuTOŽ\dZXBP$Z]jPdjhP$ehTbP"TXvw\$l\d[Y[ZX\de –9{>–Àpf–

’ ƒ ¦*)4¦  X ‚ X1¦6VZO\^ „fƒ X„ V ‚ … / „hƒŸ„D…d‚ ¢ ƒ X1 „>‚ X1¦6V axc g0j02HND 2H-,/.10j5/ jK g0

;+ \ pE /G3E# h G

|

,E S2H 0 _G K

ED

+7O5K@ 1

|

,Eg 2+ 0 LKM/NJ>/hJ e

k

lLKLK $h eMED

+…0 LKM/NJ>/p%J

+7{h€+y

“«@/N “ 

<H<H—9<¡œª­¬ ª­® JOF3E

2HkIS/_F302H5

ž

–

5%N45gjK I 5I 24 KhI$$%~f 453

F3%Yœª­¬ ª­®

W¨§a:!f

²? jx+9?-

N<

ž

%§Q—

<¡NbSCf

Nb eOD

EWN˜@

 l TXAhG NXGF‡RDGF’¨›TOADGT]GFZOE $$6vwN P$’“BPQV>NRDNXGFj v“TOA TOADG E GQP$lfv“lDc \dLJN75

$$D–Y l€TXAhGUZXGNOTB\d TOADGaNOGkFTOvw\dl ›W‘Gacd’wP$lDkFGgP"T‘TOADGKP$’“coGFŒfZbP$v“kNOTXZORDkFTORhZ]Ga\d

+;]›

TXADGK1P$Ev“’•V\dZXGcdv“\dlDN\dW+–_8 Z]Gc$vw\dl f

+7‹E€PQVrŒ<G-vwjhG`luTXv“šhGjv“TOA P|tdGkFTX\dZ

v“lTXAhG)šflhv“TXGKjfv“E GFlhNOvw\$l}P$’iE \WjfRh’wG

nzn

y ¥ P"lDjv“TErPQVrTXAhGFZ]G`Ž\dZ]GKŒ<G-ZXv•TXT]G`l PdN

P%Ž\dZOE€P$’9N_RhE

K f

Nb

š

Nd›WADGFZXG”f

Nb[v“NŠTOADG*N`™ k\dEei\$lDGFluT\$ TXADGUtoGk`T]\dZ–Šs}\$Z

v“lDN_TbP$lDkFG

›>v –Gd– k<3§¥ v•l€toGFkFTX\dZŽ\dZXE ›>ZXGFehZXGNXG`luT]NTXADGKZXGcdv“\dl f

S

P$lDj f

~§f–

T¢UWVYX ‚ Xަ6V[ZI\-]!=^#"$ X&% „ ¢ V ‚Iƒ ¢ _6Xަ6V ba ¢²\ I$$%f

<Ff

i L non

I

G‡Rhv“t$P$’“GFluT@

BA

%

<%

kml

¦

Nx2 % š f

NbS%

š f Nb¡

† „h…d‚ ZI\-]p] ¢²\ ji>/E I$$% + J {.X5ND3EG>1 {. IN 4+

Q>\h› TXADGjfv•Z]Gk`TXv“\dl \dPZ]GFcdvw\dl>™ toGFkFTX\dZ-vwN%P$’•’[TXA}P"T%ErP$TOT]GFZXN– sD\dZ-TXAhv“N-Z]GQP$NX\dl ›v“T-v“N

uRfv“T]GkF\dlutoGFlfvwGFluTT]\ G`SWT]G`lDj ZXGcdv“\dlDN T]\ ZbP"TXvw\$l}P$’Bt$P$’•RDGNF› 6dGGFefv“lDc v“lEv“lDj TXADP$T

E|Rh’“TOv“eh’•vwkP$TXv“\dl ŒuVP"l P$jhG‡R}P$TXG%lDP$TXRhZ]P$’ luRhE|Œ<GFZv“N’wGF”Tv•E ef’“vwk`v“T–

T¢UWVYX ‚ Xަ6V[ZI\-]gZ^ „f‚ X1¦6V „ ‘ƒ ¢`_6X1¦6V ba«c ZbP$TOvw\dl}P"’UZXGcdv“\dl :+ /' 2=f

i

L ' E53 3%\:!f

˜²? wJ+!? 3% MEMk<‚ (

+7@KgO3Eh

@3E @243 c %J )

+;h/aPdj>E v“NXNOv•Œh’wGD€/ /B<+ MD-{. WIN 4+

/-JIjK J>D 11I$$ F3/d -h 3EIf Œ}P$Z]N2IN

|

$N$6}:f+*•INށr

f

%%§ :!f

˜²? +-? sf

Nb ;v

(11)

m‘VP$ŒhRDNOGa\dilD\dTbP"TXvw\$lDN›oTOADGgZ]P$TXv“\dl}P$’hZXGcdv“\dlDN‹\d²+ ErPQV ŒiGvwjfGFluTXv•šDGjv“TXAtoGFkFTX\dZ]N

v“l TOADG tdGk`T]\dZ_™NOeDPdkG'

'

 ¥%›[P$lDj TOADGFV E€PQV Œ<G Z]G`ehZ]GFNXG`lWTXGj ŒuV6Ž\$ZXErP$’‹NORhE N

K f

Nb

š

Nd›ADG`Z]G«f

Nb ' –‰sD\dZ€v“lhNOTbP"lDkG$›

P"lDj

`

š

jhGFlD\$T]GUG‡Rhv“t$P$’“GFluT‹ZbP$TOvw\dlDP$’hZ]GFcdvw\$lDN–&@BAhvwNŠk\dlutdGFluTXv“\dl€\d<Z]G`ehZ]GFNXGFluT]P$TXv“\dlrErPQVIP$’wNO\

ŒiGP$ehef’“vwGFj TX\TOADG: 3 0g g\d‘TXADGIB\$Z]jhN>=y ›’“GFT

r ' ¥)›

ADGFZXGrTXADGN`™k\$E e<\dlDG`lWT*\dTXAhGrtoGFkFT]\$Z k\dRflWTXN*TXAhG€\>kFkFRhZOZ]G`lDkGFN \dMNrv“lJC"ŽTXAuRDN

r

Nb

kml

sD\dZIv“lDN_TbP$lDkFGd›

s

–—alDGErPQV TXADG`l \dŒhNXGFZOtoG

TXA}P$T<f

rŒ0 f <

r…¥ Ž\dZ-P"lWVZbP"TXvw\$l}P$’Z]GFcdvw\dlf

i L

'

P$lhj Ž\dZKP"lWV‘\dZ]j

« F›hADGFZXG5 ˆ/<g¥ v“NNXkP$’”P$ZefZ]\WjfRDkFT–Š@BAWRhN›DADGFlf€vwNP$lRhl%6Wlh\Ÿl Z]Gc$vw\dl ›

P NXGFT\dgk\$lDNOTOZbP$v•lWTXN :!f

gª¯ 1ª¡ªD? =& & ?u›‹ADGFZXG

<u<Fg¬P$ZXGcdv“tdGFl

B\dZXjhN›1ªe : p<&@<HM< @<¥G?u›DP"lDjŽª/l

'

›hErPQVrŒ<GKv“luT]G`ZXehZXGFT]GFj P$NgP|šhlfv“T]G-N_VWNOT]G`E

\d9G‡R}P$’•v“TXv“GN&P$lDj v“lDGF‡R}P$’“v•TXv“GNTX\KŒiGNO\d’“tdGj v“l TOADGšhlhv•T]Gj>v“E GFlDN_vw\dl}P"’>tdGkFTX\dZŠNOe}P$kG

' y¤¥)– PaGk`vwjfv•lDcTOADG-ŽGQPdNXP$Œhv•’“v“TV \d&NORDk]A PN_V>N_T]G`EP"lDj kF\dEehRhTXv•lDcP NX\d’•RhTXv“\dl

ADGFlv“T*vwN*ŽGPdNOv•Œh’wGTbP,6dGN TXv•ErGei\d’•VulD\dEv”P$’‹v“l TOADGNOv/.G\dTOADGNOVWNOTXGFE "1NXGFGG$–Àcf–

&Q>k]ADzop,+‡)`– LUG`TXRhZOlhv“lhcTX\ TXADG P$’“coGFŒhZ]P$vwk NOTXZORDkFTORhZ]G \d

+7b›a\dlDGE€PQV NOTbP"T]G P$l

\dŒutWv“\dRDNehZX\de<\oNOv•TXvw\$l –

’ ƒ ¦*)4¦  X ‚ X1¦6VZO\-]Ÿ‘ ¢ 3Ep7N$ $$%O …+le 5p'' = ¥

—KlhG kP$lhlD\dT*N]PQV Er\$Z]GP$Œ<\dRhT%TXADGNOTOZXRDk`TXRhZXGr\dZXGcdv“\dlDN)v“TOAD\dRhT%NXG`TXTOv“lDc NOe<GkFv•šDk

PdNXN_RhE efTXvw\$lDNRhe<\dl ’wP$lDcdRDPdcoGNF–

rF I* "*# '% " '% (F

* ' F

@BADGcd\‡P$’\dTXADG%NXGFkFTXv“\dl v“NT]\NORhehef’“VPIjhGk`vwNOv“\dl \d&ŽGPdN]P$Œfv“’“v•TVP$lhj PINX\d’•RhTXv“\dlT]\

TXADG-Ž\d’•’w\yv“lDcehZ]\dŒf’wGFE –

’ ƒ ¦  ¢ ‘r\-] I$d% >+ K + ,E h E2h

5%E5 ,E ENN jK 2HkI

<H<H—9<¡œª­¬ ª­®erE53 F3%P+ 8

“Œ8 +<

@BAhvwNehZX\dŒh’“GFEžv“NP ZXGF’wP"S>GjtoGFZXNOv“\dl \$TOADG-Ž\d’“’“\Ÿv•lDch›WNX\d’•toGFjv•l &)mVmVPax‡q+0–

(12)

’ ƒ ¦  ¢ ‘r\‡Z 1 I$ % W+ dW,E SEW2h 5% E5

ENN jKp2HOS“

–

<Fd<H—9<¡œª¬3ª­®¯h7 3E

–

/M<,Egp -h 453 3%

+'

“«h KdF3EhIj53%LJ>ND S “ /„,E 3

@BADG lDG` Er\$TXv“t$P$TOvw\dlhN*RhlDjhG`ZY[Z]\$Œh’wG`E nf–²H P$ZXGTX\ coG`T ZOvwj \daTOADG Œ<\dRhlDjfGjflDGFNXN

k\dlDN_TXZ]P$v“luTIehZ]G`tuvw\dRDN_’“V v•E e<\oNOGj\dllDGFTXN›P"lDj TX\ P"’“’w\y k\$lDNOTOZXRDk`TXv“lhc lDG`T]NI”Z]\dE

502H/ h 245,V5j $%`– \dTXv“kG*TOA}P$TKTOADG|RDN_R}P$’4jfv“NOTOv“lDk`TXvw\$l ŒiG`TBGFGFl6NOT]P$T]GIPdN ™

NXGFZOTXv“\dlDN‹P$lDj|Œ<GFADPytuv“\dRhZbP"’}PdNXNOGFZOTXvw\$lDN[1PdjhGFN‹PyBPQV|Ž\dZŠYGFTXZOvhlDG`T]N›‡Ž\dZ&TXADG`v“Z[ErP$Zj6uv•lDc

cdZbP$efADNUP$Z]G)jhG`T]GFZOE v•lhvwN_TXv“k"¨P$lhj G`toGFl k\$™ jhGFTXGFZXEv“lfvwNOTOvwk)`–4@BADG`Z]G`Ž\dZ]G$›}v•l P|lDG`TaN_eiG™

kFv“šhkQP$TOvw\dlP+ 8

“Œ8 +U›dTOADGPdNONXGFZOTXv“\dlDN

“«78 + P$lDj2+ 8

“« ErPQVŒ<GNXGFGFl

Z]GN_eiGFkFTOv“toG`’“VP$NP >7eND-PdNONXG`ZXTXv“\dl P$lDj P ‘PdNXNOGFZXTOvw\dl –‘@BAhG%N_eiGFkFv•šDkQP$TOvw\dlv“N

k\dEeh’wG`T]G*v•;+ +›\dTOADGFZOvwNOGIv•TKvwNKv•lDk\$E eh’“GFTXGd–P l P$luVkQP$NXGd›\dlhGIErPQVPdNONORhE G

TXA}P$TP+ P$lDj + P$Z]G ehZ]G`šfSu™kF’“\oNXGFjP$lDj TOA}P$TP+ 8 +–@BAhGNXGP$NXNORfE ehTOvw\dlhN*jh\ lh\dT

PiGFkFT‹TXAhGUjfGkFv“NOv“\dl efZ]\dŒh’“GFE Œ<GkP$RDNOGUTOADG\deiG`ZbP$TOvw\dl\dikF’“\oNORhZXGŒWV ’“GF”T41Pdk`T]\dZXNŠP$lDj

TXADG|ZXGF’”P"TXvw\$l \d‹v“lhkF’“RhNOvw\$l P$Z]G|ZXGk`RhZ]N_v“toG \$l ZXGcdRf’”P$Zg’”P$lDc$R}PdcoGFN– ˆ ADGFl TXAhG NOe<GkFv²™

šDkQP$TOvw\dl v“N)v•lDk\$E eh’“GFTXGd› TXAhGFZ]GIErPyV G`[email protected]\h›\$lDGI\dZ%NXGFtdGFZ]P$’‘’wP$lDcdRDPdcoGN-\$BlDG`T]N

+~ª”

“ª¯%NORDk]A TXADP$T2+ 8C+Sª/8 ˆ ADGFl TXAhGNOe<GkFv•šDkQP"TXvw\$l vwN|kF\dE ef’wGFTXGd›[v¨–ÀG$–

ADGFl«+ w+ +›DTXAhGFZ]GG`SWvwN_T]NaP$TEr\oN_Ta\$lDGd›Dl}P$E GF’•V +–Sm‘RhTgGFtdGFlv“lTXADP$TakPdNXG$›

Y4ZX\dŒh’“GFE n>–Â{P$lDj Y[Z]\$Œh’wG`E nf–²HP$Z]G€lD\$TIG‡Rhv“t$P$’“GFluTQ– s}\$Z|v“lDN_TbP$lhkGd›ŠGFtdGFZOV šhlhv“TXG

ehRhZ]GlDG`T “ NORDk]ATOA}P$T

“S s

W

&ADPdNBP"lrv“lfšhlhv“TXGZ]GQP$k]A}P$Œhv•’“v“TV|NXGFT›

PdN‘BPdN\dŒhNXGFZOtoGFj€v“lf&)mVmVPKxoq+¨–_QWTXv•’“’ ›oTOADGKkF\dlDkG`ehT]NB\d ŒhZ]P$lDk]ADGFNP$lDjr’“\>\dehN‘\diZ]Gc$Rf™

’”P$Z‹GS>efZ]GNONOv“\dlDN‹ehRhTŠŽ\dZXBP$Z]jIv“lC&)mVmVPKxoq+Dv“’•’hŒiGADG`’“eh”Rf’DŽ\dZ‹NX\d’•tuv“lDc%Y[Z]\dŒf’wGFEmnf–•Hd–

LUGFkQP$’•’TOA}P$TaPCI${.2HI$r\ytoG`Z˜mvwNgP$lG`SWehZXGNONOvw\$lv“l TOADG mg– –¼sB–}N_VWluT]P"S

+

izi

(<?{N;? +s+? +' +? +„ › ADG`Z]GN: –h8gl g7 jK-%J30j{.2HI$\dŒ+ v“N

P$lG`SWehZ]GFNXN_vw\dlrNORhk]A TXADP$TŸ P$efeiGP$Z]Nv“l+–

T¢UWVYX ‚ Xަ6V‘r\z‘=^ ƒŸ„ V … „ V § ¦ ¦*) !a ¢ 3EŒhZ]P$lDk]ADGFN0 #I$kV{.2HI$

+cI F3EŒ\7KS 3E\

+7\KjK Iˆ+ J>D@53%hD#g7 jK

J30j{.2HI$ Œ+ g<¢ 3EGJ>753EG 0F3E0g7 jKOJ30j{.2HI$%G Œ+ I

5j/jK%’w\W\deDNM …+7h\ Kd3EG /OKgjK J>D

+;¡

@BADG%ŒfZbP$lDk]AhGNZ]GN_eiGFkFTOv“toG`’“VTOADG%’“\>\$eDN\d&PIZXGcdRh’wP$ZG`SWehZXGNONOvw\$l Ž\dZOE PdkFTOR}P$’•’“VTB\

,E NXGFTXN–4shZX\dE lD\y\dl ›Ÿ’wG`T(˜N

Ž<jhG`lD\dT]GBP$E|Œhv“cdRD\dRhNO’“VgTXADG‘NXG`T&\dfTXADG‹Z]GFcdRh’”P"Z

G`SWehZ]GFNXN_vw\dlDNU\ytoG`Z<›DP$lDjTXAhG-NXGFTU\dZ]GFcdRh’wP$Z’”P"lDcdR}PdcdGNAhv“k]A TOADGFVjfGFšhlDG$–gNOv•lDc

TXAhv“NP"E|Œhvwc$Rhv“TVd›Ÿ‘G‘T]P,6oGŠTXADG‹’“v•ŒiG`ZXTVKTX\gT]P$’/6-\$hTXADG‹ŒhZ]P$lDk]ADGFN4P$lDj%’w\W\deDN\dDPZ]GFcdRh’”P"Z

’”P$lDc$R}PdcoG)v“TOAD\dRhT)P"lWV G`SWeh’•vwk`v“TUZ]GFŽG`Z]G`lDkG|TX\€v“T]NgG`SWehZXGNXN_vw\dl –h8U’“TOAD\dRDcdA ŒhZbP$lhk]ADGN

(13)

P$lDj’w\W\deDNjh\jhGFe<GFlhj \dlTXADG)k]AD\dNXGFl Z]Gc$Rh’”P$ZGSWehZ]GFNXNOv“\dl ›DTXAhG%v•lDjhGFTXGFZOE v•l}PdkFV ’wG`”T

v“lTXAfvwNPQV€Œ<GQP"Z]NlD\Ik\dlhNXG‡RDG`lDkG$– GSWTUefZ]\de<\oNOv•TXv“\dlŽ\d’“’“\yNBv“EErGFjfv”P"T]GF’•V ”Z]\dE

PaGF –9{>–²HŸ{ P$lDjCPaG` –}nf–¼n>–

’ ƒ ¦*)4¦  X ‚ X1¦6V ‘%\‚ S+˜N

Ž¡ c 2f

i L ' /O17 $ I$$

+ @ K EDG3E„,E _:!f

˜²?

+7j?r5E % $L EkJ

¢ 3E MEM OF3E@ V:!f

²? 9+V? /M3E ji>% g 3EMMEM OF3E

,E :!f

²? ˆ

+7I?Ÿ

 l|e}P$ZOTXvwk`Rh’”P"ZQ›

+7S

+;{ Ž\dZW+=˜N

Ž]›‡PdN

ž%

+7~

žrzž

+7]–

ˆ G

v“’“’}lD\yehZ]\$ei\oNOG-P*jhGFkFv“NOvw\$lehZ]\WkGFjfRhZ]GgŽ\dZY[Z]\dŒf’wGFE!nf–¼{v“lrTXADGKGSWT]GFlhjhGjkQPdNOGK\d

YGFTOZXvlDGFTXNav“TOA'"Žei\oNONOv•Œh’“V)v“lhšhlfv“T]G-ZXGQPdk]A}P"Œhv“’•v“TVNOGFT]NF–GQ>\$’“tuv“lDcITXAfvwNUNOv“Eeh’“GFZŽ\dZXE

\dY4ZX\dŒh’“GFEœnf–•H-v“NBlD\dTe<\dv•lWTO’wGFNXN›WŽ\dZTXAhG-NX\d’•RhTXv“\dl€‘GKehZ]\WjfRDkFGKvwNjfv•Z]Gk`TQ›WAhv“’“GK\dl

TXADGg\dTXADG`Z‘ADP$lDjrTOADGaNO\d’“RhTOvw\dl‘GKNOA}P"’“’}ehZ]\$ei\oNOGg’wP$T]G`Z‘\$l€Ž\dZBY4ZX\dŒh’“GFE nf–²HgZXGF’“v“GNŠ\dl

TXADG)jhGFkFvwN_vw\dl\dTXAhG%kF\ytoGFZOv“lDcIehZX\dŒh’wG`EœŽ\dZ R 8GQ%Q>N–

’ ƒ ¦*)4¦  X ‚ X1¦6V ‘%\ g0j02H D 2HI-,/.10j5/ jK % ˜N

> Žh

pD K5NK* 3EF3E…+'

“«_e 1~,EgpENN jKG2HkIhY“J

’ ƒ ¦ ¦ † sD\dZG`toGFZOV N ›K’wG`Tu+

K + 6N

+7Nd›gADGFZXG

oIvwN€TOADG

k\dEeh’wG`ErG`luT)–T–„ UP$lDj«Nav“NTXADGKZOvwcdAuT‡RD\dTOvwG`lWTŒuVuN2"1AhGFlDkFG>+

K

v“NZ]GFcdRh’”P"Z¡)`–

sDZX\dEY4ZX\de – {>–¼xP"lDjfPaGF – {>–•Hy{>›iTXAhG|ehZ]\dŒf’wGFE +[

“«v“NKNX\d’•t$P$Œh’wG%v“ŠP$lhj\dlh’“V

v“G`SWvwN_T]NŽ\dZUGFtdGFZXVN˜« P šhlhv•T]G)NXG`TU\d&Z]P$TXv“\dl}P$’<Z]Gc$vw\dlDN

K 8

+;BNORhk]A TXADP$T

¦

x+

K eA

f@

K

Yf*uINd–Quv“lDkFGM v“N[šhlhv•T]Gd›oTOADGehZ]\$ei\oN_v“TOvw\dl \$ŒhTbP$v•lDN[v“9\dlhGUkP$l

jhGk`vwjhGIRhe<\dl6TOADGG`SWvwN_T]GFlhkGr\$P$l PdjhGFuRDP$T]G NXGFT\d‘Z]Gc$vw\dlDN Ž\dZPšfS>Gj G`toGFluT

–

G`T

<Hd<G9<Žª­¬ ª­® <

Œ<GPašhlhv•T]GjhG`T]GFZOE v•lhvwN_TXv“kP$RhTX\dErP$T]\dl*Z]GkF\ocdlhv/.Fv•lDc

+o›uv•TXA NXG`T‘\$išhl}P"’}NOTbP"T]GN

N_RDk]ArTOA}P$TŠNX\dE GNOT]P$T]Gv“l

kP$lrŒ<GZ]GPdk]ADGj”Z]\dE

P$luV N_TbP$TXGv•l

–K—alDG%E€PQVTXZ]P$lDNOŽ\$ZXE v•luT]\€P"lG‡Rhv•tdP"’wGFluT@IŽ0g UP"RhT]\dErP$TX\dl

‰

‰<Hd<G ‰< ‰ª­¬3ª­® < ‰ )v“TXA kF\dE e<\dlDG`luT]NIPdN Ž\d’•’w\yN– G`T

‰ Œ<G€TXADGNOGFT\d

e}P$v“ZXN

X<Fr„

465

+1ŠN_RDk]A TOA}P$T ¡ª­¬3ª­®

L

%vwNP|ZXRhl \d P$lDj P$luV€T‘\ N_TbP$TXGN

tWv“NOv•T]Gj|v•lITXAhv“N[ZXRhl P$ZXGjfv<GFZXGFluTQ– G`T„G ‰ Œ<GTXADGNOGFTŠ\d9TXZ]P$lDNOv•TXv“\dlDN

<% K

L ‰ < ‰

NORDk]A TOA}P$T K

L ‰ ¨G P$lDj ‰  IN\dZD ‰ vwNP ’“GF”TI1PdkFTX\dZ\d”– sv“l}P"’“’“V ’wG`T

‰

ª­¬ ª­®

Žª¬3ª­® <UP"lDj ‰

:

X<Fr<

‰ ?

?u–

‰

v“N)P€šhlhv“TXG jhGFTXGFZOE v•lhvwN_TXvwk

P$RhT]\$E€P$TX\dlZ]GFk\oc$lhvo.`v“lDc2+ –

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é de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

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

Unit´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é de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST