Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau — René Rydhof Hansen — Julia L. Lawall — Gilles Muller. N° 6090 Janvier 2007. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--6090--FR+ENG. Thème COM.
(3)
(4)
(5) "!#$%%
(6) & ''(%)*+'-,/.++'$%+
(7) 01324657 ).8 9*:.+)* ;<>=@?*?BAC=@D*EF<@GFHI=KJ)LNM6HO?*PQMR%D S*<@TVU
(8) =@?*WXHO?)LZY@J*G[E\=^]_N]=I`4=KGFGaLNbcE[GFGFHdWefJ GFGFHdg h)ikj1l4mnoVprqtsIuwvyxaj1l4mXv{z|}l4l~kkz1Ox v a|ymxCoCdvz1| }k@|}xkmmz ikm1 z ikm@ d}dqd}OIm1dO(qX dmXv. ¡$¢ £X¤1¥§¦k¨}¤}© nZ|}ªª§xmXa}ª)m1}|dª«~kx|}v}m¬KmX§}v}mka|}kªm1l®¯O~k°±wmXOzm²wa}m1wmX}mXª«|dkl4m1OxX³)w~km
(9) x|xaikm ´ amXµO~kmXdx(m1d|}ª~wx|}Q| ´ ¶«I~w°Qwa}m1(v~kk@|}xCª«k amXvV·¸yvX¹sI~z im1}|dª«~kx|}vVamkmXmXwmcºikmX}Qm1d|}ª~wx|} w}mXv~kk@|}xZªka}u4§»¼mXzxav½xikmVª«k au¼¾ v½«Oxam1 ´ }zmd³Im1Oxa}«ª« l4|wwÀ¿@z1§xa«|dvZ«$}ª«ª>wmXKmXwmXdxwmXOzm1Á\v@mXz«¿Kz z1|Ikm}¹ZnZ~kamXOxªu}³kz|dª«ª§xam1 ª¼m1d|}ª~wx|}KvZ²¯I~w°
(10) }m(w|}m{Âykmaª«udÃ{lI~}ª«ªu}¹h)imVªa }mVI~kl@m1{| ´ ¶«I~w°wa«dm1 v1³ ik|§ºm1dm1³lĪ«mXv¯xix¯xikv¯}kka|d}z iVv¼xl4mÁÅz|}KvÆ~kl4k KC~kmXª«ª«md³XªmXdw« Zxa|vÆ~wxªmm1aa|} vKºim1l4|wwÀ¿@z1§xa«|dv }m(k|}xk|}km+z1|}vvÆxmXOxªu}¹ ¸Å®xikv}KmXX³)ºmcwmXvazaKmxaikmcwm1dm1ª|}kl4mXdx6| ´ ª }~} }mÁ\dvÆm^« ´ advyxa~zx~kam}³nZ|wz1z1«kmXª«ªm}³)º«xi®xaikmc }|Oª | ´ k|Iz1~kl4m1Oxk Q}^~kx|}lxk xikm$ÇOkv| ´ z|dª«ª§xam1 ªNmX}|}ª~wxa«|dv(xiK§x|wzXz~k+-wmXOzmw}mX+z|wwmd¹Èmz1~KvÆm ¶«I~w°6ka|} da}l4lÄmXavN}mV}zXz~vÆx|dlÄm4x|lkk~kª§xa«k ka|} } lÉl4|wwÀ¿@z1§xa«|dvZ«$xm1alv½| ´ xaz i¿ªmXvX³IºZmC}vm{|d~k ªk d~ dmC|d$xaikmxaz i²vÆuIOxa°>³Om1°Ixm1Kw« §x z ikmXvxa|Ê1Ë1Ì4ÍÎÏFÐÒÑ)ÓͧÏÅÑ ÔkËÊ ¹ Õm½mXK|dÆx¯|d~k>«Àxa}ª}~va dm | ´ nZ|wzXzkm1ªª«mN|d+a}k }m*| ´ xaikm½z|dª«ª§xam1 ªÖm1d|}ª~wx|}Kv¼wmXOx«¿mX(+(mX}ªm1¯vÆx~wud¹%×|} lIu4| ´ xikm(z|dª«ª§xam1 ªmX}|dª«~wxa«|dvZºZmCiÖ}mVz|}KvÆwm1amX¯³wnZ|wz1z1«m1ªª«mVz1$~k@§xmOØx|X}IØÙ| ´ ximCam1ªm1§Ox)¯O~k° wa}m1 v ´ ~kªª«u$}~wx|dl§xz1}ª«ªu}³Iº«xi
(11) ximVam1l}«kk 4wa«dm1 vZamXµO~ka«k ÄvÆ|dl4mVl}O~Kª>}Öy~KvyxalÄmXOxavw~kmVxa|ħ}§xa«|dv« z1|Ik«k +vÆxyuIª«m)xai§xam|xu}m1xNxa}Ç}m14Ox|+}zXz|d~kOx*Iu|}~kNxa|I|}ªF¹%Õ¬miÖ}mdkw«x|}}ª«ªuwm1OxaÀ¿m(I~kl@m1| ´ k}mXav ºikmXmVxaikmldx km1)l}km+vÆ|dlÄm(l4vyx Ç}mV
(12) @m1 ´ |}al4« xaikm+z|dª«ª§xam1 ª¼m1d|}ª~wx|}¯³w~wxVnZ|wz1zkmXª«ªmVx v ´ |}alv½xaikm z1|IkmVz1|}amz:xªu}¹NoC~k)kka|ddz iK|}ximX}vmXvZ$«l4ka|§}mvNxaikm{a|}k~KvyxakmXvav½| ´ xikmVm1d|}ª~wx|}$k|wz1mXvav1³I$z1}kwamXvav §amxyu²| ´ ximk|dkªm1lvVxixwa«dm1(ldx km1 v ´ }z1m4«~kkm1 vyx wk ²K}kkªuOk ²z|dª«ª§xam1 ª*m1d|}ª~wx|}Kv(« k }zxzmd¹ Ú²ÛOܼÝÞß ¥§à £}© |}@m1 §xk ^vuIvÆxmXl³)km1Iz1mQwa«dm1³Z|d } láx Kv ´ |dl§xa«|d¯³)vÆ| ´ xyº}mam1m1 }km1mXk ³vÆ| ´ xyº}m lOxmXz1m}¹. Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 Rennes Cedex (France) Téléphone : +33 2 99 84 71 00 — Télécopie : +33 2 99 84 71 71.
(13) )* '
(14) %%+7 'y+$%( ¶( +3
(15) ).++'$% 0Z+'1'()*+'
(16) + ' '(% )*
(17) )* 4
(18) ¶ 24$5
(19) £ © ¶mX
(20) v 1d|}ª~wx|}v
(21) z|dª«ª§x 1 ªmXvvÆ|ddx~kfk|dkªj1l4ml4K|dÆx Ox
(22) v
(23) ªm¬X}mXª«|dKmXlÄmXOx
(24) wmv«ª|xamXvwm 1a«i 1aµO~kmv$v|}~v¯I~w°®k~km ^ªF¾ 1}|dª«~kx|} ´ XµO~km1Oxamwmv$·½¸yv$m1x
(25) wmv$kkª«|}xikjµO~kmXvwmv~kk@|}x~k°±kª|xmv v|}~vįI~w°>¹ nZmXv 1d|}ª~wx|}vÄz|dª«ª§x 1 ªmXvvÆ|ddxÄmµO~kvmXvª«|davaµO~¯¾ ~kkm X}|dª«~wxa«|d k}vÄ~kkm
(26) k«ª«|xaikjXµO~kmwmv~kk@|}x }~w°¬«ª|xamXv+»@mz:xm$ª[¾ «Oxam1 ´ }zm6km6zmxxm6«kª|xijXµO~km}³*mXdxaa KOx+wmXvlÄ|ww«¿KzX§x|}Kv+kKvª«mz|wwm6wmv+kª«|}xmv+µO~k XKmXwmXdx4wm$z1mxÆxam$kkª«|}xikjµO~km}¹²·z:xa~km1ªªm1l4m1OxX³Nz1mXv X}|dª«~wxa«|dv+z1|}ªªx 1 ªmXvv|}Ox ´ }ÀxamXv+mvµO~kmlI~kmXª«ªm1l4mXdx¹ nZmXKmXkOx³Oªm{ da}4k|dlkam{wmCk«ª|xamXvZmX6z1mxÆxamC}kka|Iz imxajXvz| !wxmX~vÆm{m16xam1l4vZmxKmX~6¿K}kª«md³dmXOx " OxZwmv mXam1~k v)vÆ~wxª«mvª|} vµO~kmVª«mv)l4|IkÀ¿KzX§xa«|dv)km+v|}Ox}v ´ }ÀxamXvwm(l«jXmz|di 1am1Oxam}¹ #C}vz1m«mXX³%k|}~v Xz1}|dv(ª«m6 1}mXª«|dKmXl4m1Ox>¾ ~kkm6 ´ }vÆxa~z:xa~kmd³*nZ|wz1z1«m1ªª«md³%d$v v~k+~k^ª d dmÖ}mXz @|}~kN~wx½wmw|wz~lÄmXOxm1*m1x½>¾ }~wx|dl§xvm1*ª«m dm1kam)>¾ X}|dª«~wxa«|dv*z|dª«ª§x 1 ªmXv vÆmka|ww~kv}Ox*k}v*ªm)z1|wwmwmXv*kª|xmv wmV 1a«k%i 1aµO~kmv1¹nZ|}l4l4m{ªmXvZka|} } l4l4m1~avN¶«I~w°6v|}Ox½i}kÀxa~ X&v +l}k«~kª«mXkmXvZlÄ|ww«¿KzX§x|}Kv½wmCk|d } l4l4mXv mXQxam1alÄm4wmÄ¿Kz ikm1 vÓkÍÏ\Ñ ÔI³%k|}~v(Öd|}vC}v |xamĪ}k d} }mv~k(ªvuIdx §°wmkmXv(xaz ikmv1'³ 1xm1KkOx(ª«mvCK§xaz imXvVm1 wmvÓͧÏÅÑaÔË:Ê()Ê (ÌͧÎKÏ[+Ð *),ËÊ ¹ -|d~v ´ }v|}vª«m+ K|dÆx{wmk|xamkam1l4j1am~wxªva§xa«|dcwmÄnZ|wz1z1«kmXª«ªmv~k~kQm1vm1lkª«m+¯¾ X}|}ª~wxa«|dvz|dª«ª§x 1 ªmXv wm1OxaÀ%¿ XmXvCª«|davC>¾ ~kk.m 1x~kmk X)z XwmXdxam}¹*|d~kC@mX}~z|d~kcwm/v X}|}ª~wxa«|dv{z1|}ªªx 1 ªmXvµO~kmk|}~KvCÖd|}vz1|}v 1 1mv1³ nZ|wz1z1«m1ªª«mKmX~wx*lÄm1xÆxa0m Ny|d~k%mXOxam)§I1 Ø +XdOØBwmXv%kª«|}xmv km½ 1a«k%i 1aµO~kmv¶@m1xkm1Ox v km½lkj1amZz1|}l4kªjxam1l4m1Ox }~wx|dl4xµO~km}³%mx+amXµO~km1x(wmv+§y~Kvyxam1l4m1Oxav(l}O~m1ªv(K|d~kª«mamXvÆxmwmvkª«|}xmvw~k2m wmXv+Ö}§xa«|dv(kKv(ª«m6vÆxyuIª«m w~®z|wwmµO~kkm²v|}OxÄK}vÄm1z1|}am$ 1 1mXv}Ä|xam
(27) |}~wxa«ªF3 ¹ #Cm
(28) ª«~vX³½|}~v4Ö}|dvwmXOx«%¿ ~k±z1m1xa}«-|}lmwm kª|xmv)5| 4ªmVl}«OxmXkm1~ÖÖ}Àxz1|}l4l4vwmv)m1amX~k v½ª|} vµO~¯¾ ª¯ÖÖ}Àx ´ }ÀxªF¾ X}|}ª~wxa«|d
(29) z1|}ªªx 1 ªm{l}O~m1ªª«mXlÄmXOxX³klv |4-nZ|wzXzkm1ªª«m4xaa}v ´ |}alÄm4ªm6z|wwm6z1|}amz:xmXl4m1OxX2¹ -{|xamk|wz ik6m ª ´ |dv ´ }zªÀxammx}7l Xª«|}amĪa|}k~KvyxamXvavÆmw~ ka|wzmvv~v+>¾ 1d|}ª~wx|}-k~-z|wwm}³*m1x@m1~w°^}wamXvavm1~kkm } kmÖ}8 x $wmv+ka|}kªj1l4mv+~w°kµO~kmXªvmvyx4z|d ´ |dOx ~k ka|} da}l4lÄmX~kª«|davaµO~¯¾ ª>}mX~wxz|dlÄmXwamV|d~
(30) }kkªµO~kmXwmX0v X}|dª«~wxa«|dvz|dª«ª§x 1 ªmXvX¹ 9ß ¤X£ Ý ¨ : £^© vuwvyxaj1l4m$>¾ m°wkª|}«xax|}¯³*kª«|}xm$km$ 1a«k%i 1aµO~kmd³¶xaa}v ´ |dlx|}^wm6ka|} da}l4lÄmd³¶ 1km6ª|} }zm1ªF³ lOxmXz1mwmka|} } l4l4m}¹.
(31) ½Í ÖÊ wÏ §ÌͧÏFÐ Î
(32) «Í§ÏÅËÍ ,wÏFЧÎÊ. , . & +%% à ¨¤ ß ¤X¥ ß £ -¦ ¦: : Ü&%½Û ¥' ß ¥& )( ¨ ß :+:[¦w¤ Û ¥§¦: Û *Kß :+%¤+ ß £ "# ££ Û $ k¹« pcvÆxa}Ç}mXv6¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ k¹ pcv~kwmXavÆxa}wk dv¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ k¹ nZ|d/ .z:x v4¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ ¦ 6 %¤X£ 8 Û : : 0 1 &2435 7 Û <ß ¨d=¨ Û :+: Û : ¥§¦ +£ ' ß "¥ ¦w+¤ ß ?> )( Û !;: 8 7 , >BA %½Û ¥ + Û ¤X£ -k¹« nZ|dª«ª§xam1 ª¼m1d|}ª~wx|}KvZºikz il4vyx Ç}mv)|wz1z~amX ¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ -k¹ nZ|dª«ª§xam1 ª¼m1d|}ª~wx|}KvZºikz il4vÆ~kKwm1 vyx k«k Ov)|wz1z~amX®¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ -k¹ nZ|dª«ª§xam1 ª¼m1d|}ª~wx|}KvZºikz i
(33) z1|}/ .z:x v|wz1z1~kamXc¹¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ -k¹ D o{xaikm1m1°wKmXl4m1Oxav#¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹¹¹(¹¹(¹¹(¹¹¹V¹¹(¹¹(¹¹¹(¹¹(¹¹V¹¹(¹ à F ß I¥ H E Û :[¦w¤ Û G 9 <ß ¨ :+ +£ ß . J)JLKMONQPQRQP. . ! , -. 9 @ C". D D. , 9.
(34) Í §ÐËaÍ ,ͧÎkÊ1Ë1Î%Í½Í ,/Ë D
(35) "! #%$&')(+*-,. /102/340/5657/8(+5:9;2(+* 5 5<=0 >56<?>/*A@CBDE F+G$H#ID5<=*J#IF+/0D56?>KL#+02$&/0 5M#J)(+$)9;-5<&=N+*O5<)(I53P$+Q$IE 5R#+0.;N+(99 SJT.2$>5M# )(+T$ 9;/UO9 WVHP=;NX1*QY).2$8$H/F%Q!./*.UO(+T$'ZA=* 5',. ! (+=*A 3R9;2(+0.2$'5<)4Y0[#H,\9;/?K*#[]:#+=0^_0.* 5$&/* ;N+)U`(+$5M# ^`a,AN+*-(+T$G*\2!A=0.56Sb<*.* /*A@OcR(H!.d56?J'3-?J($& !.)(+=N&/*J<e#+=0G(/YU:3DIY $(+572$1(99_#[]D5<KVH/0/TA9 $+0/<F+/0/*5< (+5f=*A2$'5<:(/Y<*.U*/#T#+5<=<=N3#I)9g$',A02 (%VH@ h T$J3'$&A9;/572$J5<P#9g$:]/=!A56Q#+*(+*5</SJ3/02O# 9g#+=N&/0' 2$&2$+U(+T$G$+Q$D5<=<=N+*O3402#+&N&@Mi jlk m\n"ok pHqIr)sMtqXk2u v>q+wxbyz;w={ |~}& vJTp2zg{v+{ ++ . ¶*
(36) ½%+ oCkm| ´ ximl4|dvÆxz i}ª«ªm1 }k -}vKmz:x v$| ´ o(s/wm1dm1ª|}wÁ l4m1Oxvxa|²Ç}mXm1~k^º«xixim6mµO~k«am1l4mXdx v| ´ kmXº kmÁ IzmXvX¹ Õ ik«ªmQz1|}l4l4m1 zªCo(sImv6iÖdmxam1kmX±x| ´ Ö}|} lOxa}«kk C}z ÇIº) kv¯z|dl4§xa«kªÀxyud³Öxikm)wm1dm1ª|}@m1 v¯| ´ ¶«I~w°6iÖdmCz ik|OvÆmX$+l4|dm .m°wkª«m(wmX}m1ª|}lÄmXOxl4|wwm1ªF³ Qºikz iQOxmX}ª%ªka}mXvC·¸yv ´ amXµO~kmXdxaª«umX}|}ª}m xa|-«l4ka|§}m
(37) @m1 ´ |}al4}zmd³ZmXki}zmcvmXz1~k«xyu}³)K l4mXmx kmXº i wº)amamXµO~kmXl4m1OxavX¹fh)ikv6z1|}OxI~ª{vÆxaxm²| ´ .~k°¼³i|§ºZmX}m1³½w~KzmXvl}vavÆ}mlOxm1Kz1m²m»¼|}xX³ xa|Ckak Vkm1@m1wmXOxNkm1Iz1mÁÅvÆ@mXz1À¿@z½z|wwm~kx|(k§xamZº«xi xaikm+m1d|}ª~wx|}Kv«²ªka}mXv}²·½¸yv1¹sIlĪ«mm°kl4kªmXv zª~wmÄm°Ixam1wk
(38) a }~kl4m1Ox{ªvyx v{ºikmX$ª«k au ´ ~kKz:Á xa«|dc }m1xav{6km1º }a}l4mxmX|}V}Öy~Kvyxa«k $xikmÄz|ddxam°Ix{| ´ zXªªv+x|Q²ªka}u ´ ~kz:xa«|d-ºikmXxikv ´ ~z:xa«|d-m1x~kav
(39) kmXºÙxyuI@m| ´ §}ª«~kmd¹6p²|}amz|dlĪ«m1°Qm°kl4kªmXvVI}|}ª}m z i}k }mv*xiK§xZ}mvaz1§xxmXmxaika|}~k dik|}~wx½¿ª«md³}ºikmXm)xaikm dz:x~Kª>z|wwmVx Kv ´ |dl§xa«|d6vZi« dikª«uwm1@m1km1Ox|}6xaikm vKmz«¿Kzz|dOxm°Ix
(40) ºiz i
(41) Àx|wzXz~k v1¹ ¸Å®kmXI«|d~vĺZ|dǼ³ºmiÖ}m
(42) }}mX-ximXvmz1|wwmlÄ|ww«Á ¿KzX§xa«|dvxaikmQ}l4m Ñ «ÍÏ\Ë Í Ë I ,wÏ[Ð ÎkLÊ } \¹nZ|}ªªxÆÁ mXa}ªm1}|dª«~kx|}v}m²^z|dzmX x|^}ª«ª| ´ xaikmc}zx|dav4wÁ d|}ª}mX(k}mX¶wm1dm1ª|}kl4mXdx*+l4}«Oxam1}z)m *Ê ,%Ê Ö%Ê ÏÅËÌ8ÌͧРÎKÏ\ÍÐ Î@Ë Êºik|}m6amXv@|}v«ª«m ´ |dl}«Oxa}««k xaikm+wa«dm1v~kk@|}x)ªka}mXv)}6xaikm+wmXKmXwm1Ox{wmXIz1mÁ vKmz«¿Kz¬z|wwmQ/xaikm¶«I~w°/Çdm1akm1ªVvÆ|d~k zm²xamXm}³ dË ÐÒÑ Ë AË ÓkË :ÏÒÊCºik|
(43) km1}mXª«|d}Ql}«Oxa}«wmXOzm1Á\v@mXz«¿Kz¿ªmXv |d~wxavkm-xim Ç}mXm1ªv|}~az1m^xam1md³K $Ì Ï[Ð §Í§ÏÅË ,IÊ1Ë Ê ºik|¿K xixxikmX«i}akº}m
(44) v6k|x6}kmXµO~§xam1ªu v~kwÁ @|}xm>¹%h)ikmN@|xam1Oxª ´ |}¯l4vyx ÇdmXvX³1l4v~kkm1 vyx wk Ov1³ }Qz1|}/ .z:x vV«QxikvVik« dikªucwvÆxak~wxmcm1»@|dÆx(i}v(z1|}wÁ xak~wxamXQx|
(45) xikmz1|}OxI~k« ~kmXª«kªÀxyu²| ´ wa«dm1(z|wwm H \¹ Õm$iÖ}m}wÀxa«|dªªuckam1I«|d~vª«uQµO~}Ox«¿mXxim$z|dªÀÁ ª§xam1 ªm1d|}ª~wx|}®ka|}ª«mXl
(46) ³~v« -}±ik|wz²k§x l4«kk xa|O|dªvxixºZmiKÖ}mwm1dm1ª|}@mX } \¹ #Ca«dm1v~kk@|}x+ª««Á k au4m1d|}ª~wx|}v«z1m}v« +ºÀxai6xa«l4m}³kdv½ºmViÖ}m{kmÁ xamXz:xamX7 }}4|dkªm+mX}|}ª~wxa«|dvQªª¶| ´ ¯I~w°Qw¹ |§dm1QÖd« ¯O~k°/k¹ -~k x|®¯I~w°Bw¹ k¹+ ¹Ù·{vavÆ|wz1ÀÁ xmX$ºÀxai6xaikmXvmCmX}|dª«~wxa«|dvX³dºm{iÖdm{wm1xmXzxm$z|dª«ª§xam1 ª mX}|}ª~wxa«|dv(xiK§xamXµO~kamlÄ|ww«¿KzX§x|}Kv« ~kx|Q}ª«l4|Ovyx DO}¬¿ªmXvX³§x$|§dm1²}}z1|IkmQvÆ«xmv1¹ Õ¬mciÖdm ´ ~kÆxaikm1Á l4|}amlI~}ª«ªu$vÆx~wmX²d4ª«k au6m1d|}ª~wx|}Kv1³k»@mz:xk . . |§dm1(Xd}Äwm1IzmÁÅvKmz«¿KzV¿ªmXvX¹)oC~kamXv~kª«xaviÖdmvÆik|§º xai§x*ximvÆikmXm1NI~klKmXN| ´ km1Iz1mwa«dm1 v%}xikm dm§xªu §auI« {m°w@m1xvÆm)| ´ wmXOzmwa}m1*wmX}m1ª|}@m1 v*lwÁ x km1 viK}vÄl}wmz|dª«ª§xam1 ªm1}|dª«~kx|}v4wW6z~kª«xX³½xlÄm1Á z1|}v~kl4« ³kK$mXa|}ÁF|dkm
(47) adz:xzmd¹ h)ikmXvm
(48) vavÆ~mXvÄzªmXaªuzXªª ´ |}4 ´ |dlª)l4mX}v| ´ wm1Á vaza««k (z|dª«ª§xam1 ªOm1d|}ª~wx|}v*}}~wx|dl4xmdvvvÆxa}zm Ä}kkªuI«k Cxim1l¹NnZ|dI}m1Oxa«|dªOºvaw|dl i}v*«x*xixN}~wÁ xa|}l§xaz4ka|} da}l x v ´ |}al§xa«|dcx|I|dªv+zXk|x+@m$vÆ~Kz:Á z1mXvav ´ ~kª^xikm
(49) z|ddxam°Ix| ´ wm1Izm
(50) w}mXavX³ Kmz1~KvÆm$xikmXu }m+ºa«xÆxmXQ¬nC³¼ºikz icv(wW 6z~kª«xVx|}ªu 1mÄcdIÁ l4«xav
(51) ºkmħ}mxyu²| ´ z1|Ik«k vÆxyuOªmXvX¹4h)ikm6wa«dm1(z|wwm »@mz:xm Oufz|}ªª§xmXa}ª(m1}|dª«~kx|}vX³(ik|§ºZmX}mXX³Ci}vcv|}l4m ka|}@m1xmXv6xix
(52) }ª«ªm1I§xmcxikmvÆm¬w; 6z1~kªÀxa«mv1¹É× « vyx³amÁ ª§xamX±«Oxam1 ´ }zm²mXª«mXl4m1Oxav6}m²| ´ xmX ~vÆm±ºÀxaik«/ vÆwÁ dª«m ´ ~z:xa«|d-|}ħx²dm1au¬vi}ª«ª|§º ´ ~z:xa«|dwÁ\zXªªkm1wxai¯³ amXvÆxazxk ximl4|d~kOx+| ´ z|wwm6xixkm1mkvxa|Q@m$K§Á ªu 1mXQxaiI~v{l}ÇOk kmzvÆm}ª«uwvmXv@|dvav«kªm}¹sImz:Á |d>³¼ximÄvÆxa~z:xa~kam| ´ z|wwmÄ~v«k «Oxam1 ´ }zm ´ ~kzx|}vVv ªa }mXª«u²wz:x §xmQIu²xaikmz|dvyxaa}«Ox vCl4K|OvÆmcIu²xaikm4ª««Á k au}³%xiI~vv+lÄ|Ovyxaª«u«l4@m1aI«|d~vVx|Qz1|ww« cvyxyuIªm}¹ × ªª«ud³dl}OuÄwa«dm1 vamº«xÆxam16IuÄz|}IuOÁ\}vÆxmd³}ºikmXm kmXºÙwmXOzm1Á\v@mXz«¿KzÄz|wwmÄv(z1m§xm²Iu²~k¼k§xa«k m1°IvÆxÆÁ k 4wm1IzmÁÅvKmz«¿Kz(z|wwm}zXz|} wk +xa|ÄxikmvKmz«¿KzVk|dwÁ mXÆxa«mv| ´ xaikmkmXºwm1Izdm -H>v«z1mz|wwm+xixCdxam1 }zxav º«xixikm)wa«dm1*vÆ~kK|dÆx*ª«k a«mv¯v%xyuOzXªª«u(k|}x*wmXIz1mÁ vKmz«¿Kz³Ixaikmz|wwm(§»¼mXzxmXIu6z|dª«ª§xam1 ª@m1}|dª«~kx|}vlÖu @m$vuOOx }z:xazXªª«uQwmXOxz1ªZ}za|dvav(lIuQwa}m1 vX¹h)ikmvÆm ka|}@m1xmXv{ik|}ªc|d~wxCi|}@mxai§xQ}~wx|dl§xmx Kv ´ |dÆÁ l§xa«|dÄvuwvyxam1lÙxixv*xa~kkmÄx|Vxikm{k|dKmXÆxa«mv*| ´ wm1Izm wa}m1Zz|}ªª§xmXa}ªwm1d|}ª~wx|}v½z1im1ª$}kkmvv*xaikm{z1|}ªªxÆÁ mXa}ª@mX}|dª«~wxa«|d|dkª«mXl¹ ÕmÄiÖdm+KmX }~kwm1dm1ª|}kk $$ª}k }~} }m1ÁFdvÆm
(53) « ´ }vÆÁ xa~zx~kam}³wnZ|wz1zkmXª«ªm}³dºÀxai4xikm d|d}ªw| ´ w|wz~kl4mXdxa« + }~wx|dl4xk 6xaikmÄÇOkvV| ´ z|dª«ª§xam1 ª¶mX}|dª«~wxa«|dv{xix(}m amXµO~km wmXIz1m¬wa}m1z|wwmd¹ È~kªwk ±|}BxikmamÁ µO~kmXl4m1Oxav¬xai§x ºm iÖdm±|dvm1a}mXÉ|d~k vÆx~kuÙ| ´ ¶«I~w°+wa«dm1 v1³xaikv ´ }vÆxa~z:xa~km½k|§IwmXv%vÆmX}mXa}ª}k|§dm1ª ´ m§x~mv1¹× « vyx³N~kkª«Çdm$lIu¬x Kv ´ |dl§xa«|d-vÆuwvÆxmXl4vX³ ºikz icwmvz1Kmik|§º x|
(54) zamX§xamz|wwm«cxm1alv| ´ }z:xa«|dv xa|B@m1 ´ |}al
(55) ³Äºm x Ç}m±/l4|}am Õ sI¸Å Õ D k|O}z i¯³ wmvz1kk Bz1|}ªªxm1 ªm1}|dª«~kx|}v}v^Ê1Ë1Ì4ÍÎÏFÐÒÑcÓkÍÏ\Ñ ÔkËÊ:³ ºikz iª«Çdm*x }w«x|}}ªxaz ikmv¶wmvz1Kmxikm|d }}ªz|wwm }(ximZ~k¼kxmXz|wwm«xmXlv%| ´k´ dlÄmXOxav¯| ´ |} wau n-z|wwm}¹*h)ikmvKmz«¿Kz1x|}vN}mZxiI~vmX}vu(x|+z1|}amXªxm½x| wa}m1Zz|wwm}³Oºikª«mCka|§Owk +z|dzvmk~wx ´ |}al4}ªvKmz«¿kÁ zX§x|}Kv½| ´ xikmz|dª«ª§xam1 ªKm1}|dª«~kx|}¯¹NsImXz1|}¯³O|d~k)vÆmXl4}wÁ xaz(xaz ikmvamkkªmX
(56) Iu$z|dvÆwmXk 4k|x|dkªuxikm ´ Á ´ mz:xmz|wwmd¾ v*xam°IxX³I}v«4xaikm{z1dvÆm| ´ xaadw«x|}}ªk§x z ikmXvX³ k~kx(}ªv|$«xav(vuOOx §°cvÆmXlOxz1vX¹h)ikv(}kka|d}z ic}wÁ vÆx }zxavÖº)Öu ´ a|}l wm1IzmÁÅvKmz«¿Kzz|dlÄ~wxax|}v}4wÁ wIk~ª*z|wwk vyxyuIªm}³¼«l4kªuI« $xai§x$v« }ªmÄvm1lOxaz xaz i4z1}@mkkªmX~kz i}k }m+xa|Vl}Ou(¿Kª«mv1¹ ¸\xv*|d~k }«l xai§xVnZ|wz1z1«m1ªª«m(vÆi|}~kªdkwamXvavZxikm(kmXmXkv)| ´ wa«dm1 lOxa}«kmXavxªªªm1}mXªvX³ ´ a|}l vÆ~vÆuwvÆxmXlldx km1 v xa|$wm1Izm+m1°wKmXÆx v{KlÄ|}x§§xm~vm1 v1³KOu
(57) ka|§Iwk 6 Q)J_6.
(58) ½Í ÖÊ wÏ §ÌͧÏFÐ Î
(59) «Í§ÏÅËÍ ,wÏFЧÎÊ. , . amXdkkªm½~wxNºwmXª«u+}}~wx|dl§xz1}ª«ªukª«z1}kª«m)vKmz:Á «¿Kz1x|}| ´ wm1Izmwa«dm1z1|}ªªxm1 ª@m1d|}ª~wx|}Kv1¹ ¸Åxikv}KmXX³%ºZmmvÆmXdx+k«xªm1°wKmXl4m1Oxav+vik|§º)Á k ²ik|§º nZ|IzXzkm1ªªm4zX¬Km~KvÆmcxa|²mw~zmÄxaikmk~k wm1 | ´ km1Iz1mwa«dm1{z1|}ªªxmXa}ª>m1}|dª«~kx|}¯¹)h)ikm+lcz|dOxaÀÁ k~kx|}v})m ·{}vavÆmvvl4m1Oxc| ´ xim-k }z:xazXª+|dkª«mXlv ´ }zk k}mX{lOxakmXav{«c@m1 ´ |}al4« $z|dª«ª§xam1 ª¯mX}|}ª~wÁ xa«|dvX¹ h)im¬wmvÆ }f| ´ sIl4½½³ ªk d~ dm ´ |}vKmz ´ uOk z1|}ªªxmXa}ªm1d|}ª~wx|}v+mXª«mXÖ}Ox+x|Qkm1Iz1m$wa«dm1 Iv N swlÄZ±v@mXz«¿KzX§x|} F¹ md³¶
(60) vÆmXl4}Oxz+xaz i CvÆmXdmXv @|xai±dv4wmx ª«m w|wz~lÄmXOxa§xa«|d | ´ xikmz|dª«ª§xam1 ª mX}|dª«~wxa«|d4z|dzamxamwmXvazawx|}Ä| ´ ximkm1mwmX z1|wwm(x v ´ |}al§xa«|dv1¹ h)imQwmXv } | ´ ximnZ|wz1z1«kmXª«ªmx Kv ´ |dl§xa«|d mXwÁ d«m ´ |d }kkªuOk VvÆmXl4}Oxzxaz ikmv¯xa|VwmXIz1mZwa«dm1 z1|wwm}¹ ·kmXª«l4«Kauc}ª«uwvv(| ´ ximm»¼mXz:xa«dm1kmvv+| ´ xaikm |dK|OvÆm-ªk d~ dmK-xaa}v ´ |dlx|}-mXk }km« dkwamXvavÆk Vximka|}kªm1lv ´ dzmX4IuÄw}mXlOxawÁ mXavX¹rÕ¬m^¿K xixQºZm-zX ªamX}ku/m°wkamXvav² zXau |}~wx$ºwmc§amxyu-| ´ xaikmcz|dª«ª§xam1 ªmX}|}ª~wÁ xa«|dvwmXdxaÀ¿KmX4Ä|d~kkam1I|}~vNvÆx~Kwu}³Om1dm1Äxik|d~k }i xaikmz1~kam1Oxmaª«u
(61) vyx }m(ka|xa|xyuI@m«l4kªm1l4m1Ox §x|} | ´ nZ|wz1z1«kmXª«ªmv k|x*vÆT~ 6z1«mXdx%x|Cm°wkamXvav¶ªªOK|Ovv«ª«m xaa}v ´ |}al4x|}vX¹ ·áwmXl4|}vÆx §xa«|d/| ´ xaikm^z|dzvÆmXkmXvav| ´ vm1lOxaz K§xaz imXv¯ºiz i ´ |d¶|}~¶m°k}lĪ«mv¯am~k(xaB| D xl4mXv vlªª«mXcxai xaikm-xa|x ª4vÆ< 1m-| ´ mXµO~k§ªm1Oxwa«dm1 K§xaz imXvX¹ch)ikvmvÆ~ªÀxvik|§ºv+xixz|dª«ª§xam1 ªmX}|}ª~wÁ xa«|dv½zX@m{w|wz~lÄmXOxmX4$vik|}x½Kz|}l4kam1im1wÁ v}mvÆ@mXz1À¿@z1§xa«|dvX¹ h)ikm)mvyx*| ´ xikv*}KmXNv |}a d}k<1mX}v ´ |}ªª«|§ºvX¹¶¸ÅsImz:Á xa«|dÄI³§ºm½kamXvm1Ox*+|§dm1aOm1º| ´ xikmvav~kmXv¶xix }vÆmZ« k }zxzm4¬l}O~Kªª«uQ}kkªuI«k ²z1|}ªªxm1 ª*mX}|}ª~wxa«|dvVx| ¶«I~w°k}mXavX¹%Õ¬m(xim1
(62) kmvÆmXOx)|d~kk|O}z ixa|4k|Iz1~wÁ l4m1Oxa«k
(63) ²}~wx|dl§xk 6z1|}ªªxm1 ª¶m1}|dª«~kx|}+v ½sImz:Á xa«|d w³dºmkamXvm1OxZsIl4½½³dK4«$sImz:xa«|d DK³}ºmwmXvazaKm xaikm6xaa}v ´ |dlx|}m1k d«m}¹c¸Å sImz:xa«|d -I³Nºm$wmXvazaKm v|}l4mÄm°wKmXl4m1OxavVºa«xk
(64) vm1l}dxazxaz ikmv ´ |d{xaikm m1°w}l4kª«mv{ªª«~vÆx §xa« xikmÄvv~kmXv{km1Ox«¿mXQ«¬sImXzx|} }+kª«uIk xaikmXvm½vm1lOxzNxaz ikmv>xa|Cwa«dm1¶z1|wwm}¹ ×%«Á }ª«ªu}³¼ºmwmvz1@mvÆ|dl4mam1ª§xmºZ|dÇ
(65) sImXzx|}Q z1|}z1ª«~km«²sImXzx|}QO¹ % ¶
(66) +4'' ) §N Z''(%)*+'-).+'6 +
(67) h)ikm²}kkªzX§x|}±| ´ z|dª«ª§xam1 ªm1}|dª«~kx|}vÄ®¶«I~w°-iK}v @m1mXkª} }~kmÄOuka|}kªm1lvN| ´ l4vyx Ç}mv1³dl4v~kwmXavÆxa}IÁ. . -. k dvX³*z|d/.z:x v1¹¸ÅxivvÆmz:x|}¶³%ºm6wmXvazaKm$v|}l4m | ´ xim«l4dz:xavxixxikmvÆmka|}ª«mXl4vzX¬iÖ}mĬadz:Á xaz1m}¹ sw|}l4m½| ´ xikmZm°kl4kªmXv¶~vÆmºm1amwmXvaza«@mX+«+l4|dm wm1xa}«ª>|}~kkam1I|}~vº|}aLÇ d \¹. CEDGF HJIGK=LNM OQP9K. ¸Åxaikmwa«dm1 vxikmįO~k°
(68) v|}~k zm(xamXm}³l4vyx ÇdmXvvm1mXl xa|Km(xaikml4|dvÆx{z|}l4l4|}
(69) ka|}kªm1l0«@m1 ´ |}al4«k z1|}ªªxÆÁ mXa}ªm1d|}ª~wx|}vX¹B¸ÅKwm1m>³| ´ ximQ}ª«a}u-mX}|dª«~wxa«|dv xai§xºmiÖdm6vyxa~wmX wmx ª[³XIØ I}|}ª}m§xªmXdvyx |dkmÄxyuO@|} da}kikz1}ª |d«K§xÆxam1Ox|}mXa|}V«-xª«m}vÆx+|}km wmXIz1mÁÅvÆ@mXz1À¿Kz¿ª«md¹Np²vÆxa}Ç}mvNxiK§xZºm{iKÖ}m|dvÆmXdmXÄwÁ z1ª«~kmQkmX }ªmXz:xa« ^x|±wm1ªmxam^ª|wz1ªV§a}kªm²xix$xaikm1 vi}k|§ºv}±dkwmX }a}lÄm1xmXX³½dkwk z|wwm
(70) xix6~vmXv §akªmXvxai§xC}m+km¿km²§x|}xikmX{z|dª«ª§xam1 ª>m1d|}ª~wx|} vÀxamXv k~wx|x xikmz1~kam1Ox |}kmd³km1 dª«mz:xa«k Cx|dÖy~vÆxNv|}l4m ~vmXv| ´ (§a}kª«m)xai§x½z iKk dmXv*xyuI@m}³dkm1ªmxk xa|I|l~z i z1|Ikm}³¯vÇOkkk vÆ|dl4mz|dª«ª§xam1 ª m1d|}ª~wx|}Qv«xmXvX³¯KcwÁ xa|ww~z1« vuOOx §°6m1aa|} v1¹%¸Åwm1m>³kvm1}mXa}ªKv~z i$l4vyx ÇdmXv ºm1am+l}wm«kkªuI« xikmÂÆk|wSz R« ´ |Ãz1|}ªªxmXa}ª¶m1d|Á ª~wx|}Kv6xai§xºZm¬wmx ª(« sImXzx|} ¹Épc}Iu±l4vyx ÇdmXv zX~vm{mXÀxaikm1z|dl4k«ªmÁFxl4mC|d)ª«kÇOÁ[xa«l4mVm1a|davX³}~wx)xikmXu }mÄk|xkmxmz:xamX¬Iu²xikm6k}mXVl}«Oxa}«m1@m1 ´ |}alÄk xaikm+z|dª«ª§xam1 ª>m1d|}ª~wx|}
(71) @mXz1}~vm(xikmlIu
(72) z|}l4kª§x|} |dwx|}v%| ´ ¶«I~w°+l}Ç}m½«x*i (x|Vz|dlÄ«ªm}ª«ªIz|wwmd¹*o{xaiwÁ mXavzX~vm4lÄmXl4|}aucm1a|davX³¯k~kxxikmvÆm6}m4|}ª«u¬wmxamXz:xamX ´ xikm»@mz:xamX²z|wwmvxamXvÆxmIuxikmw}mXldx km1¹ × ªª«ud³d|}xikmXav½lÖuÄzX~vmk|+l4l4mXw§xam{m1aa|}³}}v½ºikm1 z1|}l4l4|}+z|wwmZkª|Iz Çwv am½Kvyxaadz:xm(«Oxa|CkmXº ´ ~kzx|} k~kxxim ´ }zx|}a< X§xa«|dvk|x4kkªmXm1dm1auIºikm1am}¹h)ikm z1|IkmC§xximVz1|}ªªxm1 ªKm1d|}ª~wx|}$v«xm{am1l}«v ´ ~kzx|}}ª ~kOxa«ª¼xaikmCm1º ´ ~z:xa«|dv)z ik dmXvÆ|dlÄm(za«xz1ª@º)Öu}¹. CED0C. HJIGKNT1U1V1PXWYK=L)MZU1V1IGU[\K. p²v~kwmXavÆxa}wk dv(am4QvavÆ~km4ºikmXQxaikm4KmXav|}¬ºik| @m1 ´ |}alvximQm1d|}ª~wx|} /xaikmk}mXv~kk@|}xª«k au vk|}xxikmQval4m²}vxikmc@m1 v|}±ºik|^KmX ´ |dlv4xaikmc}vÆÁ v|wz§xmBz1|}ªªxm1 ª(mX}|}ª~wxa«|dv1¹ h)ikv
(73) xyuIkzXªª«uB|IzXz~k v /xaikmXmzX}vmX+v ]y^ 6ºikm1Bxikm¬@m1 vÆ|d/KmX ´ |dl4k -xaikm mX}|}ª~wxa«|dwm1¿kmXv
(74) º k@m1 ´ ~kKz:x|}¶³¶ka|§Iwk }z ÇOÁ º) $z1|}l4§xa««ªÀxyud³k §xim1xi}KmX ´ |dl4k Äxikm+z1|}ªªxÆÁ mXa}ªm1d|}ª~wx|}vX³%}^z|dª«ª§xam1 ªNmX}|}ª~wxa«|dvammµO~k«amX ºikmX ximº k@m1 ´ ~kzx|}fvv~kvmXµO~km1Oxaª«u®am1l4|§}m }_ [= NºikmXxikmVz|dª«ª§xam1 ªmX}|dª«~wxa«|dvNl~vyxKmVkª«mX xa|Cz|wwm½|}~wx vÆwmxaikmZ¶«I~w°+v|}~k zmxam1m}¹%ÕmZka|§Owm½v|}l4m m1°w}l4kª«mv)| ´ mX}z iz1dvÆmd¹. ¥§¦ % %½Û ¥ ' ¨}¤+ ß £ ·x xikm @m1 d«k« 9| ´ ¯O~k° k¹ DK¹ k³xikm±wa«dm1Qk«xªW§xa«|d k|wz1mXvavQz i}k }m vÆ~z i xai§x+~vm| ´ xim ´ ~kzx|}a`bYc.`>dYeSf.cSgihkjSl
(75) z1|}~kªz1~KvÆm6 }z1mcz|}KwÀxa«|d¯³K vÆik|d~kª KmQmXkªdzm®Ou xim ´ ~kzÁ xa«|d] f.c=m=nYcYo>p.eSf.c=gih>jSl>¹f·{ªÀxaik|}~ }q i `bYcY`>d.eSf.c=gih>jSl^º)}v ´ k § | B º k ~ a v } m w ³ « x ) º } v m w m K ¿ k X m } v ºa}kKmX ´ ~kz:xa«|d ´ |} "!7 K
(76) ! 3IK , 6 (* 7 8 *"!49K$ K;# &: %'!K )(0*=
(77) +<>, K 6 K ("0- .7/80**4-1 K@) ? K"23 K * 2B5A 4 K6 f.cBm=n.cYo>pYeSf)c=gihkjSl
(78) K^ªlÄ|Ovyxk|Qwa«dm1 vºm1am«k«xªªu . J)JLKMONQPQRQP. F.
(79) . Í §ÐËaÍ ,ͧÎkÊ1Ë1Î%Í½Í ,/Ë. ~k¼kxmX¯¹Ù¸ÅvÆxm}>³|§dm1xaikmQm°Ix ´ m1º9udmX}avX³)xikm¬z|dªÀÁ ª§xam1 ª*m1d|}ª~wx|}ºdvC@m1 ´ |}al4mXQOuªª ÇIkv(| ´ wa«dm1 lOxa}«kmXavX³Oºik|id4x|ºZ|dÇĺ«xik|d~wx½xaikmCm1°wKmXÆxavm{| ´ xaikm^wm1dm1ª|}@m1
(80) ºik| @m1 ´ |}al4mX®xaikm|}a« d«KªVm1}|dª«~kx|}¯¹ #Cvaz~Kvv«|dv¬«É¯I~w°lª«k Bªvyx v^vÆik|§ºáxai§x^wa«dm1 lOxa}«kmXav}
(81) l4|x§§xamX
(82) ~vm1 v)ºZmXm(k|}x{ªºÖuwv)vÆ~m ºix4x|^w|¬x|ka« Qxaikm16wa«dm1 v~ xa|§xmd³Zdvxaikm ka|xa|wz|}ª ´ |}~v«k f)cBm=nYcYopYeSf.c=g hkjSl(vvƪ }iOxªuwÀ»¼m1am1Ox ´ a|}l xix ´ |d~v«k `bYcY`>d.eSf.c=gih>jSl>¹ ¥ *KÛ ¥§£ ß %¤X£ Òà Û +¤ 8 Û 3 A £ ß %¥§¨ Û ¤X¥ ÛIÛ Õm
(83) z1 wmz:xaª«u®vÆmXm²m1Iwm1z1m²| ´ ximcka|}kªm1lv ´ dzmX±Iu-xaikm lOxa}«kmXav$| ´ k}mXav$|}~wx vÆwmcxaikm¯O~k° v|}~az1m²xam1m ´ a|}l xaikm(z1}vmV| ´ k}mXav½xixiKÖ}mVmzm1Oxaª«u4m1Oxam1amXxaikm ¶«I~w°vÆ|d~kaz1m{xamXm}¹ h)ikmC¿ª«m oSjknNlBj.oNoSn
(84)
(85) `I³XmXOxm1amX$¯O~k°6k¹ D ´ Á xam1xikm(vÆxaxZ| ´ ¯I~w°w¹ -w³IxiI~v)w6k|}x}Æxaz1«K§xm cxaikm¶«I~w°Qw¹ -4mX}|}ª~wxa«|d²k|wz1mXvav1¹ ¸\xCª§xam1(k@mX}m ¶«I~w°k¹ ¹ ¹ pc}IuÄ| ´ ximV¶«I~w°k¹ -z|}ªª§xmXa}ªmX}|}ª~wÁ xa«|dvºm1amz1}amX
(86) |}~wxC«cz1m§xk 4xaikm¶«I~w°cw¹ k¹ 4}mXÆÁ v«|d¯³Nk~wx4k|}xĪªF¹oCkm$v~z i-|dl4ÀxxmX z|dª«ª§xam1 ªmX}|}ª~wÁ xa«|d«l4kª«mÄxixxim{wa«dm1N~vmX4ª«a}u ´ ~z:xa«|dvNxai§x ºm1am|
(87) ª|} }m1(wm1¿kmX¯¹ dm1xik|d~k }ixiv(mXa|}Vl}wm «x6«l4@|dvavÆkªmx|^k~«ª®Çdm1akm1ª~KvÆk ¬xikv6wa}m1³xaikm mXa|}º)}v(k|}xz|damXzxmX~kOxª½¶«I~w°^w¹ k¹}}¹6· vÆl4«ª vv~km|IzXz~k v«^xaikm¿ª«m oSjSnBlBjYoBoYhp.c
(88) `I³>ºikz i w®m1d|}ª}mxika|}~ }i®¯O~k°®w¹ -w³k~wx
(89) k@mX}avx|^@mcamÁ kª}z1mXIu46m1°Ixm1a}ªk}mXav«|d6§xxaikmCvÆxa}ÆxZ| ´ ¯I~w°$w¹ k¹ ¸ÅQxikvVm°IxmX}ª%dm1 vÆ|}¶³kximÄ ´ |}am1l4m1Ox|}mX²z|dª«ª§xam1 ª mX}|}ª~wxa«|dºdvªvÆ|k|xZk|}kmd¹*h)imm1a|dº)}v} d4¿k°wmX ²¯O~k°
(90) w¹ k¹}d¹. CED. \U I L.K. z i}k }m±xikmxyuIKmv
(91) | ´ xim ´ ~kKz:x|}Kv43i`)hSe.o56.c)e.op=p.c }7 3i`)hSeSf)cYo>p.j=f)c)e.o>pkp.c(v~z i$xai§xm}z i
(92) ª«|OvyxxikmX«{ªdvyx } d~kl4m1OxX¹Nd~vyx+I -ÄkÖuwv)kmXI«|d~vƪu}³wi|§ºZmX}m1³wz|wwm(º)}v dkwmX^x|cxaikm¿ª«m lYc=d83 `)h9 `6xiK§xÄz1|}Oxa}«mX-zXªªv+x| 3i`)hSe)o:6.c)e)o>p=p.c^; 3i`)hSekf.cYo>p.jSf.c)e.o>p<Sp.ck¹Èmz1~KvÆm xaikmz|}ªª§xmXa}ª}mX}|}ª~wxa«|dº)}v%}vmX|}4maª«m1 }mXav|}¯³ xaikmXvm6z1}ª«ªv(ºZmXm|xxa}Ç}mXOx|c}zXz|d~kOxX¹6¸Åka«Kzkª«md³ v~z i^ka|}kªm1lv+z1|}~kª@m$Ö}|dwm¬ ´ lOxa}«kmXav+ºZ|d~kª }ª«º)Öuwv)~vÆm+xikmªxmXvÆx{dm1 vÆ|}| ´ xaikm¶«I~w°²vÆ|d~k zm(xam1md¹ ¸Å kadz:xaz1m}³ik|§ºm1dm1³ xikmªa }m6I~klKmXÄ| ´ wmX}mXª«|dKmXav }
(93) xikamXdkv| ´ km1}mXª«|dkl4m1OxlÇdmXv)xaikvCªª¶k~kxClÄ@|dvÆÁ v«ª«md¹ =+¤ 8 Û ¥I¨ 8 ¦ ( Û £ ¸Åswm1wxam1l@m1*d= Zxik> m Nc6<?o½ª«k au )º }vV|=6z1}ª«ªuQwmzªamX|}v|}ªmxamÄ}cxa|²Kmam1ªdzmXQIu xaikm~km1²ª«k au$cxaikmÇdm1akm1ªF¹{¸Å¬}~kmÄ}} -k³K ´ xm1V m1°Oxam1kmXKmX|wc| ´ xl4m ´ |dwm1dm1ª|}@m1 vxa|dkkxCxaikm1 wa}m1 vxa|Qxaikm
(94) km1ºªka}ud³*xik@m )c6
(95) ?oª«k auº)}vamÁ l4|§}m((z|dª«ª§xam1 ªmX}|dª«~wxa«|dv¼am1l4|§I«k }ª«ª}~vÆmv¯| ´ xaikm )c6<?Yoª«a}u6ºm1amVKmX ´ |dl4mXxaikmI~kl4m1a|}~vk}mXav xai§xVºZmXmvÆxªª%~vk 6«xX2¹ A{|§ºZmX}mXX³K|}kªu
(96) $vÆlªª x{| ´ xaikm+|§}mXa}ª«ª¯z iKk dm}³K4KxxixVwk|}x{mµO~k«am+z i}k }m xa|Äm1°wvÆxk 4z|wwm(k|}zX~vm(Iu$z|dl4k«ª§xa«|d$mXa|} v1³Oº)}v dz1zmXwxm «Oxa|/xim ¯I~w° vÆ|d~kaz1m^xam1md¹ nZ|}KvÆmµd~m1Oxªu xaikm{z|wwml4|ww«¿Kz1x|}v½ºZmXm)lOxa}«km4«K ªª«mXªk Çdm1wxvuOKz ik|dkvÆm6º«xi
(97) xikmª§xamXvÆx{¯I~w°$}mXav|} ´ |d mXdxa«amu}mIu
(98) l4}I~ªª«umvÆ|dª«Ik Iuz1|}/ .Kzxav{}v«k ´ a|}l#z ik dmXKkm1ºªu
(99) dkwm²z|wwm}¹× ªª«ud³Kcd~kkm }}}³:ximmXlwm1¶| ´ xikml4|ww«¿Kz1x|}v¯ºZmXmN}zXzmXwxm>¹ B. KNKBP-KNK
(100) C P9U\L. {· ª«ªZ| ´ xikmvÆm$k|dkªm1lv@|}dxx|xim6km1m¬x|Qk|Iz1~kl4m1Ox }-~kx|}lxmz1|}ªªxmXa}ªm1d|}ª~wx|}vX¹nZ~am1Oxªu}³*xaz i ¿ªmXv
(101) am²xaikm|dkªu®vÆxa}k}a v~kk@|}x ´ |dw|wz1~kl4m1Oxk }f}~wx|dl§xk ®z i }mXv
(102) ¯O~k°fz|ww m Ö+ \¹ *xaz i z1|IkmkmXvaza«@mXvvKmz«¿Kz²z i }m
(103) « vÆ@mXz1À¿@z}m1 v«|d | ´ v« }ªm6¿ªm}¹^h%|¬z1m§xmQxaz i¯³¬wmX}m1ª|}@m1l~vÆx l4|ww ´ u
(104) m}z iQv|}~az1mz|wwm¿ª«mIu
(105) iK>³>}xim1Q}kkªu xaikm~wxa|}l§xa&z h ?
(106) ?Cx|I|dªdxa|Vz1m§xamCmz|da| ´ xaikmkÀ»¼m1Á mXzmCKm1xyºZmXm16xaikmV|}ª$Kkm1ºB}m1 v«|dv1¹*h)ikmVwm1dm1ª|}@m1 xaikm1
(107) wvÆxak~wxmvZxikmV§x z i6xa|~vm1 vX³dºik|4kª«u4«x~vÆk xaikm}~wx|dl4xDz 3E=p `^bx|I|}ªZx|QmXkª«z1xm$xikm
(108) z ik dmXv« xaikm1Zz1|}kmXv½| ´ xikmC|}ªÄ¿ªmXvX¹ ·{ªÀxaik|}~k di$~kx|}lxz§xxaikm ~vm1ªm1dm1ªF³¯xaikvk|O}z ik|Omv(k|xv|}ª}mÄxaikm$z|dª«ª§xam1 ª mX}|}ª~wxa«|d-ka|}kªm1l¹ h)ikmXm
(109) vvyxa«ªªvÆ|dl4m1|}m$ºik|¬l~vÆx lI~}ª«ªu+KIvÆ«x~k¼k§xam)}ª«ªw| ´ xaikm¿ª«mv1³}ºikz iÄamÁ lvZxl4mÁÅz|dvÆ~lÄk 4$m1a|dZ|dkm}¹ F{vk K§xaz imXv dvw|wz~lÄmXOxa§xa«|d^x|Q~kwmXavÆxa}-z|dª«ª§xam1 ªmX}|dª«~wxa«|dv v(| ´ xam1w|}kmd³¯k~wx+v(k|}x(m}vu²|}am1ª}kªm}³>@mXz1}~vmxaikm mXOwmXzm
(110) « xikm
(111) xaz i-¿Kª«mvv4wmxam1al4«km-Iuxim
(112) vKm1Á z1À¿Kzz|wwmÄ«QxikmÄxaz ikm¿ªmXv(ck|xVxikm4z|dzmXwxavC| ´ a x ikmz1|}ªªxm1 ª½m1}|dª«~kx|}vX¹²h¶|¬}kwamXvav(xaikmXvm$vv~kmv1³* "!) 6 ! K 88 # <$#$ KK3 &%k, 6 #$,! K !%>B K+3' >#$%k, K "*)( }kka|d}z ivkm1mwmX6xix)kmXvaza«@mXvz|dª«ª§xam1 ªmX}|dª«~wxa«|dv % 8 *#$,! K G<9 K,+ * !1*> K2 ,"-% 32/. ' ,G< + ^ 8 ! 66 K+3 &%k, 6 #$,! K >#$0%k, K 3IK 01% 8 2#$,"0! K < K/+ ^ * 0^ " v«l4kªu}³vÆ|xiK§x4xikmXu z1} m}v«ªuKm²~wm1 vÆx|I|w-Iu-ªª xaikm6}zx|} v(Od|}ª}m>³¶K dm1kmXz1}ª«ªu}³%vÆ|
(113) xiK§xxim1uz1 Q K$# $#$! 8 3 0! K K6 ! 88 /,0 8 $#$! 8 3 ! K A . Zn |d/.z:xav{lÖuavÆmºikmXc6z|dª«ª§xam1 ª>mX}|}ª~wxa«|d
(114) v@m1Á ´ |dl4mX |} Q}mXav«|d^| ´ ¶«I~w°-ºikz i-vÄk|xxikm
(115) ªxmvyx |dkm}³kºikz izX}vmVxikm+z1|}ªªxm1 ª¼mX}|}ª~wxa«|dl~vyx@m+amÁ x a }mxamX¬ ÌË
(116) OË cOx|
(117) ximªxmXvÆx+Ö§ª}kª«mÄ}mXav|}¯¹ a|}ª«mXl4v)w~k l4mX dm{zª~wm y NxaikmCOxa|ww~z:xa«|d$| ´ kmXºfz1|}ªªxm1 ªKm1d|}ª~wx|}
(118) vÆ«xmv1³Im1«xim1)«wa«dm1 vxai§xª«Á amXdwum°wvÆxmccxaikm|dªkm1V}m1 v«|d²| ´ ¶«I~w°>³>|}VQkmXº wa}m1 vOxm1 daxm«-l4|dm6amXz1m1Oxdm1 vÆ|}vX³%xixl~Kvyx }ªv| @mmX}|dª«dmX }zXz|dawk dª«`u [= 6|}xikmX@m1x~kax|}v xa|xaikmVv|}~az1mCz|wwmCxiK§x)kmÇÄximCl4m1a }mCka|Iz1mXvav1¹NsI~z i @m1x~kax|}v¶a}k }m ´ a|}l z i }k ºik«xmXvdzmN+|}¶dIÁ Ædzm1Oxxa|4xikm+z1|}ªªxm1 ª¼mX}|}ª~wxa«|d
(119) vÀxamVx|ª|IzXªW XmX
(120) z|wwm z i}k }mv1³ vÆ~Kz i-}v+z i}k }k ²-} d~kl4m1Ox| ´ ´ ~kzx|} »@mz:xmIu+(z|dª«ª§xam1 ªOm1d|}ª~wx|}xai§xN«xavm1ª ´ z i}k }mv¯xaikm ´ ~kKz:x|}¶¾ vKl4m}¹ à ¨¤ ß ß ' ÛOÞ ¨ ß :+:[¦w¤ Û ¥§¦ : Û *@ß : ¶¤ ß £ ¤ Û £ ¤X¥ ß oC¬oVzx|dKmX -k³¼}} Dz|wwmº)}vCvÆ~kl4ÀxxmXcx|$xikm4¯I~w° v|}~k zmxam1ml4kª«mXl4m1Oxk z1|}ªªxmXa}ªCmX}|}ª~wxa«|dBxai§x. Q)J_6.
(121) ½Í ÖÊ wÏ §ÌͧÏFÐ Î
(122) «Í§ÏÅËÍ ,wÏFЧÎÊ. . , .
(123) . "!# "!$ %"! & %' (!)
Documents relatifs
The wind-powered sensor node in Figure 2.1 con- sists of three main building blocks: (1) an energy harvester incorporating the wind turbine coupled to the electrical generator; (2)
The study also includes the effect of storage time on oil quality in terms of free fatty acid (FFA), moisture content and carotene
Nombreux sont les travaux qui montrent qu’une migration peut être soit précédée soit suivie d’une pratique de circulation entre ancien et nouveau lieu de résidence : elle
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
The present study aimed to compare couples based on their dyadic AEE and examine whether they differ on the intensity of pain reported by the women, and
Les crustae sont taillées dans un calcaire marmoréen blanc, à gros grains, identique à celui des crustae du pourtour de la salle S; approximativement carrés ou
Quant à la diffusion, il est évident que ces gobelets sont beaucoup plus nombreux en Haute-Normandie tant numériquement que proportionnellement, phénomène qui se
Notre recherche a été réalisée en deux temps. Dans un premier temps, une recension d’écrits et une analyse de documents divers ont permis de brosser un portrait général de la vie