A Semi-Syntactic Soundness Proof for HM(X)

Texte intégral

(1)A Semi-Syntactic Soundness Proof for HM(X) François Pottier. To cite this version: François Pottier. A Semi-Syntactic Soundness Proof for HM(X). [Research Report] RR-4150, INRIA. 2001. �inria-00072475�. HAL Id: inria-00072475 https://hal.inria.fr/inria-00072475 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A Semi-Syntactic Soundness Proof for HM(X) François Pottier. N° 4150 Mars 2001. ISSN 0249-6399. ISRN INRIA/RR--4150--FR+ENG. THÈME 2. apport de recherche.

(3)

(4)

(5) !"$#%#&')(+* ,.-+/ 20 1436587:9<;>=?@96ABA4;>C:1 DFEHGJI

(6) KL$MONQPJRHSTK'UWVYX.SWZ[STKJU K[\]Z[^_U`ZabUdcfegI$hiVYUWS`j.abK kml V_noK\@pql SWcf\ ^YU r^_sHsiVYlt\uvK'l KJZwEHKJl ZwEHKxR<y"zb{4|_}~MO^Yl cLY}Y}H{M{J

(7) sb^YXYKBc. "J[&HYY DFEHSWc

(8) uvVvZabI

(9) KJR:\XYSWYKBc$^ctVYabRbuvRHKBctc$sHltVgVYV.l$\ EHK X.K[RHKJltS`ZZ[VYRbcf\tlw^_SWR:\fhb^YctKJu\oegs6K SWRvKJltKJRbZK@l ^YIK[VYl

(10) @i@aHlFsHl VgV_dS`ccfKJIS ¡cfegR:\ ^.Z\ SWZY¢\ZV.RbctSWcf\ cqSTR\oVcf\tK[s6c[mDFEHK@£blwco\ cf\tKJs¤SWcQ\ VuvK£bRbK^X.ltV.aHRbu~\oegs6Kctevco\ K[I¦¥dEHKJltKsiVYUWegI

(11) V.ltsbEHSWctI§S`cK¨g\tKJRbctSTV.Rb^_U©¥ª^_R6usbltV&.KST\ c Z[VYl ltKBZ\ RHKJc cFSTR^cfegR:\ ^.Z\ SWZF^4eYDFEHK$ctKJZ[VYRbu«cf\tKJs«SWc]\tV STR:\tKJltsbltK[\@]¬Q2noabuvXYKJIK[R:\ c@^Yc$>cfK[\ c VY noabuvX.K[IK[R:\ cQSWR~\ EHKaHRbuvKJltUWegSTRbXctevco\ K[I¦¥ EHS`ZwE~XYSWYKBc^ UWVYX.SWZJ^_U":SWK[V_siVYUWegI

(12) V.ltsbEHSWctI§^_R6u Z[VYRbcf\tlw^_SWR:\ cJ @YK[lw^_UWU©¥ \tEHK^YsHsHl V.^.ZwE~I^4e~hiKcfKJK[R®^YcIV.ltKIVvuvaHU`^_l\tE6^_R®^¦sHaHl K[UWectegR.\w^YZ\tS`Z ^YsHsHl V.^.ZwEd¯hiKJZ[^YabctKsiVYUWegI

(13) V.ltsbEHSWctI°^_R6u%Z[VYRbcf\tlw^_SWR:\ c

(14) ^_l KuvKB^_UT\S \ E±ctK[sb^Yl ^_\tKJUTe.¥2\tEHKJeuvV¤RHV_\ Z[UTaH\f\tKJl\ EHK~ctaHhvnoKJZ\ltKBuvabZ\tSWVYR²sHl V:VYo³]V&qKJYKJlJ¥qS \ egSWK[UùHc ^®ctUWSTX.E.\ UTe%qKB^_.K[ll KJctaHU \B¯ST\ VYRHUWe KBco\w^_hHUWS`cfEHKBc\oegs6K'ctVYaHRbuHRHKJc c[¥vlw^&\ EHK[lF\ Eb^_R¦ctaHhvnoKJZ\ltKBuvabZ\tSWVYRd¥gV.l]¬Q ´«µ:¶<· ¸$¹ &º"Y ZVYR6co\ l ^YSTR:\fhb^.cfKBu\oegs6K'SWRvK[l K[R6ZKY¥g\oegsiKcfV.aHRbuvRbKJc c. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.

(15) " '"" ªwHª $" )(+* ,.-+/. uHK \o e:

(16) si KJc ¦ pqhb^YKctuvKVvuvZ[K aHIZ[VYK[R:R:\t\qlwZ^_V.SWR:R:\t\tKJSWK[c'R:@\2aHRHKsHl K[abYV_K\ ltuvKKsbZltV.KJltaHl YKJKZ\tKBSWVYco\$RctuvK[aIcfSTevctcfeg\tGJR.I

(17) \w^&K¨vX.S`j.P[abRHKYPJltS`mj:aHUWUTKK uKJcfST\RvZPJV.ltRbKJRbco\ ZS K \ aHP[KuvKQuvK[av¨P[\ ^Ys6KBc[ ª^$sHltKJISTGJltKQZVYR6cfS`co\ K uvP£bRbSTlaHRctevco\ G[IK@uHK]\oegsiKJcct^YRbc&^YltS`^_hHUWKJcJ¥.uHV_\tP u aHRbK$RHVY\tSWVYRK[¨:\ K[RbctSWVYRHRHKJUTUWKuHKsiVYUWegI

(18) V.ltsbEHSWctIKY¥6K\'u KJRsHl VYaH.K[l@UW^ZVYl l KJZ\ STV.R«uvK$¬^ V.R~cfegRv \w^&¨vS`j.abKY ª^'ctKJZ[VYRbuHKP[\ ^Ys6KKBco\u SWR.\ K[l sHl P\tKJl2UTKBc<noaHX.K[IK[R:\ cuvK]¬Q8KJR

(19) \ ^_R:\j:a K[RbctK[IhHUWKJcmuvK noabXYK[IKJR.\wcuH^_R6cqUWKctegcf\tGJIKQctVYabcfWnf^YZKJR:\J¥vZK'j:aHS siK[l I

(20) K[\aHRHK'gSWctSWVYR UWVYX.SWj:aHKuva¦siVYUWe:IV.ltsHEbSWctIK K[\@uvKBc]ZV.R:\tlw^_SWR.\ KJcJ a¦\ V_\ ^YU>¥6U ^_sbsHltVvZwEHK'siK[aH\ \ ltKZ[VYRbctSùvP[l P[KZ[VYIIK'sHUTa6c]IVvuvaHU`^_SWltKj:a aHRHK ^YsHsHl VvZwEHK$sHabltKJI

(21) KJR:\'ctegR:\ ^&¨vS`j:aHKY¯isb^_lwZKj:aHKUTK

(22) siVYUWe:IV.ltsHEbSWctIKK[\UWKJcZ[VYR:\tlw^_SWR:\tKJcctVYR:\Q\tlw^_ST\tPJc ctP[s6^_l P[IK[R:\J¥STU`c

(23) R VYhbc ZaHlwZS`c cfKJR.\sb^YcUW^~sHl K[aH.Ku ^_av\ V_ltPBuvabZ\tSWVYRd2pqK[siK[RbuH^YR:\J¥8K[UWUTK¦ZV.RbuvaHST!\ abR«ltPBcfaHUT\ ^_\]UWP[XYGJltKJIK[R:\sHUWabc¬^YSThbUTK.¯bK[UWUWK$R P\w^_hHUWS \Qj.abK$U`^ZV.ltl KJZ\tSWVYR¦uva«\oegsb^_X.KY¥HK[\@RHV.R«U ^_aH\tV_ l PJuHabZ\ STV.Rd¥vs6V.aHl] Q "¹ B · $ # SWRvP[l K[RbZ[K'uvK\oegs6KB%c hb^YctKQuHKZVYR:\ l ^YSTR:\tKBc[¥vZ[VYl ltKBZ\tSWVYRuva\oegsb^_X.K.

(24)

(25) "!$#%&(')'*#"+-,/.1032 4. . 5 ª8. qD egs6KctVYabRbuvRHKBctcsbltVgV_¬cVYlsHl VYX.l ^YII

(26) SWRHX UW^YRHXYa6^_XYKBcabctab^_UWUTe ¬^_UWU]SWR²VYRHKVY@\oVZ[^_\tKJXYVYl SWKJcJ¯ uHK[RHVY\ ^&\ STV.Rb^_U<V.lcfegR:\ ^.Z\tS`Z_ ]sHsHl V.^YZwEbKJchb^YctKJuVYR¦uvKJRHV_\w^&\tSWVYR6^_UdctK[I^_R:\tS`Z[cgSWK[ \oe:siKJc^.c'sb^Ylf \ SWZ[aHU`^_l@ctK\wc'V_F&^_UWaHKJc76 H¥{8©DegsiKcfV.aHRbuvRHKBctcQ\ EHK[R®cf\ ^_\tKJcQ\ Eb^&\:9<;>=SWIsHUTSWKJc@?9&ACBD?=AB¥8S> KY \ EHKQI

(27) KB^_RHSWRHX

(28) V_ªKJYKJlteK¨vsHl KJc ctSTV.RSWcFÎ

(29) KJI$hiK[lFV_ª\tEHKIKJ^YRHSTRbX$V_S \wc\oe:siKY2DFEHS`cSWcKBco\w^_hHUWSWctEHKBu hge cf\tl abZ\taHlw^_UdSWRbuva6Z\tSWVYR¦V.R\ EHKuvKJltSW&^&\tSWVYRV_E 9;= @R\tEbKV_\ EHK[lEb^YRbu ¥b^YsHsHl V.^.ZwEHKJchb^.cfKBu V.R V.s6KJl ^_\tSWVYRb^YUHcfKJI^_R:\tS`Z[c2a6cfab^YUTUWe

(30) V F<K[l^sHabltKJUTecfegR:\ ^.Z\ SWZFgSWK[²V_<\oegs6KBc[¥.EHS`ZwE^_l KRHV_\X.ST.K[R^_Rge UWVYX.SWZJ^_U.STR:\tKJltsbltK[\ ^&\ STV.C R 6W{JG} 8"r]^&\tEbK[lB¥4\oe:siKFcfV.aHRbuvRHKBctcS`csbltV&.KJu'hge'IKJ^YRbcªVYH\oV@ZV.IsHUTKJIK[R:\ ^Ylte l KJctaHUT\ cJ¥ HI *J#KK*L ¥<EHSWZwE co\w^&\ KJc]\tEb^_\Ql KJuva6Z\tSWVYR~sHltKBcfKJlt.KJcF\oegsiKJcJ¥d^_RbN u M #%KO#K ¥ EHS`ZwE cf\ ^_\tKBc

(31) \tEb^_\RbV K[UWUT>\oegsiKJu%K¨vsHl KJc cfSWVYR%SWccf\tabZw S© K.²Z[VYRbcf\tST\taH\tKJc^ l aHR:\tSWIKKJltl VYlQ PgaHhvnoKBZ\ l KJuHabZ\ STV.RSWcKBco\w^_hHUWSWctEHKBuhgeZVYR6cfSùvK[l SWRHXK[.K[l e

(32) VYl I VYªl KJuvK[¨^YRbuK[¨H^_ISTRbSTRHX

(33) ^_UWU<V_dST\ cs6V:ctctSWhHUTK \oegsiKuvK[l SW4^_\tSWVYRbcJ8DFEHK\oqV^YsHsHl V.^YZwEbKJcqEb^4YKuvS`co\ STRbZ\@^YuH4^YR:\ ^_X.KJcJ¯ R ^_RbusHl IV:VYVYQl KhglteV.hHSWRbabuvcfa6\FZ\t\tEbSWVY^YR²R¦^V.R%ctaH\ohvegnosHKBSWZRH\X®l KJuvuvKJa6ltSWZ&\t^&SWVY\tSWRVYR6sHcl VgSWV_cJo¥qmSWR²¢¡RbuHVYK[aHKJludK[¥H¨vS "s6\tKJEbltSWK'K[RbVYZ[siKYK[¥lw^&I\tSWVYVYl R6K^_UdKJUTctKJK[IIK[^_R:R:\ \t^YS`ltZ[e c SWcZV.IsHUTK[¨ ¥]^ ctSTRbXYUWK~l KJuvK[¨²I^4e±STRg.VYUWYKI^_Rge±UW^YRHXYa6^_XYKZVYR6co\ ltabZ\ c^&\V.RbZK. DFEbK[Rd¥ K¨H^_ISWRHSWRHX]\ EHK\oegs6KuvKJltSW&^&\tSWVYRV_H\ EHKFltKBuvK¨$^YRbuhHaHSWUWuvSWRHX^@\oe:siKFuvK[l ST&^_\tSWVYRV.l8S \wc8ltKBuvabZ\ Z[^YR hiKQûvTS SZ[aHU \\ ^.cf<2DFEgabcJ¥gctaHhvnoKBZ\ltKBuvabZ\ STV.RsHl VgV_¬c\tK[R6u\tV

(34) Eb^4.K]^$ctI^_UWUiRgaHIh6KJlqVY EHKJ^4geZ[^YctKJcJ¥vEHSWUTKuvK[RHVY\ ^_\tSWVYRb^YUdcfV.aHRbuvRHKBctcsHltVgVY¬cK¨vEHSWhHST\@^XYl KJ^_\tK[lFRgaHIh6KJlV_mctI^YUTUWK[l Z[^.cfKBc[d¢¡R's6^_lt\tS`ZaHU`^_lB¥JSWR\tEbKcfegR:\ ^.Z\ SWZm^YsHsHl V.^.ZwEd¥RHV.RvctegR:\ ^&¨g¡uvSWltKBZ\tKBu\oegsHSWRHXl aHUWKJc l KJj:aHSWl K ¬ctVYIK\ STIKBc\tl SWZwgeHqRHVYl I^_UWVS UB^&\tSWVYR UTKJI

(35) I^.c[¥vEHSWUWKY¥HSWR \ EHK'uvK[RbV_\ ^_\tSWVYRb^YU<l ^YIK[VYl i¥.\tEbK[e cfSWIsHUWe^Yubu K[¨:\ l ^

(36) sHl VgV_8Z[^YctKJcJ R \t@VQRZVY\ EHIKsHV_l \tK[EbEbK[K[lRbuEb^_\ RbEbud^_R¥H^_^R uvV.K[s6RbKJV_l \ ^_^_\t\tSWSWVYVYRbRb^Y^YU6UYV.ctK[RHIKYX ^_R:WH\ VYSWlZJc\tEbS`cSWcV_lt KB\t^YKJctRVYRdctSW¥BXYIRHST^_£6RgZ[eQ^YR:sH\tltUWV.e

(37) XYKBlw^Y^_ctISTKJIlST\ RbV

(38) XuHUW^YK£bRHRHXYabK^Y^_XYR6KBu c uvVRHVY\FE6^4YK'ûvK[RHVY\ ^_\tSWVYRb^YU<ctK[I^YR.\ SWZJc[ ¢¡R\tEbSWcFl K[siVYlt\J¥gKctaHX.XYKJcf\^\ EHSTlwu¦^_sHsbltV:^YZwEd¥:EHS`ZwE^_\f\tKJIsv\ c\ Vcf\tl SWYK^h6^_U`^_RbZ[K@hiK\oK[KJR \ EHK\oqV6¥6hge«co\w^_lt\tSWRHXST\tE ^_RV.s6KJl ^_\tSWVYRb^YUctK[I^_R:\tS`Z[cJ¥ihHav\'co\ STUWU8ltST\tSWRHX s6^_lt\@V_2\ EHK

(39) sHltVgVYmSTR~^ UWVYX.SWZJ^_Uico\oegUWKY¥:S> KY2hgeSTR6uvabZ\ STV.RVYR \oegsHSTRbXuvKJltSW&^&\tSWVYR6c[X YKQSWUTUWabcf\tlw^&\tK@VYaHl^_sHsbltV:^YZwEhgeXYSW:SWRHX$^ \oegsiK'cfV.aHRbuvRHKBctcFsbltVgV_VYl@[ Z1\^]¥b^

(40) XYKJRHK[l SWZZ[VYRbcf\tlw^_SWR:\fhb^YctKJu\oegsiKcfevcf\tKJIVYl STX.STR6^_UWUTeuvK[£bRHKBu hgeQuHK[lwcfgeY¥ PvaHVU UJI^_RHR«^_R6@ u Y K[EH:l 6 | 8dVYlF\ EH:K _v¡Z[^YUWZ[aHUWabcST\tE¦UTK[\J¥HEbSWZwE¦KQK[¨g\tK[R6uEbK[l KQST\tE SWIs6KJl ^_\tSWYKQKJ^_\taHl KJcJ Y KhiK[XYSWR hge X.STgSWRHX^ \oegs6K~ctevco\ K[I¦¥Z[^YUTUWKJQu `-Z1ab]¥FEHS`ZwE±KJR&noV&evcctaHhvnoKJZ\ l KJuvabZ\tSWVYR ^_R6u sbltV.XYl KJc c sHl VYsiK[lt\tSWKJcJd¢\"S`c"^ O#% \oegs6Kcfevcf\tKJI³SWR\ EHKFcfKJRbcfK\tEb^_\"ST\ cIVYRHVY\oegs6KBc^YRbu'siVYUWe.\oegsiKJc ^YltK

(41) ^&\ VYIc@\ ^_.K[R~ltV.I I^_\tEHKJI^&\tS`Z[^YU2cfK[\ dc cªSWR~V_\ EHK[lVYlwuHcJ¥6\ EHK[e^_l KRHVY\@\ K[l Ic[¥d^YRbu\ EHK[l K

(42) SWc RbVRHV_\ STV.RV_8\oegsiK$&^_l SW^YhHUWKY" `KJZJ^_abctK'V_2\ EHS`cKB^&\tabltK.¥b\ EHKctevco\ K[I)SWc@YKJlte¦ZUWV.ctK'\tV\tEHK

(43) cfSWIsHUTe: \oegsiKJe u _H¡Z[^_U`ZabUTabcJ¥<K[.K[R«\ EHVYaHX.E«S \'uvVgKJc@Eb^4.Kl ^YRH:K f'siVYUWegIVYl sHEHS`cfI¦ @c^l KJctaHU \B¥b\ EHKcfaHhHnoKJZ\ l KJuHabZ\ STV.R~sHl VgV_S`c'co\ l ^YSTX.E:\fVYl F^_lwC u gST\'SWc^_UWIV.cf\QK[¨H^YZ\ UTe\tEHKc ^_IK

(44) ^.cQS s6V.UTegIVYl sHEHS`cfI F^Yc ^YhbctK[R:\J DFEHKJRd¥mKuvK[£bRHK \tEHK\oegs6Kcfevcf\tK[I K^YltK\ ltabUTe¤SWR.\ K[l KJcf\tKBu®STRª¢\

(45) SWc]h Z1\^]S \ E%^«KJ \ KJZwEHRbSWZJ^_U2K[RbEb^_RbZ[K[IK[R:\wc[i Y KcfEbV&x\tEb^_\S \wcFnoabuvX.K[IK[R:\wcZ[^YRhiKSTR:\ K[l sHltK[\tKBu^.c'cfK[\ c'VY$ `-Z1aj]. klknmoqpGrtsu.

(46) #KG j!JL# z. noa6uvXYKJI

(47) KJR:\ cJqDqe:siKctVYaHRbuHRHKJc cF\tEbK[RVYUWUTV&cKJ^YctSWUTe.DFEHKsHl VgV_"SWc]h:eSTR6uvabZ\ STV.R¦VYR\oegs6K$uHK[l ST&^& \ STV.RbcJDFE:a6c[¥"^YcIK[R:\tSWVYRbKJu¤^_hiV&YK.¥dKJ^.ZwE ZJ^YctK

(48) l KJj:aHSWl KJcQVYRHUWe~KJUTKJIK[R:\ ^Yltel KJ^.cfV.RHSWRHXb¥d^YRbu~RbVYRv ctegR:\ ^&¨g¡uvSWltKBZ\tKBul aHUWKJc'VY"EbSWZwE\tEHKJltK'^YltK|YuvVRbV_\ltKBj:aHSTl K'cfKJsb^_lw^&\ K@RbVYl I^YUTS UJ^_\tSWVYRUTKJI

(49) I^.c[ @.K[lw^_UWU>¥8\ EHK^YsHsHl V.^.ZwE®Eb^Yc$\tEHK«^.uv&^_R:\ ^YXYKVY]K[Rb^YhHUWSTRHX ^ctaHhvnoKBZ\ltKBuvabZ\tSWVYRsHl VgV_]EbK[l K Z[VYRbcf\tlw^_SWR:\ c2^YltK^YhbcfKJR:\q^_Rbu

(50) siVYUWegI

(51) V.ltsbEHSWctI SWc2KBctctK[R:\ SW^YUTUWe$SWRg:S`ctSThHUWKY¥.\tEgabcq^4YV.SWuvSWRHX'ZUWav\t\tK[lBpqVYRv cf\tlw^_SWR:\ c^_R6usiVYUWe:IV.ltsHEbSWctI°^_l K \ EHK[R²uvKB^_UT\ST\tE±SWR±^¤ctKJZV.Rbu ¥mV.lf\ EHVYX.VYRb^YUcf\tKJsdh Y EbK[R±\tEHK V.s6KJl ^_\tSWVYRb^YUcfKJI^_R:\tS`Z[cS`c ctSWI

(52) sbUTK.¥^YcSWR²\tEHS`cltKJs6V.lf\B¥q\ EHK~^.uv&^_R:\ ^YXYK¦V&YKJlûvSWltKBZ\ctegR.\w^YZ\tS`Z sbltVgV_dI^4e

(53) RHV_\FhiK@V.h:gSWVYabcJ]V&qKJYKJlJ¥.qK@h6KJUTSWK[.K]ST\FZJ^_RhiKJZ[VYIKQctSWXYRHST£6Z[^YR:\EHK[RuvKJ^YUTSWRHXST\tE IV.ltK$Z[VYIsHUWK¨¦VYsiK[lw^&\ STV.Rb^_UªctK[I^YR.\ SWZJc[DFEbSWc@SWc]STUWUWabco\ l ^_\tKBu«hge$noV.STR:\@s6^_siK[lwcST\t^ E PgegUW&^_SWR pqVYRv ZwEbVYR'^_Rbu @STR6ZK[R:X\ PvSTIVYRbK\J¥4EHKJltKqK^YsHsHUWe\ EHKqctK[ISTctegR.\w^YZ\tS`Z2^_sHsHl V.^.ZwE]\ V]^ZV.Rbcf\tlw^_SWR.\t©h6^YctKJu \oegsiKcfevcf\tK[I VYl8\tEbKnoV.STRHZJ^_U`ZaHUWab3c 6 &L 86^_R6u\ V^YRSWRvV.ltI^&\ STV.Rv bV&F^4F^_l KY¥BZV.Rbco\ l ^YSTR:\t©hb^.cfKBu\oegs6K ctevco\ K[I V.l Q6 G8©¥bltKBcfsiKJZ\tSWYK[UWeY ]U \ EHVYaHX.E \ EHS`cltKJs6V.lf\S`ccfKJU ¡ZV.R.\w^_SWRHKJud¥cfV.IK¬^YISTUWSW^YltST\oe®ST\tE ][ Z\^] 6 |H ¥ v ¥ d8SWUWUh6K EbK[UWsvaHU©

(54). [ $$ . DFEbK'sHltV.XYlw^_IISTRbXU`^_RHX.ab^_X.KqK^YltK'SWR:\tK[l KJcf\tKBuSTR¦S`c]ZV.ltK' ¥HSWRbZUWabuvSWRHXl KKJltKJRbZKBc[¥vKBj.abSTsHsiKJu ST\tE«^ctI^YUTUT¡co\ K[s¦Z[^_UWUT©hge:©&^YUTaHKQVYsiK[lw^&\ STV.Rb^_U ctK[I^_R:\ SWZJc[ WbVYUWUTV&SWRHX/Y ltSWXYE:\<6 8¥Kl KJcf\tl SWZ\s6V.UTegIVYl sHEHS`ctI°\tV®&^YUTaHKBc[¥ctV^Yc\ V ^4YV.SWu±^YuHYK[lwctKSWRv \ K[lw^YZ\tSWVYR±S \ E%\ EHK«U`^_RHX.ab^_X.K$ cSWIs6KJl ^_\tSWYKKJ^_\taHl KJcJ DFEHS`cctSTIsHUWe ZV.RbctSWcf\ cSWR²ltKJI

(55) V&gSWRHX \tEHK sbltVvuvabZ\tSWVY R ;V;UTK[\ SWR 9STR\tEbKuHK£bRHST\tSWVYRV_KJ&^_UWab^&\ STV.RZV.R:\tK¨g\wc[¥d^YRbu ¥d^YZJZV.l uvSWRHX.UTe.¥ a6cfSWRHi X 9; ; UTK[\ ! STR 9$^.cq\tEHK'V.RHUTeUTKJX.^YU6V.ltI V_8UTK[\]uvK£bRbS \ STV.Rd ªK\ #"%$&"(')')'

(56) l KJctsd+ *,".-/"(')')' lw^_RHX.K$V&YKJl]ûvK[RgaHIK[lw^_hbUTK$ctK\V_mSùvKJR.\ S £6K[lwc¬ltKBcfsdIK[IV.lte UWVvZ[^_\tSWVYRbcw0 m^_UWaHKBc[¥vK[¨gsbltKBctctSTV.RbcF^_RbuK[&^YUTab^_\tSWVYR¦ZV.R.\ K¨g\ c^YltK'uvK[£bRHKBu^.cVYUWUTV&cJ¯ C;V;1*02_34' 9524l K 2 ;2Zt;/*]6237 9:;V;892:29X9;24UWK\ <!SWR 9. ;V;>= ?@2A/9B2: ]RK[¨vsHltKBctctSWVYRS`c'ct^YSWu~\tVhiKZUWV.ctKJuSVF ST\Eb^YcQRHVltKJKSWuvKJR:\tST£bK[lwc[!BG uHVYcoI\ VYZIl C KB]C%¥6\ SWEHc'K[^RJsbCL^YK lf\ SWZM^Y*@U"NOPI^Ys ] l VYI UTVvZJ^&\tSWVYR6cF\tV&^YUTaHKBc[3Y Kl S \ KED VYl\ EHKK[Isv\oe¦cf\tVYl KY¢F*H uHK[RHVY\tKJc2\tEHKcf\tV.ltKEHS`ZwEK¨g\tKJRbuHc C¦^YRbu

(57) I^Ysbc *i\ V+68¢Q* B uvV.I IZ C ] ¥.\tEbK[RRCJS ZI*TO N ]2uvKJRHV_\ KJc \ EHKco\ VYl KEHS`ZwEI^_sbc*2\ VL«^_R6u^_X.ltKJKJcST\tEC®V_\ EHK[l S`cfK. ZVYRH£bXYaHlw^&\ STV.R<A9 UVC¤S`c@^ sb^_SWl@VY ^YRK[¨vsHltKBctctSWVYR $9 ^_Rbu¦^co\ VYl K+C8mDFEHK[Rd¥H\tEHKctK[I^_R:\ SWZJcqS`cX.ST.K[Rh:e ZW_ #' 9X] 3UVC O X9 = YUV3?IUVC [Z UWK\\STR A9 UVC O X9 = YUV3?IUVC ,] ltK[:3UVC O *ÛVC_K MZ *QNO` ] #%' ; J*V3UVC O 3UVCaS IZ *#NO` ] G TO 7b*UVC O CEMZ *.] UAC #%' R= )9 ?IUVC O R= :9 c?IUVCQc EHKJR V9 UAC<O d9 ceUVCQc b f . Xk. g[h Tgei.

(58)

(59) "!$#%&(')'*#"+-,/.1032 . ª . |. .

(60)

(61) DFEbK]\oegsiKctevco\ K[I `bZ1aj]qS`csb^_lw^_IK\ K[l SVUJKJuhgeâHRHSWYK[lwctKja VYctV_¡Z[^_UWUWKJu iL

(62) M * ¥H^_U`cfV

(63) gRHV&R ^.coX.ltV.aHRbu\oe:siKJcQSWR\tEHK'UWST\tK[lw^&\ aHl KY J

(64) !#" ¹%$ '&)( * Z1a ""* ] HK7 M #L ]e]

(65) <#K#% C,+.- ] *i0/J H

(66) 213/J#%7 ]e] IV.RHV_\oegsiKJc + ( * O HKN^ ] ' *LN' #% a54â a /"36/76q81:9 O 1<; * 1 9c O 1 c; M ] .1 9c * 1:9 =1<; * 1 c; + ( ltK[ H ] ' ' #K a a /)06<76q>1 l K* 1 c ltK[ M ] 1 1 c +@? #K0A #%B1:9 O 1<; * 1 l K C1 ltK[D* 1:9 O 1<; CH '* ] '*#:

(67) E1 " 1:9 " 1<; B a + GF HJILK.):M f]N hbRb^.uvcfS`KJZ3l \tEbKJctK^Yc cfaHIsv\ STV.RbcJ¥bKuvK£bRbK$^ctSTIsHUWK'\oegs6Kcfevcf\tK[I¦¥iZ[^_UWUWKJuN`-Z1aj]¥bEHKJltK`³co\w^_RbubcFVYl OZ 1 µQBNPD$a\" #[^" X] ¹%@B$R S - '.S _* i13`+aSH b"(' Ca 3/ CT6H aHZ[sgVYRHK ^Yl O ug*¡ZUW*V.#KctKJu K 'H

(68) U SW@EV T]

(69) @6 'BaS "/ X SU+ H

(70) YXSYJ/ O *µQPD$ " @#" H¹%

(71) f$Jegb/ ( #%>Kc ]e] H Tsi6 VYUWe:*\oe: si(KJ'7c + ]e] t M

(72) d$/ M V #% t ] G Ht' a +)*- ] 73/ ] V_\tK]\tEb^_\)'* ¥3O°^YRbul K VYsiK[lw^&\ KVYR@aXWbaHlt\tEHKJltIVYl KY¥ c SWcuvK[£bRHKJuVYR\ VYsV_ a:cY\ EHK[l K]S`cmRHV F^4e\tV

(73) SWR&noKJZ\ c hb^.ZwSTR:\ V a$"¢¡RV_\ EHK[lVYlwuHcJ¥Y\ EHS`csHl KJctK[R:\ ^_\tSWVYR^YUTUWV&c #%h

(74) i siVYUWegIVYl sHEHS`cfI V.RHUWe c6STIsHl KJuHSWZJ^&\tSWYK'siVYUWegIVYl sHEHS`cfIS`cl aHUWKJu¦V.av\JFDFEHS`cSWc]STR«.K[KJsHSTRbXS \ E¦\tEHK$]STR6uvUTKJe:«SWUWRHK[l ¬^YISTUWeV_"\oegs6Kctevco\ K[Ic-6 zH¥6|&8 OQµ PD$ "# " %¹ $j M ]

(75) L

(76) M @^k& #%. 7J C M # ] 7 MM O' #K * l$*# mcB+on3Tk* ^k& #% 7%p>/X@ * l$*# M ]

(77)

(78) M qer/ ] %p = NO e ? '*#J76ql' _Vs6 36 i M feN@O#% *CVE 76mpD76q#tVE u+v?7EVE# p = NO 1 ? '*#Bp = NO X Z 13` ? + On3TµQkPD*$ "#" ¹%$x^ k&w #% 77iL y5#

(79) / ^ k&] & #%K7 * $ : :M i#L ]

(80) 7M a M13M / ] O-z 'y #%= n*TNO i1 ? 7#

(81) ] &'*K#jT6ql' * La + Vs60 6<i M * C 1: O#% E VE 7 6_y 7 6qt# VE u + | Z1ab] /G l)K A# M ] [t'/ M ]

(82)

(83) M O^ µQk&PD #%$ "#i" ¹%*$J C { p/ noabiuHXY*K[iIKJ#R.

(84) Q\ * ~ kd 7#%6q i

(85) G* f *} p'*" #:y 1 9: v; 13er/)/p #T ykG H ] : 1 6O7 7 6q + # ] JOT k y5 2/ llO#%b Ef M ir#%+@*K? . VE#9 p " y i9; eiL

(86) M' o 13/UiVE #]

(87) * 0' / ]e] " 9; ] | Z1aj] ^G l) Geh# &M ] ('e OµQPD$ "#" ¹%$ ZV.Rv£bXYabl ^_\tSWVYRnoabuvXYKJIK[R:\ T 6e

(88) G* M ]

(89)

(90) M -*~ kd #%i* % p/X: u llO#% A9 UVC 7

(91) M a 13/VE# = p A9 UVC<; 13/ #T kH ] Oi7 6q:# ] "OT kGe Y llO#%f i'+ klknmoqpGrtsu.

(92) #KG j!JL# . u" ~$. " µ B ¹ . 1 B p ZI ] p " y <; 1. p

(93) " y *X; y MZ *]gl K. . p = ON 1 ?^" y 9:; 1 c p " y _W#' 9; 1 O 1 c.

(94) . "!#

(95) $. p " y ; ; 1 ltK[TO 1 O 1. p " y q7 ; 1 l K#O 1. p = p NO " ye ?^" yC; e 9; 1 p " y UWK\8STRN9; 1.

(96) (*). %$P

(97) #" %$. / ¹ 10 ª&v ¹ ,+2)$ $ uvV.INZ 3 *lB¦uHVYINZIC ]. y ] uHVYINZIC ] DB" y CEZI*L]3; y ZI*L] y C. p

(98) " y l K ; 1 O 1 l K p " p yy 9 ; ; & 1'& 1'O & 1 " 9 ; p " y 9 ; 9 & ; 1.

(99) #%%. p " y 9; 1 1 * 1 c p " y 9; 1 c. ,+-.. p " y :9 ; 1 y p 9AUVC^; 1.

(100) ,45 .. C. W"STX.aHltK{.¯8DFEbKcfevcf\tK[I `bZaj] `-Z1ab]<SWcd\tEHKcfSWIsHUWe.©\oegs6KBu _v¡Z[^YUWZ[aHUWabcdST\tEctaHhv\oegsHSWRHXb¥4K[¨:\ K[RbuHKJuST\tElw^_RH: f2s6V.UTegIVYl sHEHS`ctI r K[I^_l &^_hHUWeY¥Js6V.UTegIVYl sHEHS`cfI SWcuvKJ^YU \S \ E'STR^YR bf q ]gF^4eYd¢¡R6uvK[KBu ¥B^s6V.UTe:\oegs6KSWc RbV_\tEbSTRHX hbav\$\ EHKctK\$VYS \wcIVYRbV_\oegs6K STRbcf\ ^YRbZKBc[ &^_UWaHKI^4ehiK X.ST.K[R®^«siVYUWe:\oe:siK e ST]^_Rbu¤V.RHUTe ST ST\E6^YcK[YKJlte IVYRHVY\oegs6K 1 STR e ¬ltabUTK *) cFZV.R:.K[lwcfKJUTe.¥ST\ EHK hHSWRbuvSWRHX ; e VvZ[Z[aHl c$STR \tEHK KJRg:SWl VYRHIK[R:\B¥m\tEbK[\ R S`c^Yc cfabI

(101) KBu%\tV®Eb^4.KKJYKJlte®IVYRbV_\oegs6K 1 SWR e l aHUWK 67 ¢\ ctK[K[Ic uHTS SZabU \\ VZVYR6ZK[SWYK^

(102) IVYl Kcf\tlw^_SWXYE:\tVYl ^Yl u

(103) \ ltKB^&\tIKJR.\B. G. MEI.9M

(104) I. 8:9. ¢\'S`cZUWKJ^_lQ\ Eb^&\^ZUWV.ctKJuK[¨vsHltKBctctSWVYRe9S`cQqKJUTUT©\oe:siKJu~STR¤ctVYIKKJRg:SWl VYRHIK[R:\S F^_RbuVYRbUTe«STqST\'SWc K[UWUT>\oegsiKJuSWRK[.K[l eKJRg:SWl VYRHIK[R:\B¢¡R ctabZwE ^$Z[^YctKY¥:K]l S \ K y 9:; 1 l KJctsd 9VUACe; 1 2SWRbco\ KJ^.u VY p " y 9; 1 ¬ltKBcfsª po 9AUVC^; 1 qV.lcfV.I

(105) K¬VYlFVYl^YUTU p ;qµ R=<>

(106) "Ju "¬

(107) u " %¹ $@? -1' @ ] G d/j76q p = NO e ?^" y 9N; 1C @y /; ee M ]

(108). p " y 9X= YUV3? ; 1+ !3#%dt'+ èSWRbuva6Z\tSWVYR¦V.R \ EHKuvK[l SW4^_\tSWVYRV_ p = NO e ?" y 9 ; 1 . Xk. g[h Tgei.

(109)

(110) "!$#%&(')'*#"+-,/.1032. p^.cfK

(111) 6 ¢39 SWc¥ª\ EHK[R p = NO e ?" y 9N; 1 SWI

(112) sbUTSWKJc 1 B e NQSWYK[R y /; e ¥d\tEbSWc egSWK[UùHc y ; 1 ¥6EHS`ZwE«I^4eh6K$ltKB^Yu p " y 9X= YUV3? ; 1 ¢)9R G ¥H\ EHK[R¦\ EHKl KJctaHU \Qco\ K[IcFl VYI p = pNO ^.cfeK ?Z9]F p 8ZDF9G]FEH^YKJRdRbu¥9F9 I$= 3Uab:cf3\2?Qh6 K9:V_6\tEHKqVYl I _W$ ' 9:c¬¥.^_Rbu 1 SWc"VYH\tEHKV.ltI 1:9 O 1<; "DFEbKqsHl K[IS`cfK " S`c p = NO e ? = $5ON 1:9 ?^" y 9dc ; 1<; 2¢\S`cFKJ^.cfe\ VZwEHKJZw\ Eb^&\F\oegsHSWRHXQnoabuvX.K[IK[R:\ c]^_l KQcf\ ^YhHUTKaHR6uvK[l p ¡= $5ZVYNO Rg.K[1:9lw?cf=SWVYRdNO C Pge ?©V6 ¥ªY 'KF U>Z[VbVY XbRbWZ[¥ªUTa6uvKKqhge$STUWUq^YsH^.ctsHctUWaHegISTRH5KX@\t$\EbK G STRbuHabZDF\ EHSTV.KJRRd¥ Egegp s6= VY\tNO EHKBcfe S`c? = $/VYUWNO UTV&1:KJ9 u$?qZ[hgVYe$SWRb^_ZRSùvSTRbKJccf\ ^YRbST\tZE K VY

(113) #2 p^.cfK

(114) (*) PvSTISWUW^YlJ p^.cfKBc 7 ¥

(115)

(116) ¥ "# ¥

(117) ! $ ¥ #%% ¥ ,+-. 2¢¡I

(118) IKBuvSW^_\tK. ;qµ b <>

(119) µ _ µ º

(120) "_u " ~¹ $@? ( 9AUVC O 9 c UAC c /BVs6*#K 9 / 9 c #%C ] G r+C- iEy . 9; 1j Cy C + 6qM / T 6*#% b f ji*i#

(121) 7*~kd #%i* zy c / Vs6 36N.f *Gay5/l 36@T6 y c :9 c>; 1 Yy c CQc + !3#%dt' + èSWRbuvabZ\tSWVYR V.R\tEbKQuvKJltSW&^&\ STV.RV_l9 O 9dc>EY K@^Yc ctaHIKY¥g' U© Vb XbW¥Y\ Eb^&\q\tEHKuvK[l SW4^_\tSWVYRVY y 9; 1 uvVgKJcFRHVY\K[RbuST\tE«^_R¦SWRbco\w^_RbZ[KV_

(122) ,+2- p^.cfK[Z[mDFEHKJRd¥q9 SWcFVYd\tEbK@V.ltI ZW_ #'>X] 6¥bEHSTUWK 9:c6S`c0= YUV3?8DFEbKuHK[l ST&^&\ STV.R VY y 9:; 1 Iabcf\K[Rbu±ST\tE ^_R±SWRbco\w^_RbZ[K«V_ltabUTK

(123) #%% ¥FEHV.ctK«sHl K[IS`cfKBc^_l K y 3_ 4' ; 1'& O 1 ^_R6u y N; 1'& ¥bV.l@ctVYIK 1'& B<a DFEHKVYl I

(124) KJl cuvKJltSW&^&\ STV.R«I$abcf\]K[R6u«S \ E^_R«SWRbcf\ ^_R6ZKVY # ¥ siV.c ctSThHUWeV.UTUWV&KJu

(125) hge^RgaHI$hiK[lqV_<STR6co\w^_RbZ[KJc2VY

(126) ,+2- ]cq^ltKBcfabU \B¥_\tEbK[l KI$abcf\K[¨gS`cf\ 1 c& " 1 c cfa6ZwE \ Eb^&\<NO 1 c& " y e; 1 cª^_Rbu 1 c& O 1 c* 1 & O 1 DFEHS`cegSWK[UùHc 1 & * 1 c& ^_Rbu 1 c* 1 ` e ,+-. ¥b\tEHK V.ltIKJl]SWI

(127) sbUTSWKJc y <; 1 c& ¥ ^_R6u¦\tEHKUW^_\f\ K[lQSTIsHUWSTKBc 9NO 1 c& " y /; 1 QDFEHK[Rª¥iUWK[II^{$e:SWK[UùHc y 0= 3U:W? ; 1 K¦,] DFEHKJRd¥ 9 S`cV_m\ EHK

(128) VYl I UTK[\>SWR "¥ EbSTUWKid9 c8S`c 0= 3U:W?©

(129) DFEHKuvK[l ST&^_\tSWVYR~VY yNO p e ^.9 " cfy ; 1 Iabcf\K[R6uST\tE ^YRSTR6co\w^_RbZ[K V_l aHUWK

(130) () ¥EHV.ctKsHl K[IS`cfKBc$^_l K y ; e ^_R6u <; 1 ¥vVYlctVYIK e B c ªK[II^{'egSWK[UùHc y 0= YUV3? ; 1 p^.cfKQ #%' [DFEbK[Rd¥F9 S`cªVYH\tEbKV.ltI Z l KV]¥_EbSTUWK :9 c:SWc0*6^_RbuCQcgS`c@C K MZ *#NO]8DFEHKuHK[l ST&^&\ STV.R VY y 9; 1 I$abcf\K[R6u¦S \ E~^_R¦SWRbco\w^_RbZ[K'V_2l aHUTK #%% ¥6EHV.ctK'sHl K[IS`cfKBc^_l K y l KE; 1 c&O 1 ^YRbu y ; 1 c>¥iVYlcfV.IK 1 cEB a ]DFEHKVYl IK[l]Iabcf\@hiK

(131) ^Z[VYRbctKJj:aHKJRbZKV_

(132) ^_Rbu

(133) ,+2- ¥ 1hictcVKJc ZJlt\ K[^_EHabK[ct*l KLK$1 CaI

(134) abK cf @\@MZ K* K£b¨vNO RbS`coK \y cf] V.cSWIc K uvK1 y £bc c)Rb=B * KJu NOa ¥ *5cf1 a6c BGc Zw?©E«iuH`\tVYEbI KJ^_ZJIZ\ ^_C ab1 $] cctc4K EHO VYy UùH1 cJc c[eltK[CgP 8VbEb* ¥ VYy U`1 uHc4c[cO ¥Kq¨g1 \tKKJRbEb¬DFuH^4.c EbK

(135) SWy c@uHSTVY<IINsHHW Z UWaHy SWKJlt\tc +] EH1 KJ c>ltI* uvV.VY1 ltIc c8K.¥^_MZ C R6hg]ue c

(136) 7 ¥ y c *E; 1 c cl K2EHV.UWubc6c h:e +2-. ¥b\ EHSWc]egSTKJUWuHc y c * ; 1 %^Ycf\tUWeY¥Hhge ,+-. ¥ y ; 1 cc EbVYUùHc[ ` KJZJ^_abctKH* Z[^_RbRHV_\^YsHs6KB^_l2l K[KSWR56¥.\tEbSWcSTIsHUWSTKBc y c C; 1 c cgc cfSWISTU`^_l UTe.¥_KEb^4YK y c C8 ¢\V.UTUWV&cq\tEb^_\ y c CRK MZ *QNO ] p^.cfK¤ KTO J²DFEHK[Rª¥$¦ 9 S`cV_@\tEHKVYl I Zt; /*:]¥EHSTUWK :9 cFSWc5^YRbu CQcSWc5C S MZ *BON ] DFEbK

(137) uvKJltSW&^&\ STV.RV_ y 9C; 1 Iabcf\QKJRbuST\tE ^_RSWRbcf\ ^_R6ZK

(138) V_ml aHUTK

(139) %

(140) % ¥ EHV.ctK$sbltKJI

(141) S`ctKJcQ^_l K y Z(y; /* ] ; 1<; O1 1 ^Y1 Rb& u y y h; 1<; 1 V.l$cfV.IK 1<; 1BQ& a 1 ` e ,+-. ^YRbu 1 & "1<%; % ¥\ EH1 KV.ltIK[l egSWK[UùHc ; ; O ^_Rbu *3; ¥iVYlctVYIK " B a cfabZwE\tEb^_\ * O ^Ycf\tUWeY¥ hge ,+-. ^_R6u

(142) ¥bKuvKJuHabZK\ Eb^&\ 1 ltK[TO 1 O 1 * 1 O 1'& EHV.UWubcFVYlctVYIK 1 B a 1` ; e¤* uvKJ1Z[ VY*Isi1 V.7ct`STRHe XctaH +2hv-.\oeg sH¥ SWRH\tEbXKJctl K

(143) K[U`^&eg\ SWK[STV.UùRbctyEHSTs6c' ST* Rg.; VY1UW :ltSWK[RHX«^Y^_Rbl u l V&y \o egs6^;KBc[¥81 7K` VYhHe \ ^_

(144) SWR 1 ¥ * 1+2-.l K ^_^_R6R6uu klknmoqpGrtsu.

(145) #KG j!JL# . SWRg&^_l SW^YRbZKQV_"\tEHK$ltK[\oegsiKZVYR6co\ ltabZ\tV.lJ¥g\ EHKVYl IK[lSWI

(146) sbUTSWKJc y ZI*] 1 ]c^l KJctaHUT\J¥v\ EHK'U`^&\f\ K[l X.ST.KJc y CaS ZM*#NO ] ª^.co\ UTe.¥vh:e +2-. ¥ y @; 1 EHV.UWuHcJ p^.cfKQ #%' DFEbK[Rd¥ 9S`cVYv\tEHKVYl I Z,7 *]¥4EHSWUW$K 9 c SW@c CEZI*L]8DFEHKquvKJltSW&^&\ STV.RV_ y 9 ; 1 Iabco\ KJRbu«ST\tE ^_RSWRbcf\ ^_R6ZK$VYmltabUTK #%% ¥iEbV.ctK$sHl K[IS`cfKBc]^_l K y Z%7.*L]b; 1<; O 1 ^_Rbu y *$; 1<; ¥ V.l]ctVYIK 1<; B a3 è

(147) ! $ ^_R6u ,+-. ¥ 1 & l K@ O 1 & * 1<; O 1 I$abcf\EHV.UWuV.l]cfV.IK 1 & B<a DFEbSWcSWIsHUWSTKBc 1 & * 1 ^YRbu 1<; * 1 & ltK[o ]c^l KJctaHUT\V_"\tEHKU`^&\t\tKJlJ¥

(148) ,+2-. egSTKJUWuHc y * ; 1 & ltK[o ]c ^Yh6V&.KY¥i\tEbSWcSWIsHUTSWKJc y ZM*] 1 & DFEHKJRd¥ y C%egSTKJUWuHc y CEZM*]:; 1 & è +2-. ¥ \tEbSWcKJR.\w^_SWUWc y CEZI*]J; 1bf p^.cfK w]DFEHKJRd>¥ 9¬ltKBcf< s 9:c`S`cV_2\ EHKV.ltI R= ?F¬ltKBcfsª R= &c ?¥iVYlQcfV.I

(149) K$K[&^_UWab^&\ STV.R Z[VYR:\tK[¨gH\ ^YRbu¦ZUWV.ctKJuK¨vsHl KJc cfSWVYR6c "¥ &cdcfa6ZwE\ Eb^&\ TUACJO &ceUVCQc>DFEHK$uvKJltSW&^&\ STV.RVY y 9:; 1 SWRbZ[UTabuHKJc^$uvKJltSW&^&\tSWVYR V_ y e; 1 c VYlFctVYIK 1 c B a¥:S> KY2ST\FSWcqV_ \ EHK]V.lt I = y e; 1 c ?©¥vEbK[l K S`c^

(150) uHK[l ST&^&\ STV.R ST\tE¦^

(151) EHVYUWKYE èSWRbuvabZ\tSWVYRE:egsiV_\ EHKJctSWcJ¥g\tEbK[l KQK[¨vSWcf\ cF^

(152) IK[IVYl eK[RggSTl VYRbI

(153) KJR:\ y cmEHSWZwE®K[¨g\tK[R6uHc y cfabZwE \ Eb^&\ y c &cJ; 1 c^_R6u y c CQcqEHVYUù `qKBZ[^YabcfK y cK¨g\tKJRbuHc y ¥ = y ceU y ? = y c &c>; 1 c ?dS`cûvKJltSW&^&\tSWVYRV_ y c 9:c>; 1 @c^ZVYl VYUWU`^_l eY¥:qKVYhH\ ^_SWR µg¹ µ R=<">

(154) µ Y µ º

(155) "_# " %¹ $1? -1' 9VUAC/O 9 c UAC c /qVs6q#% 9 / 9 c #%i ] G d/3T6* 9AUAC/; 1. M ] . 9:c UACQc>; 1+ !3#%dt'+ è

(156) ,45 . ^_RbuUTKJII^LH µg¹ µ b < ¹ 0 µ B ? -' ] G @ ##% H ] i ullO#% 9AUVC EV ]e]

(157) M d/$T6* 9 : k ] u + !3#%dt' + ¢¡I^YXYSWRHKA9 UVC SWc@SWltl KJuva6ZSWhHUTK.¥be.K\j9SWctR \@^&^_UWaHK.DFEHK[Rd¥ihgeZJ^YctK^_Rb^YUTevctSWcJ¥ 9I$a6co\]hiK$VY \ EHKVYl I R= ?¥vEHK[l K+ S`c^YRKJ4^YUTa6^&\tSWVYR¦ZV.R:\tK¨g\^_R6u V.RHKV_"\tEHKV.UTUWV&STRbXEHV.UWubc[¯ {Y%SWc$V_\tEHK VYl I IZ *A ] @ctctaHISWRHX< y *3; 1 O 1 cªV.l'cfV.y I

(158) KIK[IVYl e¦1 K[9 Rgg1S`cSTl VYRHK[IUWUT>KJ\oR.eg\siKJy u ¥8^_cfRbV«uS`c cfV."INK ` 1 e " 1 c

(159) B #a %% ¥8q` e K

(160) I$ abcf\$ Eb^_^4R6.u K +2-. ¥g\tEHS`cl KJj:aHSWltKBc IZ *v] ltK[D* O c©¥H^Z[VYR:\tlw^YuvS`Z\ STV.Rd Lv¤S`c]VYm\tEHKVYl I Z(; 9 ]] VYl ,Z 7b ] ¥ EHK[l K;¦S`c]RHVY\^ IK[IVYl eUWVvZ[^_\tSWVYRdgP SWISTU`^_lB¥i\tEHS`c\ STIK abctSTRHX\ EHKQ¬^YZ\\tEb^_\ 1 O 1 cz* 1 c cl K8S`c^

(161) Z[VYR:\tlw^YuHSWZ\tSWVYRd HSWcqV_ \ EHKV.ltI Zt; /*:]mV.lj,Z 7b*] ¥.EHKJltK * ¦ BG uHVYINIZ C ] )` KBZ[^_a6cfK"A9 UAC¦SWcqqKJUTUT©\oe:siKJud¥.K]Iabco\ Eb^4YK y 9; 1 ^YRbu y C«VYlqctVYIKIKJI

(162) V.lte

(163) K[RggSWltV.RHIK[R:\ y ^_R6ucfV.I

(164) K 1 B a ` KJZ[^YabctK *2VvZ[Z[aHl c]STR^.9 ¥6qK$I$abcf\@Eb^4.K* B uvVYI Z y ] m K\B¥ y C¤l KJj:aHSWltKBc]uvV.I Z y 6] ³uHVYI IZ C ] ¥<^ ZV.R.\ l ^.uvS`Z\tSWVYRª. . ª (+*

(165) WbltV.I°EHKJltK¦VYRª¥qK¦STUWUVYRbUTe Z[VYRbctSùvK[l #KK ] OdO K¨vsHl KJc ctSTV.Rbc[¥S> KY K[¨gsbltKBctctSTV.Rbc

(166) EHS`ZwE uHVRHVY\Z[VYR:\ ^YSTR I

(167) KJIVYl e®UTVvZ[^_\tSWVYRbcJ¤¢¡RbuvKJKJu ¥\tEHKRHV_\ STV.R VY]IK[IVYl e®UTVvZJ^&\tSWVYR STUWUFRHVUWVYRbXYK[l hiK

(168) abcfK[aHU©¥ h6KBZ[^_a6cfKUTVvZ[^_\tSWVYRbc@^_sHsiKJ^Yl@V.RHUWe¦uHaHltSWRHXltKBuvabZ\ STV.Rd¥ ^_Rbu~qKSTUWU8RHV_\co\w^&\ K

(169) ^cfaHhHnoKJZ\ l KJuHabZ\ STV.R'\tEHKJVYl K[I¦ Y EbK[7R 9qS`c8^@ctVYabl Z[KmUW^YRHXYa6^_XYKK¨vsHl KJc cfSWVYRd¥B\ EH$K `-Zaj]vnoa6uvXYKJI

(170) KJR:\ p " y 9:; 1 SWUWUdh6K'l ST\f\tKJR p 9:; 1 ¥v\tVKJI

(171) sbEb^YctVS UJKQ\tEHK¬^.Z\\tE6^&\ y S`c\tEbK[R¦STl l K[UWK[&^_R:\J. . Xk. g[h Tgei.

(172)

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

(174)

(175) . ª^$ST£b.lwKJco`b\t©V.Zajl uH]K[¥:l]UT[V.XYZS`\^Z"\]"S`¥gc2SWsbR:^_\tK[lw^_l sHIl K[K\t\ K[KJl uS U[SWKJR u$ahg¥ge^'EHctV.Kct\mK@V_&<^YIltS`VY^_RHhHVYUWKJ\ocJeg¥:s6\tKBKJc ltIacF¢^_\mRbSù c8VYaHl ltI$\tEbabK[UWlm^.sbcq^Y^Yl lt^YKQIltKBK\tcfKJsiltKJS ZU[\tKBSWuYKJhgUTee ZJ^_UWUTKBu L

(176) M k # H ] * ¥ L

(177) M * ^_Rbu L#% DFEHK«UTV.XYS`Z¦^_UWUTV&cuvKBctZ[ltSWhHSWRHX®cfabhbcfK[\ cVYba ^Yc Z[VYRbcf\tlw^_SWR:\ cJ@kltV&gSùvKJuZVYR6co\ l ^YSTR:\Qc ^&\ SWcf£6^YhHSTUWST\oeS`cuvKJZ[SWub^_hHUWKY¥i\tEbSWcQXYSWYKBc]l S`cfK\tV^\oegsiK

(178) ctevco\ K[I. EbK[l K@\oegsiKZwEHKJZwgSWRHX

(179) SWcuvKBZSùH^_hbUTK. @aHl$sHltKBcfKJR:\ ^&\ STV.R uHSTF<K[lwc'l VYI \tEHKV.ltSWXYSWRb^YUJ6 |g¥@H¥@ G8qhge~K[¨vsHUTS`ZST\tUWe :SWK[SWRHXZ[VYRbcf\tlw^_SWR:\ c'^Yc V.ltIaHU`^YcSTR:\tKJltsbltK[\tKJuSTR a¥4l ^_\tEHKJlª\ Eb^_R

(180) ^Yc"K[UWK[IKJR.\wc"V_6^YR^_h6co\ l ^.Z\"Z[egUTSWRbuvl SWZqZV.Rbco\ l ^YSTR:\8cfevcf\tK[I¦ DFEbSWcsHltKBcfKJR:\ ^&\ STV.RSWcIVYl K]ZV.RbZS`cfK.¥:^YRbuXYSWYKBcmabcm\tEHKQ^_hHSWUWS \oe

(181) \tV$K¨vsHUWSWZ[S \ UTeI^_RHSWsHaHU`^&\ K ] q VY"Z[VYRbcf\tlw^_SWR:\ cJ¥H^_RKJc cfKJR.\ SW^YU ltKBj:aHSTl K[IKJR.\SWR¦VYaHlFV.ltIaHUW^_\tSWVYRV_"\oe:siKctVYaHRbuHRHKJc c[ m.K[R\tEbVYaHX.E KUWV.ctKcfV.IKXYK[RbK[lw^_UWS \oeS \ EltKBcfsiKJZ\2\tV'\ EHK@Z[egUTSWRbuvl SWZctevco\ K[I ^_sHsHl V.^.ZwEd¥&\ EHKlw^_IK[VYl $ctK[K[Ic \ VltKJI^YSTRXYKJRHK[lw^_U<KJRHVYaHX.E V.lI^_RgesHaHl siV.ctKJcJ J

(182) !#" %¹ $ ' & ? G iOTkG Z1a"u*+" O8"fl K ] i h *L'+ #76q#7#%t/.V NG 7 OTk* @ L#% ] %O \ Vs6 36^ l * i

(183) )fN(' \oegs6KBc ZV.Rbcf\tlw^_SWR.\wc =N;V; "%ZF")')'('2G=LO =J2G=Fl K 2X')'(' ;V; J

(184) µ 2G= *h=J2 2g] ' 2X')'(' . "%Z "

(185) @"(')'(' #% O k#@ * 7#%H ] *3(' \oegs6K&^_l SW^YhHUWKJc + 2 VE 76 ( *3 SW R:\t^YKJc ltcfsHSWXYl KRb\wI

(186) ^&\ KJSTR:V.\R H :a 7/ 76q ] 73/J M[M .f O * ' #% [( '7 G TOa 7+ 6:]K O #H*\ L#% #

(187) 3L

(188) H M :*33/"A* M MN . q#K bL 1'* M #% K s/.Vs6G<#Oi #% QKTOi* : #% :+ 6 # M #%L H #%d/ + #+"L '

(189) @T6 '* ]e] VE O ] V Z1L= O = c ] Z1=] O Z= c ] Z1=FltK[] Z1=]gl K J

(190) µ \Z/O Z F] [Z ZXF] OZ ] 9* ; Z 9 8] * Z ; ] 9 ; Z 9 ] Z ; ] ] ' ] c Z c ] c . !" *:7 6q #%*#L[(' # + 2 ?7Y VE# %$&c ' ]

(191) ' * ] c / + # +j ':@ ]

(192) C ' k*#

(193) i ] (' L 7 l * c C V ]e] + DFEHK'ctegR.\w^&¨ S`cFVYRbUTesb^Ylf\ SW^YUTUWects6KBZST£bKJu>Hc \tEHS`c^_UWUTV&cVY\tEHKJlFVYl IcJ¥gRHV_\gRHV&RSTR\tEbSWcl K[siVYlt\J¥. \ Vh6K'SWR:\tl VguHabZKBu^_\]Û`^&\ K[lcf\ ^YXYKY2DFEHKJSTlSWR:\tKJltsHl K\w^&\ STV.R S`caHRbcts6KBZST£bKJu¦^_\\ EHS`cs6V.STR:\B. GF HJILK.):M. @[Z1\ ]]E6^Yc qL#%

(194) M 736q7* ¥ªEHKJltK^ RgaHIh6KJlV_\oegsiK4^YltS`^_hbUTKBc ^YltK

(195) aHRHSWYKJl c ^_UWUTe j:ab^YR:\tST£bKJu ¥HctaHhvnoKBZ\\ V^Z[VYRbcf\tlw^_SWR:\ . klknmoqpGrtsu.

(196) #KG j!JL#. {B}. OL

(197) M µQPD$ =" #"V ¹%m$VE# CQ\oegsi; ;Kc 3 ZwEH K[= I?K ' = + N 6qLC# M

(198) ]M e (k'N#^H *] :*Ct'o A* L#K @l H # / / C q

(199) M#K7 36q 7/ *7 /#% q#% <3*A ] 7& ] t ~kG# + |

(200) <H C(' M/j L

(201) M = i

(202) <H k&V <7 L

(203) M 3q6 7 3 DE= [

(204) µA?^' = + OZ[VYµQRbPDctS`$ co\ " K[#R:" ¹%\ $ EV 7N6 3n #%T*k *M [L

(205) M /$3 6qm7V fVEC # 3 $ = 5C ?^' / = /@' h ]

(206) iq ' L #% $ ] ' /m V + <*

(207) /T6 C O[µQPD$ " #L" ¹%l $ #@ j C ^ @&k #% L

(208) 7M i 3q6p 7 N#+e? 0A ] * 8 p N[%(Q' ;THC * ONCt'@76q76q b*'*~kd# #K i;C b/E VsH*6q #% e H

(209) MM * O T6H O e; C fpa+v?7 ] * p ZI ] T6L

(210) M 36q7=Vs606 M M # ^76q #TOd6 LiG3H ON(' @p)/ ':

(211) 7 3<6 H O .f p Z[] l CT6 *#tEV #+ O µQqPD$ #K" # "¹% $ R/ ^noâ6&k uv #%XYKJ I

(212) 7KJR:\ D p> / T6 "^ .

(213) Gf M *#% + , Z9 \^] CjCG)l

(214) M - 3Gq6 j 7A C /#EV #M& ] -( 'b " ctp ^_\t S`co£69^Y; hHC UWK / *#TkH OCT6# "OTkGe YllO#%

(215) + ]. ]. #2 p Z[ ] 8C $ C " p [.<;= 9:;= c " p ltK[X; 3 ' O l K " p e; C " p _W#' 9; =_O = c ! $ " p ; ; 3 ' ltK[TO O " p 7 ; 3 ' ltK[QO #%% (*) " p 9 ; ;= & O = " p 9 & ;= & " p C; C " p [%<; C 9 ; = " p 9 ; 9 & ;= " p UWK\<!SWR 9;= c *p +2-. " p 9;= $ = *h= c " 9 ;C $ c " p 9;= c " p 9; C 3 $)$ 2 3 a" p @;= >Z " p ] 1D " p C; 3 = 5?^' = ] ' J" p @; 3 = 5?' = J" p C;= ] " p$)$ 9 ; C >Z p "bC ]F D . ] ' " p 9 ; C. 7. W"SWXYaHl K'Lv¯mDFEHKctevco\ K[I @[Z1\^] Xk. g[h Tgei.

(216)

(217) "!$#%&(')'*#"+-,/.1032. {.{. @h Z1\ ]@uHTS F<K[lwcQltV.I `-Z1aj]@hgel K[sHU`^YZ[STRbXIVYRbV_\oegs6KBcQS \ E\oegsiK4^YltS`^_hbUTKBc[¥ siVYUWe:\oe:siKJcST\tE \oegsiKctZwEbK[IKJcJ¥ª^_R6us6^_lw^_IK\ K[l SVUJSTRHXK[.K[l enoabuvX.K[IK[R:\ST\tE®^¦ZV.Rbco\ l ^YSTR:\ ¥"EHSWZwE l K[sHl KJctK[R:\ c ^YR®^Yc cfaHIsv\ STV.R®^_hiVYav\ST\ cltKJK\oe:siK&^_l S`^_hHUWKJcJ raHUWK * ^_UWUTV&c'cf\tl K[RHXY\tEHKJRHSWRHX¦\tEHS`c$^.co ctaHIsv\ STV.Rd¥6EbSTUWYK ] $)$ 2 ^YUTUWV&cEbSWuvSWRHX ^Yav¨vSTUWS`^_l e\oegs6K&^_l SW^YhHUTKBcEHS`ZwE^_sbs6KB^_l]RbV&EHK[l K'hHav\ SWR\tEHK^.ctctaHIsv\ STV.RST\ ctK[UTomDFEHKJctKltabUTKBc^_UWUTV&³ZVYR6co\ l ^YSTR:\cfSWIsHUTST£6ZJ^&\tSWVYRª @aHlq\tl KJ^_\tIK[R:\V_Z[VYRbcf\tlw^_SWRHKJusiVYUWegIVYl sHEHS`cfI S`ccf\ ^YRbuH^Yl u X Y EHKJltKB^Yc `-Zaj]8\w^_YKBcq^YRK¨g\ K[Rv ctSWVYRb^YUdgSTKJ³VYms6V.UTegIVYl sHEHS`ctI¥i][ Z\^]FV FiKJl c\tEHKa6cfab^YU>¥iSWR.\ K[RbctSWVYRb^YUdgSTKJ'DegsiK$ctZwEbK[IKJc@^_l K SWR:\tl VvuvabZKBu h:e~ltaHUWK 3 .) ¥"^_Rbu KJUTSWISTRb^_\tKBu¤h:e 3 `KJZ[^YabctK

(218) SWIsHUWSWZ[S \ ¡ZVYRg.K[lwcfSWVYRSWc ^YUTUWV&KJu ¥ 3 S`c^

(219) RHVYRHuvK[\tKJltISWRHSWcf\tS`ZQltabUTK.. G. MEI.9M

(220) I. 8:9. DFEbSWcqcfKBZ\tSWVYR XYSWYKJc^'\oegs6KQcfV.aHRbuvRbKJc c2sHl V:VY VYl][ Z\^]2hgecfEHV&SWRHX'\ Eb^&\S \SWcc ^&KST\tEl KJctsiKJZ\ \ V `-Zaj]$DFE6^&\SWcJ¥ qKctEHV&x\tE6^&\'K[.K[l e¤¬&^_UWSWubnoabuHXYK[IKJR.\ " p 9@;&CX.ST.KJc@ltS`ctK\tV«^cfK[\QVY ¬&^_UWSWub3`-Zaj]noabuvX.K[IK[R:\ cJDFEgabcJ¥HKQX.ST.KUTV.XYS`Z[^_Um¬l ^_\tEHKJlF\tEb^YR«cfegR:\ ^.Z\tS`ZJqIKJ^YRHSWRHX\tV@[Z1\^] noa6uvXYKJI

(221) KJR:\ cJ¥egSWK[UùvSTRbX^«ZVYR6ZS`cfK^_R6u¤Rb^&\ aHl ^YU2sHl V:VYo@c$^¦EHV.UTK.¥d\tEbK ^_sHsbltV:^YZwE~S`c$cf\tSWUWUcfKJIS ctegR:\ ^YZ\tS`Z_¥vhiKJZJ^_abctK `bZaj]qS \wcfKJU 8Eb^.cFh6KJK[R¦sHl V&YK[RZV.ltl KJZ\SWR«^

(222) ctegR:\ ^YZ\tS`ZQ^4e. ªK\abcF£6l cf\co\w^&\tK'^

(223) abctKaHUªSTRg&^_l SW^YR:\^Yh6V.av\F\tEHKcf\tl abZ\taHl KV_2][ Z\^]ªnoabuvXYKJIK[R:\ cJ ;qµ j < / %¹ $ # "¬J µ $ ¶ ? " p 9; C M&] $ C + !3#%dt'+ èSWRbuvabZ\tSWVYR

(224) VYR'\ EHK\oe:siKFuvK[l ST&^_\tSWVYRdl Y EHK[RHKJYKJ@l CZJ^_l ltSWKJc^ J

(225) µ'Z[VYRbcf\tlw^_SWR:\J¥B\tEHKl KJctaHU \ S`cFSWI

(226) IKBuvSW^_\tK.q@RHUTe\tEHl K[KZJ^YctKJcq\tEHKJR¦ltKJI^YSTR\tVhiK'K¨H^YI

(227) SWRHKBu p^.cfK 7 mDFEHK[Rª¥v\tEHK'ctKJZ[VYRbusHl K[ISWctKSWc $ C8 p^.cfK 3 .) mDFEHKJRd¥HKI$abcf\]ZwEHKJZw ] ' $ ] ' ¥b^\ ^_aH\tVYUWVYX.eY p^.cfm K ] $)$ DFEHK[Rª¥ \tEHKSWRbuvabZ\tSWVYR Ege:siV_\ EHKJctS`c@egSWK[UùHc $ C87 `KJZ[^Yabct# K > ZMC ] D¥ \ EHS`cK[R:\ ^YSTU`Bc ] ' $ C8 Y KRHV&sbltKBcfKJR.\'V.aHlSTR:\tKJltsbltK[\ ^&\ STV.RVY@h Z1\ ]mnoa6uvXYKJI

(228) KJR:\ c'^Yc'ctK\wc'V_3 `-Z1aj]noabuvX.K[IK[R:\wc[ Y K'hiK[XYSWR¦hgeuvK[£bRHSWRHXEHV& \oe:siKc ZwEHK[IKJc^YltKI^_sbs6KBu\tVsiVYUWe.\oegsiKJcJ]¬DFEbKuvK£bRbS \ STV.RhiK[UWV&³SWc &^YUTSù hiKJZJ^_abctKS \S`ccf\ ^YhHUTKaHR6uvK[l ¡ZVYRg.K[lwcfSWVYRVYª\oegsiKctZwEHKJIKJcJ OQµ PD$ "# " %¹ $R~R 6q STR:\ K[l sHltK[\ ^_\tSWVYR ('7L

(229) M -06*i C< 3 = 5?^' = VE T6 #K M K C^G TO . i :Gl) H*

(230) ?CA X Z c Z1=] [XZ " c ] c ` ' ] ' 6q ] G Gl) [76q#tVE u+L <76q / Vs6q eGl) / ?CA e M ]

(231)

(232) M t/ + u+ ] *i$t'cB+: ] @T6 ?=A X Z Z1=] `+ 6q< *# M #% (' ^k& #%i* p *# KTOi* / ? p A / 76q M G L ? A p>/Vs6*#KbH T 6 ? A ) pQ#%)k&V 7G M #L ] ' q+ ? p A j M ]

(233)

(234) M ^ k& #%i* e7 6q*:('G l) L '+ ` eUWK[II^H¥vEHKJRHK[.K[l " p 9; C~^_R6u EHVYUù ¥ ? CA SWcFuvK[£bRHKJudmDFEHSWc^YUTUWV&cabcq\tVcf\ ^&\ KY¯ µg¹ µ j < $ µ d" µ Bvu" ¹~$@? " p 9; C &M ]

(235) ? p A 9 ;? CA + klknmoqpGrtsu.

(236) {4L. #KG j!JL#. !3#%dt'+ è$cf\tl abZ\taHlw^_UgSWRbuvabZ\tSWVYR

(237) VYR\tEHKuvKJltSW&^&\tSWVYR

(238) V_6\tEHKFSWRHsHav\ noa6uvXYKJI

(239) KJR:\JX YKFabctKFK¨H^YZ\tUWe'\tEHK bR V_\ ^_\tSWVYRbc@V_2£6XYaHl K

(240) LHQ¢¡R~KJ^YZwEZ[^YctKY¥<UWK\hiKcfV.IKctVYUWav\tSWVYRVY2\tEHKZV.Rbcf\tlw^_SWR.\QEHS`ZwE~^_sHsiKJ^Yl c SWR«\ EHKnoabuvX.K[IK[R:\ cQZV.RbZUWabctSTV.R cbUWK\ 1 h6K

(241) cfV.I

(242) K$K[UWK[IK[R:\]VY2\tEHKSWR:\tKJltsHl K\w^&\ STV.RaHRbuHK[lvVY2\tEHK \oegsiKctZwEbK[IKEHSWZwE¦^_sbs6KB^_lwcqSWR\tEHKFnoa6uvXYKJI

(243) KJR:\ cZV.RbZUWabctSTV.Rd p^.cfK 7 mDFEHK[Rª¥ 1 B ?CA ? p ZI ](A ? p A Z[] è

(244) 67 ¥ ? p A <; 1 EHVYUùHcJ p^.cfK #2 DFEHKSWRbuva6Z\tSWVYR®EgegsiV_\tEbKJctSWcJ¥cts6KBZS`^_UWVS UJKJu ^&!\ Z1=3c1]¥egSWK[UùHC c ? p A = NO ?=A ? 9 ; Z1=3c ] è

(245) ¥8\tEHS`c

(246) K[R:\ ^YSTU`c ? p A _W#' 9 ; Z=]RO Z=3c ]¥mS© K. ? p A _W #' 9/; Z= O =3c ] rKJZ[^YUTUWSWRHX 1 B ?=LO =3c A ¥ +2-. egSWK[UùHc ? p A _34' 9:; 1 p^.cfK DFEbK

(247) EgegsiV_\tEbKJctSWc 1 B ? 3 ' O l K A egSWK[UùHc 1 cFO 1 cl K * 1 VYlctVYIK 1 c$Bha DFEbKQl KJctaHUT\VYUWUTV&chge

(248) ^YRbu

(249) ,+2- p^.cfKBc # ¥ ! $ PvSTISWUW^YlJ p^.cfK %% DFEHK

(250) STRbuHabZ\ STV.R~Egegs6VY\tEHKBcfKBc[¥ ctaHS \w^_hHUWects6KBZS`^_UWVS UJKJu ¥ egSWK[U`h u ? p A 9 ; ; Z1= & O =] ^YRbu ? p A 9 & ; Z1= & ] è

(251) #%% l¥ ? p A 9 ; 9 & ; Z=]FEHV.UWuHcJmrKBZ[^_UWUWSTRHX 1 B/ ?=A ¥

(252) ,+2-. e:SWK[UùHc ?p A 9 ; 9 & ; 1 ]sHsHpUWeg^.STcf¥ RHK ?X¦p (STA *\') \t V¦]UT\ K[EH\sHKsHUWcfe:!KBSWZRHV.SX

(253) RbW\tu~R EbKQsb9ltSW; RbKJ1 I

(254) uvEHa6S`ctV.ZK\tUWuHSWVY^YcJRRb u Egegcfsis6KJVYZ[\tSWEH^YKBUTcfS U[S`cqSWRH\tX«V

(255) ^&\t\EHKQ1 £be:lwSWcfK[\FUùHsbic ltKJ? I

(256) p A S`ctK@= egNOSWK[UùH?-c CA? p ? A 9NC;; 1 C?CÀ e

(257) *) p^.cfK +2-. DFEHKcfKBZVYR6usHl K[IS`cfKK[R:\w^_SWUWc Z1=]=* Z=3c ]¥ªEbSWZwE STIsHUWSWKJic ?=A ?=3c A ]c'^ l KJctaHUT\J¥ 1 B ?=A EHVYUùHcJDFEgabcJ¥ª^_sbsHUTegSWRHX\tEHKSWRbuvabZ\tSWVYR E:egsiV_\ EHKJctSWc@\ V\ EHK

(258) £blwco\sHl K[ISWctK

(259) e:SWK[UùHc ? p A 9:; 1 p^.cfK 3 $DFEHKJRd¥ 1 B ? 3 = 5?^' =A EHV.UWuHcJ¥dctV\tEbK[l KK[¨gS`cf\ c^_R ^Yc cfSWXYRHIKJR.\ c8ctabZwE\ Eb^&\ Z" c"$ )$] c ^_Rbu XcZ=]B* 1 3 `KJZ[^YabctK > Z ]6 D¥ SWI

(260) sbUTSWKJc Xc QL PgVb¥ Xc )EHVYUùHcJ i PgSWISTU`^_l UWeY¥vhiKJZ[^YabctK > Z p ] D¥ ? p A KJj:ab^_U`c ? p A DFEgabcJ¥H^_sHsbUTegSWRHX\tEHK SWRbuva6Z\tSWVYR¦Egegs6VY\tEHKBcfS`c\tV

(261) \ EHK£blwco\sHl K[IS`cfK'^_R6uctsiKJZS`^_UWS U[SWRHX^&\ 1 egSWK[UùHc ? p A 9; 1 p^.cfK 3 ±¢\S`cZUWKJ^Yl

(262) \tEb^_e \ ? 3 = 5?^' =A ?=A 1 DFEgabcJ¥q^YsHsHUWe:SWRHX \tEbK«STRbuHabZ\ STV.R EgegsiV_\tEbKJctSWc\ V\ EHK'sHl K[IS`cfK'^_R6uctsiKJZS`^_UWS U[SWRHX

(263) ^_\ 1 egSWK[UùHc ? p A 9; 1 p^.cfo K ] $)$ `qKBZ[^Yabcf K ] ' ¥q\tEHKJltKK¨vS`co\wc^_R²^Yc cfSWXYRHIKJR.\ c ctabZwE \tEb^_\ Z Xc ] c `qKBZ[^YabcfK > Z p ".C ] D¥ ? p A ¬ltKBcfsªN ?CA ZV.STR6ZSùvKJcST\tE ? p A l KJctsd ?CA mDFEgabcJ¥H^_sHsHUWegSTRbX\ EHK'SWRbuvabZ\tSWVYR¦Ege:siV_\ EHKJctS`c\tV

(264) \tEHK£6l cf\sHl K[ISWctKegSTKJUWuHc ? p A 9:;?MCA p^.cfK * Z[ZV.l uHSTRHX\tV\tEHKcfKBZV.RbusHl K[IS`cfK.¥ SWI

(265) sbUTSWKJc c> sbsHUTegSWRHX\tEHK SWRbuva6Z\tSWVYR¦Egegs6VY\tEHKBcfS`c\tV

(266) \ EHK£blwco\sHl K[IS`cfKegSTKJUWubc ? p A 9;?CA Dqegs6K'ctVYaHRbuHRHKJc cmV.l]h Z\^]SWc^

(267) ZV.ltV.UTU`^_l eVYd\tEbK[VYl K[I H8¢\SWcKJ^.cfe\ V

(268) ZwEbKJZw\tE6^&\^Z[UTV:cfKBu K[¨vsHltKBctctSWVY^ R 9SWcK[UWU ©\oegs6KBu~abRbuvK[lctVYIKZV.Rbcf\tlw^_SWR.\ ^_RbuK[RggSTl VYRbI

(269) KJR:\ p STF^YRbu~V.RHUWeS FST\SWc K[UWUT>\oegsiKJu®aHR6uvK[l$\tEHK [

(270) µ Z[VYRbcf\tlw^_SWR:\^_R6u¤\tEHKK[Isv\oe¤KJR:gSWltV.RHIK[R:5\ D¢¡R%ctabZwE^~ZJ^YctKY¥8qK ctSWI

(271) sbUTe

(272) ct^4e'\ Eb^&\ 9]SWcmqKJUTUT>\oegsiKJu X Y Kct^4e'\ Eb^&$\ 9 O d*BVE#% O STd^_Rbu

(273) V.RHUTeS > 9AU D O"9 c UVC c ¥.EbK[l K 9:c<S`cSWltl KJuva6ZSWhHUTKhHaH\RHV_\^&^_UWaHKY¥vEbVYUùHc[ µg¹ µ w < ¶ :µ >d¹

(274) $ º $µ B ? -1' 9 bYV ]e] L

(275) M / ] Kibf M #%* M/E76q 9 &b O . VE#K OQ+ !3#%dt'+ ¢ 9'S`cFqKJUTUT>\oegsiKJu ¥g\ EHK[R [

(276) µ " D 9; C~EbVYUùHcVYlctVYIK]\oegsiKctZwEbK[IK C8)è\ EHK[V.ltKJIH¥ D 9 ; ?CAEHV.UWubcSTR/`bZ1aj]7`KBZ[^_a6cfKN?MCASWc'^siVYUWe.\oegsiKY¥S \'S`c'RHVYRH©KJI

(277) sH\oeY¥dctVJD 9 ; 1 EHVYUùHc Xk. g[h Tgei.

(278)

(279) "!$#%&(')'*#"+-,/.1032 V.lcfV.IK 1 BNa @c^

(280) ltKBcfaHUT\J¥H\tEHK'SWRHST\tS`^_UªZ[VYRv£bX.aHlw^&\tSWVYR DFEbKQl KJctaHUT\VYUWUTV&chge\ EHK[V.ltKJIc{'^YRbu«Lv. {B. 9AU D!S`cK[UWU ©\oegs6KBu ¥vS© K. 9VU D ; 1. EHV.UWubc[ . #&F8 6T{8'~^_lt\ WR hb^.uvS©¥`qKJR&nf^_ISWRkmSWK[lwZK.¥4^YRbu$NQV.l uvV.R'kmUWV_\tgSWRd Wb^_ST\tEHaHUgSWuvKB^_U.I

(281) VvuvKJUWcªVYl"l KJZabl ctST.K siVYUWegIVYl sHEHS`ZF\oegs6KBc[ - # ] # ] (' qbt') M # ¥vLHf{B¯T{*g LH{Y¥H^Yl ZwE ({ H{. k

(282) !"##$"% &'()*"+ ","+ -%",./!( 6 L 8Pve:UW&^_SWR pqVYR6ZwEHVYR ^YRbu WHlw^_R [VYS`c«k8V_\t\tSWK[lB1 0g@¢ ¯pqVYRbcf\tlw^_SWR:\fhb^YctKJu \oegs6K%STRvKJltKJRbZK V.l\tEHKnoV.STRHZJ^_U`ZaHUWabcJDV«^_sHsiKJ^Yl'^&3\ 2 4 !65 7'i 8 k9 : ;

(283) ,*..,<=#+>),?A@+&@ B*)"+( ' . B#()

(284) B#*C@ B>)"+>C" BD*EF!>AGH ¥ ]sHltSWULY}Y}H{. 6 8 Q^4gSWu `Qv^Y>Z I@aHK[KJRd¥bNQVYlwuvVYR $vkmUWV_\ gSTRd¥6^_Rbur^4g>S PvK\tEbS> RSùvKJ^YU I

(285) VvuvKJU<VYlFl KJZabl ctST.K siVYUWegIVYl sHEHS`Z2\oegs6KBc[ -&'*#iL J) #K ] ¥ v{.o*{ gvL.¯ .&| g<{J.}H¥JQZ\ VYhiK[tl g]V&YK[Ih6KJlm({ b 6 z 8'rVYhHSWR«SWUTRHKJlJ !\tEbK[VYl e VY8\oe:siK'siVYUWe:IV.ltsHEbSWctI SWR«sHl VYXYlw^_IISWRHXbK # ] ('L) M # C

(286) G* *K* ¥d:{ H¬:¯ _z ggX _|v¥ ]KBZK[Ih6KJl({ X Vb 6 | 8'~^_lt\tSWRQuvK[lwcfge.¥.^Ylf\ ST@R PgabVU UJI^YRHRd¥g^_Rbu~^_lt\tSWiR YKJEHlJ Dqegs6KSWRvKJltKJRbZKST\tEZVYR6co\ l ^YSTRHKBu \oegsiKJcJ 6q #

(287) i !$#K :t'M4 HI *E

(288) G : ¥H|Hf{B¯ :&| gv|.|v¥Hd{ HN k9

(289) PO BHQ$, &) .H)O>,## ' . ,>B#(, B/!( 6 8 Wbl ^YR V.SWck"VY\f\ STKJl]^_Rb<u @STR6ZK[R:b\ PvSTIVYRbK\J¢¡RvV.ltI^&\ STV.R bV& SWRvKJltKJRbZKV.l] mDV^_sHsiKJ^YlJ¥ LY}Y}b{Y 6 G8'~^_lt\tSWR PvaHVU UJI^_RHRd O **#K ] ' #%7V #<h '*# + ]

(290) R, ] #eL

(291) M

(292) G vVE 76 L#% ±kmE \ EHKJctS`c[¥ ^_UWoK NRHSWYKJl ctS \oe.¥ @K[sb^Ylf\ I

(293) KJR:\VY'pqV.I

(294) sbav\tKJ@l PvZSWK[RbZ[KY¥F^4e L_}.}Y}b k (

(295) PO BHQ$, &) .H)O>,## ' .(,*B#(%>!*AGH 6 8'~^_lt\tSWR PgaHU U[I^_RbRd¥^Ylf\ STR T SHUTUWK[lB¥m^_R6u%pqEHl SWcf\tV.sHVE UiKJRHXYKJlJ~]STR6uvUTKJe W&«SWUTRbK[lco\oegUWK\oegs6K ctevco\ K[IcFSWR¦Z[VYRbcf\tlw^_SWR:\FVYl I2rKBcfKB^_lwZwErKJs6V.lf\ ]pr)p gX Ggv}Y} b'¥ N]RHST.K[lwcfST\oeVY PgV.av\tE a6co \ l ^YUTS`^H3¥ PvZwEHVgVYUFVY'pqVYIsHaH\tK[l^YRbu ¢¡RHVYl I^_\tSWVYQ R PvZSWK[RbZ[KYX¥ 0YabUTe d{ bY k Q

(296) !( #*C )'A%"&ZOO ".."+,"+

(297) OC B#(+,(=#(!>AGH 6 8 ]Rbuvl K[\ [ Y ltSWXYE:\J PgSWI

(298) sbUTKSWIs6KJl ^_\tSWYKsiVYUWe:IV.ltsHEbSWctI¦ ( M

(299) 7H ] M) M ¥ 6zg¯ _z. gg:A| H¥ ]KBZKJI$hiK[ld{ .|H 6W{J} 8]Rbuvl K[] -*d'*#7 [ Y ltSW^XYE:)\^Y RbM u¤ ^&\t\t EH¥ªS`^Y{.c {B|bWHoKJ{B UTUWK[¯ S`cfGKJgYRd_zb¥ V&cf.egK[R:I$\ ^.hiZK[\ lSWZd{ ^Y sH_z6sH8l V. ^Yk ZwE~ (\t

(300) V«\oegsiK ctVYaHRbuHA+>RHKJc "?c[ "% _àbca' . ,>B#( de>C@Q!>AGH. klknmoqpGrtsu.

(301) Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France).

(302). . ISSN 0249-6399.

(303)