On the Reachability Problem in Cryptographic Protocols
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. On the reachability problem in cryptographic protocols Roberto M. Amadio Denis Lugiez. N° 3915 Mars 2000. ISSN 0249-6399. ISRN INRIA/RR--3915--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5) ! "#$%& ' (%# !)* +-,/.103245,7698:;=<?>@A, B0DCE@AFG
(6) HEI/@J03K LNMPOQSRSTVUXW
(7) YZ[R\^]`_$RabZ[c`ZdaeOQSRZ fgehjidRabklmkon(p`q W\jrPrhDgmas`RtgeRuvMwRgeuvMPRyx?z{^|PT~}U k\jgvZjD^tU{^{rP\^^RZ. %w^^
(8) R1Zma[]Ps`ca[MPR^Rg[u\ja[h^xVhjwZ[RugeRuc\^xPs(\j]`aeMwRx3a[uadcVrwg[hDrRgmaeR~Z/h^g%ugec3rwa[h^Dge\^rwMwu rPg[h^a[h`uhDZV
(9) MwuvMg[RchDxZ[cQSQRa[geu#Z[MP\^g[R~sDRc`Z #LNMwR#DRge¡?u\aehDxou\jx¢R#geRsw]PuR~saehuvMwRuv
(10) MPRa[MPRg$\£uRg[ae\jx¤rP\jgv\jR
(11) rwgeh^^gv\jQ¥
(12) MPuvM¦QSh`s`RZSa[MPRrwgehja[h`uh^\jxs=aeMwRZ[rR~uu\ja[h^x¦u\^x geR\DuvM§\^xRg[geh^xPRh^]ZZmae\ja[RN
(13) MwR
(14) x3a[Rge\Dua[xw(
(15) a[Ma[MwR
(16) Rx3geh^xwQSRx3a~ qZ[Z[]wQSxPxw¡aeRrwgexurP\jZ¨ !R$rPg[R~ZmRxDa#\Z[QrPRs`RuZ[h^x=rPg[h`uR~s`]wgeR#h^gaeMwRgeR\DuvMP\j¢P¡adcrwgeh^¢wRQ¥
(17) MPuvM7Z§¢P\^Z[Rs=h^x=\ © Z[c3Q§¢hDujª`geRsw]PuaehDxZ[c`ZdaeRQ «¬3/®e¯)° ±^'² gecr`a[hD^gv\jrwMPurwgehja[h`uh^Z¨^Rg[u\a[h^x"¨Z[cQ)¢?h^u(uh^QSrw]`av\a[h^x" . èÆávÐàéÆêá~³"þ?ß^´~ÿ5×tµ%ü¶v¶v»A·¶v¼A¸¹ë~µm´5òVåæºäæäæ»Jåæµ¼¼ß~¶½/çv»¹º»¶v»A¸¹ë5¾¿å ìd¶v¶eµäæä¸í/bÀ?µÓ¼¹ØïÁd·î¶vÃjºÄAåæÁEäð?»JŸAñeµdÁ%¶vòtîÆû¶vÇvò~ÃÈ5åæ¸Aº5Ém´5ßÊNµEäæ·5Çv½ÛóÃåæȺµd»JËôvÌd¾õvÍåæöë5Ámó
(18) Î%ìdî
(19) ÁdóÃw»JåíºÅD·5·ë~Ï Ð¹ÙåÂ[÷ÑmØïÒvî
(20) EÄÓÊN»JÚ"¼[ÇíçøûdËíÌdÜͳùÁ"´5¶vÔµEë5ÕòúÖ×V»J¸A¼A´5¸ØJµ1ÙÛ¶vÚ%Ü"·~¸AÜÚ´5Ý5Ü`ºÞà»%³ ßåæá¼%5»âJ¶!º »J·5 Jî
(21) µmµ"ìÓµdã¸î!º× ûjäæåæµdºv
(22) E»/¸AØܺvÙÛø?·~ü»AåæÕ?ýdµÃíßËÒvç` Ø. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.
(23) . d ) ¿ !
(24) *"* )*
(25) * %t%# ¿§
(26) * ¿ %#-&
(27)
(28) * hD]PZYa[]s`hDxPZ§\^Ygeu\ja[h^x s`Rrwgeh^rwgeYa[Y~Z)s`RZmY~u]wgea[Y$RasÛª \j]wa[MwRxDaeu¡aeYsP\jxPZ RZrwg[h^a[h`uhDR~Z(ugec3rwa[h^Dge\^rwMw 3]wRZ uR
(29) ZmcQSYaeg[ 3]wR^ "\^Yg[u\ja[h^xuh^xZmZdaeR Zª \^ZeZm]Pg[Rg 3]wR uRg[ae\^xPZ§rwgeh^Dge\^QQSR~ZrP\^ge\^ORZ 3]wNQh`s`YZ[Rx3a#Rrwgehja[h`uh^R$Ra#\oZ[r?Yuu\a[h^x7xwRrR]w^RxDa r\^Z-\DuuY~s`Rg ]wx Yav\a$Rg[geh^xwYaeh^]`aRx¦x3aeRgv\j^ZeZ[\^xDa-\5DRuAª Rxg[hDxwxwRQSRxDa~ x Zm]Prwrh3Z[\^x3a RZ-rwg[xPurP\^]`_ PxPZ¨Nxwh^]PZ-rwg[Y~ZmRx3a[h^xZS]wxwRZ[QSrwRrwgeh`uYsw]wg[Rs`RswYuZ[hDx¤r?h^]Pg#RrPg[hD¢wOQSR sùª \DuuR~Z[Z[¢wa[Y 3]wÛRZma¢P\^Z[YRtZ[]wg
(30) ]wxZ[cZma[OQSR(swRtg[Y~s`]PuaehDxZ[cQ)¢?h^! 3]wRD " ° ~ ® $ # fgehjaehuh^RZNugecr`a[hD^gv\jrwMP! 3]wR~Z¨3^Yg[u\ja[h^xù¨`u\ju]wùZ[cQ)¢?h^! 3]wRD .
(31)
(32)
(33) ! "
(34) #$%& '!( )+*. {. ) % $ 1§ ² gecr`a[hD^gv\jrwMPu$rwg[h^a[h`uhDZSZ[RRQ ^hh`s=u\jxPs`sw\ja[RZhDgh^geQS\^
(35) ^Rg[u\ja[h^x=\^xPs¤ZmR^Rgv\j!gv\jQSR. !h^ge`ZMP\5DR)¢?RRxorwgeh^r?hDZ[Rsh^gVQS\^xwr?hDZeZm¢wRh^geQ#\j\jxs\j]wa[h^Q#\jae\j¢PR\jxP\^c`Z[RZ VlÓxa[MwR~ZmR \^rwrwgehD\DuvMwRZ§\ © rRgmR~uaªRxPugecr`a[h^x¤Z[uvMPRQSR$ZS\^ZeZm]wQSR~s0/$RxPugecr`a[h^x ZS\jx7xidR~uaeDR$]wxua[h^x \^xPsoa[MwR#hDxwcN\5ca[hs`R~ugec3rwa)\jxRxPug[cr`aeRsQSRZeZ[\^^RZta[hxwhyaeMwR-DRc
(36) a[M£
(37) MwuvM¡aN\^Z RxPugecr`a[R~sÛ nxwRu\DZ[Zùhj`\jrwrwgehD\DuvMwRZ?x^h^^R~Z/Zdav\a[R1R_`rwh^gv\a[h^x]PZ[xw
(38) QSh`s`R .ÓuvMwRuvxw!a[R~uvMwxw D]PR2Z 1 ùh#| 3¨ ² 4 k#| 5¨Ekkp`| 6(7à "h¿8 R 1 ùh#| 397¹¨1p`uvMPxwRs`R:g 1 p`uvM| 3;7
(39) \jxPs£Z[RDRgv\jh^a[MwRgeZMP\5^R-]ZmR~s ² p`f a[h Z[r?Ruc-\j]wa[MwRxDaeu\aehDx$rwgehjaehuh^Z¨\jx\jcZ[xwaeMwRQ
(40) a[Ma[MP=R <?>VW QSh`s`R .ÓuvMwRuvxwtaeh3hDA ¿nbaeMwRg Zmae\ja[RNR_`rwh^gv\aehDx§\^rwrwgehD\^uvMPRZE\jgeR¿¢\^Z[Rs§h^xShD^u!rwg[hD^gv\jQSQSxPa[R~uvMwxw 3]wRZ 1ækR\D)| @'7à ELNMwR
(41) Q#\jx ¢?RxPRwah^wa[MwR~ZmR
(42) \^rwrwgehD\^uvMPRZ%ZaeMwRg\j]`aeh^Q#\aehDx§\^xPs)R A-u\^uctx]wxPuh^Rg[xwZ[]w¢`aeRN¢w]PDZEx§rwge)h . aeh`uh^CZ B (D+"DE "h¿RDª Z © Q#\jFx .àGx .AaeMwR .àQSswswRDª%\a[ae\Duvh^xaeMwR RRs`M\jHQ .ÓpwuvMwg[hR~s`RgZ[cQQSRa[geu#DRc rPg[h^a[h`uhDJ IL KZm]\jcD¨¿aeMwRZ[RQSRa[MPhsPZ#Q#\j^RZ[QSrwc3xw£Mcrh^a[MwR~ZmR~Z#h^x7a[MPR¢RMP\5hD]wg#hjVa[MwR Rx3geh^xwQSRx3a
(43)
(44) MwuvM\jgeR(]PZmR~sa[h#¢?h^]wxsa[MwR)Zmae\ja[RZ[rP\^uR\jxPsaeM3]Zb\jh h^ga[MwR)\^rwrwu\aehDxh^ aege\Ds`a[h^xP\^ M N!O*!
(45) '! QShswR .àuvMwR~uvxw§a[R~uvMwxw 3]wRZ q ZmR~uhDxPs=u\DZ[Z)hj\^rwrwgehD\^uvMPRZtgeRR~Z)hDx=DRxwRge\^ .àrw]wgerh3ZmR#rPg[hhjb\DZ[Z[Zdav\jx3a)aeh3hDZ £fE\j]wZmhDx 1 fE\j]P| 6(7w]PZ[RZExPs`]Pua[h^xh^x§a[gv\^uRZ%a[hVh^geQ#\jctrPg[hDR¿rwgehjaeh`uh^`uh^geg[R~ua[xPRZeZ"]PZ[xw(ldZ[\^¢RR^Q P¿hD) . x\jxwRh 1 P!hD#| 397ù]PZmR~ZN\Zmae\ja[R .¹¢P\DZmR~s-\jx\jcZ[Z¿h^ùa[MPRVrPg[h^a[h`uhDZ¨rwg[hxw)x\jge\^xDaNrwgeh^r?Rg[a[RZ¨D
(46) a[M aeMwR(rwgeh3h^JZNZm]w¢ZmR D]PRx3a[c#QSRuvMP\^xw SRsx ² h ? Eqb¡aeMwh^]P^Ma[MwR~ZmRt\jrPrwg[h3\^uvMwR~Z¿\^g[RVxwh^a
(47) \^]`a[hDQ#\a[uj¨ geRuRx3a!h^geT BJZ[RRD¨ 9D+"D Q¨ 1 R|^;| 7UIZ[]w^DRZmaeZ!aeMP\a(uRg[ae\^x\^]`a[MwRx3a[u\aehDxrwgehja[h`uh^Zu\^x¢RQSh`s . RRsxswRusw\^¢wR(gv\jDQSRx3aeZ!hjPgvZd a .¹hDgeswRg!hD^uj q7QSh^geR1geRuRx3a"a[geRxsMP\DZ"¢?RRxa[MPR¿]PZ[R!hjPxP\^QSR .àrP\^ZeZmxwrPg[h`uR~Z[Z%u\^u]wDh^gZma[]Pswc3xwVugec3rwa[)h . Dge\^rwMwu\j]wa[MwRxDaeu\aehDxrwgehja[h`uh^Z "qb¢P\^sw\^xP s VVhDges`hDxMP\5DRrwgeRZ[Rx3a[R~s(a[MwR *W .Óu\^u]w]XZ 1 Yq V(| 697¹¨ \^xoR_a[RxZmh^xhj¿a[Mw[R Z\.Óu\^u]w]Z(
(48) ¡aeMug[cr`aeh^Dge\^rwMwurwgeQSa[^R~Z #fgexurP\jZ(hj
(49) \rwg[h^a[h`uhD\jgeR R_`rwg[R~Z[Z[Rs=x¦\ Z\.àu\ju]w]P]Z .¹^Rxwhjav\a[h^x"¨1
(50) MwRg[R~\^Z§a[MwR\jamae\Duv^Rg§Z#geRrwgeRZ[Rx3a[R~s£QrPua[c=¢c aeMwRrwg[h`uRZeZVu\ju]w]PZxwhjaehDxh^ © Rxgeh^xwQSRxDa~ª )p`Ru]Pg[adcrwg[hDrRgmaeR~Z(\jgeR)QSh`s`RR~sxaeRgeQ#Zh^ uh^x3a[R_a[]P\^ÛR 3]w5\^RxPuR~Z¨xuh^x3aege\DZda!a[hSaeMwRtrwgeRhD]PZN\jrwrPg[h3\^uvMwR~Z lÓxaeMwZrP\jr?Rg~¨w!R(h^h a[MwRu\DZ[Z[u\jù\^rwrwgehD\DuvM$hj2 >h^R\^xPRs ^1\j_h 1 >^=5D'{ 7"
(51) MPRgeR\j"uhD`Q . Q§]wxwu\ja[h^xPZN\jgeRVQR~s`\a[R~s$¢c$\^xMPhDZma[R(Rxg[hDxwQSRx3aN\^xPs¿Rh^geQ)]w\aeRVa[MwR(^Rg[u\a[h^x$ae\DZm \DZ(\geR\DuvMP\j¢P¡adcrwgeh^¢PRQ LNMwZ(ZVaeMwRSrwg[hD¢wRQ hjNs`RaeRgeQSxwxw!\uRgmav\jax Bïxw¡ae9R IVrP\^ge\^R rPg[hD^gv\jQy
(52) MwuvM#QSh`s`RZaeMwRrwgehjaeh`uh^\jxPsSaeMwRbZ[rR~uu\ja[h^x-u\jx#geR\^uvM#\^x#Rgeg[hDxwRhD]PZZmae\aeR
(53) MwR x3a[Rge\Dua[xw
(54) ¡aeMa[MwRtRx3g[hDxwQSRx3a lÓx£rwgeRh^]PZ(!h^geb 1 qbf|D'| 7à¨%!RSMP\5^R-\^geR\Ds`ch^¢ZmRg[DRsa[MP\ja§ZmR^Rge\^EZ[Rug[R~uc\^xPs\j]`aeMwRx3ae . u\aehDxrwgeh^r?Rg[a[RZVu\^x¢?RR_`rwg[R~Z[Z[Rsxoa[MwZge\^QSR!h^ge\^xPsaeMP\a(aeMwRSg[R~\^uvMP\^¢wadcrwgeh^¢PRQ Z swRusw\^¢wRV\^ZeZm]PQxwtxw¡aeRbrwgexPurP\jZ!\jxPs#¢?h^]PxPswZ¿h^xSa[MPRVZ[h^g[aeZ1hjÛa[MPRbQSRZeZ[\^^R~Z1Z[c3x3aeMwRZ[ SRsS¢c aeMwRtRxg[hDxwQSRx3a LNMP\ja!h^ge!\DZth^geQ)]P\ja[Rs x¤\xP\^QR .¹r\^ZeZmxwh^geQ#\jZ[Q¥\jx£a[ha[MwR *W .Óu\ju]P]PZ R hD]wxPs§¡a1sw A-u]P¡aaehVhD¢`ae\^xSZma[geh^xwDRgEs`Rusw\^¢wadcgeRZ[]w¡avZExaeMP\aEgv\jQSR!h^get\jxPs)h^gEaeMwZg[R~\^Z[h^x !RQShDRx a[MwZrP\jr?Rga[h¤\ © PgeZm]a .àh^gvs`RgªhDg[Q#\^c S\ja[h^x
(55) MwRg[R © QSRZeZ[\^^R~Zª!\jgeRQShswRR~s \^Z Dg[hD]wxPs)a[Rg[Q#Zh^ù\(^^RxPgvZm]a .àh^gvs`RgZ[DxP\ae]wgeR^ pae\jxsw\jgvs§a[hh^ZEh^g!ZmcQ§¢hDu
(56) uhDQrP]`ae\ja[h^x#Zm]uvM \DZ
(57) Zmcx3ae\DuaeuV]wxwu\a[h^x\jxs-aeg[RR\j]`aeh^Q#\av\§\^g[RVa[MPRx\5\j\^¢wRD ,. -. Ü%Ü ë'dPáâ è ê.
(58) # ! D%[
(59) )$ @. HJ* ")$
(60). R§Z[Mwh^]Psr?h^x3abh^]`aba[MP\jaba[MPZ\jrwrwgehD\DuvMZxPhjaxPRt <whDgbxPZdav\jxPuR^¨¡aVZa[MwRhDxwRthDh¿R~s ¢cb]wQS\Sx 1 b]w|^|'7%
(61) MwRgeRt\swRusw\^¢wadc$geRZ[]w¡a
(62) hDgNa[MwR(aeMwRtgeR\^uvM\j¢wadc#rwgeh^¢wRQZu\^QSR~s BJ¿Rb
(63) /QRx3a[h^x#x$ZmR~uaehDxtZ[h^QSR
(64) a[R~uvMwxwu\^?s`/RgeRxPuRZ I LNMwRrwgehhjùh^?aeMwZ1geRZ[]wa¿Z¿\Dua[]\jc rPg[R~ZmRxDaeRsx ]wQ#\wª ZQ#\^Zma[Rgª Z(aeMwRZ[Z¨E¡ag[]PxPZthDg)\j¢?h^]`aH@3}rP\^^R~Z\jxPsa§Z 3]wa[R$x^hDDRsÛ n]PgNJ\j]wgeRVa[h]wc]wxPs`RgeZmae\^xPs$a[MwZ
(65) geRZ[]w¡aQSh^a[5\ja[R~s$hD]wg 3]wRZmaNh^g\#Z[QSrwRg\^rwrwgehD\^uvM" LNMwRuhDx3a[ge¢w]wa[h^x h^
(66) a[MwZrP\jr?RgZ)a[horwgeRZ[Rx3a\os`geRua¨1Z[R .Óuh^x3av\jxwRsÛ¨\^xPs£MwhDrR]wc£ . ]wQSxP\aexwrwgehhj!hj
(67) s`Rusw\^¢wadch^g(aeMwR#geR\^uvM\j¢wadcrwgeh^¢wRQ h^gVPxwa[R-rPg[xPurP\^Z B
(68) a[MPh^]`a \DZ[Z[]wQSxw¢hD]wxPswZ)h^xaeMwRZ[h^g[aeZth^Na[MwR-QSR~Z[Ze\jDRZZ[cxDaeMwRZ[c SRs¢coa[MwRRxgeh^xwQSRxDa I nxa[MPZ aeh^rwuj¨%a[MPRgeR-Z§\jxQrPg[R~Z[Z[DR-\jQSh^]PxDah^
(69) ¿hDg[x£rwgeh^Dg[R~Z[Z(
(70) MwuvMZ§u\^g[geR~sh^x£\a§\Du\Ds`RQSu \^xPsoxPsw]PZdaeg[\jgeRZ[R\^geuvMoxZdae¡ae]`a[h^xPZ Rg[RD¨"!R#ZmMwhD]wsQSRx3aehDx\jatR~\^ZmaVaeMwR#h^xPR¢c P¿hDg[R~\jR 1 P!h^gv^9 7w
(71) MwhVrw]wgvZ[]wRZEZ[QS\^g^hD\^Z\jxs)
(72) a[M
(73) Mwh^Qya[MwR!PgvZda\^]`a[MwhDgEMP\^ZMP\Ds§Z[RDRgv\j3x3a[Rg[R~ZdaexP swZeu]PZeZ[hDxPZN\a
(74) a[MPRtR\jgec-Zdav\j^R~Z!hjEh^]wg
(75) geRZ[R\^geuvMù lÓxSaeMwZ1Z[RuaehDxù¨3¿Rx3a[geh`s`]PuR
(76) hD]wgQSh`s`R¹¨3¿RR_`rw\^x#MPh¤Z[rR~uu\ja[h^xPZ¿\jgeR
(77) R_`rwgeRZeZmR~sÛ¨^\^xPsS¿R Zmae\ja[RVa[MPRtg[R~\^uvMP\^¢wadc#rwg[hD¢wRQ Ruh^xPZ[swRgNa[Rg[Q#ZNhDRg
(78) \jxxwPxwa[RZ[DxP\ae]wg[R#/ ! #"%$'& (*),+.-0/1+2/430) 65. LNM]PZ!R1MP\5DR¿\^x)x`Pxwa[R
(79) Z[RaEhjuh^xPZmae\^xDavZ%\^xPstad!hV¢wx\jgec]PxPuaehDxPZ ( hDgRxPuh`s`xwV\jxPs7-0/1+2/43 hDgtrP\jgexw R-Z[Ra48:9<;=> + 52525 +? & .( ) +@-A/1+2/ 3 ) R#]PZ[RSa[MwRShDh
(80) xPxwh^ae\ja[h^x / B +ACD+ 5@525 h^g BïaeRgeQ[I1\jge\^¢wRZ@E#Fyh^gN\)Z[RaNhjù\jge\j¢wRZ@EHGJI<8KF6;h^g¿a[MPRVuh^R~ua[h^x$hjÛPxwa[Ra[Rg[Q#Z hDRLg FE#M +?MONP+ h^g!a[Rg[Q#Z!x7GJI<8PF;QESMER hDgN^Rua[hDgeZ¿hjùaeRgeQ#Z2ET MAU BWV hDg!a[MwRtZ[]w¢PZma[a[]`aehDxh^SM hDg B & Rs`RxPhja[Rt525@
(81) 5 a[YM X[Z%\H8PM?;a[MPRt5\^g[\j¢PR~Z¿h`uu]wgeg[xwxaeMwR(a[Rg[] Q Mv ^ ¬
(82) [ _"± "y¬ ~a ` ¬ lÓxhD]wgQh`s`Rxwh^PQSRZeZ[\^^R~ZÛ¿R1h^hL 1 fE\j]P|D|`9¨ P> f|D'| 7à LNM]PZ"¿R swZma[xw^]PZ[M¢?Rad!RRx¢P\^Z[uVxP\^QSROZ BJ\^^RxDa~ª ZNx\jQSRZ¨`xwh^xuRZ¨`^Rc`Z¨ 525@5 IN\jxPsuh^QSrh3ZmR~s$QSR~Z[Ze\jDRZ LNMPRSZ[Ra(hj!xP\jQSR~cZ b ZtswRPxwR~so\DdZ #"%$ \^xPsaeMwR#ZmRa e ZtswRPxwR~so\DZa[MwRSR\^ZmatZmRaVaeMP\a uh^x3ae\^xfZ b\jxsZ[]PuvMa[MP\j(a / Mhgie \^xPj s MONkg'b l (68PM +QMON:;mgie M +QMONJgje l -nM +?MONo3pgje 5 lÓx#\tZ[QS\^g!\5cD¨j!Rs`RPxPRNa[MwRbZ[Ra bY8:qr;\^ZEaeMwR
(83) xP¡ae\^Z[R 3]wRxusR ut!v \^xPs§a[MwRbZ[Rha ew8:qr; \DZ(a[MPR#R~\^Zma)ZmRaa[MP\ja)uhDxDav\jxP=Z bY8:qr;\^xPsZm]uvMoaeMP\Ra B I1(68:M +?MON:;*gew8:qr;b= M*gxew8nqy;\jxs MONJg'bY8:qr;e¨P\jxT s BJ I1-nM +?MONz3{g|ew8:qr;< M +?MONkgiew8nqy;[ } ° ¬ ¬ fg[h`uRZeZmR~Z!\^g[Rts`RPxwR~s\DZ!h^h(Z / ~. 6W 2\\ M 5 ~ B 5 ~ B ~%~,~1Nu B ML~ @. s(8 B +?M?;<MONf~ @. '- B +ACW3mMc~aT M MON V ~{+?~1N 5. ÖÚÜùÖ
(84).
(85) }.
(86)
(87) ! "
(88) #$%& '!( )+*. .
(89) .
(90) "! #%$. &. &(') .
(91) . +* ,'.-/ . 89. 8:'; <.
(92) +. +* =4> ?A@B,'.-/C <. H . H IJ1'LK0NMPOQ . 6SUTV. 6S(WXIQYE')
(93) KZYE
(94) [MPO\] . 6SBbB. 6S(WXIdce')gf.hRK ce
(95) h[MPOi . l@Um+* RK0n-/@oV)pQ .
(96) +. +* ,'.-/
(97) R ^+* ,'.-/ .
(98) .
(99) +.
(100) EDGF<.
(101) 1!R1#%$
(102) 1!R
(103) #E_` #a$. +* ,')
(104) ,fj-/ .
(105) R . l;pm+* RK0
(106) -/@oVqp\ .
(107) 0"!1#324657.
(108) +k"!R
(109) #a$. @ <.
(110) 1"! #%$. qp\ <. rK
(111) V
(112) #$
(113) 1"!G. %^]Pg[RST/WRs`]Pua[h^xh^xuhDx`PD]wge\ja[h^xPZ fg[h`uR~Z[Z[RZ¨%Z[h^QSRa[QR~Zu\^RsrPg[xPurP\^Z¨swRZeuge¢?RSa[MwR¢RMP\5hD]wgthjNaeMwR$\jDRx3aeZrP\jg[a[urP\aexP aeha[MwRrwg[h^a[h`uhDA LNMwRx`h^geQ#\jx3a[Rg[rwgeRav\aehDx¤ZSaeMwRh^h
(114) xw /rZ#a[MPRrwgehuRZeZS
(115) MwuvM Z aeRgeQSxP\ja[R~sx\ZmhD]wxPsoZdav\a[HR Ep 2\\#ZVaeMwR§rPg[h`uR~Z[Z
(116) MwuvMoZa[Rg[QSxP\aeRsx\jxRg[geh^xPRh^]ZbZmae\aeR E M ~ R\j]P\aeRZhM\^xPsS M%Z!\tQSRZeZ[\^^R^¨DZmRxPswZ¿¡aaehaeMwRbRx3g[hDxwQSRx3a1\jxsS¢R~uh^QSR~hZ ~ Bh^a[MwRg[
(117) Z[R aV5 a[RgeQSx\a[R~Z IES B 5 ~ g[R~uRDRZb\QSRZeZ[\^^R M
(118) g[hDQ aeMwRRxgeh^xwQSRxDaV\jxPs¢R~uh^QSR~Z T MAU BWV ~'E B ~ ug[R~\aeRZ\geRZ[MxP\^QLR \^xPs¢?Ruh^QSRLZ T sU ~'E~,~1N3ZaeMwR!\DZmcxPuvMPg[hDxwh^]PZ"rP\jgv\jRuh^QSr?hDZ[¡aehDx h^p~\^xPrs ~1N:Em 2 B M{~R\j]P\aeRsZ MbBa\^V xPs{ MZt\QSRZeZ[\^^R)¢?Ruh^QSR6Z T MAU BWV ~ BhjaeMwRge
(119) ZmR¡a aeRgeQSxP\ja[R~Z IE @. (68 B +QM?;4MONd~R\j]P\aeR1Z MON\^xPsL MONEZ\QSRZeZ[\^^Rhj¿a[MwR-Z[MP\jr?6R (68:MON NP+QM?; a¢?RuhDQSRZ T MON NzU BaV ~ BJhja[MPRge
(120) Z[RS¡aaeRgeQSxP\ja[R~Z IE .. '- B +ACW31MLd~R5\^]\a[R~1Z M\^xPs¡= MZt\ QSR~Z[Ze\jDRhjÛaeMwRVZ[MP\^r'R -nM N +QM N N 3a!¢?Ruh^QSRZ T M N U B +?M N N UC V ~S&¨ BJhjaeMwRge
(121) Z[Rba!a[RgeQSx\a[R~Z IEJT M M N V ~{+Q~ N R\j]P\aeRZ Mt\^xPs MONN\jxs£¡¢?hjaeM7\^g[R-QSR~Z[Ze\jDRZ(aeMwRx7¡a¢R~uh^QSR~dZ ~ 4 M MONN\jxPs ~1N14 M >MON BJhjaeMwRge
(122) Z[R(¡a
(123) aeRgeQSxP\ja[R~Z I Rs`RxwhjaeRt
(124) ¡aeM Xd8:~;a[MPRZmRaNh^\^g[\j¢wRZ!h`uu]wgeg[xw§g[RRtj x ~S ° _ <` ù` ° _ ùRa ~ ¢?R\rwgeh`uR~Z[Z§\jxPs G¢?R\ZmRah^br?hDZeZm¢wchDrRx aeRgeQSZ R)sw R Pxw R 8P~;\jxs 8nG1;%\DZaeMwRZ[Ra!hjÛxP\jQSR~Za[M\a¿h`uu]wg¿ x ~ \^xP6s G¨Dg[R~Zmr?Rua[^Rc^ Eq ) M " F
(125) )$) ZS\aeg[rwy R 8P~{+A9 +QG1;V
(126) MPRgeTR B I~ Z\ouhDZ[Rs£rPg[h`uR~Z[ZY¨ B I9g ¨ BJ IGZ \xwhDFx .àRQSr`adcPxwa[RZ[]w¢PZ[Ra#h^s e ¨¿\^xPs BF I 8P~; 8nG*; bY8:9<;[ ~ g[Rrwg[R~ZmRx3aeZ§a[MwR rPg[xPurP\^Zª"¢?RMP\5h^]wg~<¨ 9 Z\uh^]wx3aeRg)]ZmR~sa[ho^RxPRgv\& a[R-g[R~ZmM x\jQSRZ¨\jxPs G Zmae\^xPswZ)h^g§a[MwR xwh
(127) Rsw^RVhja[MwRtRx3g[hDxwQSRx3a R\^ZeZm]PQR G xwh^Fx .àRQSr`adc$a[h#\5^hDs-a[MwRtr\jgv\^s`h5_`u\j/Z[¡ae]P\aehDx
(128) MPRgeR(\^xxwrw]wabu\jxPxwhja
(129) ¢?R(Pg[R~s¢R~u\j]ZmRVa[MPRt3xPh
(130) R~s`^RVhj%a[MwRtRx3g[hDxwQSRx3a
(131) ZNRQSr`adc^ ¬ ± %j ° _ lÓxPD]wgeRTD¨ù¿RSs`RPxwR-\g[R~s`]PuaehDxgeR\aehDxh^x!R .¹h^geQSRsuh^x`^]wgv\aehDxPZ )lÓx aeMwRZ[R
(132) ge]wR~Z¨^¿R
(133) \jN\5cZgeRs`]uR!a[MwR
(134) RïaeQShDZmarwg[h`uRZeZE
(135) ¡aeM§aeMwR
(136) rwgehZ[hbaeMP\ar\jgv\jRwuh^QSr?hDZ[¡aehDx Z\^ZeZmh`u\aeDR1\jxsuhDQQ§]`ae\ja[^RD khDg[Rh^Rg~¨!Rav\jDRa[MPR¿¢?Rg[adc(hjP
(137) gea[xw4 ~ \DSZ ~,
(138) MPRxwR^Rg xPRRswRs$a[h-\jrPrwc\§geR
(139) gea[xwSg[]wR^ lÓxaeMwR)hDrRge\ja[h^xP\^"Z[RQ#\jx3a[uZ¨P!R§Z[]wrwr?hDZ[RtaeMP\a(\Sa[MwgeR\DsZVZma[]Puv
(140) MwRxPR^Rgbabaeg[R`Z B INa[h R\j]P\aeR§\#aeRgeQ
(141) MwuvMoZxwh^a(\$QR~Z[Ze\jDRh^Hg BJ Ibaehs`R~ugec3rwa
(142) a[Mo\$xP\jQSRS\-QSRZeZe\j^R)
(143) MwuvMZ xPhja(RxPug[cr`aeRs
(144) a[Moa[MPRDRgecZ[\^QRxP\^QRD¨ùh^g BJ Iba[hrwgehjidR~ua(\$QSRZeZe\j^R§
(145) MwuvMoZVxwhja\rP\jg uN ¡ÛaeMwRuh^x`^]wgv\aehDx g[R~s`]PuR~ZEa[h)a[MwRVuhDx`P^]Pge\ja[h^x uN ¢cS\jrwrPcxwta[MPRbge]wR Rb
(146) gea[R <. Ls. t. vu. w. Rx. y. zo{}|~. . z{|~ 0. ] . zo{}|~. zo{}|~. . y. v. . Ü%Ü ë'dPáâ è ê. . . .
(147) # ! D%[
(148) )$ 3. HJ* ")$
(149). LNMwR]wxua[h^xZ BJZ[cx3a[MwR~ZmZ I§\jxs BJ\^xP\jc`ZmZ I)\jgeRuh3Zm]Pg[Rh^r?Rgv\a[hDgeZ)h^Rg)aeMwRr?h!RgvZmRa h^buhDZ[RsaeRgeQ#ZswRPxwR~s \^Z)h^hZ BAZmQS\jgh^r?Rgv\aeh^gvZMP\5DR$\jg[R~\^s`c¢?RRx¤uhDxPZms`Rg[R~s£x=a[MwR a[Rgv\ae]wgeR^¨wZ[RR^¨ 9D+"D ¨ 1 f\^]P|^|'7I p`c3x3aeMwRZ[(Z /c8nG1;ZNa[MPRVR\DZdabZ[RaNaeMP\abuh^x3ae\^xPZ{G \jxPsZ[]PuvMa[MP\ja M,+QM ) gc8nG*; M4gc8:G1;Q+?M ) gjG db. -nM%+QM 3pg{8nG1; l (68PM,)+?M ) ;mgc8nG*; 5 l. qbxP\jc`ZmZ(/ 8nG1;ZNa[MwRtR\DZdaZ[RaNa[M\abuhDx3ae\jxPZ{G \jxPsZ[]PuvM$aeMP\a. -nM%+QM 3pg
(150) 8nG1; l M <g*8nG*; H+ (68:M%)+QM ) ;mg*8nG*;Q+QM ) g*8:G1; l M 4g
(151) 8nG1; 5. R geRQ#\jgetaeMP\a1!R.AhDg[QSRsSuh^x`PD]wgv\a[h^xZ\jgeRuhDZ[Rs]wxPs`Rg1geRs`]ua[h^x" Rb\jZ[htxwhjaeR
(152) a[MP\ja1x hD]wgbQSh`s`RxPP¨/rwgehuRZeZmR~Zu\^xh^xPcZmRxPsQSRZeZe\j^R~Z BJxwhja(\jge¢w¡aege\^g[c$a[Rg[Q#Z INa[h$a[MwR§Rxgeh^xPQRx3a \^xPs uR^RgeZe\aeMwRRxgeh^xPQRx3aSu\jx¤h^xwc ZmRxPs7QR~Z[Ze\jDRZ)a[ha[MPRrPg[h`uR~Z[Z[RZ =LNMwRhDh
(153) xP rPg[hDrRgmaeR~Z1hDh geh^Q a[MwRtxPs`]Pua[^Rs`RPxwa[h^xhj%a[MwRthDrRge\ja[hDgeZ =\jxPs } ° ° ï ° _ 8%;! G xe {8nG1;?+*8:G1; e D . <y y. . . 8"#;! G xew8nqy; c8:G1;Q+*8nG*;4xew8nqy; )
(154) ' q$# D M &`Q
(155) F& $'('
(156) '* 8&%u; H ' 8nG1;fG & M.+QM ) u-nM,+QM ) 3{g7G & .M%(68:M,+QM ) ;?+QM ) g|G ) F *8nG*;f+* #"%$ ' 8nG1; D. ¬ #` ¬ ± . ° ± ¬ # # n_S` RVr?h^xDaNh^]wa1a[M\akh^xwxP\^]`8_ 1 khDxP|^'| 7Û\^xPs b]wQ#\ 1 b]w|^'| 7ùuh^xPZ[swRg¿\ [Z ^xP\ja[]wgeR
(157) a[MuhDxPZma[ge]Puaeh^gvZ¿Z[]PuvM\^ZNRxugec3rwa[h^x\^xPsrP\jg[xwS\jxPs * N!' * Z[]PuvM\DZ
(158) s`Rug[crF. aehDx#\jxPsSrwgehjidR~uaehDxù "lÓxSaeMwRg1\jrPrwg[h3\^uvMù¨ja[RgeQ#Z\jgeRuhDxPZ[s`Rg[R~s)]PrSa[h(a[MPRR 3]P\^adc)xPs`]PuRsS¢c§\ u\jxwhDxwu\j/aeRgeQgeR
(159) ge¡aexPSZ[c`ZdaeRQ lÓxh^]Pg\jrwrwgehD\DuvMù¨a[MPRs`Rug[cr`aehDx\^xPsrwgehjidRua[h^x]wxPua[h^xPZ \^g[RVMP\^xPs`RsQSrwu¡ae\c /EaeMwRtrwgexPur\jZ
(160) u\jxs`Rug[cr`a\^xPs$rPg[h^idRua
(161) ]PZ[xwa[Mw-R ,/.102Vh^r?Rgv\a[hDgeZ!\jxs aeMwR
(162) Rxg[hDxwQSRx3au\jx#s`R~ugecr`a1\jxPsrwgehjidR~ua1\DuuhDgeswxwa[h(aeMwRbs`RPxwa[h^xShj?a[MPRb\jxP\^c`Z[ZEhDrRge\ja[hDg ) lÓxa[MwZ
(163) N\5c^¨¿Rtu\jx¿hDg[$swgeRua[c-
(164) ¡aeMa[MwR(geRRt\j^R¢wgv\ BA\^ZNx 1 P!h^gv^9 7UI q9ZmR~uh^xssw /RgeRxPuR^¨?uh^xuRgexPZNaeMwR]PZ[Rh^EQSR~Z[Ze\jDR4Z 33xPhjaid]PZmabxP\^QSR5Z 3\^ZRxPugecr`a[h^xDRc`Z làageRQ#\^xPZ¿aeh#¢RZ[RRx
(165) MwRa[MwRg
(166) h^]wg\^rwrwgehD\DuvMu\^xswR\jÛ
(167) a[MaeMwZQhDg[R(DRxwRge\^gv\jQSR¿hDg[/ <xP\jcD¨`¿R(QSRx3aehDx$aeMP\abkhDxwxw\j]`_\Ds`^h`u\a[R~ZaeMwR(]PZ[RVh^"aeg[RR(\^]`a[hDQ#\ae\)a[hSgeRrwgeRZ[Rx3a!a[MwR Z[Ra§hjQSRZeZ[\^^R~Z(a[MP\ja§u\^x ¢?RZ[c3x3aeMwRZ[ SRs¢coa[MwRRxgeh^xwQSRxDa)\^xPsaeh\j¢PZma[gv\^uata[MwRrh3Z[Z[¢wR \^]wR~Za[MP\ja(u\jx¢?Rae\^^Rx¢3cD¨ùZ[\5cD¨Û\jxxwrw]wa(\^g[\j¢wR^ LNMPZ(\jrPrwg[h3\^uvMu\jx¢?Rh^h!Rsxh^]wg gv\jQSR¿hDg[a[hh lÓx¤r\jg[a[u]w\jg~¨1!RrhDx3a#h^]wa#a[MwRhDh
(168) xPrPg[hDrRgmadc£
(169) MwRg[R!RZ[\5caeMP\a$\ \jxP^]P\^^RVhj%Dg[hD]wxPs$a[Rg[Q#ZNZ "N
(170) 9
(171) # a[MwRg[RtZ
(172) \§a[geRRt\j]`aeh^Q#\aeh^xa[MP\jab\^uuRrwaeZNa } ° ° ï ° _6 G >e J*_ "N
(173) 9
(174) T87' _8* "&
(175) ): F 48n9<; R*$* c8nG1; E <y y. 6y. . . ' 8:G1;
(176) )! *8nG*;f * #"%$ ' 8:G1;
(177) ) "N
(178) 9
(179) # 87' O *
(180) '[O*"&
(181) ): F 9D. ÖÚÜùÖ
(182).
(183)
(184)
(185) ! "
(186) #$%& '!( )+* 6. P Rtuh^xZms`Rg
(187) ¢?hja[a[hDQ ]wra[geRRt\j]wa[h^Q#\jae\)h^h
(188) xwa[MwR(xwh^ae\ja[h^xx 1 ² >=V !¨ ² MPr`a
(189) T7¹ $R Z[]wrwr?hDZ[RSa[MP\jaG Z)\^uuRr`aeRs¢caeMwR#aeg[RR-\j]`aeh^Q#\aeh^x ] 8 '+
(190) {+;`B Z[Ra)h^NZmae\ja[R~Z¨
(191) Z[Ra§hj
(192) \^uuRr`aexPZdav\a[R~Z¨'ZmRa)hj
(193) geR
(194) ge¡aexwge]wRZ I kh^geRhDRg(¿R\^ZeZm]wQSRSaeMP\a ZtgeRsw]PuR~s BA\j%Zmae\ja[RZb\jgeR\^uuRZeZm¢wR9I¨Ps`RaeRgeQSxwZma[uj¨\^xPsa[M\aaeMwRgeR)\jgeRtZdav\aeRZNZ[]PuvMa[MP\ja4M ¿ M [¨`h^g a+ 525@5 +A9 Elà Z
(195) \)a[geRRt\j]wa[h^Q#\ja[h^x$a[MwRx¿R(s`RxPhja[R(
(196) a[ M =8&1;aeMwR(\^xw^]P\^^RV¡a geRuh^Dxw SRZ {8nG1; 5 L%hSg[R~uh^Dxwc SR c8nG1;e¨`¿Rts`RPxwR 8 & ! +2 +"k;
(197) MwRg[#R / . s. #$ & i%dg&
(198) & -J+ !3 ! & .(8J+ ?; i%hg&
(199) 5 RZ[Mwh a[M\a=8&'J;f c8nG1;e {8nG1; (= 8 ; 5 làaEZRxwhD]w^M3aa[hVh^¢PZ[Rge^R1a[MP\ja 8 ù; uh^x3ae\^xPZfG=\^xPs§¡aZuh3ZmR~s]wxs`RgErP\^gexP. \^xPsRxPug[cr`aehDxù x M + * *-, .~ LNM]PZLMcg/ 8 ;e ) là< Mpg|G aeMwRi ) là< M,+QM ) g=8&'J;a[MPRxiM * , !h^g + ` LNMwRx . . . -nM,+QM ) 3 * , -0!J+1!3 * , ! 5. LNM]PZ1-:M,+?M ) 3pg&=8&'J;[ ) là< Mpg&=8 ;1\jxPsi g7G a[MwRxiM *-,
(200) 9\^xPs| . * g&
(201) S LNMwRx . *-, (682 + ; *-, (68:M + d; + 5. LNM]PZL(8:M +?d;pg/ 8'J;e 8 k; c8:G1; 5 p]wrPrh3ZmR=M * , !Û RrwgehuRR~s§¢c§xPsw]PuaehDx#h^xa[MwRbRxwjaeM#hj?a[MwRgeRsw]PuaehDx \^xPsuh^xZms`RgNaeMwRt\^ZmaNge]wR(¢Rxw-\^rwrwR~sÛ M dg&
(202) S LNMPRjx MhgjG c8:G1;[ ) M * , * ,
(203) a[ M + *-, -0 + 3 *-, LNMwRx M -:M +?M 3b\jxPsyM *-, h^g = H+-xoR~Z[Z(Zma[RrZ P!c ) xPs`]ua[^R(Mcrh^a[MwR~ZmZW¨ M <gc8nG1;\^xPs$¢c$swRPxw) a[h^xh^EZ[cxDaeMwRZ[ZJ¨ -:M+QM ) 3cg c8nG1;e M g4
(204) S (LNMwRrx M (68:M N +?d;N\jxPrs M N + *-, xR~Z[ZVZma[RrZ ) M + *-, (68 +1 ; *-,
(205) ¡ae3 P!c-xPs`]ua[^RtMcr?hja[MPRZ[Za¨ MONkgc8nG*;\^xPs¢3cs`RPxP¡aehDxh^EZ[cx3a[MwR~Zm{ Z (68:MONP+?d;pgc8:G1;[ ' 8:G1; 5 L%h#g[R~uh^Dxwc SR ' 8nG1;e¨`¿Rts`RPxwR 5 82 '+1
(206) 5L+1;1\^(Z /
(207) 5 $
(208) & !1+1 ) u-1%+ ) 3 \jxP& s dg/
(209) & !1,(6821,+ ?; \jx6s +1g
(210) 65 RZ[Mwh a[M\a =8&5L;f ' 8:G1;]PZmxwSaeMwRtMc3r?hjaeMwRZ[Z!a[MP\ja Zs`Ra[Rg[QSxwZma[ut\jxs$geRs`]uRsù ' 8:G1; 7 8 5 ; 5 RuhDxPZms`RgNa[MwgeRRtu\DZmR~Z¿h^h
(211) xwa[MwRswRPxwa[h^xh^ ' 8nG*;[ x M * dg&
(212) 7
(213) 5N ) Mhg|G a[MwRj . [. . . . . . . . [. Ü%Ü ë'dPáâ è ê. . s. . . . Qs. . .
(214) # ! D%[
(215) )$ 5. HJ* ")$
(216). p]Prwrh3ZmRy-nM%+QM 3'gG) LNMwRx-nM%+QM 3 * g(
(217) S pxPuR Z)s`Ra[RgeQSxPZma[u#!R-MP\5^RSaeMP\a :- M+?M ) 3 * 0- ,+1 ) ) 3 * \jxPs M )*
(218) hDg H+` oLNM3]Z / g$
(219) 5 \^xPs M g =8& 5 ;h^g <H+` p]Prwrh3ZmRd(68:M N +?d;cgiG \^xPsigjG ¿LNMwRx (68:M N +?d; + * 'g
(220) S !p`xPuR Zbs`Ra[RgeQSxPZma[u(¿R M) \5^Ra[MP\ja (68:MONP+?d; * (8,NP+ ; +* g&
(221) \jxPs|MON * ,NA LNM3]Z ,Nkg&
(222) 5¤\jxs|MONJg& 8'5c;[ 8' 5ci; ' 8:G1; 5 p]wrwr?hDZ[RdM * 7g
(223) 5N O<whDh
(224) xP#a[MwRSs`RPxwa[h^xh^-
(225) 5
(226) ¨Û¿Ruh^xZms`Rgba[MwgeRR ). u\^Z[RZ ) là dg
(227) aeMwRxiMpg|G ' 8:G1;[ ) làNh^gZ[h^QSR ,Nn+1,N NA¨{-0#+1,Nz3 * ,N N1\^xPs ,N NLg
(228) S pxPuR ZtgeRs`]uRsù¨ùa[MPRgeR#Z*MON¿Zm]uvMoaeMP\a MON * ,NJ LNM]PZ -:M +QM N 3 * -0#+1 N 3 * N N g
(229) {+ -:M +QMON 3cg|G¨w\jxP| s Mpg ' 8:G1;[ Rth^QSa
(230) a[MwRZ[cQQSRa[geu(u\DZmRD R ,NP+ g(
(231) Sf¨ (682#+ ; +* ,Na[MPRx (68:M + d; * ,NJ¨<(68PM +?d;gG¨S g G)¨%\jxs ) làNh^g)Z[h^QS# Mpg ' 8nG1;e 8nG1; 5 <xP\^c^¨?!R)geRQ#\jge-aeMP\aa[MwRSuhDxPZdaeg[]ua[h^xh^ 5 hDxwc\DswswZbPxP\jZdav\aeRZ LNMwRg[Rh^geR¡a uh^x^Rg[DRZa[h\$P_r?h^x3aVx\$x]wQ§¢Rgthj1a[Rge\ja[h^xPZV
(232) MwuvMoZV¢hD]wxPso¢ca[MwR#u\jgvs`x\j¡adchj¿a[MwR Z[Ra
(233) h^EZmae\ja[RZ¨a[M]PZrwg[hs`xw\^x\^]`a[hDQ#\a[hDxgeRuh^Dxw SxP *8:G1;[ R(a[]wgexxwR_a
(234) aeh§aeMwRs`RPxwa[h^xhja[MwR(geR\DuvMP\j¢w¡adc#rwgeh^¢PRQ ¬ <_ ï ° _+ 8:~{+A9 +QG1; [
(235) R ' M " F
(236) ' $'\D W \\ ~ 2\\7 ~1N ; . . . . . . . . x 1y y. . [. . s. . E. . !
(237) ;* *($
(238) ' 67( ;E` 'Hd F!
(239) ' 679;E
(240) 'D ~ ks ~1N
(241) D _
(242) '+* 2\\ D O*
(243) '[
(244) )4 b
(245) )
(246) 8 ) D
(247) #F
(248) # c. . . s. W \\ % . . N
(249) )!. lÓx§a[MwZrP\jr?Rg~¨5a[MPR Z%a[MwRNrwgeh^¢wRQ h^s`RaeRgeQSxwxwV
(250) MwRaeMwRg\VuhDx`P^]Pge\). aehDx-u\^x-g[R~\^uvMSRgegeh^g~ %LNMwRQSRa[Mwh`sSaeh§Z[rR~uc\)rP\jg[a[u]w\jg1rwg[hDrRgmadc§Z1a[h)rwg[hD^gv\jQ \jx #* 7' rPg[h`uR~Z[ZaeMP\a
(251) wg[R~\^uvMRgeg[hDgER_w\^ua[c
(252) MwRxaeMwR
(253) rwgeh^r?Rg[adcZ3h^\aeRsÛ? <whDgxZdav\jxPuR^¨DZ[]wrwr?hDZ[RN¿R N\jx3aNa[h-Z[r?Ruc-aeMP\ax B ~ a[MPRxP\jQSR B
(254) "g[RQS\^xZ[Rug[Ra Kr?h^xug[R~\aexw§a[MPRxP\jQSR B ¨w¿R Z[rP\5
(255) x\jxh^¢PZ[Rge^RgNrwg[h`uRZeZ!a[MP\jabuvMP\jRxw^R~Z¿a[MwRtRx3g[hDxwQSRx3aNa[h-Z[RxPsMwQ aeMwRtxP\^QR làEa[MwR Rx3geh^xwQSRx3aZ[]PuuRRsPZ¨^a[MwR
(256) hD¢PZmRg[DRgRxPswZx-\jxSRgegeh^xwRh^]PZEZmae\aeR^ ELNM]PZ!Ruh^QSrwRNa[MwRB rPg[h`uR~Z[Z ~ \^Z 8O2C T YC \\#+Qiu~;e pQS\^gbaeRuvMwxP! 3]wR~Zu\jx¢?R\^rwrwR~saeh-a[MPRZ[rR~uu\ja[h^xh^ \^]`B a[MPRx3a[u\jB a[h^x#5 rwB geh^r?Rg[a[V RZ L%h)uvMwR~uv)aeMP\aN\QSRZeZe\j^R
(257) geRuR^R~s§¢c#\trwgexPurP\j ZaeMwRbQSR~Z[Ze\jDR rPg[R3h^]Zmc$Z[Rx3ab¢c\-rwg[xPurP\^ -¨?!Rtx3a[geh`s`]PuR)\jxhD¢PZmRg[DRg Z[]PuvMa[MP\j(a / B I
(258) ¢?RhDg[RZ[RxPswxw aeMwR)QSR~Z[Ze\jDR^¨ QS\^^R~ZbZ[]wg[Ra[MwRQSR~Z[Ze\jDRZbg[R^ZdaeRgeRs
(259) a[M 2¨ B I
(260) ]wr?h^xgeRuRxw-\Zm]Prwrh3Z . R~s`c\^]`a[MwRx3a[utQSRZeZ[\^^R^¨ 3]wRgeRZ 9hDg\-uRg[a[u\ja[h^xùQ¨ B I geR\DuvMwRZRgeg[hDg
(261) ¡ageRuR^RZ
(262) \ uRg[a[u\ja[h^xSgeR 3]wRZma1
(263) MwuvM-s`hRZxwhja¿uh^geg[R~Zmr?h^xs)aeh)\trwgeRh^]PZ[cg[R^ZdaeRgeRsQSRZeZ[\^^RD RbgeRRg ae_h 1 qf|^)| 7ùh^gNaeMwRtrwgeh^^gv\jQSQSxw)h^%aeMwZNama[Rrwgehjaeh`uh^¹ ¬ <_ ï ° _+ C*
(264) )$F
(265) ' ' [ ) M "% F
(266) )$)G* 8:~ Q+A9 0+QG O; E *$H+
(267) ) R 3]w\^RxDa E2
(268) )! ! ) = J*
(269) C $' 8P~,; & 8nG ; 8:~ ) ; & * N
(270) '
(271) )! D . . . . . . x 1y y. zo{}|~ 8:G ) ;. . . . . . . i . ~ ~ ). . . . . . . G G). a. . . z{|U~. s. zo{}|~. . zo{}|~. ÖÚÜùÖ
(272).
(273) |.
(274)
(275) ! "
(276) #$%& '!( )+*. qbx-QSr?h^g[ae\^xDa¿g[RQS\^g[§Z1a[M\a¿\^?g[R~s`]Pua[h^xPZ¢P]`a¿xwrw]`a
(277) \jgeRZma[geh^xwDcuh^xP]wRx3a1]Pr#a[h§R 3]w#. \^RxPuRD } ° ° ï ° _ 8%; ) `
(278) ' $' J*`
(279) 'T2 F67;
(280) )\
(281) )$)&D <y y. . 8"#;! Q ) $ F 2\\ C ) \\ D 8&%u;! Q ) '
(282) DL ` N L' O*) )N E1 ) ` )N
(283) 'DL N )N D 8a;! Q '
(284) Da
(285) ) E - J*O\'
(286) '[ F FE
(287) N + ) )N +
(288) )!L N )N N &)W*O ,N $) ' *!!*D F 7 . . . . . . % fgeh^r?Rg[a[RZ BdT .Ó# I-\^g[RoQSQSRs`\aeRc uvMwRuvDRsÛ fgeh^r?Rg[adc BA#{ I$Z\=swgeRuau\^Z[R ^\ xP\jc`ZmZ "fgeh^r?Rg[adcHB$@IÛZ"\b¢wa%h^xwDRg"¢P]`a%R~\^Z[cbaehuvMwR~uv? ùRa]PZ%QRx3a[h^xtaeMP\a
(289) MwRxr?Rg[h^geQSxP ad!hj8P!;geRsw]PuaehDxPZN¡aQ#\5c-M\jrwr?Rxa[M\a N )N ¢w]`axwh^a N )N )*% '*ù- o) % ) lÓxaeMwZ)ZmR~ua[h^x"¨"!Rx3a[geh`s`]PuR-\ *'C ) $ geRsw]PuaehDxgeR\aehDxù¨ùxP\^QSRco\g[R~s`]Pua[h^xh^xuhDx`P) . ]Pge\ja[h^xPZuhDxDav\jxwxwgeRR\jge\^¢wRZge\^xw^xwoh^RgSuRgmav\jx=x`Pxwa[RZ[RavZShjbQSRZeZe\j^R~Z R
(290) Z[Mwh a[M\a)aeMwZ)geRs`]ua[h^x=Z)Pxwa[Rc¢wgv\jxPuvMPxw¨a[RgeQSx\a[xw¨ © Z[h^]wxPsùª¨\^xPs © uh^QSrwRaeR^ª n]wg swRuZ[hDxrPg[h`uR~s`]wgeRNh^gaeMwRbgeR\DuvMP\j¢P¡adc)rwg[hD¢wRQ
(291) wa[MPRx$\^QhD]wx3aa[hR_`rwhDg[R\^wa[MwRVZmcQ)¢?h^u geRsw]PuaehDxPZNhjE\§DDRxuhDx`P^]Pge\ja[h^xù ¬ <_ ï
(292) )°!_ * N y
(293) )# M & $F8* e F 2 * *
(294) "*T
(295) '*$F
(296) '* `*H
(297) '[ 'W
(298) )G* . x 1y y. . b & F. . . s. . . +. . . . Mhgje
(299) )! MONJg'b M +QMONkgj e R#xwhjaeRa[MP\ja:BIV¡L(68:M +?M N ; Zt\Zm]P¢`a[Rg[Q. l (8:M +QMON:;mgie l -:M +QMONo3pgi e 5 h^!\a[Rg[Q x e a[MPRx M N grb \^xPsa[MP\ja[BJIV Mpgje \jxPs Z
(300) \SZ[]w¢PZma[a[]`aehDx\DZ[Z[h`u\aexw\jge\^¢wRZ¿a[h#RRQRx3aeZNhj e a[MPRx 8:M?;hgje ¬ x<_1yïy ° _ 6 G xe
(301) )! "!$#sb D 8%;% ;G;* Mpgje D HO*
(302) )C
(303) ' MON J*& ]
(304) * *c M M sMON ' M s -:M+?M ) 3
(305) )! ) *) =g H+ E MON J*' ]
(306) * *H M ' M s(68PM,+ d; E g E
(307) '! MON J*'Z]
(308) * * M D 8"#; H=# M & )~ (8nG1; E $F)Z]
(309) # * *2F
(310) ) $* + G E
(311) ;* $F *Q+ W `* MON
(312) )
(313) ' *Z]
(314) * *
(315) [! Mhg|G D 8&%u; M \&+ (*8:G1; E ,Z! ?%N YF
(316) ) $* V G E
(317) ;* + ( 8nG*;f~ ( 8nG1; .(8:M +?d;p%Mpgj e
(318) )! g U 75 . . . . . . Ü%Ü ë'dPáâ è ê. .
(319) T~. # ! D%[
(320) )$. HJ* ")$
(321). 8a;+ [' 7; G e E 6# M & ( 8:G1; E $F ZW*'N*J*H+ G E
(322) '* $FH
(323) ;** V ! `*
(324) ) 'W
(325) )G* G & '
(326) D[J* c;* FD XG
(327) ' "_
(328) '!R& $' :
(329) [\
(330) '[ aD 8 ; H6# M & (
(331) ;* (.M4g e *8A.M ; 'b D ) *:
(332) ' $F ! `* ) #$
(333) [$FO* + &
(334) '[*
(335) ) c
(336) ) &
(337) )&
(338) ';* J*D 8u. ; &
(339) ) ;E M \ 8nG1;
(340) '*O$F
(341) '* X* *N R$F
(342) ' gj~ (
(343) 8:G1; % $* g 8nG1; D RgeRQ#\jge#a[M\a¨?\^ZeZm]PQxw'G Pxwa[RD¨ 8:G11; u\^x¢R)uh^QSrw]`aeRsxa[QR)rwg[hDrhDgmaehDxP\j?aeh#a[MwR x]wQ§¢Rghj
(344) Z[c3Q§¢hDZx G kh^geRhDRg~¨Û¿R#xwh^a[RSaeMwR#h^h
(345) xwrwgeh^r?Rg[a[RZ
(346) MwuvM£u\jx¢R$R\^Z[c . swRgeDRs$g[hDQ a[MwRswRPxwa[h^x{P w ¿¬ % ;#F'* G e E M +QM +QM ). g e E ! # b E gb D ) j 8%;! Mhg ( $F c880.M ;A;f+(8 + (d8A.M ;Q; D 8"#;Mpg ( 8A.M ; D 8&%u; g ( 8 + ( 8nG*;A; g aD 8a;-:M+QM ) 3cg ( 8 + ( 8:G1;A; M g ( 8 + ( 8nG*;A;Q+<+ D 8 ;% ;G;* g aD ) F (68PM +?d;hg ( 8 + ( 8:G1;A; Mcg ( 8 + ( 8nG1;Q; E 8u;% ;G;* g U aD ) F (68PM +?d;hg ( 8 + ( 8:G1;A; (68:M + d;hg + ( 8nG1; D làsG .M + 525@5 +QM e aeMwRx¤¿R\j¢P¢wg[R\ja[R -nM +.- 5@525 +.-nM +?M 33|g ( ¢c£
(347) ge¡aexw G g (§ R
(348) xwh¦uh^QSR!a[hVaeMwRRQSQ#\
(349) MPuvMSZEa[MwR
(350) DRc`Zma[h^xPR¿xa[MwRs`RPxwa[h^xShjÛZ[c3Q§¢hDu!g[R~s`]Pua[h^xù " Ra G R sG [G ¢?R$\xwh^x£s`R~ugeR\DZmxwZmRD ]PRxPuR#hj!Pxwa[R$Z[RavZthj!a[Rg[Q#Ztx e Zm]uvM aeMP\a X[Z%\ 8:G Oi; B + 5@525 + B \^xPsRa ¢?RS\ '%F
(351) ) Z[]w¢PZma[a[]wa[h^xù¨Û
(352) MwRg[RuhDQr\a[¢wadc Z
(353) s`RPxwRs\DZ/ 8 B ;mgc8&*8 8nG ;Q;A; hDg <+ 5@525 +A9 + 8nC!;<C <C gyU B + 5@525 + B 5 D = # G'**
(354) # 8'7 ¿¬ 8%; G <g (
(355) D 8"#; + (
(356) 8 G O; .(8 M +?d;{,(68:M + d;hg + (
(357) ! 8:G A; D P {8%; Rtrwgeh^RHBdT;I¿a[h^DRaeMwRg
(358)
(359) a[Ma[MPRuh^xs`¡aehDx 8 N ; gj~ (
(360) 8 B ; l g 8nG 0; ¡"!$# 5 Rtrwgeh`uRR~s$¢c-xPs`]ua[h^xhDx$aeMwRtrP\jg18 %+ !a; R_`uhD^gv\jrwMwu\^ch^gvs`RgeRsÛ 8L ; lÓxoa[MwZtu\DZmRD¨Ûuh^xs`¡aehDx B@JN IMPh^swZVa[ge\jcD¨ÛZmxPuR0t'&(!)!*# S \jxsaBmT9IbMwh^swZV¢R~u\^]PZmR G G \^xPsRQQ#\#{P {BAI!\^rwrwR~Z 8, + %; RZmMwh geZma§uhDxPs`a[h^x B@JN I Rxwh a[MP\ja g c8&*8 G ;QV; ¢cuhDQr\a[¢wadc h^ \^xPs¤a[M\a G g (
(361) .-/ ¢c¤xPsw]PuaeDRMc3r?hjaeMwRZ[Z BP! c7RQSQ#\ {P { BdT9I¨N¡ah^hZSaeMP\a B g (
(362) - 8 + (
(363) .-0 8 G ;Ae; 1LNMwRgeRt\jgeRbad!h#u\DZmR~Z/ . . . . . . . . . . . . . . . . . . . . ÖÚÜùÖ
(364).
(365) TDT.
(366)
(367) ! "
(368) #$%& '!( )+*. 8:G ; P!c$s`RPxwa[h^x 8:G ;; 8:G O;[ g U :8 G ; LNMwRx¡aQ§]PZda
(369) ¢?R(a[MP\ja4g|~ (
(370) ! 8 G ;e LNMwRgeRt\jgeRVad¿h#Z[]w¢?u\^Z[RZ(/ g|~ (
(371) 8:G ; LNMPRx*~ (
(372) 8nG ;[x~ (
(373) 8nG ;/ZmxPuRmG G \jxPs(aeMwRgeRhDg[Rh g 8:G ;[ & # ! B g|~ (
(374) 8:G ;Z { gj~ (
(375) 8 B ; LNMwRxaeMwRtxPs`]Pua[^R(Mc3r?hjaeMwRZ[Z
(376) \jrwrwRZ R_a!RVrPg[hDRVuh^xPs`a[h^x BdT;I làm gi~ (
(377) 8 G ;a[MwRxad¿h#u\DZmR~Z
(378) u\^x\^g[ZmR#/ gi~ (
(379) 8nG 0; LNMPRx g 8:G O[; &(! # B gj~ (
(380) 8nG A;Z { g|~ (
(381) 8 B ; LNMwRxuh^xs`¡aehDx B N IN\jrPrwRZ 8"#; RtrPg[hDR`BA#I¿a[hD^RaeMwRg
(382)
(383) a[MaeMwRuhDxPs`a[h^x 8& N ; + (
(384) ! 8 B [; .(68 M +?d;p%(8:M +?d;mg + (
(385) 8nG ; ¡"!$# 5 qZ
(386) \j¢?h^RD¨`¿R(rwgeh`uRR~s$¢c-xPs`]ua[h^xhDx$aeMwRtrP\jg18 %+ !a; R_`uhD^gv\jrwMwu\^cSh^gvs`RgeRsù 8<%; ² h^xPsw¡aehDx_B&%JN IEMwhDswZa[ge\jc¢?Ru\j]PZ[RNa[MPRgeRZxwh !$# ^ ² h^xPsw¡aehDx_B¹IMwhDsPZ¢R~u\^]PZmR G LG ~ 8 + ; Rrwgeh^Ruh^xs`¡aehDx B& N I§PgvZda~ p`]wrwr?hDZ[Rj(8:M N +?d;|g + (
(387) 8 B e; Rxwh aeMP\a g U 8:G O[; ¨ B g (
(388) - 8 + (
(389) - 8 G ;Q(; \^xPs 8:G %; 8nG Oe; LNMPRgeRh^geR^¨a§Q§]PZma¢?R$aeMP\a (8:MON:+?d;hg + (
(390) ! 8 G [; 1LNMwRg[Rt\^g[Rad¿h#u\^Z[RZ(/ &c(8:M +?d;pg + (
(391) 8nG ;6(68:MONP+?d; (68 M +?d; LNMPRx¿Rt\jgeRts`h^xPR^ & # ! B gi~ (
(392) 8nG ;Z { (68PMON:+ d;mg + (
(393) 8 B ; V R\^rwrwca[MwRxPsw]PuaeDR$Mcrh^a[MwR~ZmZhDx 8 + O;[ R_a1!R
(394) rwgeh^RNuh^xs`¡aehDx8BAI 2P¿cs`Rxw¡aehDxù¨ + (
(395) 8 G 0N; (68 M + d;c,(68PM +?d;hg + (
(396) 8nG O; nxa[MPRthja[MPRg
(397) MP\^xPsÛ¨PZ[]wrwr?hDZ[R1(68:MON:+?d;hg + (
(398) ! 8 G 0e; LNMwRgeRt\jgeRVad¿h#u\DZmR~Z/ &c(8:M +?d;pg + (
(399) 8nG O;(68PMONP+?d;f(68 M + d; LNMwRx!Rt\jgeR(swh^xwRD ² h^xs`¡aehDx BAIN\^rwrwR~Z &(! # B gj~ (
(400) 8nG ;Z { (68PMONn+ d;hg + (
(401) 8 B ; ¬ x<1_ yïy ° _ *'C ' $ ' M "F
(402) ' $'TJ*
(403) C & 8:~{+QG=+Q('; 8%;~ J*`
(404) O& 9 * *`
(405) 'D G J*
(406) C\']% M N! * + W *O e *N R
(407) ))) *'[ * V ;7
(408) ) $
(409) #* B + 5@525 + B E uX8:~; & X!Z,\#8nG1; B + 5@525 + B D 8"#; ( J*R
(410) ' Rxgeh^xPQRx3a E &
(411) '[
(412) :G;* * &T J* + $FC* F
(413) G B <G ,+ 5@525 + B fG F G G G E G t EX
(414) '! X[Z,\#8:G N; B + 525@5 + B D g. . . . . . . . . . . . . . . . . . . . . . . ¸¹¶!º
(415) äæåæ¶ ¼A¸ÖïjºëN ¸A¼¹´5¼¹åæåæû~¼ ä ¶ ´5jµºd¼A»d¸Aßåæ¸Aäæµ´5µ%5»J¸A ºµd»Aìdî µd½%¼¹¼ùå Ád¸A½" ´ eå ¸A¸¹Ë¡´5Ĺ´Òvµ ½"5»ÊN´5JåæºÁmìàÂjµ´ Ãjd»J~»åæ¸A¼?Aåæåæµd·~ë5¼E¼¹ìdµdå¼ òN¶jµvd½"äæìd¼"åå ¸¹úµ´Nµd ~òt¸ïì¹½Û´¶v¶vº1ûjë5º[ò5ó÷å µ
(416) ^µíµdî
(417) »Aµdµdë¼¹¼à¸Û¶vî
(418) óµdµm¼m¶vßë5½"åæë5´5ó5åæäæðwµEåæåæë
(419) ë¶v¶¿ë
(420) øåæºë»AøJ¶vîä^¶vìdºäëìdº¸Aµë ¸A¸µ å ¸m¸ùß5»Aå µÓ¸?øµd»A»AµÓ¼ùøµm¸¹»Jº ¼ @. 9@. Ü%Ü ë'dPáâ è ê. >. >.
(421) T5. # ! D%[
(422) )$. HJ* ")$
(423). R$xwh^a[RSaeMP\a 8nG @; 8:G ;e lÓxP^]Pg[R$w¨%!R-s`RxwR\¢P\DZmu#Z[cZma[RQ aehgeR
(424) ge¡aeR [Z cQ)¢?h^uuh^x`^]wgv\aehDxPZ qZ-]PZ[]P\^A¨N!R\^ZeZm]wQSRaeMP\a$\^¢hD]wxP. s¤\jge\^¢wR~Z-\jgeRs`ZdaexPua\jxs sw/RgeRx3ageh^Q'a[MwR$g[RR-\jge\^¢wRZ LNMPR-g[]PR~Z)Z[c3QSQSRaeg[uSaeh 8 ;V\^g[R#hDQS¡a[a[Rsù okh^geRhDRg~¨ aeMwRZm]P¢PZdae¡ae]`a[h^x T MAU BWV 8P~{+AG=+?(';tZ#s`RPxwR~s7\DZj8?T MAU BaV ~{+.T MAU BWV G +.T MAU Ba V (';e¨!\^xPs T MAU BWV ('ZVid]PZda-\^x \^¢w¢wgeR\a[h^xs`RxwRsx^]wgeR(xa[MwRZ[rR~u\j"u\^Z[RZ!!RVxPRRsù lÓx s`RxwxP=aeMwRZ[cQ)¢?h^ug[R~s`]Pua[h^xù¨h^]wgZma[gv\a[R^c¤Zaeh7Q#\jx3ae\^x a[MwRuhDxPZdaege\^x3avZ B G + 525@5 + B . G xa[MwR(hDg[Q g[R 3]wgeRs-a[h-\^rwrwc$RQSQ#\#{w @P R)xwhjaeRVxrP\^gmaeu]w\^g¨3aeMP\axa[MwR ge]wRdZ 8 ;!h^g(R 3]P\^a[RZ¿RSs`hxwhjaVh^h a[MwRS]PZ[]P\j]wxwu\a[h^xorwgehuRs`]Pg[RD <wh^gVxPZdav\jxPuR^¨ \^xR 3]P\aehDx T B < -:M+?M ) 3 V Zxwhjabs`geRuaec$RQSxP\aeRs¢c\#Z[]w¢PZma[a[]`aehDx T-nM%+QM ) 3AU B V \^LZ M Q#\5c uh^x3ae\^x=5\^g[\j¢PR~Zhj © Mw^MPRgge\^xw/ª¨ 9D+"#D ¨¿¡aSQ#\5c£uh^x3av\jx=\\jge\j¢wR B
(425) MwhDZ[Ruh^xPZma[gv\jx3a G swRr?RxPswZh^x B [ -lÓxPZma[R\DsÛ¨"!RSrRgmhDg[Q a[MwR$Z[]w¢PZma[a[]wa[h^x T- B N + B N N 3QU B V \^xPsZmhDDR§aeMwR#R 3]P\ja[h^xPZ T N M \^xPs T N NmM
(426) MwRg[R N\^xPs N N\jgeRgeRZ[Mo\jge\j¢wRZ
(427) ¡aeMaeMwR#Z[\^QSR)gv\jxw\DZ m R
(428) B rwgeRVZ[Rx3a#x B Z[RuaehD)ax V @£\rwgeRB uZ[Rs`RB PxP¡aehDx¤h^Vgv\jxP=\jxPs¤\rwgehhjbaeMP\a#aeMwZ#xwh^Gx .àZmaeB \^xPsw\jgvs ]Pxw¡?u\aehDxrPg[h`uR~s`]wgeRts`hRZ!a[Rg[QSxP\aeR^ <Ph^g
(429) aeMwR)Ze\j^R(h^EZ[QSrwuadc^¨P!RuhDxPZ[s`RgNPgvZdarwgeh`uR~Z[Z[R{ Z ~
(430) MwuvMZe\aeZmc-aeMwRthDh
Documents relatifs
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
In the case of a gratuitous trust, the CcQ provides that “[o]nly a person having the qualities to receive by gift or by will at the time his right opens may be the beneficiary of