Mathematics and Proof Presentation in Pcoq

Texte intégral

(1)Mathematics and Proof Presentation in Pcoq Ahmed Amerkad, Yves Bertot, Loïc Pottier, Laurence Rideau. To cite this version: Ahmed Amerkad, Yves Bertot, Loïc Pottier, Laurence Rideau. Mathematics and Proof Presentation in Pcoq. RR-4313, INRIA. 2001. �inria-00072274�. HAL Id: inria-00072274 https://hal.inria.fr/inria-00072274 Submitted on 23 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. Mathematics and Proof Presentation in Pcoq Ahmed Amerkad, Yves Bertot, Loïc Pottier, Laurence Rideau. N° 4313 Novembre 2001. ISSN 0249-6399. ISRN INRIA/RR--4313--FR+ENG. THÈME 2. apport de recherche.

(3)

(4)

(5)

(6) !"

(7) !#$ %'& (*),+-%'(*),.0/213+54673)98:;)9.!<>=3<94@? =BADCFEG=B<0<>HI)9.,4@? 13J .0),K C9)MLNHO+ )913J P5QSV!RUghT;f!Vij`kWfl2XZ`nmpY\oqT[U]Sr3^_beVa`c^k`cs,bel2d,^cV f!^_VU` tvuDbjwxV!g yzV!T{T{V | ij}2}Bb,upg ~VuDVUfQSVUuDfQSV]3,2 UMX b,V!TrSuVaWj,S hX 0W}2iedeVUm T^c]9gijVUgUupQS!IVUi,T{fSVeijegijG^kuDf!beieMlS`z]BV b,~F}2uuTmpV0gmplSuDVUl2`c],i,fªgmhgDlS\`kui>3V0o9~M£b,M~2ligU,gD¤aii'¥lBTmpVVUijup¦2«,^_uDVU]9mpmgagDV!^_gmpuQSI}Biebfb9¢V#mm QS^cberSbu@`_¢§V;gQSgDgVGb©QSV{¡#bebrb,sguijd9m^cijo]F]Smx^cgDgDÜV!QSijT^cgmU^c¤be¢ ]©¬QS]®^cbjf}2Q{gij}SQSuuDgV;b^kfdeql2u^c~S`cijieVU}SuUmQ2nV!^c¢fU`kijijV{r3`^_bel2]BumpmpiVU^kgDmxupVg b,m}3]¥VUfgQS^_¦BV¯fgijQS}2uD}SV!V!`_^k£f!`cijV!,g^cV!be`v]2VmU°q¤ gD¬V!]¯]2mgD^_QSb,Va]±]ST{V!°9VUg fQ2mieVU]Sfg^cm^cbeT]nm¢gQBVaig~VUmmDlSf}SuD^_}3r3beVGugDgmQSVgDQS~SVijgDf!ijl2mpmpggbeuDl2T{fª^kgDilSgDuD^_b,Vh]¥gDQ2bei5g g^kQSm5VNl2`kmpi>V0oe~¯b,^cl]'gg QSbeVu `ci,bem{d,^ciMfUijrBìeV!m]S^cmd,^_g]2b®V}Sgb'uDbuD~VUl2ff!b,V¯uD~©gDV²B°q³gN´0´x^_µD]Ã¶ª·i¥¸º¹2·xu»IV0¼qmx½!gDu·¾^kfªgD¿>VUÀ>~Ä¸º¹9mpÁlSierB]2mpV!~Âg{¢beVGm]2QSijbg¢lSuijgDQS`5^c`kmij]S~Sd,ijl2gDijijd,mpVeguD¤Æl2fªÅhgDV!lSuDuDVeVf!gieQS]ÂV©r3]2V;ijglBlSmpuV0ij~ ` gD^c]9Vg°qVUg uDi,^cm fªgmp^cge^c`VÇT{berieg]Sij^c^c}S]SlSVU`k~¯igr9^coNbe]Fi;b`kei>oeV!u b,lggQS^kmpm\gu}Si^_gDV0V!fdeVobjb,~SV!ijugDi;iNmp^kgm\uDmxl2gDf^_g`c lSuD}BVUb9~¯mm}S^_r2^_V0`_fV,V2gDbjQ9lB~SmGi}2giSubSqij^k]B~~N^_]2¢dNViNmQST{bVU¢Èie]2gDmhQ2ibeg ~Sie`_V!zegVUQS`_b,V}S]S^c]SV!d¢É}Ss9uDlSbqV0bjmxxgD^_b,¢ ]2QSm5^c` gVGQB`cibqghbe«qgDQS^_]2^kmhd;V!~°q^cuD}3VUV!fªuDgD^c`_T;oNVUij]9g5ghguDVie°q^cgmVUr3m V!¢^c]S^Êd{gDQ©}SuuV0bmp~}3lBVUffVUg ~ng¤b¥}SVaubqfbeb,]2V!f°q`cl2}2~`cieV\]2rqio¯gD^_b,~]ÂVUmDijfuD]2^c~ËrS^_^_]2gDd m ^c]9gVUdeuig^cbe]^_]Ë}SuDbqbj ~V!,V!`cbe}ST{V!]9g V!]qq^cub,]ST{V!]9gDmU¤ Ì©Í9ÎÐÏDÑÒ2ÓeÔ^c]9gVUupIi,fVe}2ubqbjxTijgQSVUT{ijg^kf!ie`Ç}Su^c]9g^c]Sd22}SubqbeiemDmp^kmpgDij]9g. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.

(8)

(9) !$ $ }3` beV! quDuD

(10) T{d, ijV]2 g^cmD ®l2i]±gD^_b,u\]{VU]2ij~S~]2Vhl±m `f![!^cVa]9`kijguDr3V!ieube}SIuDie}3[Nf!beVh~ug V0lmagD]S^_be `cbe^kl2muDijm Tg}SV!l2ul2`_[0V0u5mpmaVUie]9Tlggbeib,]BglSQ2m u#[!G~STV\Ði~gD^cb,@s9]SSlS]SlSV0[Um!]2VU¤©Vam ^_mx]9gDb,gul2VUl2upmfIgi,T{lSfuDVab,[!],V0}3gDm@beuuDlSb,V!]2uh]2m`_~V~fm ijVUo`cr3mxiagDbeR!}3uT{~®b,mDVfmb,^_¡#rST;b`cVes¯T{¤VUs9v],lS] g ^ }B~SVUijmug ^kb,fulST`c^_VUlSua`cVU]Sm beielBlm°'^_]2iem}S^k}SmxgD`cbe^ fU]2imag^cmbelS]Buam5`cgVuijT;^_g[0[Uf!VUiemU]S¤ ^c@mT{]2mpV l2'^ÊgDVguD]Sbebe^kmlBmh]S^_~,[0VUfieuDl^_,°Mbe]2s9lSm5^v`kiN}3V!mpuDgT;uDl2V!fªggDlS~ uVie~S~SieV}~gVUbeua]2]S`_V[!V0uDm V!]2l~SgD^Êl `cf!^kVmpg[UgVhV}2mpieguuDl2`cV\fgT;lSuDbeV¯gVU~lSV'u#~`cbebed,]S^c]2s9lS[!VUVGm}B}3b,V!lSlu5g V!]SguDuDV!V¯d,^clSmpgguD^c`_V!^kump[U`_V¯V0m#}3}2beulSVUulSe}SV0uDmbqVU~S]lS^_fuDb,VlS~SuVUmmaV!ggDV]S°qb,gl2V0mmT{~SV¯be]9}SguDuDV!belS]2,m#V¯fb,~ST;ie]2T{mVUl2],] g gD]BmV!bei]9lBggNl2mxuV!}3VU]2b,`_cmmDVeV!mp¤ T^crSvrS`cVU]`cmV¦2']uDVUb,]Smp]ÃgbeuDlB}BV!m^cVU],flgb,g¯]2~~fl¥`c[!lS,`cb,ieV!]2]S`cbed,mv}SieV!}3de]V!Vu~]B[Ul2if!]Sgul2^cV©uijVU}S]9ÒuDngV!mlS`clSVU,muV's9`_V0VUlS]ÃmV0s9mxlS]SgD^_VUV©b,`cm\]2um@VU`cVUd,]2m\iebeuDTlS~S,ieijV!]9]S`cg;_^cV0}Sm@s9lSlSs9`kiVÂlSgDVh^_mb,be]S]2]Äb9m\m@g^_V!]9V°qgD°qV!}3gDuV©[!ieuDfªV!^cV!gD]Ã^_]2,f!`cVUieVUmGmv]Sudeb,V0l2],mxVg m~SbeVl2~S`_VU[!ee[!VUV0`_b,mh}Sf!}3beV!]2T{f!V!V!uD]9]2gUij¤ ]9gh` V!°}S`_^kf!ijg^cbe]F~SVUmG}SuVUlSeV0m V!g\`cV!lSu\^c],gD[!d,uDijg^cbe]Â~Sie]2mG~SVUmGV!]qq^_uDbe]S]2V!T{V!]9gDm Ò20Ï! " q' ^c],gDV!uIief!VUmU9}2uVUlSeV0m!S$i #fQBijdeV\TigDQS[!TigD^cs9lSV,SiemDmp^kmpgDij]9g ~V}SuDV!lS,V.

(11) F¿e» ¼ ¾¿j»O¸ 2½¶½U»Ç²B³D½ ½ª¶ ,¿¹S¶ ´ ¯

(12) }2}2\uuÐbqbqbj^k*~mVU^co~®mhmxggDmQ2V!l2TVfQ*m!`ki¤i©gDVU¬mpdegg\uij^_}S]S}2uDQ2QSbV!^c~fUuDl2ij^Êgf`vm¯gGl2T^cm]MV!ijui¯]q^_oÃ]9~SgVUfVUf!Q2upi,Iiji,~ufVieVf`cgber2VU]Si,udNmp^kmxV0gDV ~®^c3fUb,bem;up]®gG ugDb,gQSb'T VN}S}SgDuDQSbquDbeVF~Sd,l2}2uDfieuVT;VU9deT{^cubeij^clB]S}Sm d'QS^kf!gbqie`zbe\`kl2mmV!i>Éuie^_mp]9^_o`kgijmpVUrSgupV!`cIVTËi,f^c V0]±m5gDQ2g QSbeiVgu d,^c]9V!g]SVUVUupuI^ki,f'fV ^_]9^kgDmV!}Suieub,fªdegD^_u,ijVËT{}ST{ub,VU~;deu^cij]T{iT{~S^_^]2ÐdMV!uDVUV!]9]9qg5^cu`cieb,]S]SdeT{l2V!ie]9degV, de,VUi>]S>V!i2ui,gDiebe]2u¯~N¡#T{V!b,]9mpgDg#ielSbeuÇgQSV£¤-~V0P5mpQS^cdeV©]¯]S~SVUVU¢ f^kmd,^_b,uDie]2}Sm@QSgD^kQ2f!iieg ` QBie~P5rBQSVUV V!]ËT\ie~V\- bempu ompgVUT \ieM~,Q2bi>f!,iV\gDVUr3~V!VUiM]Ë uV!V!¢ f!berB]2iemm^c^c~Sf'V!uD}SVUuD~Ç^_]B¤ f^c}S`_V0m!Tij^c]S`coÆ~VUmDfuD^crBV0~Æ^c] _ qv2W gD^c]ÈQSV'gDQSl2VMmpVUlBupmp^cVU],upgDV!^_u]9IgDieV!f!uV¯Iie^kfm;V©i¥^kmmV!T{}2ieie]SuDij^c}SgV¯lS`k}2iguV0b~ fV0miemm' mpuDgbeuDT l2fªgDglSQ2uV'V0~Ç`cbe d,gD^cfUuVUijV`#V!`_^c]S«ed,VÂ^_]S~SV,ij5gDi2¡#hbijs ]2~Èc £gQSgV¥QSVËl2m`cV!beud,£^c^cfU]9ijg`#V!u~2IiiegDf!iV gDTQSieV]Sf^_}2b,~]2lS,m`cbij^cf!mpgigV0VUgDm5]2^_]2gfdQSoVgbeQSmpV0V;¢ s,l2l2QSmV!^kV!f]2uQ'f!£^cVa^Ê]9g bjgVUQS@upVUfI`_i,b,}BfT;m5VTgi,b{iemGV!]2i]B~Smpm mplSVUmuD}2V!Veij]9¤ ug iggDbNVa}SgQSubVf!`cVUbemDd,mh^cfUTij`Çij«,VU]SVUm de^cg]SQ2VijgGi,m gDQSiVf¢b,T;QSb,}2`_`_V V!gxV}2u~bqbbjf!lS~ST{V!V!e]9VUgU`Ê b,}2}SuV0T{flSV!]9umpgab,V!uD]qmqg^_b;uDbegD]2QST;VaVU]S]9bg ¢ ;¢uDV!V!`c`c^ _VU£m«q]Sbeb]®¢ f]b,T{}SuTb,}BlSb9]Sm^kf!ieij`cm5g^ciebeu]¥b,lS}S]2uDbj~ gbf!©be`kymh b,uaTigQ2V!T¥igDie^cfU]2ij~ `~SijgDigQBi5g¤ ¢V!uDV gDgDQSQSVV©l2}2muieV!bq]Su bj^c@}SijlS]2~`k~¯VUieggVU^cQ2]S`_b,V\d }S`cTT{bed,ijV!^cg]9fUQSghijVU`ÐV!T{V!]q]2ijqdeg^cu^k^cf!]Sb,ie]SVe`j¤T{ beV!uD]9]'Tg Vl2¢ °S`ci,ie^ÊgDmzT;QFie}2mzf!`_ieVmx}2gD^kuijml2r2gf^_Q2g`c^ÊlSijgDuDg5^_V0VUbem~a gD~2Q2ii³DgDg\Úi2´p>^_µ]2¢#· f!V@uV0QB·k²Siei>méV¸ºVv¹3gr3»IQS¸ºV!¹qVV!Á ]r2ijij ]BrS£~`cV@¢ ¢ gDQ2^cb ~V!g^_uD]BQÂV\mxf!gDr3beuVlST{gxT{¢}SV!VU`cVUV],]° g }3f!beb,T{m^_gT^c]Sbeijbj]']2gD~2QS^_]'maV!u;gf!Q2ijf!Vij]®}B r3beijVNuDrST^c`_f^ lSb,gxo©`k]2iSmx¤gDgDQ2ulBifªgg^kV0m~F^c]2^c]±mpgbeuDlS]2T{V{V!f!]9`_^kgDfie«F`@rq^c]¥o©VUgD]SQSQ2VNiel2]2mfV!^cu0]SndËgDQSgQ2uDbeVNlSr2d,ijQ¥]Bie~]®¢ ^cie~]2gQ±ij`cor3mpV^kgxm\¢bjV!V!]®gQSgDVQST{VNb,l2l2mV!mpVu ^kuDiem5VU]2i,e~~SVUgDijuQSoNr2V#^_f!`c`c^Ê`_begxb9od,mp^cV\bjfUnijgDb`,TV!gDi]SQSgDd,VQS^_]SV!gxTV#oq}B^cijmzV0ggmp^kf!V!Q2ijgpV#gD`B^_}3 ]Sbeb,duDmDTmp}2^crSuDl2i,^c`c`_i,fª^ ggxmo\^kfmV\}BgbGVUbjVU`c i>~STo,m#belSilgD}gnQSgDgDV!QSQSTVVhiT{}SgD^cuDijfUbgijqQS`Ç^_VU]2`c^ÊTdgDV!i}SugiuD^kbqgDf!lSief!VUèuVmD mvb,cu^c UT] lSi¤ `kiemj^_mnlBd,^cmx]S]g ^_¦Bih^c]2f!TiefuD],ijVUg]Si,T]Smp^cVU]Sijuz]SdgD]SQ2gVUQSiuUVg V0iempl}3gVUb,f!T^ciei`_gcoN^kfG }Sb,uu bqgDbeQSVmpV0«qij^_]Buf~ËQnbj¤ v9`_gb,^c`_deÇ^kf!b,ie]S`ÇVV!Q2]Sied,m#^_]SgDVb;gTQ2ijiegh«eV¢#mpVlSl2uDVGmpV,g2Q2¢ ijg QSVU~2uiVagDi;^c]9~gVU^kmpuD}2i,`cfªi>go,^ceVUVa~N}2b,u]NbqbjgDQS Va^km mf!}SuuDVUVV! ]¯VUuuD^km VU~mpgg^c`_b ,i,V!fªgDuD^_oNP5,Ve~QSj^V 3^c]{VUugVUQS],\V g mgDV!ÆQ2]Bijmp}S]'V5uDbqgD}2Q2bji,i#mg@m~S^_^_,V!g#eVf!VUT{ie`_b,]{ij}SgrBT{QSV VUV!mT]9V!gG`ciVUVUgf^k]qgf!9VUie^c~;`ÇuDbe`c¢ i>]So,^_T{gbeQ{lV!]9gDg QSg\ieV m5Q2}3ie^c]©bemG^c],rBP gDVU ^_V!]2]¥d_ 0l2~ mV!£VUq¤ ~Â^kf^cVe]9¤ gP5VU]2QSmp^k^cmveVUT`_o'ij«, VUb,mu\giQ2V ij}SuDuD^_beV!rSgxo'`cV!Tbe uDieV!T}2rS`ci,^_gf^cV\belB^Êg m! uD`cbeieT ud,VgDQSmVafUij]S`cV!V°9}2g u,bqV!bju mp^c~beVU]eV!bj`c be}2\T;VUM]9b,gDm ]n¤vc !¬Sg #^km e i>>¤©ie^_P5`kijQSr2V`_V\\be3]Ë^c],gDVUV!]9uD]SqV^cug b,ij]SghT{ieV!~S]9~guD^kVUmmDm }S`kij]S]2VU~¥gb . . . .

(13) . . . ". (. . !. . . . # $. & '. %. *). ,+. .-0/. /. (. @. 21436567!8:9;=< BA'C. 8:9;=<8?>. D E. (. F G. @H. I .. -4 . K. J. '. {Tie]2V0~~P5^c^Êieg QSuVUQ2oNui,VÂmDm f!ieieiju`_`cV©VuV0TmieV!~i,ogDV!QSur3ijV!V!T`5VU]'«qij^_g]2g^kf!VU~2ijmpmg`nV0bj~S~aV!e ijbeVU}Su5`_b,}2g}S`_V0^kT{f!ieijfV!QSg]9^c^cbegD]Sm]2dm{iefu b,b,b,T{lSu]2}S¢ ~lQSgfVU^kbefupT{Qij}S^kb,~lS]SV0gV©~NV!uGT}SijuDi>uDbqo*^ÊbjgDQSz¢5T{gDijbNV]9gmxg^kgDf!l2gmUb±~¤ VU^c],]9ggm V!d,ijuD]2ij~gV© b,i®u ^_}S]9uDgbqVUbjup }2f!bueV0mpVUVUuD],mÇg~i^kgD~S^_i,b,fª]Mg^kf!f@ie]2}2V!ijVUr2~2^_m!`c^Ê>gxV!o©^_g^cQ2]±V!ui¯g}2b uQSbqVUbj`_5}~gV!VU,i,V!f`cQabe}SgQ2T{V@VU ],begal2]2VU]9~Sqi^cgDu^_b,b,]S]2T{mnbeV!S]9`_gUb,¤ de^kfvbe¦2unugmxbGga~SuVUijmD]Sfd,uDV^_r3beVvgijQ2}2V}Smp`_g^kuDf!l2ijfªggD^cbelS]2uDVm bef!b egVUQSuDVm}S^_]Bubq~bel2Impm guDb^cf!ief!` lS]SuV!uD^cV0]S~Sdm!¤Ã^_]FP5¢#QSVU^k`_m{£T«q]Sl2bmp¢ g]ËrBVÂTii,gD~SQS~V!uDTVUmDijmpgV0^k~±f!ijgD`b¥uV0Tmpl2ie`Ê«egV'm!¤ `_b,de^kmpfªV0fr2beie]BmVU~Ë~®uDie b,]SudeTVaiebe` T;ij}SV!}SgQS`c^kbf!i~SgDm{^_b,be] bembj@ºmpgxbe¢5ºijgx¢uDVNieu~VVUeieV!u`cVabe}2]ST;VUVUVU~]9V0g~©ie^cfU]ÂfV!f}Sbe]9gVUgD~nuDi,¤MfªgÅ lBVUiju`nV}2}SieupuDgb9m be be}SgDuQSV0mpVVU]9^c]2gD~igDlB^_mxb,gD]±u^kij^cm`mp]SbeVUºVUgx~¢V0ie~±uVarB~V0VUf!eieV!l2`cmpbeV¯}2T; beVUuD]9Tghij}SùD}2bquf!bqVUbjmDIm m LM;MON PRQ;QESS;S2TUWVEN XZY[\=Y%]GX_Ô\`QOabcc=b;QENedWVf. (. (. ggih%j6klmRl.

(14) . G¾½³Àj¿ G½³»´j» ´j»£»O¸I½³ h¸ ,½D¿ ¢]2V!Q2VUV!~']gD}SbNlSr3ufVQ2fi,b,mp]9^c]Sqd^c]2iafV0}S~^cVUgf!Q2V ijbjg ngmQSbjV;ºgx¢5mxgijiuDgDVeV!T{gDV!QS]9VGgDs9m l2rBieVU`_^_^ ]Sgxo;d¯bj}SÇu¢b,QSVU^k~ËfQieufVUg`_l2^cVUiem`_co¯be];uDV beBuDVUTfªghijg`2QS}2VUu^_bqu\bjmpI}3mUeVU}2f!^ÊlS¦BuDfUfiQBgDie^_b,mV!]2um!m ¤ P5f!beQ2]2^_mu^k~{~V!}2uDij^_u]2gxdo;f^_V!]2umg}3^_¦BVUfªfUgDi^_gb,^c]be]{bjÇ¢ gD^_QSgQNV uD b,VUmu}3TVUijfª`Bg~gV!b,f!V!V!`cbeugD}SijT{^c]{V!]9`_VUgeTVU`cl2mmpbjg#nr3s9Vhl2Tij`c^Êiegx~oVh`_^c}B«eb9V mgmQS^_r2V\`_V,febe T{b,uT{^cbe]2]mxgf!iju]2^_gf!VUV u¢^ki\QS VUbe] u m2VUbef!ulSgDuDQS^ÊgxVUo©mV¯VU>ijie}2`_lB}Si`_^kgf!^cijbeg]z^cbe¤ ]2GmUnlSV0uie¢mVbeuDbj«©5^cl2mmpV{T{ b,b,uuV;r3beV!uDde^_VU^c]9]Sg]SVUVU~ÂuDmgb^kma¢5`cijVUumD~Smamh^cT;gQS}3^kmbeumgDVUief]9b,ga]2~ÂgQ2uieij]¥]2de}2V;ubbjq^k~ie^_}S]2}SdË`c^ mDfUf!iiegD`c^_ieb,rS]2`cm!V ¤ gDb,bq]'bei{`km!qm^_f!]2iede}2`cijV\rS}2`cV ubqbebjnxQ2}3ij]2b,mD~Sm`_^_^crS]S`cdoNgDl2QSmV\^c]S}SdubqV!be`kijImvr3gbeQBuiiggDVGie}S]NuDV!bq]2bjde ^cf]SbeV!T{VUuTTiji>]Bo{~Sm!}S¤ ub~lBfVhijºgV!u5ia VU¢ ~Si>om@ben¢#b,u« iTeulSb,`klS¬ie]]2mU~Â¤zgQS¬mp]{V#guDu}2l2V0ijmxfugzgglSbe^kuDfVUl2g~M`cQSie^kuU~Smi}2¢giji¯V5}3T^_V!]2u0ijm>^k«,¢#mxVUgvVm\be¦2^_]gumxg}3gQ2b,mV5QSmDgmbQS^_¢±rSuD`cV!VQSV!b£g`c¢¥bËV!,gDbeV!QSr`qVgVij°qb,^cug]Fd9VU]2ijVU]Sm`cie^_^cb,ÜrB]ijb,guDT{^cijbeVUg]V!f`cQBbjoËijgD]S`cieQS^kmp^cV~Td,£b,muDielg}SQBg\QSiTg@^kf!ijTijg`,QSijl2VU«,mT{VV!u^_ijgv£g^c]9}B^kf!gb9ieV!mùmI^c ierSb,f!up`_VV gDgDbQ2ifgl2mp^km{gb,l2T;m^cVU¨!~ÄV\^_gD]QSVgQ2`ci>V'o,be`cbeld,g^cfUgijb`5ijV!}2]2}Sde`_^c^k]Sf!ijV¯g^cgDbeb®]2mUu¤ V0f¬be]¯u~±gDQS²3Va³]S´0V!´xµD°9¶ªg ·¸ºm¹2VU·xf»Ig¼q^cbe½!·]n¾{¢¿À0Va¸º¹q~ÁÂVUmDief]2uD^_~Ær3V\¢gVËQSVampQS~Sbij¢ gDijgQSmpg^kuDmNl2~SfªgDijlSgDuDiV `kbempijg@uD]2~Sl2deifl2ggielSiSdeuDÐVeVij¤]2f!Å ie~©]'V!¢uDVer3VeVagml2QSQSmV bVU¢-]B~©igi,gQ2l2m ijuDi{gGie`,r2^c]9gDieVgm°qV!^cugm ie^k fmvbegumx^cegDgD^_Va`cQSSVTb,r}SijgDuD]2ieb^_}S^_~]Sl2l2V0`cfª~ijgDg^_rq^cb,beo;]Ë]©iGbjb`kei>gVUoeVub,°qlgghQ2gv^c^cmx]©mGgDuD}Si{ij^cgVUuV!V0fd,mxVgDoubj^kbfªegD~SVUVUijuv~ËgDi\imlSmp^kgr2mhuDml2mpVgfg ^cg` lSbjvuD}3VU]2b,~mDijmp}Sg^clS^crSVUu`cfijVeV ` gDf!Qqbel2]2mf!`_}2lBu~bVq^krq~oÆVU~;~ST{VUmDVUfieuD^_]2rSm^c]Sbed¥n~ijV!`c5,V!g`cQSbeVË}S^c]S]SVUd¢ }SuDs9bqlSbjVUxmp9g¢ ^cbeQS]B^c`_mVGgD`_Q2bqibeg{«q^cgD]SQSd^cm{~^cV!uD°VU}BfªgDVU`_uo{^cT{ig#V!]9gg;V!°9ugijrB^kmVUVU^_m]2d¢ }S^ÊgDuDQb~uDl2VUmf}3V0~ÇVUfª¤ g;MgbV }2ubqbjV°}S`kij]2ijg^cbe]'ij]2~'^_gDm5^c],gDV!d,uDijg^cbe]'^_]'}SuDb9be~VUeVU`_b,}ST{V!]9g V!]qq^_uDbe]ST{VU],gm!¤

(15) N a¯

(16) FÇ ¯ ¬i']FgxoqbelS}3uGVU~ V°S}BVUfUuij^c`kT{flSV!`c]9l2gDmmU3i,¢#mVgQ2Q2VNi>elSV]2~lBVUmpuV0`c~Ëoq^_g]2QSd©V `c\ie]SdeÆl2iemdeoqVmpggVUbÂTÔuDV!ie}2m ugDV0QSmpVVU],`cgbed,ie^c`_fU@ijT`V!ij]SgQSd,^_VU]ST{V,ij¤GgP5^kf!QSie^k`@m\]SmpbjogDmp^_gb,V!]2T mU¤ l2mVU`cm TuDV!ij}2guQSV0mpVUVUT{],ijgDVUg^k~Gf!iegxoq`}BbeV0}3m!V!¤ uiËg^cbebeuD]BV!mvb,ijV!uDu0VªuDgV!Q2}2Vu`cV0bempdeVU^k],f!gDieVU`j~; b,ielSm]2gx~Soqij}3gVU^c~;be]a lSuD]2V!`cf^_gV0^cmnbebe]2]mijih]2f~;beuDT{uDVUb,mmp}Bg@b,T]2~iV!g]BQ2V!fVvTr3iVgDgx^cfU¢ijV!`SV!m]VgDgxmoq}3ijVUuDVm gx iel2oq]2]2}3~±fªVGgD`c^k^_beb,m5d,]*ij^cfU`kQ2mpijb`@ieml2 b,mgxuVUoqT~}BlSV b,`kieu5mUuVU«q}S]SubV0mp¢ VUa]*]9fUgiji,^c]S]±mdgDr3^cQST;V¯V }2l2`_m^kVUf!~¥ij³ªg³ gD^cbebM· ] f!@´bei]2mp¿}Sg³uuDNbql2befª^kmpg;b,Ii©T{ibe }SlSuDuD}S]2b9QSfbeg^k mp^cbeTËbj] ¤Fbj¬]9¢ gDlSQ2^ÊV!gD]S^_,VUV!e`cV!oeu T{gD^Êg;QSVUieVN^cm]S ^_lSde]2]B^cd efªVUg]®g^cbeQS]iV }2¾u´bqbjqn¶ªbe·k²´j¹3½! ¹S^c]¯¶ gD¤@QSP5^kmQ2mV\V!]B¢ mpQ2VGbe `clSV\]2`cfbegd,^cbe^cfU]Ëij`ÇijVU}S]S}Sde`c^k^cf!]SiVgD^_deb,VU]N]SV!^kmuij~S`c^_^_uDÜVUVUfm#gg`coQ2^cl2m mp^kV0~~NV0iSgD¤buDV!}2uV0mpVU],g#gQSV\`cbede^kf!ie`BuDlS`cVGbe QBiei>ue^kP5VËijrSQSrB`cV VUVUmUV!] ijf!}Siei,`c~S}2f!~`_lS^kVUf!`_lB~ijgm ^cgDbe^kb±m ]2mU«qQ2]Sijijb]B]2¢ ~~ `_]ËVÂ gxbeo9iju }2rB^_^_mxgD]SgDmhuDd*i,Vfª°qiegg]2^cuDbe~ÃV!]BT{m!^c]2V¤ ~vml2^_eT{fVUg]}S^ce`c^kVF^_f^_¢mpgxgo V\uD#l2gDgfªieQ2gD«elSV!V\uDuDVVU^_]9mUijguDbgDVQSi,beVFf!]Sf~`cb,o¯^lS3]9gDVUQSg#uuDVUgDV!]9QSVgVa«qfbe^cb,}3]2]2~SV!mxum gDiubegDlBbefªugDgDm@V!m¯uDgDTQ2ijiuDm Vg VUmpieg]2]N^cf` ijb}S,~}2V!V0uDu~'o¯b9l2ie fmpVUQ^c¢a]Sgd;¤ b lSm¢m\]2f^Êi¯ggf^cuQNbeV0]Âmpil2gie`Ê}Sg0`cVU2}Si,gD`cmx^QSfUgVi gu^cb,beieT]zu^cSbegDijl2QS`cmhVhzT~Sl2imil2ggi{ieQ2`2V!`_bqT}Sb,uDi«qVgD¦Sm^c°;fUgDijQS]S`VbjbegmD}3iijV!gDT{^_ub,iV]g^cijbebj]2]BÐ~'m lS^_beg ]2]Sf^cVgm ^cbeTe]¯V!i>uDo'ieoN}SVUl2}S]2m`cVf^ fU b,l2ilSg`Ç]9^cgbegbVU]{uG}SgDijbuDbuD^cVq]^c¦Sie~S`_° V ]2mlSbjrgDijmDgf^cbeuD^_]2}mUg¤ m!mpllSga}3V!l2uml2mijf!u` ^c}TgDimUgDzQSieV!]2T~¥ij>g^kief!uij^cbe` lB]SmGbegD«qij^cg]2^c~Sbema]2mbeiefd,gV!l2b,ieT;`_cV!o©guDde^cb'fr3`ki>V!oeoebeb,lS]2ga~©iegDuQSV^kmie`c`_mVUbËeV!V!` ]2bef!belS]9ijguDVU^_V!ugxV0oe~Çn¤ijPz]B~b `cTf!V!be,ie}3V!«eV`kVUmm¢ bj^_^_5g gQMV}B°qb9ggQ2mVUm^c]2^cmrSm^_`_rSV\ij^cuDgD` ^c^ÊbNVgxo,gx~oË^cmuDbj}SVUs9`ki>]SlSoNV!^cuV0T^c~S]Sim!dÇgDQSg¢QSV!V;TuDV!Q2iVNi>gD~S^cefUV;^ mÐ~V!ieuDVUm V!m]9m^_d,QSg]Sb`cVU¢ V!~Me]'VUi¯`c^_m]`ki>bj¦2oe5deb,l2Vl°ugV{}BT;VU eupV0¤ gDf^cmQ2Veij¤]2^cP5mT QS^cmgQ2`ci>ijo,gbe}2lugabT{q^kVU~fVUQ2mhieg]SQS^kuDmpV!T V W. . E. .

(17). . . . . . /. %. $#.. -. (. 'C . )#+*,'-!. Z. . "! $#&%'( '. /!. . I. (. 0. . 132 g4165.

(18) F¿e» ¼ ¾¿j»O¸ 2½¶½U»Ç²B³D½ ½ª¶ ,¿¹S¶ ´ . . .

(19) . $. ^cdelSuDV; ! °SijT{}S`cVabjTigQ2V!TigD^cfUij`Ç]SbegDigD^_b,]2m`c^ ]SVUieu ij`cdeV!r2uDi2¤

(20). .

(21)

(22) !"$#%#&

(23) #. k^P5ie~`cQ2mVUb\V©],gDT{¦2^Ê¦BuieV!mx«eug'V0m!m ¤z`_VU^ÊP5eg@V!Q2}3`GV#b,bji>mDmpa^cijrSV^c`c°q` ViegDrSV!gba]2`cV ml2^_ r2bemV5^_uD`cT{^Ê`cgxi>oÃijo,gDbemn¢lf!beg@beuDmp]2«gmmNu^kimxmpggz^cVUT{^cde]^c}SVUg`cQ2moÄVgQBrql2ioÈmg@l2ie^cijT;mD`,mp^_}2b]S`_f!¦So^c°\ijT;g]2^cb,]Sbjud±gDVijg}SV!^c`kuDbeijVU]nr3~>beV!beu¦2i]SgDf!VUVbe~ÃlS~u^c`kmmi>Ve}Soe0`kb,i>rSlolggzf!ie gDbe}2QSuDVijTr2mi^_o`cg^ÊmxgDmgD^_V!V0gT m b l2mfUlSij]2r2]¥~mDV!VUfuDuDi,`c^c^_mp}]S^c`_gD^co©]SmUjdBr3VhV°V}3VUgbe~Sfj]S¤^ÊgDVUVU]9~P5gDmUQ2jV¥i, ~Suf!ie~befª^cuDgD]Su^_d'b,V0]2mpi'}3mUbee`c^_]2mp]2l2~SV{}BV!]2VU beupf!uVÂ}Bib9^cm'mp]S^_gTV!^c¢beie]B~Sm!beV¥>}3gDV!i,QSuf!V ifgDuV0beiemu0m~Ð^c^krSf!f`_ieQ2VM`qb9mb9^_]^cmpde^c]n]Sg(QSd'!V¥g)+QS* b,VNuubqf!T bebeuDgvubemV0^cmpde}3i*]2bemUg]Bjij~brS^_e]2`cVUVed¯upG`c`k¢ ^_i>]SoeQS^cbe]S^kflSdBQ g VUmp2gebeuVUui]©gD^cV!]2gd,QSmpoegDV{zij]B}3}2fb,uVeV0mD#fmp^cVUgrS~SQ2^cV!`_V'^ ]2gxoËf!`ki>VUoegm\bËb,glQBfg{QSigbq beb,¢ u{mV^c `_lS#m]BoqQSfªTV!g`cr3^c}*bebe]B~`km-mhV0fb,, ^kl~gDV{/m. ^k ~beV;0ug, ieQSlV;. gb,uDTie]Siijdeg]BV^kf{~1l2}2m,(iel22 uij4VU`c3 ],_oÂgDuQSf!VUVUb}SmeuD^kmaVUVUum^_V0V!]B~Ë]9mpgVUr9^cup]SoËgDd®^_b,gD]nQSie~SV{n~ «eb,^_gVU],^co9begr3m!]Ã b,ieijijuD]B]B~n~~ ¤ ~S^_q^kmp^cbe]'bjuDijg^cbe]2ie`Ç]9l2Tr3V!um5^cm ~V0f`kijuDVU~¢ ^ÊgDQ'gQSV b,`_cb¢ ^_]2d`c^_]2VUm bezgQ2VgDijr2`_V ]2G5 ie}3}ST{`cV!l2uV migDbeu ^cB]ij¦ST{° ^_`co }SynuDV!VUºgf!VU~VU]2WjfV }S| uD^cVUdef!Q9VUg ~VU]2WefV ]2Shbeij^kijT{]9`cg beV d 2mptgxbeyoq]9`_Vg ¬x Smp^cb,¨! >],V Wg PzV!6 °qg 5 TlS`Êg 5 ~^c ^c]uie¦Sf° g^cbe] WeeW Wj,W hh^k^kijij`c`cbebedd ttyy ¬x¬x > >WW 7 y2bei>u'oeb,^_l]Bgmxgbeij}3]2V!f!uVÂig ub,ieuDfªm{gD^_fUb,ij] ]È~uDbqVUfVUVUm^_,]SV©beg'i®l2>mieVMu^cViegx]qoÄoÄbjgDaV°qijg©uDdeijlSuDT{delSVUT{],gV!m]9g0rS¤ lg¯g^cQSdeVUlSoÄuDVÆT ,i>Go*mQS]Sbbe¢ g¯m¯l2mi*VÂ ijV!`c¢ hbebeGgDgQSQSV!V0TËmpV ¤ ¬m]Ë^cT;gx}2oq`_}3V{Vbe£g}3QSV!VUubeiuDgDo9be£ur2mi,~mpV0^cm~¯}S`kuDi>V!oÂ}2umxV0gDmpuDVUij],ggVUidegD^c^_VUb,m]2\m5i,bj~Sv~`c^_beg^cdebe^k]2f!iemU`Çn TbeuDl2T`ÊgDl2^_}S`ci,`c^km!f!SiTgD^_b,ie]2]9mUobem}3lSV!r2umpiggDubeieufªmgD^_b,gQ2]2ijmUgGnijl2]2ml2~®ijmD`cs,o¯lBijQ2uDi>VU,mUV ¤ Nà =U.

(24).

(25). Y.

(26). W$.

(27). c àWM.

(28). ( (. O$. (. .

(29). ggih%j6klmRl.

(30).

(31) G¾½³Àj¿ G½³»´j» ´j»£»O¸I½³ h¸ ,½D¿ . W. . E. ]WN;N=dY 2 bW[MN`]eY\ ^VO\% c .ea]%[`b;a`YOU%M Y 2 bE[M

(32) ]EN;N=d Y 2 bW[MN\6V 2 ^VO\% c .ea ] %[`b;a`YOU%M Y 2 Eb [M Y 2 Wb [M

(33) . . ]EN;N=d Y 2 bW[MN`]eY\ ^VO\%c.ea]%[`b;a`YOU%M Y 2 Eb [M Y 2 Wb [M

(34) . T !EL3"#%$&%'(!EL ')

(35) . . *+!EL,' -!EL ' *.0/. ^_d,lSuDVaW 2143;ulS`cV\ beu ~^km}S`ci>oq^c]Sd;guD^_}2`_V!gDmU¤ gx^c]2¢mpbagDieij]2uDfdeV,lSjT{VUs9VU],l2giemv`_^ iegxofg^kl2m iel2`_cmpolBijuDVU`c_foVU^_q,^cV5V!¢V°qVU~;guieiamviji\uDdeuDlSV!T{`kigVU^c],beg]mrBgbaV!gxT¢#ijVUV!«,];V5gxgxo9¢}3bGV b,^cr]wx VUbefuDgDTmUjirSg^clbegv]{gDT{QSVUbemuDV V5be}SruDwxVUV0ffª^kgmm Ve¤ ]SV!SV0be~ u gDgDbQSuDQ2V!i>V,ijV#uDgDdeQSl2VGT;mDVUij]9T{gV5uDV!gx`koqi}3gD^_Veb,¤ ]nSb,¢ uvQSgV!QSuD^kV\m@uDgVUQSi,Vmpb,¦2]nuDmpg gDQSijV uDdegxlSoqT{}3VVU£],gg QSVU^km5beuDgo,Q2Vr2i,gxo9mpV0}3~Ve2uD^_V!]Ë}SuD¢ VUmQSV!^k]9fQ'gDijggQS^cbeV];gxbj¢ÇbVUs9bjgDl2QSieV!`_û gxo;T^cl2m@mxi g r3b,]SV!`c`cbeo]2gd2QS¤VaP`kieb¯mpg6Q2ie5;]2ij~uD`cVV~SgDQS^cm^c}SmU`kÇi>^coe]VU¦S~n°F¤ ]SbegDijg^cbe]2m\ij}S}2`_o©VUeV!]Âgb lS]2fªgD^_b,]2m\¢ ^ÊgDQFgDQSuDV!V{ijuDdelST{V!]9gm!3rSlg (.

(36). 3.

(37).

(38). . 7098 28

(39) %

(40) 9: ;:=< &:4>-?A@ B: #(98 B:. ¬~S]MVUmDdefVUuD]S^_r3V!VUu~ij`£rq2o¯gDQSiV;mp}S^cT{uV!}S V!`cuDV\uV0T~©ie}S]S}SbegD^c]Sid;gD^_b,g]©b{g beQ2uVai}SudeV0^c~eVV!¦B]F]ST{VU~ijg`ci>QSo,VUbeTlig g^kmpf!gieui`zgD V!l2de]2^cfªVUgDm5^_b,i>]Fijbe^c`ku\ijrSuDV!`cVG`ki^cg]'^cbeg]MQSVaf!ijb,]2}B]SVUbjuDgijgrBb,Vu g}BijirSgpgD`cVeV!¤uD]2beT{u\ijggDQSfQSV0mp^c]SVdGber2}3ieV!muVUi~gD^_b,`cie]2]SmGdeiel2]2ie~ÂdeV,uDjV!f!`kiji`cgD^_VUb,~]2mU B2l216mV!32u¤m\P5f!Q2ij]M^cm ~`kijVU]SmDd,fuDl2^_ijr3d,VVg^kQSm VU^_^_]2uQS]SV!beuD^ÊgDgDiVUgD~^_b, ]Âub,l2Tm^_g]2QSdVhi'¡#VUmp^c],T{gij}SlS`_Vu momxgD2V!beTËu;¤ ^_]2mpgDie]2fV,@^_ gQSV'TigDQSV!TigD^cfUij` mpgl2~o®beºgV!]ÄTij«eV0mlBmpV'bj gDu^c}S`cVgDmUf!be]2mpguDl2fªgDVU~±¢ ^_gQ gxgDoqb{}3uVUVU~'}S`c}2i,iefV\^_um!gQ2¢VQ2~V!VuDIieVGlSgD`ÊQSg V]2gxbjoqgD}BijV0g^cm ber3] V! ^c]Sdl2mVU~ËijuDVaij`c¢i>om#gQSVmDijT{V NBie]2D~ C;2l2mV!um5Ti>oN¢ie]9g

(41). 3.

(42). #. '. E #GFIH'KJLCGMON

(43) HQPF E 'RFSCTNHVUF;WM;M. ¢ ^_gQ©i;T{beuDVafbe]Bf^kmpVij]2~nSQSV!]BfVe2T;b,uV\uDVUie~2ijrS`cV]Sbjgig^cbe] X PF%UF%WSY[Z PV!5°Q2}S^cP5um V0QS`kmi>^kmoem¯^cbeb,fU]2lijmGg ]ÈrBuDlSVUr3`_^_VFV]2dËf!V0beie~STm^c^_m`crS}SoÆ^_`k]2i>V!VUoe°qm5VU}2~ngxu¢¤V0mb{¬m]MVU}2~ijgQSu¢ gD^kmUm^_¤g}2Q P5igQ2iÆgVVU u¦2]n2uDnmp16ghg3*QS^km V{ui{l2]2`_ie}2VËT;ijgDgpV0Q2gm\VUiug'`_]Ë^c«eQ2VgDieQ2mNig gQS¢ V©^c ` zb,r3uTVf. b,deT;^ceVU}B ]ÃijuD^_VU ]È~'¦B¢ de^ÊgDlSQËSuDVFijg]BQSW~V ¤ l22]SbeT{«q]SV bbe¢ f!}3]nbeV!uD>uugiV0Q2gDmpV!be}3oubemv]Bie`cu~Ë^_«,VVguDb'V!}S2guDuDVUV!mV{V!]9b,Tg}BV0VUi>~auDo{ij¢ f!g^_beieguuQ{uDm o^cij]¥iuD^cgmxieQSgDrSuV^c`_]SV0~Sm!dijjgDieijij]2`c~amplSgV,gDuD¤QSl2V!fª¬uD]NgDV5lSguD^cQSmvVVGi\uD}2V!`c}SVi°guDgVU^kf!V!mijuDV!]n]9`gDqf!^_bemp]Sb,]qd¯T{eVUgVh],QSgDmpV{^_l2b,`crbe]aOd,gDg^cV!QBfUuDijiTg@`m TbeijuDijuDT«,V VUlS`cmV`kiSº^Êgg ¤ H. 3. Y bW[M. ]WN;N d. ^VO\%c ea] %[`b ;a`YOU%M. Y bE[M. 132 g4165.

(44) F¿e» ¼ ¾¿j»O¸ 2½¶½U»Ç²B³D½ ½ª¶ ,¿¹S¶ ´ }3ieub,V mDm^_rS `c VGg b{SuieV0]2f~ b,de ]S^c ¨!VG¤ >ieu^kijr2`_V0m gQSVUo¯ij`c¢5i>oqmmpgDijug5¢ ^ÊgDQ'i;mxgiju0¤ ¬]b,lSu5V°SijT{}S`cVe9gQ2V\ieu^kijrS`cVUm r3^c]¥b>°gP5QS^cVmQSVier3]Sb>m]SVU°Ff!bebe¢gD]2i^cgD~F`_VU~}2rBijVN¢ u^_g\ieguQËbeu@iji]SgQ2`kd,i>V;VUoe~Fb,uDllS¢ g`cV;^ÊgD~SQ¥f!^_uDbeVUuD]9VUfgDmgie}3^ce^_]BVUVGfªm\gagiQ2gDijbË`kgi>VUoe^c]2iebef~lSQ¥^kg\f!ijbjm}BggDVUQSV0mfV!^_u0QS¦B¤bf!¢ ij¬]¥g^cgbeQSg]FQSV\^kmab,uijV!d9uD°^_ijb,ie]Sl2T{^c¨!m#}SV0f!`_~©beV,T{z^c],¢}3gDVbbe]Smpr3VUVUb>],V;°gVUmb,mU]S}S¤ `cuoÂV0@mpgxi,VU¢f]9Qb g «qmV!^c]2}B~SijumzibjgSV0~~a^curqV0oafªgbe^c]SeVV0m lS ]S^_gv3 bjB"#m}2Li,$fVe ¤'Å b¢^_]2V!~S,^cV!fUu0i0gV0^_2mÇgDgDQSQ2V5ignijgDuDQS^_Vb,l2VU`_mVUf!T{beV!T{]9}3gDmbe]SmpQSVUb,],lSgm`k~G~Sr3b\V]2`kbjijg^k~¦SgvbelSbegz]QSgDbeQSuDV5^c¨!`_^cbe]S]9V,gijg`cQS_o,V `k;i>oeV!b,°9lgDuDgi{mQS`c^ b,]SlSVUm`c~bemx g~Sij^cumpg5gDieie]2d,fieV,^_]'¤P5igQSgVaQSbjVgDQS]SV!V!u °9g ~S`c^_^_uD]2VUVefg^c¢ eVe^_g QËij]¯'^c ]2~^_]BVU]9~gD^cfUiigDgD^_b,VU]¯m5gDbeQ2 iWg lSgDQS]SV^_gDm5ijbjuD^_b,mpl2}2mi,ffV,b,qT{ie}B]2~Nb,]S¢ V!]9^_ggDQ m ^cfU]ij]'gDQS}SVhuDVUr3~b>^k°{fªg5mQSgQBb,lSigh`c~NirBgV\lS}2ijuD`_V uDie]SdeV0~ Q2be uD^_¢ Übe^_`c]9ngDr3ieVa`_coe`ciej^c¢ ~^_gbeQlSg ]S^_b]Ëmbe}2]2ieV\f!V ber3VgDgxQS¢V\V! V!be]N`c_bgQS¢ VU^cT']Sd{¤ TÈij^_]SgQ¯]2V!guQSm ^k muDlS`cVe9¢#V b,u beu beu B gDP5mpgQSQ2uDVhl2Vad,f`_guDV!lSieºg}SuDQ2VeQS¤ ie^kf!]2P5ie~©`Qql2mpl2^kmpmU~VUBVaup`ki>be^coe],b,gDgDV!lQSug VIieuD`kf!lSi>V5`_oeV0gbemhblSieg5}SuuDuDV^clS],iN`cg#V`_be^^cgpmhlgDg#`_uDVijggQSVUQSVGieVUm}2u ^cV!ifu gbeggDT{V!buD}S]f`cb,^k`kf!ij]2i]SmpgDgd,VUuDl2~¯l2ijfªgd,g0bV¤ ¢uDyzV!uDi>}2^ÊoegDuVeb,V0BmplVUrSg ],luDgg lSi`_gD^_V0gh^_b,mh^c]m fUij }Bb,]©b9u#mr3iamV^_r2d,ij^_`_,VuDV!ugDij];b]Sgd,l2uDVUV!mp~VV gD^c]9b,Q2guib®TglS}2ie`ki,}Sief}Sm«>`cie^_^kV0m;demV0ijm;^c]*miel2b,]2uDmp~Ä~V0~MVUguQSV0gV©b©~±`kffi>b,b,oeT;Tb,l}2rSgl^c]2gmxiV{gDgDuDgD^_ijb,QSg]±VV!d,bj`co±i>ho,gmbeQBV!l,ig0V!gN¤uij^kP5m`QS}Bie^cfªmiegDf`cl2«i>ijijo,`cd,beo*VUlmUga¤l2T{mSVUVU~Äb,fuQ2gVUieb±e]SV!~^kmpuD^kTo¥mp}2}2`c}2i>iuo±gbgqgDV!QS^kuD~]nV©VU mTgDi'QSiVNgDdeQSbq¦2V!buT~Fmpgi`cgDV!uD^clS,fUijV!`_V `` bes9lSV0V!mx°qgDg^_V!b,]B]2mpm ^crSm^cl2`_^fgxQ'oeBi,rSm5l`_g ^c]SgDVaQSrSVuD}SVUuDie^_«qT{^_]S^_gdB^c¤eV0m }SuDb9^k~V0~'mpg^c` z]SVUVU~gbNr3VVU]SQ2ij]BfVU~gDbNfbe]9gDub,`n`cieud,VamfUij`cV . . .

(45) . EL. %L. ,]. ,]. . . 'd. _]. d. . ,]. d. d. ,]. . . d.

(46). . B8

(47) %

(48) #@

(49) : #&!? . 5Pf!beQ2TVrS ^_]B2i16gb,3'uDmU`kij¤ ]2de]Sl2bjiegDdeQSV;V!beu]S`c`cV!oÂ,V!Tìjbj«,VUV!m°9gD^_gV!]2}Bmb9^crSmm^_`c^_^_r2gx`_oËV;ggQ2bËijg\T¢ij}¥V}S b,uDubTq^clS~S`cVi^c}2]Fijbegpgl2VUuGu]Bd,m\uDieg}Sb©QSV^kf!°ij^kmx`gDl2^_]2md'V!u£d,^cuD]9ieg}SV!uQSI^kief!f!ieV ` ^kiem]2g~QSgDVGQS}BV!b9o¯mmbe^_]Sr2`c^_oN`c^Êgx]So;VUVUgDb~¯iegb{~2~fbe]S]SV! ¢ÈbeuDd,T uDieg}SbQSi^kf!ie}2`BuV0f~b,VT¦2rS]2^cVU]2~ijg^_be]9ugmUVU¤upIP5i,fQSV,V0¤mpV\fiebefQËTrSfbe^c]2TirSgDbe^c]2um@igDijbeuDuV ]S¢ V!uDV0^Ê~Sggm#V!g]b{^_rB] Vaeiei>rSiS`_V gDr3b®V!^c]SV°d}Sl2uDVUmpV0mDm~Ç¤G¢ P5QSVUQ2uV;VËf!`cbe^_]2TVUr2mU^_#]2mijo9gTb,u rBTb,`cl2mUmpg\ieie]2`c~ÄmbNmlSr3rV;Vie°rS}S`cVuDVUgmDbm^_ub,V0]2iemfg ieugVËb~T;uV0i>m¢ mD]Æijd,¢VUm QS^cVU]2]Æ~^kgDf!QSij^kgm^c]SfdNbeTgDQ2rSi^cga]2iiNgDbemu;lSr^cm V!QB°ie}Sm{ufV0Q2mmij^c]2bede]ËVUQ2~nie#mG~flSQ2VËij]2gDb±deVUiM~©fmQ2^c¨!ieVU]S~ deV'O~bjlSaVmg^_b¯ÜV'V0~^c]Ã^_g^cij]S]Sd begbeQSu VUu{gDQ2f!ibegGTgrSQS^_V;]Bimpg^c¨!b,VuU¤Ãij`c_P5bQSf!ijVËgV0T~'ijg^c]ÄbNgDT{QSV!^kmGgQSf!bbe~STmr2ie^_]2uV©ijgb,iemu b,`_cb¢ m }Bu^cb9dempQ9^_gg£^cbeQ2]Biem]2¤q~'beP5zmpQSij^k~`c^kBm5Ve^_¤T;gDmP5V!fQSgb,QS^km T;b~~}3^kbe^cmxm g]2ijV!fU]2]9ijf!gD`c_VamUV0¤ ~^cm gDlB]bmpuDV0ieVU~¯us9d,gDlSlSbN^cT{ufVGV!QS]9gbqQBg@b,ibjmg5ÇVggD¢ QSQSVaQSVGV!f!T{]'beV!Tggb¯QSr2b^_de]2~b;ij^kggm@b,b{ugDgDQSf!QSVGbeVT{~S]S^c}SmpV!gDl°9iegDg ]2VU`cfm#^ VG]SgVeQS`_V!SVºb,guDu V!b,`k¢]igDQSg^_QSVU,] VV gbl2mVai;eV!ug^kf!ie`Ç`ci>o,belg5^c]2mxgDVUi,~¯be ie]QSb,u^c¨!b,]9gDij`Ðb,]SVe¤ m}Sf!uDubVU9V!^k]n~¤V0~Ç¤ T{¤Æbe]SP5dÄQSg^kQSmV®T{ijV!uDgdeQSl2bT;~*VU^k]9m{gDmUf!Gie`_ijcVUuD~ÆVUi,¢mNQS¢ V!QS]ÄVUugVMQSVËgQ2fV¥b,T{~}Bui>b,¢ ]SV!^c]S]9dÆg{^c^km{m'ieufV0gijl2`c_ieoÃ`_co*]SVU~VUu~i>V0¢ ~ ]*Tbei>]ÆoÈgrBQSVV . 3. (. . .

(50) . (. !#"%$ &'. (. ggih%j6klmRl. !.

(51) G¾½³Àj¿ G½³»´j» ´j»£»O¸I½³ h¸ ,½D¿ rSbe}3lV!gNui^_\gD^_b,b,¤S]S]nP5V©qQ2g~^cQSm VVgDT{VU~SfV!uDgDgi>m{QS¢ bgD^cQ2~Ë]Sid;^kg{m ¢ gf!^_Q2ie`cnVÂ`_cbeVUf]2~¯be`_oNT{gb}3r3uDbeVVU]Ss9gVUulS]9ij^cg{]BuV\mpQB`kgDiieQ2gDm;VUi~ÇggQ2¤ gDVÂQSVmiefT;b,T;V©}3mbe^_Ü]2V©V!]9ieg m{^cmh^c]~uDi¥i>¢ }SuD]'V!qbe^c]bel2gQ2m{V~muf!i>u¢ VU^_V!]2]nd g Qql2ma }3b,mD m^_rS`c¤voÂP5uDQSVUs9^cm#lST{^cu^cV]SgDdQSbg~NQ2ij^kgam#fUgijQS`cV_V0be~;gQSgbVUu^c]2mp~l2^krf!£ijV!g°Vh}SguQ2V0ijmg5m^cbei]2mm\lSrbj#Vg°QS}S^kuDmVUf!mDmbe^_Tb,]r2^_Q2]2ieijm#gb,fu\Q2ij¢ ]S^cd,` @VU~rBVm^_ÜuDVVe gbeQSuDV'Tmpi^c¨!gV0V,~MzgDieQS]2V!~¥]®ugDV!QSV ~SuD i>¢ ]n ¤¬# gDQSVT{¢ VUQSmDb,m`_ieVdeV{fb,TTi>rSoF^c]2]Sijbegbeguar3fUVij]¥guijrB]2VmT{uDV^Êg~guV0i>~¥¢ g]Fb©¢ gDQS^_gV¯QSb,flb,gTfrSQ2^c]2ijij]Sgd,be^_]2

(52) u d m }2iefijguD^cV!be]9]2g0m5¤ ¢ P5QSQSVU^c]©mhQS~SV!i`cg}2imh^kQ2m5i>T{q^_b]S~d^Ê¦BijVU]©~Ç^c]2 b,fuDu V!i{T{T{V!]9beguDijVG`nl2`ki>moeV!b,u£l ghu^cV!ij]2`cde~Sb,`_uoN^_guDQSVUTËmlSB`_gU¢ ¤ ^ÊgDQÂT{^_]S^cTijùV!~ui>¢ ^c]Sd

(53) 'Ä ! ' W. . E. !. '. & . '. . &. . . . . $

(54)

(55) #(98 28

(56). DuP5ieV!}SQ2`c}S^ V¯VU`cm^_l2V0~'beml2]gijb`#Á9´0gDT{QS¿

(57) bq^km ~S`cV¯¸ºbe³de½bjU^k f!»£ie½ }2`Çubq ²3bebj³uD ÚT´p~µl2VU¤Ä`cei2VUP52`_b,rSQS}SuDV'VUT{iel2V!«9m]9^cV!]Sgu;d{^cV!]±^_]9g\gg~VUQSuDbV'm;¢ ^ciM]©],gDde^cV!]9b,ugieieb¯f`gm`c^cbe^_eT{d,V^c}SfU}S`cijV!uD`#u bq bj bebe uDuDTmpTolSmplSg`k`kiSVUieT{ mUBgDmQSmb{V!bj]Ã gQ2gDfQSijb,VgGT;¢ 3qT QSie FVU]2]ËI~Sijgm;T{QSijV0^_uDmp`coVV uDmb,V!^cT;u}2Tu}2V0lS`_mpVU`kVUuie],m gDb,VUf!u~ijT]¯¢ lSg^Ê`kgDQSieQ{m VU]ijiGuDr3gDV#uVVU«qV5u]SV0bmp~g¢ l2uD]l2f!VUfg~NgblS^cr3uD]VeV¤ ggQSuDValSfªVegDmDl2ijgDT{ijQS`c_VGV!o,];TggDieQ2QS]S^cV5mv]S}S^kV!mvuu0VUQS¤ qb¬^_¢Ä]9b,gl2lSim^_g}Sde^cub,ebqieVUbe`q`_o,2^cmv,rBgDmVUQSlS^_]2VuDVd¢ gDfQSb\bebe]Br3`cmxVVgDu}Sgl2uDuDlSfb9gVebeV0¤ z~P5f!^kieQSm ]¯V uV0gDmQSf^_T{b,V!uD]'}S~`crBV0V!~Vu ^c]2m^c¬~S]MVGggDQSQSV;V }S\uDbq¥bjº£`_gb,uDdeV!^kVf!iemp`3guDVUl2]Sfdeg^clS]SuDV,Ve¤ nie`_ ]Sb~V0m\ieuV;`kijr3V!`cVU~Â¢ ^_gQMgQ2V`cbed,^cfUij` beuDTlS`kiNgDQ2ig¢5iemGgQSV d,QBb,i>iee`9V¯¢ ]2Q2bjV!g{]{oegVQ2g{^cmvr3}2V!uV!bq]bjÐie~SmxgD~SV!u}{V0m¢5mVUie~±mvfrqb,o*]2mpiFguD}Sl2ufªbqgDVUbe~ÇG,frSb,lT;gvTgQ2ieV!]2uD~ÆV mxiegD]2^_`c~®2ijguDQ2VV!gxoÆ¢#~bb¥«q^c]S]2be~Sg;mvQ2be3i>,]SVb~fV0QSm ^c`k ~ú²SVU]*½!¹a]S]Sbb~~V0VUm!m ¢}2uQ2bq^_bj`cV fb,

(58) _´T;¶!T½ ie]S]2b~S~m V0ijmuDVijuDijV`kmpbie`cmf!bMie`_c`kVUij~¥r3V!»`c¿ VUU~Æ»I¸ ¢¶ª^Ê¤ gDQÈiF}SuDbqbjGf!beT{Tij]2~Äij]2~*gQSVUo*Q2i>,VfQS^c` ~SuVU]n¤ÄP5QSV igD¯V°qmxgDgU¥uql2V0VfiegQ2flSQNi>uD,VUfVa~©`cb,^_gmT{VVU°q~N}SgG`c]SV!gT{bQ2~VUijVh],gGgD^k^kVUmmG~©uD~V!i^k}2mu}S}2V0`cumpi>b,VUo,de],VUugD~ËijVUT~{l2mrqgD^co{]SQ2dNiigGbemgl2V!u]9uGi>ged,VUV!V!]2u]SfmVUV,VUuD,m#ie¢ g`nQSQS`cVi>VUo,u}SVhbeuDlgb9gGQSbeVGºT;OegDV0uVUfVUuQ2VarNijmx]2^kgDm^cumfl2TËQSfb,g¤ lSm¬V!uD]©]{VggDieQ2b]2^c~©m\~V0mxfmgDb,f!u]2ulB^cmxfªrBgDguVhl2lBgufªQSV0gD~Vm g²3ie³f´0g´x^kµf´pr3µ V!^c]SdË2l2 bem`c^__]Sbd'¢VUbe~¯]FrqgQSo^kmgQS]SVabd,~b,V,ie¤ `BS b,b,uuGTb,lS}B`kVUiS]M¤ ]2bq~SVUmUÐgQSVmV!]9gVU]2fVgQ2ijga^cmfQSb9mpVU]F^km ¾{¿UÁj¸º¹Ð½¯¿ fbe!`_nlBgmp¬Q2^c]¥beVG]Ëded,b9b,gDQ2ijij`zi`3g\^kb,m#u]S^c~V!V!^kV0]9m~SgD}SVUm `c~©i>gDo,b¯}SVUuD~Nr3bqVijbjºI}SgmUVUuDÐu#bdeegDb,V0QSie~ÇV\`c¤m\¢#¬ijb,]©uDuDV~SgDQSmm VUVªs9¾gDlSVVU¿!°q]9ÁeggD¸ºl2¹3mie½`g¿\}2QSu²BVUV0o©³mp´0VU}2´x],µaijg^ci´puaµgD^_iNb,]©`c^mpbjqg@gDQSbj}S#VuDbqi,Q9bjmoqmI}3mUlS2bjT{gDbeQS}]2VUg`_o'^cmbeVU]BmgQ2mGijVuD¢ VGf^_b,gmDQ¥]2f!ijfigp`cl2gVUf!mbeu^_b,V0]]~ ^cP5]'Q2gV!QSuDVVgDieVu°qV\gUgx¤ ¢b«q^_]2~2m bjgDi,fªg^kf!mU¤ qb,T{VgDiefg^kf!m ieuV D¿>¶ª¸ !¤#P5QSVUof!beuDuV0mp}3be]2~¯gb}2u^cT{^ÊgD^_,V beuDT{m beieuV uDVUDi,´jmp¾hb,]S²S^c´>]S¶ªd ¸ »½ g¤*QSVP5Q2^c]V! o±VUufVUb,]2ufuDVaVUmuD}BlSb,`cVU]2m5~¥bj gbF]2ijggQSlSV'uijuD`_VUie~SmVUbe~]2l2^_]Sfgd©^cbe}3]ËV!umx gxbeoquD`cVaT{mpVUV0~±s,l2rqV!o±]9g ijf!uDij^c`kbefl2l2m`_l2«9m ^c]2¤ ~ShmgbjQS\VUu5~VUgDief!^cfmg^_^kb,f!] m }2mV!uVhbfgV0QS~VlSr2uDi,VUmmp^kf b,uh^c]ij lSVUgubeVU]2TfijVg^kmxfagDV!}S}2uDmb9QSbe^k@~Smp~V0VUij]¯ufr3Q'V!QSf!be^c]2T{~'Tijijl]2gD~SbeTmU¤ iSgD^cb,fhuh}S}SuDubqief!fVUg~^kf!l2ieu`nV0m!]S¤ V!V09~Sg^cmU` BO^_gh^_z^kgDmhQSuVGijuD}2V!u`cbqoNbjl2nm}2Vu blSf`V0gmb m gD]2QSV!^kVUm!~2@m¢gDV'bMQ2r3i>VeVgQSV!b,]SuQ2b,ielS]2defQSV0`c~±o®VgDQS°SVËijT{}S^cu]SbqVUbe~nºO@gDu^Êg{VUV¯T~Si>io±giMrBV'mpg]SuDl2V0ffgVUlSmDmDuDij!V uDoM]SgDbb¥~VUmm;V!V¯f!iegQS]Ä^kmij`k~SmbFijgDr3iS¤*VËieP]SbM]Sbei,gDf!if!gDbeVUT{~±b¢ ~Si^_ggDQ V . .

(59). . (. D. :

(60). Z. W

(61)

(62).

(63).

(64). . H. A.

(65).

(66). !. @H. 132 g4165.

(67) F¿e» ¼ ¾¿j»O¸ 2½¶½U»Ç²B³D½ ½ª¶ ,¿¹S¶ ´ ^kiem ]Sfbjb,gDQST{]SV!}BbjuvgDb9}2QSmpuV!^_gbquV,bj ¤ ºlS£g]2uDfV!gV,^cbe>]2gQ2ieij`_^ g#gxo{~V!ggDQBiji^cg5`km^cm#gQS}SV uDbuDVU9i,^k~mpb,V0~]S^c]SrqodGmpbeglSVUu5}2mvmxgD}3ulBV!ufª gbel2uDuT;V\V0~~;u^cr9eoVU]NgQS`ki>V oegbeielSfg#g^kT{fjeVU¢ fQ2Q2ieV!]S];^kgmpTQS^km ^kmgiegDfªQ2gDi^cfg ]2r3bqV~Sl2VUmmNVU~M^c]ÈgbËgDQSgDVFV!`cgDu¢VUVFQSV!mpggQSuDl2VUuafªgDglSQ2uVNVMff!beijT{] }3rBb,V¥m^ÊgDijV{]S]SgDi,befªgDgij^kgfVU~Ãij`cbe¢ ]2^_V;gQ ^kmV~°q^kgmu}Si±`ci>^co,]VU be~MuDTbeuig¢ ^cbeQ2]zVg¤ Q2V!ua]SgD]2QSbjVgDij}SguD^cb9bebe]2#mgDf!Q2iei] g ^_V!g©°}2fijbe]2]Bmmx^cgDbeu]l2fmpgQ2V0u~È^c]S^c«qmË^_]2~d¥^km}ST{`ci>bo,~VUVM~È¢ ^c]2QSmpV!guDV0VÂie~ÇgDQS¤ V!oÈP5QSf!ie^kmË]Èf!Tij}Bijij]qrSl2^cij`_^`cgxooÃm^cmV!`cVU}SfuDgbqV^c°~}SV0uD~ÃVUmDgmb^_b,]2l2mNmV!uijm¯]B~Èl2]2}S~uDV!beuËdeuDijVU] mDm^_VU,i,V!mp`coo uDVUs9lSV0mxg5 b,u5gQSVU^_u V!°q}Bij]2m^_b,]n¤ . . .

(68) . (. (. . 7

(69) ! &:4> !:=<-

(70) " !:=<. VuDt@VU#Nuf!bqfbebj^cd,V!I]Sm]9^_ghÜgVUQBTmiijggD]SQ2uD]2iV!V!gh`co®u0}2¤uQS¥bqVUbji>VIqm Q2^c`_bei>o®]Ë,Vab,VU]*s9^_]9l2VUgDies9u`_bl2^ g~ie^cl2`_VU^ m f!gxo±VUie~©uijVi]2~S~±mbe}BuD]SV0V!Vf¢ ^_¦Bb,uD]Sf^_g`c^cgDo¯]SudFV0¢ i^_ijggT{uDQ©V¯VUuD],V0V!mpgh¢ }3 uDVUbe^Êf!gDu ^c^_ie]SgD`_QSd{co®^km gie~«qf^ ^_g#N]B^kf!~Ëf!mUlS¤#bj`Êvg{¬]Ë}SgDuDbFgDb9QSbeuD^cV!mGv]2¢f!~i,QSVUmpV!uV,uD2^cVa]ÆVUbei,ie]Sf]QV Tb,mpg}BVUijVU}ÂgGuDijr3l2gVm^cl2bei]2ij`cmU ¤VUo'¢2f!beuVuV0°qigDggQSuV0i¯VUm mmVbelS]2«qr`_^co']2de~Sb9bem ij]S`kV;bem!vSmpl2g}SQ2ruijbq£d,gbeb,If!m!iebeSÒuDS¢u¢ V0VampQ2}3uDV!VbeuD]2Vij~uDbeuD]SgDieb`c]So©demVG^ci~gV;`cQS^ÊgVfgb,`cgV]2u~ij^c]]2^_g mp^cbe beuDbe]2TuDmhTi gibe^cgu\be^c]©bemp]Bb,QBT;m5iebjVmh fbjgQBvV!ij°9gD]SQSghd,VgVUbNuD~ÇV!T¤h¢ P5ijuD^Ê«,Q2gDVa^_V!]2uD^ÊdVg `cbqbe«N2be`c^ u «eVa^c]2i;mpgD}Siju]Bb,fdeVeuDVU^_mD mpg^ceQSVhVagT{uijb]2~mp^_ ¦Bbef!uDijTg^cibegD]2^_b,m ]Niebj}S}3gVUQSijVau b,`cV]Sº`cgDoNQ2ij^_]Ë]B~'gDQSmVa^k~`cVVº^_g]9QBgijb{]2gD~ËQSVam^c~uD^_V,d,Q,ggDQ2Q2V!ij]']B~¯gQSmV^c~mpV,V0¤ s,l2V!]2f!V\be d,b,ie`cmQ2i,mgQSV b,`_cb¢ ^_]2d;mQ2ij}3V! tv rquDo¯bemV beT{Vwxl2mpg^_¦Bf!ijgC ^cbe]n §^km5uDV!¢ uD^ÊggV!]Ë^c] tvuDbeV C 2beu5gDQS^cm V°SijT{}S`cVe¢VuDijgQSVUu}2ub~l2f!V\gQSV b,`_cb¢ ^_]2dgDV°qg MVaQBi>eV Ir9o'mpb,T{V#wxlBmxgD^Ê¦BfUigD^_b,] C ierB^cdeb,lSluDgNV uaigd,^c^_be,]BVUijmv` ij]]qlSV!T°Sijr3T{V!u}SmU`c¤ V bj Çbe}SguDVËb9begQB3i}2g¯uV0b,mpVU]S],V©gibjgD\^_b,g]{QSV{i,f!wxf!lBbemxugD~^Ê¦B^_]2fUidGgDgD^_b,ba]2gmQ2^cuDm#VUmxs9gDlSuD^cijugV0V!md,oij]Ã b,Vu°qigumi®^_T{}S}SuD`cbqV bj}S ËuDbqgbjb uD¢ V!Q2}2V!`ci,]{fgV Q2 V ¢ uVU^_¢gQ u^_g^c9]S^Êdgmp^cmgVU]S}2VUm@f!ieVUmDfmgiebeu]{ogDgQSbV fQ2uD^_VUd,fQ9«gpgDQ2Q2iji]2g ~;m^k^cm@~]SVhbebjg Ð2gQS¤Vh¥VUVhs9l2l2ijm`cVh^_gxioe,mie`c^_]2d,~{Q,gDoe`_o;V!g#T{ijb]2~bj^Êg¦BQ2VUV!~u@mpmpgguuiiggVUVUdedeoo ^_f! belSbe]S`k~¯VgDuDijV!«,¢ VuD}S^_g`c^ci,]SfdÂVmx^cgD]ËV!}*i;,i,V!fªuDgDoNmbe`_b]®fUijrB`cbe^_ÜgVUQÆ~'mmp^klS~r2VUma}2ijbeu5g gbjQSzVNgDV!V0uDs9Tl2ijm `c^Êijgx]2o,~¤ ^_Gg rq¢#qb,^_b,lSl2`c~m`_r3oFVamVUl2s9mplSV! VUlS]2`ÇfgDV0bNma~bj^c m}SuDV!`ki>¢ ouD^ÊbegD]S^_]2`cod gDQS^km }2ijug ^_]'gDQSV}SubqbeuDV!}SuDVUmV!]9gDijg^cbe]nqrSlSg gQS^km Q2i,m5]Sbjg r3V!VU]ËmpglB~^_V0~'oeVg0¤ .

(71).

(72). . #. . #. '. )' !. .

(73). #. '(. . "!. .

(74). .

(75). . . . : %

(76) $ B: I?! !: !:=<. Blo,P5VmpQ2g5V0V;~Â¦2}2]S b,u^kmbquQSbjf!VUbe~Çg]2SVmp°qggQSgauD^kl2m^kfma^cg],mx^c]SgDgDuV!dËl2uief}SfgulSgbq^cuDbebeVU#]~¥ffUb,~SijT;ij]ËgDTi¯r3ieVag]2Q2l2~SijmpmgaV0\~NfUmijgD^_]¥b]BfrBfV{beV{T{¢#TV{}Sij`c«qV]2gD]S^_Va}Sb¢Él2}S`cuDijb9Q2gbebVUI¢É~Mm!¤ l2gb©m^_]2~d¯^km}SgDQS`ci>Vo©T{}2beul2bqbjmVeImG¤;gDP5Q2QSi^cgmaiefUuijV;]¥]SrBbjVg mDfuD^c¬rB]ÂV0~Fb,lS^c]u V!°q}3¤{V!uD¬^cgT;^kmVU]9^cgU]23mxgD¢#uVl2T;f!beVUT]9gDr2ij^_` ]SVgDQ2giVga°qgD`cl2bed,ij^c`fU}Siju`bq bebe uDT}2ulSV0`kmpieVUm\],ijgi}2gD}B^_V0b,ij]'uD^_¢ ]S^_d'gQÂ^c]F²BgD³´0QS´xV{µ· gV!°9·kg²´jie¸ºu¹BV{»O¸º~¹9^kÁ;mp}Sie`kmhi>oe~V0V~ . . . ggih%j6klmRl. BAC.

(77) 0. G¾½³Àj¿ G½³»´j» ´j»£»O¸I½³ h¸ ,½D¿ W. . E. ^cdel2uVa lgb,T{ijg^kf!ie`_coNdeVU]SV!uigDVU~¯}SubqbezgV!°qg ¢ ^ÊgDQËie]ËVUs9l2ij`c^_gxo¯mpV0s9lSV!]2f!Ve¤

(78). (. 132 g4165.

(79) F¿e» ¼ ¾¿j»O¸ 2½¶½U»Ç²B³D½ ½ª¶ ,¿¹S¶ ´ , }2^ci,]mGubqgDmpbjQSgxuDV ¤l2}SMfuDgbqlSV5bjuDTVUÐ~Âgl2V!mx~2°9g@ig0iegD¤ `cim@b Vie°SgfijQ¯i,«efªmVgV!`coË^c]9],gDgD^_V!]Fba]2ief!gV QSf!f!V{bjbeÐmDlSijg]9Q2T{gV gV QSbeTVuDTIijie]2f]Sªg ¾V!guaQ2¿!Áeieij¸ºmhgv¹3mg½V!Q2,¿hV!V!oÂ²Buij³DijÚ`9uD´pdeVµ\b9¢ ij´pµ`kQ2mzV!T]Fi>lBoaTmp^cbl2]Sf!d¯mxf!g#lS}2guv`cQSieiVU^_g]N]Mgr3QSdeVGb,V iemDij`Êij]2T{~]S^cbjVugV0gDifª^_ggDT{V0VU~~V ¢rqo9^_gQÂ}Bb,g^_QS]9Vg^c]SuVUd;`_VU^cm5>ie}3]9b,g mDm^_]^_rS b,`cV\uT]Sbjijgg^cbebe]2]Ë`_ogb¯rq^_oN]2~S}3^cbefU^ci]9ggV^c]S¢ dQSi^kg fQ©mpl2derb,£ieV!`Ç°g}SQ2uV!V0o©mm^cfbeb,]2umuDVUbjm}Bd,b,b,]2ie~¯`Ðgf!b2be¤ ]2f!h`_lBvmpf!^cbebe]2lSumUmqVerS2l}2g uijbq`kbjmºb rq^c]qo'eb,}B`_b,,^_VU]9mngDm^_]SV!,dV!iug\ijèm}2lSurb,rSV`_°VU}STuDVUm!mD>m¢ ^_b,QS]2^kfm5Qbj¢@ViemDQ2mi>lS,T{V@}]Sgbe^cbeg]2ijmU`cSmpgDb,Q2`_i,g\VU~ÇT¤ i>Sobeubf!^c]2f!lSmxguGij]2ie]qf!Veo9¢ ^c]Q2V!uDuDV!Vadel2^_]Ë`ciegDuzQSdeVb9gDijV`9°q~gU^_¤huDVUP5fgQ2V0^c~ m }2d,b,ubqiebj`cmUx¤ >}SÈuDbqQSbjV!º]'rqgo,Q2V}3be¢ ^c],QSgDbe^_`c]2Vdh}SijuD`cb9debeb,zu^_gDgVT§°qghmpb,^km T{~V^cgm^c}ST{`ki>VUoem V0~Ç

(80) c½Dq¿jg³QS¶n^km Qqo9T}3ijbj«,gDVUQSm5VUm`c^ÊVUgmzg`cgVbGmuV!V0]2~ml2Vef!SVmgD^_]BQSfV#Vam^_QqÜoqV#}Bbebe2g~QS^kV0mpmp}SV0`kmi>oeijV0uD~ V b,T{]SVU`c],o©gD^_T;b,]ÂVU]9bjg^cbeie]S]ÂV0~MQqoqij}BgGbegDgQSQSV{V0mp`_^kbmhf!Tijgi>^cbeoË]MuDV!¢ ]2QS~V!VUuDu V;gDgQSQSVVUoF}2uijbquDbjVº£^cg]9V!g°quDg\bq~Sfl2b,T{fV0}S~F`_V!^cg]FVU`_gDoËQSVlS]S~uD^kVUmf!i,be~SlSijur2mp`_V V,h¤GuDP5V!QST{^kbmGqm^_lS]2d,dNdegVUQ2mpgD^cmm gDbeQ2i~gv^kmgD}SQS`cV i>o,}S¤ uDbqbjºrqo,}3be^c],gD^_]2d\ie`_d,beuD^ÊgDQSTmQSbelS`k~rBVhf!be]¦BdelSuDVU~;~^ 3VUuVU],gD`_o;~V!}3V!]B~^_]2dabe];gQSV mpgxoq`_V ¯

(81) gDgP5QSieQ2fV;Vg^k}S^kf;~ubqV0guDbeiGV!@beV^cBm\ieb,m]Sud9be^c]®g\ij]S]Sbe^cVU¨!`k~¢a^c]SV!¤ad uaP5gDV!QS°qQSV5}3^cm^_V!]9uDmpgD^cgT;V!uDul2VUIiefª]9gDfgDlSVmuD rqVb,oMu TiGPi>gDoË¤QSY\rBV!b,V{uDu^ #{VUi¯T] ]Bi}Sgul2b¤ uD,ieV!hù g~ijQSV0uDVUbe~ulSl2]BfªmpgDo~a^_mpb,gg]ÂQ2VUT{V gDumxmVUgDuVerBl2niefmiegVUmGlS~MuD^c]V#be]¥g,Q2ijgxij}3oqgV}B~V{VUmDgDfQS3uDV!b,^_b,r3u\uVUoi m VUlBiee`cmpmVUV0b]¥~{m^_r3^_]NT{VN}2}Sl2u`co;bqmVUbj~S~¥ImU^cm,gD}SbÂi,`km@i>`coVU^c]ieg~®Q2V f!¤begxoqT{¬}B]¯TV!beOijgDlS]2QSu~®V!fUb,ie}2umV!ieVeguD,^kmf g^c]SQSd©V\£g~SVUijui]2Tg~±ig~mxQBgD^kmiu}SlBg#`cfª~i>goqV0l2m^cu]Sf!V udË^cl2r3 mbeVUVUmvu~gDgi,QSQSmV V¯ia}SmuDlSrBbqr2iebjmm ^cVm@gc 0gWbjb ¤v}2]2uPiboqgD~lS}3l2uVf!ij£V g`@QSg`kVUQ2ijbe]SVhuDd,o}Sl2uDf!ijbqied,bj] V }2¢ubeV0uDmp«;VU],^_]gibegD^_lSb,u#];g^kV0mijf!T `_b9mpVUÇu ¢ gbQSV!iauDV gDiegDfQSgV\^kf5}SguuD^cV!T{V,¤^ÊgDq^_,gV\^c`_£~2qi¢#gDijV iempg`cmuDbal2frBgVUlS]SuDVV ¦2¢5gie uDmbe~T ^_uDVU^_]2fgm`c^co;deQ9ggDQSm@V f!beT{£gVU^c]SuTËda ¤@uDP5beTQS^km#V0ij¢#uDb,`_^cuV!« u }2ie`cumbqbbj¬]±mQS}Sb,buDlS¢VUumVUV!~NfU]9iegDgmijQ2Vegijn^cg5begD]2QS^_g mUV¯¤ ¢f!i,bem]2f!uVU^cm`_V!VU]S>ieV0]9mmgugVUb{`_^cl2VUmmaVb,^_]®]S begQSuDT{Vij~g^c^cmpbeg]¯^c]2f ugb,^cbeT ]±gr3QSVV\gx¢gDi,V!fªV!gD]*^cfGf!gbeuDT{V!VG}3gb,b;m^ÊdegDV¯V!g ijT;]2~¥b,u}SVuDf^cT;b,]2^_gf^c^kemVV g¢iebefuDg«^kf!m@mQSieb,]2lS~`c~ËgQSr3VhV{m~}3beVUf]S^_V¦Bf5 begDuhuV0}2iugDbqV!bjT{Im V!]9gQ2g@ijdegG^cel2VUm]VgDuDbV!¢}SuDuDbq^ÊgDbj^_I]2m d,bjm ÇV0is,lBuDV!ij¢ `c^ÊgDuD^_^_V0g^cm ]Sr9d¯o;mpuDgV!V!¢}FuDT{^ÊgDi>^_]SoËdBf¤ Q2¡#ieVU]SupdegVij^ci¯]S`_T;o^cT{]qlbeguDVV ¢~SVVgDieQ2^_i>è^cV\]M]Sibeg `cie^_uT{d,V}S`cdeV!b9T{ijV!`£]93gDieVU]2~Ë~©ij^_]qg\o¯^kmmbef`cbell2g],^cbegD]V!u£g}2b;ugDbQS~^cl2m f}Sgu^ceb,VarS`cgDV!b¯TËuD¤ V}SuDbq~Sl2fVagDQSV{¢ QSbe`cVd,b,ieÒ¤ Sb,uG]Sb¢a . . .

(82) .

(83).

(84). I. . . . %. H. . & ). . $. @ . .

(85). :. .

(86) >=<

(87)

(88) A: # . ¥ÅGieV mDf¢b belSg0`k ~;`_uD^c«elSV5]SbgDb¡#gbeQ2]Bie~]Sl2«fªt gD^_ieVUmDuf!ijie]B`S~ynV0yzs,ijlBl2iju]SVUda],g¢ P5QSQ2b[!¢uDobeuD¢ «eQSV0~bb,~]{VUeiVU`_}2b,u}BVUV09~^cbegDlBQSm Vhe`kV!i>uoemb,^_lb,]gv`_bj^crSzu\ij3uDo @^cedeyzlSieV,lS,uijVU]B]9~ g ¢ÅGbeijuD]2«ie]S¢5V iehm5i,mpl2f^c}Su}B^Sb,¢ upQ2gDVUba~'V°qrqgo VU]2\~ieVUmD~miegDlSQS`Ê^cgm@ `_^crSq^cuijijguD^coabe]gblSi]2~`kijVUuDu defVbe]q`cklSijTr3ber3uV!iu@gbe^cbe3]ËTY\ijg[!QS]SVU^cVT{ijij]Bg^k~¯f!ierq`SoNbe}3¬xGV!u| i¬gDbeu¤ m!¤zP5Q2^cm . . 0. (.

(89). ggih%j6klmRl. (.

(90) >W. G¾½³Àj¿ G½³»´j» ´j»£»O¸I½³ h¸ ,½D¿ W. ¯ . . E.

(91) !"# !$&%&!'& '()&%& "&*+,, $'-.&/0132!$4657650$ 8$,#/965"!$) ":;7!'46":;& <(=('">? $()@"'>? '!,AB7 'CD8!E' '!FG"IHJ$K !$ ) L

(92) <&$.6MN>O (PQB"R 6 $PT$ $#UK$V:W '6# ,6XZY[$K 'GY0\ !L]$)U<!&Û ', S S. $_' a`@b`c6(dfe S. dfB7IB !g&R.)h'h@i6& $j6$)F9j@$K '. F R 8&&$)FkVl<m6M# bIon[j@$G$ )pL

(93) <&$m[K6MqR= R$1WrtsZ$gp '#Fu U<!l$)U& $pv]w'xy3z'{

(94) |0}D~&}wR awy0~# (' 'r bb')X6b@c6?)h'hh con[j@$N[$ ')a/0,,$7N '<!? #FJA '& $67L

(95) <&2 =(t>? ('P 8(=_'6&g&tdf!w'xDz{O|Z}D~&}twR awy0~# Kxwf[z'xK!j@,!13$i'hoPa+6xNwK}Zq awy0~# KxNK#K#_# g$&KX!)\'` ?)h'h' 'on[j@$Z$ '9 #FA ' $(7L

(96) <!2 =(Bg$&$ U '_!_ @ 'U<W8!&,F &g;&$ 7($ P U$NPT' 7<!$ $1 _ Ij@$ V6w'6xz{]wRZ!y3w{ D aw'y0~# DzEw'!b6r\ KX!)h&O)h'h I. U<! F' ! 9 '!F$ ! Fq6&P^ %@ _$r9 ;,$K ',E?,g<(fk$g<()?($ UKj@$3_ ('PV R '() S. LA$)U<&!U , S. $_' \&'Q0!$$:W I =W #FtH$R #$,^FW,,$g$#¡0!j@$K ¢='Pa#F hh&. \>? I U£G' 6sZ13!M(!$ ,213$6)@L

(97) <!$ =GsZ$_$=6 ¤Q6%@ '&$[df#UK$ _!E /0,,$N <!A($ # I F A '&g&' '!FNY[ ',2 $>? 'U! ',E $( ' )rA<&$[R= R$1W'df6Tx¥0!y0~ w}T y¦w'owf[z'x[§9K¨'{wK~!yK# ©. !¨)Txw'&yK#}A)h' "ªDB",3 _!_$) I " "d¢e S. dRB S. $_' ! i'ii«. iIon9[U)=(./9[N <!. '!F¬A ' $(L

(98) <!2 =(u-?¤6 UK&g$¤6oP^ 1_ ('Ppdfp:asZ$4) !V '!F /9&>O,'£6A&$)F&l' Q®

(99) xRw)¥'T6'}7wR^!#KxzEw'z{]w'))KxK;Q. ]|¯w'm~&¥{z'yo¥z°fz{ { z¥tzK~@~{ DzEw'!}±. ¥'Ty3w'6xD'&j@,&13$h`bG'P

(100) '~#xKT6(KxK°²!KxK{z)3+G ?!!B"_ ,?hh@( ©. L

(101) 13<6=;/" l³30NwDz'Dw'z'{?¥(á&EDw'z'#¥µDwK~°¢¥@w'OxáKyK!Qw'xN#KxRz@¨'"~#xRw)wRG¥@K¨'{wK~° y3K#a}}KyG}>a<&s<!$#' &$,,]¡0&j@$ lf=(Q)h'6 hL

(102) <&1 [50 ',,g' $ #FoB" !$ S. '( B"o$¤6$&8!,$._& (P$K¤ a$)F l' )Qdf3]w'D+wx.®xw'xRz'yGy96. z¥G| &Dwy3z¥3¶Vz'}Kw'!T6'#j,!13$7)h@'o'Pa]o ?&!_! 'g$0iÌX('&Q _& &g$ Ya$ , 'g&#b'`'``6 `3s0# ,F;-.#6&<!t. ©6·. w)wI¸BVF!F '&¹DHJ$,$K=()hh'c . '>O$ $Z$&4$=o '#FA '& $6

(103) L

(104) <!2 =(*&' 1 ',4!gG6º,1 U£Q» [ ',g l<!1¼µ6M#Ad¢%&65Z I #F:AB0 g@ I FA$)F&l Z!w'xKy½®xw'¨)(;¾0I!Kx;¿x¥(Kx]w'D}ÀÁ'Â@^mÃ#KxzEw'z{. aw'!° KxKK±o®[¾G¿aO}GÄ Å@Å@ÅOj,!13$;\'hmP"+6xwK}3Æ aw'y"~# Kxt#KKO_! 'g$Gc'@i)X@@`& 6_& !g'$ ¹Y[$K ,^ g&#b'`'`` )bI$# 9:W 'g'6!µ '!Fµ[$!g.e0 F&R Ç1WAL

(105) <&$ZB0A*_& (P+$)F l' V #F3l

(106) _& (P+$&g!$]dfÈ&~&K} w'xW®

(107) xRw)wRK}z'#¥É®

(108) xRw'xz'y9}j@,&13$'`\É'Po+6xNw'K}u awy0~# KxK#KKZ_# 'g'$mb()cIX6b'ci6 e" ÊR13$g'$AQ)h'h' _ &g$ ¹Ya$ , 'g c357e0 Ul #F3O S. ^F $) 'QB ³3U<! 'g$V($ UP¢68!F&13$&!&$, $!UK 213$( ',!F&$

(109) PT' 1G&,$[1 I<&¹. 21 M(!$?d¢¬ ]| ¶VÃ&Ë Ä Å@Å@ÅI±?| !Dz'zxK¨wmÌÍz@¥@z)@z}z'x¢Î)Ab'`'`` a*& $#U<A 'A ' $(?L

(110) <!2K =((BÉU$ l #$F7j@$K '9P#[#U< 8$K g$ )» ? ,g'' l<!1W@dfG| Dw'y3z¥0§9¥'&Dw'Ì ]| § ©. Á'ÏÎ)!j@',!13$G(b6NPa+6xNwK};| xK Éz{Ã!{{ (K#KK _ &g$ ¹Ya$ , 'g !%'!,l=hh' )IA ' $(tL

(111) <!2 =Q

(112) n[j@$$K ') '!FÐ/0,,$;N <!A d¢($ PE 'U$#wR[z'x ©. S. $) ,0L

(113) <&$' $1È>? Ij@$ sZ$$K j@$ S. $) ', ¡0$ ¹. 6'Kx(Nw'K}.)i ª«.)hhb6m>? 6U$$F&!g'G'P.<&$tI<É(= 13_!1Ñ'. 6'P^fk. I $sZ$j@$,'_!13$(V-O6j6 '!13$(. 132 g4165. °.

(114) Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis 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 Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France). . ' . ISSN 0249-6399.

(115)