Verifying an ATM Protocol Using a Combination of Formal Techniques
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Verifying an ATM Protocol Using a Combination of Formal Techniques Vlad Rusu. N˚5089 2003. ISSN 0249-6399. ISRN INRIA/RR--5089--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5)
(6) !#"
(7) $ %'&(*),+
(8) -
(9) . /$0)1*23465
(10) 798$4" : ;=<?>A@CBDEBF GHJI-K9L9MON'P4QSRTLSUWVYXZL[\RT]YR^[_I-K9LSR `ba_ced^L-[fgLSah[_LSiSR PjUWklkmcnah[joYL0a_LSipHJL-apipHlLq*rnsWtWunvwNyxetntWzN'zWv{kJUe|nLSR Z} ~6S-lWW GHlR0kJUWkmLSaoYLSR_ia_?LSR0UK9L-[THlcYoYcncn|W]UeqmoUiSUWRTL{Rh[TVmoY]qcWa_K9UWgWLSaTmi-Ue[TcWq GHJLi-UWRTLRh[TVJoY]R4[THJL{SE$kla_ce[_cYicWJU9K9L-KmLSa\cW[_HlL* gG4¡¢UnolUekY[pU[_cnq$U ]WLSa4£4HlcnRTL0K Ueq a_cWLRj[_c$k?L-aTcWa_K¤UCa_L-UWlL{olU[pU [_a_UWqJR^LSa\cnL-a¥UWqVlqla_L-UelLi-cWK9K*VlqJiSU[TcWqK9LEoYVJK0GHlL K9L-[THlcYoYcncn|W]q¦WcWWLER-§©¨^MEªbU0R^[pU[TL-«=RTkJUniLLXYklcWapU[_cnq*cnabqJ¬[_UWmoYLSlVl|W|nqJ|Jm¨xWªgUkmUeaT[TUe«cna_oYLSa UWJRh[TapUWi®[_cnq3[THJUe[{kJaTLERhLSaTnLSR0[_HlLklaTcnkmLSah[_LERcW\q¯[_L-a_LSRh[S©UWqJoA¨°znªUi-cWK9kmc¯Rh[TcWqmUe±nL-a_¬?i-U[_cnq cW\[_HlLkla_cWk?L-aT[TLSR9U[9[THJLUeJRh[TapUWi[{L-nL-VJRTql|[_HlL¦²6Z[_HlL-cnaTLSK¢kla_cWL-aE´³¦[TL-kmR¨°xWª9UWqJo¨µznª |nVJUeapUeq¯[_L-L[THmU[O[THlLklaTcnkmLSah[_LER¥Rh[THlcnocWq[_HlL*£4HJcWL$¨µi-cWK9k?cnRTLSo¶¶icnqJia_L[_LEª4RT]YR^[_L-K#UnRj£L-° GHJL$UeVlLce¥[THlLUWklkla_cnUWipH!LSR9q´UnolUekY[_qJ|UWqJo2q¯[TL-|na_Ue[Tql|wRTL-nL-apUe©cWa_K Ue[TLEipHlql·nVJLSRcWa nL-a_¬]¦ql|9Ua_LSUWi-UnRhL0Rh[TVJoY]n ¸¹¯º»_¼*½ ¾6W kmUeaT[TUe«cna_oYLSa¥UWJR^[_a_Uni®[_cnqicnK{k?cnRT[TcWqJUWolLSoYVJi[TWL9WLSaTmiSU[TcWq¦²6eES kJaTcW[TcYicn° ¿ À¶ÁTÂ=ÃSÄÁ4Å6ÆÂ=ÇÈÉ ËÓpò®Í^Ö Ê3î®î®Ë ó_̵ôÍ^îpÎÐÏÐõÑ4óOÏÐÒö ó®Ópî_Ì÷ùÔOø ÕÍ^ְ̰ÏÐ×®Ò×pØmÙÚEÏÐÖËÓpËeÍ^ÌgÚÓpÖgÓpË ËeÍhÓp̰Í^ÛÏÐÒ*ÜYÝ®Þ ÄßàYá*âhÆã ÝTä ±å¶Ã ÞµÝ ÈEâ0¿ Ü áOåæ ç®è^É_é¦êYë6ìíî®ï®ð®ñEé Ë Ì°×-×pØÖú ØÚ ×®Í Ì¶Ùû6Ú ü Í ê3 ÓpÖ°ýeͱþ þSÖµÙ)ÿ(EÛEÔ ø
(11) þ ®ÿ
(12) -ÿ ×®ÒÙ=ÓpÏÐÒEÖ"!$#&%0ÖËeÍ Ï ' Ó_ÙÏÐ×®Ò ÖÓpÒ Û * Ì( Ö(+6ÏÐ̵ÏÐÖ=Ó ø ØÌ. Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00 Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71.
(13) ©6
(14) h8$
(15) $ .
(16) L[ UeaT[TiLklaTQERhLSq¯[TLZVJqlLK{Q-[THlcYoYcncn|WLZL-[{VlqJLQ-[TVJolLoYLiSUWRL-q nQ-a_¬?i-U[_cnq cnaTK9LSLW Q[TVmoYLolL$i-UnR*LER^[{L$kla_ce[TcYi-cWLSE¶±·¯VlUWklkJUWah[_LSqn[UicnVJipHlLo UnolUekl[_U[_cnq gG4¡2JoYcWq¯[4U*cnqJi®[_cnq$kJaTqJikJUWLOLSRh[\o UWR_RhVla_L-aVlqlL[_a_UWqJRTK{R_RhcWqZolLoYcWqlqJQ-LSR©mUWlL [_a_U nL-apR VJqK9QSoYVlK#oYL{icWK9KVlqli-U[_cnqqlcWqmUelLW U K9Q-[THlcYoYcncn|WLK9kl·nVJLZ§¨^M ª4VlqJLL-X¦kJcna_Ue[TcWq olL¥ LERhkmUWiLOo Q[_Ue[_RkJUWaRTKVlU[TcWq¯k?cWVJaLoYQ-?cW|¯Ue|WL\ql[TUe¶oYVRT]¦Rh[TISK9L*¨°xnªbVJqlLOUWJRh[TapUWi®[_cnq mUWRTQ-L9RhVlaolLSRcWapoYa_LSROkJUWah[_LSRS·¯Vlgkla_QSRTL-a_WL{LERkla_cWkla_Q-[TQER nQ-a_¬JLSa9L-[ ¨°znªOVlqJL{nQ-a_¬?i-U[_cnq i-cWK9k?cnRT¬[_cnqlqlL-LoYLERgkla_cWkla_Q[TQERUWVqJnLSUeV9UemR^[_a_UW¬[L-q9VY[_R_Ueq¯[g UnRTRTRh[_UWq¯[oYL4kJaTLSVlWL4¦²6e LSR Q-[_UWkmLER¥¨xWª±L[0¨µznª©RTcWq¯[oYQ-JqlLSRoYL¥[TL-L¥K UeqJISaTLO·nVJL¥LSR©kla_cWkla_Q-[TQERbWQSaTJQSLSRUeVCqlWLEUeVZUWJRh[TapUe[ a_LSRh[TLSq¯[*UeoYLER*UWV!qlnLSUWV3i-cWqJi-aTL-[S UUeL-Vla{oYLC UWklkla_c¦ipHJL aTQERhoYLZolUWqJRUi-cWK*JqJUWRTcWq!oYL ol Q-a_L-q¯[TLER6[TLEipHlql·nVJLSRSW·¯Vl°WK{RTLSRL-qmRhLSK*lLWek?L-a_K9L[T[TL-q¯[±oYLnQ-a_¬JLSaVlq{RT]YR^[_I-K9L4oYL[_UWL4a_Q-LSLW (EE?½ E» cna_olaTLERCkJUWah[_LSRSjWQSaTmiSU[TcWq i-cWK9k?cnRT¬[_cnqlqlL-LL[oYQEoYVJi®[_nLW¥Y²6¥kla_ce[TcYi-cWL.
(17)
(18) !. z.
(19) 8$±
(20) $JcWa_K UeOWL-a_mi-Ue[TcWq K9L[_HlcYolRcWa_K U´£4olLRTkmLEi®[_aTVlKa_UWql|Wql|2a_cWK1VJ]AUeVl[TcWK Ue[Ti&%')(*! +, -
(21) [TcklVla_L-]!qn[_L-apUWi[TWL./+, %102)
(22) e43bL[EoYLERhkJ¬[_L$K Ueq¦]2RTVJi-i-LSR_R9R^[_cWa_LER-b[CUekY« k?LSUWa_R¥[_HJU[0K9cnRh[Oa_LSUW°¶qJoYVmR^[_aTUebRT]YR^[_L-K RUea_LcnVY[0ce±a_LSUnipHceiVla_a_L-q¯[Rh[_Ue[TL-«cWù«°[_HlL{UWah[K9cYoYL- ipHJLS i 5WLSa_7R 6 8J)M 8lJxe:t 96UeqJoZ[THlLScWa_L-K kJaTcnL-ap7R 6MWMW¶)M ;Ym=x <¯JzJM 9 > qJolL-LSoeK9c¦olL-YipHlLS i 5¦ql|¥iSUeqcWql]0HJUeqmoYL©Jql[TL-«=Rh[_Ue[TLnK{LEoYVlK{«=RT@ ?SLSoRh]YRh[TL-K RSB A¥q*[THlLce[_HlL-a HmUeqJo¶¦[_HlL-cnaTLSK kla_c¦ql|{Rqlce[jK9[TLEo$qkla_qJi-kJL¦] [THJLRhC ?-LnlcWaL-nL-q¦] [THlL0qYJqJ¬[_L0qJU[_VlaTL cWg[THlL9RT]¦Rh[TLSK WLSaTJLSomlVl[O[OROK9¬[_LSoqwkla_Uni®[_i-L*¦][THlL9UeK9cWVJqn[Oceb[_K9Ln¶L cWaT[S¶UeqJoDR 5¦ [_HJU[jVmRhLSa_RK U ]Cq¯nLSRh[4qU{|WWLSq$nL-a_¬miSU[_cnqZL cWaT[S GccnL-apicnK{L[_HlLSRTLOK9¬[pR-YicnK*lqJUe[TcWqJR©ceK9cYoYLS?ipHlLE i 5¦ql|{UeqJo [THlLScWa_L-K kla_c¦ql|[THla_cWVl|nH *EFGHIGJ ZUWqJK o %L0, F
(23) GJ M !N
(24) GHJU nLmLSL-qkla_cWk?cnRTLSo¶ jqqJRh[_UeqmiLcW[_HlRja_UWK9L-£cWOa 5CRj[THlL cnc£4ql| 6N< 9=§JapR^[E¦[THlL*Y²6¥[THJL-cWa_L-K klaTcnL-Pa 6 zJM 9RL-K9klc]WLEo cWa4JVloYql|CUeqUemR^[_a_Uni®[S¦mql¬[_L« Rh[_Ue[TLnL-apRhcWqcW[THlL9Rh]YRh[TLSK?£4HlipHkla_LSRTL-a_WLER[THlLklaTcnkmLSah[_LERjcWbq¯[TLSaTLER^[\cWaOWL-a_mi-Ue[TcWqjGHlL [_HlL-cnaTLSK¤klaTcnL-a¥cWk?L-apU[TLERjqwUicnK{k?cnRT[TcWqJUWK UeqlqJL-aE? LW¶LSUWipHwicWK9k?cWqlLSq¯[OcWg[THlL RT]¦Rh[TLSK¤R Q UemR^[_a_Uni®[TLE=o RjqmoY¦oYVJUW]W¦VJRTqJ|¬[T[TLcWaqlcqYcnaTK U[_cnqZUe?cWVl[©[_HlLce[THJL-aicWK9k?cWqlLSq¯[_RSGHJL-q [_HlLkla_cWk?L-aT[TLSR\Uea_L0WL-a_JLSoU[4[_HlL*UWJR^[_a_Uni®[jL-nL-VJRTql| [THJL{I Sj²!K9c¦olL-ipHJLS i 5WLSTa 6 896Ueqmo¶Jg[THlL nL-a_¬?i-U[_cnqZR4RhVmi-iLERTRhVlY[THJL0klaTcnkmLSah[_LERHlcWoU[[THlLi-cWqJi-aTL-[TLL-WLSUWR£L-° > q [THlRkJUWkmLSa£LklaTcnkmc¯RhLUeqlcW[THlLSaK9UWqlqlLSacWicnK*lqlql| R^[pU[TL-«=RTkJUniLL-XYklcna_Ue[TcWqOUeY« Rh[TapUWi[TcWqmicWK9k?cnRT¬[_cnqJUeaTLEUWRTcWqlql|JlUWqJo$[THlLScWa_L-K kla_c¯ql|mlUeqJoa_L-k?cWaT[4[THlLUeklkli-U[_cnqce[THlL K9L-[THlcYo$[Tc U{aTLEUeiSUWRTLRh[TVmoY]W ¹ XZX\[^]'_a` ½ ½ ½ cb GHlLCiSUWRTL{Rh[TVmoY]R[THJL$SE´¨°³YL-a_¯iLC³¦k?LSi-¬?i cWqlqlLEi®[_cndq A¥a_¬« UWV Y LSq¯[TLSoZ`ba_ce[TcYi-cWùª®YUeq gG4¡ kla_ce[_cYicWoYL-JqlLSoZ¦]9[THleL > q¯[TLSaTqJUe[TcWqJUW?GL-LSi-cWK9K*VJqliSU[_cnqJgR f\qlcWq \K9cWql|ce[_HlL-aVJRTLSRS[THlL9kla_ce[_cYicW6HJUnR¥?L-LSqwkJaTcnkmc¯RhLEoUWRUeqUe[TLSaTqJUe[TWL[TcG ` q3olU[pUe|WapUeK R_U[_L-[TLqlL-[^£©cna 5YPR 6ÐxYM 9= GHlL SEROU K9L-KmLSa¥cWg[THlL{ gG4¡ UnolUekY[pU[_cnqU ]nL-aEJ£4Hlc¯RhLK UWqa_cWLRj[_c$UnolUekY[¥[THlL VJqlaTLSUeJL{RhLSaT¦iLSR\kla_c¯oYLEo¯][_HlLc£L-a*¨µklH¦]¦RTi-Ueùª4U ]WLSaSm[Tc$aTLSUeJL{icWqJqlLSi[TcWqJR¥UeqJooJU[_U [_a_UWqJRhL-a{mL-[^£©LSL-q [^£©cL-qJoJR-´GHlL$kJaTcW[TcYicnkJaTc¦oYLSR¬[pR9Vlklk?L-a9U ]WL-apR£4¬[_H´RTL-a_¦i-LSR{RhVJipH UWR i-cWqlqJLSi®[_cnqLSRh[_UWlRTHlK9L-q¯[OUWqJoa_L-LSUWRTLWmL-a_aTcnaja_L-k?cWaT[Tql|Ji hJc£ icnq¯[Ta_cWJVJRTqJ|$UCRToYql|e«=£4qJoYc£ K9LEipHJUeqlRTKUWqJoRTLSi-Vla_LolUe[_UZ[TapUeqJRhL-aEVJRhql|RhLSLEi®[_nL*a_L[TapUeqmRhK9RTRTcnqce±kJaTcW[TcYicn6olUe[_U$Vlql[_R ¨, jlkª®m >=[{RRh[_UWqJolUWa_oYC ?-LEo3nq 6 xnx 9=bUoYcYiVJK{LSq¯[9i-cWqJRTRh[Tql|cW\Ueq2qYcnaTK UeqJUe[TVlapUe«UeqJ|WVJUW|WL olLSR_ia_kY[_cnqUWqJoU*cnaTK UWRhk?LSi-¬miSU[_cnq$qI jZo¨°³¦k?LSi-¬miSU[_cnqUWqJqo p\LERTi-aTkY[TcWq UWql|WVmUe|WL ª® GHlrL F Istu(H vwx ,F/IRTL-a_¦i-L0icWqmRhR^[pRcegK9LSipHJUWqlRhK RcWa¥RhLSqJoYql|Z, jlkR\UeqmoolL[TLEi®[_ql| UWqJo0a_L[_a_UWqJRhK9[h[_ql|¥c¯R^[b, jZk¶R-Z >=[gR6U¥i-cWK9klLX¶qYJql[TL-«=Rh[_Ue[TLRh]YRh[TL-K[_HJU[cYi-iVJklLERMEx4cWl[THJgL 8=; kmUe|WLERce[_HlL0Rhk?LSi-¬?i-U[_cnyq 6ÐxW:x 9B >=[jVJRTLSRUe?cWVl[[^£L-q¯[^]CRh[_Ue[TLUea_UWlLERceqYJqJ¬[_L[^]¯k?LSRapUeqJ|Wql| a_cWK qn[_L-|nL-apRg[TcicWK9klLX9[^]¦k?LSR±RTVJipHZUnRbVlq¦?cWVlqmoYLSo R^[pR±cWa_LSi-cWapolRSW£4Hlc¯RhL4mL-olR±K U ]9icnqn[pUeq k?ce[_L-q¯[TUe]CVlq¦mcnVlqJoYLEoR^[pR- GHl^L %'
(25) r0 0,IxOWLSaTJLEo$i-cWqJi-L-a_qJRb[_HlLRTLSiVJaTLolU[pU[TapUeqJRhL-a4RTL-a_¯iLO?L[^£L-L-q$[THJLRhLSqJoYL-a UWqJo[THlL\aTLEiL-WLSa RgiL-q¯[_RSZ >=[RTU ]YR[_HJU[b£4HlLSq9[THlLj[TapUeqJRTK9R_RhcWq9LSqJolRSe[THJL\RhLE·¯VlL-qJi-L4ce¶K9LSR_RTUW|WLER olL-nL-a_LSow[Tc[_HlLCa_LSi-L-WL-a R0iLSqn[LS·¯VJUeR[_HlLZRTLS·¯VlL-qmiL9[THmU[*[_HlLZRTL-qJolL-a Ri-L-q¯[*a_LS·¯VlLER^[_LSow[Tc RTL-qmo¶bGHlRklaTcnkmLSah[^] RjUnipHlLSWLEoC¦]$RTL-LSi[TWLOaTL-[TapUeqJRTK9R_RhcWq$ce6c¯R^[jK9LSR_R_Ue|WLER- ". #. üü Ò{z ñ®ð®ï|.
(26) 8. 7sFs. \qlce[_HlL-akla_cWk?L-aT[^][_HJU[©[THlLOkla_ce[_c¦i-cW?icWqmRhR^[_L-q¯[T]9L-qYcna_i-LSRbcWaL CiL-qJi-]9aTLEUWRTcWqJRgR©[THJUe[©qlc Jo U[_UK9LERTR_Ue|nL4R±aTL-[TapUeqJRTK9¬[T[TLSo9VJqlLERTR±¬[£UnRga_LSUe]*cnRh[Sjc£L-WLSaSe[THlLSaTL\UWaTLj[^£©coYRh[TqJi®[¨µUeqmo olRh[_UWqn[®ªK9LSipHJUWqlRhK R6cWa±aTLE·nVJLSRh[Tql|0aTL-[TapUeqJRTK9R_RTcnqJR-§cWqlL4R±i-cWq¯[Ta_cWLEo*¦]*[THlL\RTL-qmoYL-aEnUWqJo{[THlL cW[THlLSa\cnqlLR¥i-cWq¯[Ta_cWLEo¯][_HlL*a_LSi-L-WL-aE4GHlLSRTL[^£cCK9LSipHmUeqlRhK R4HmU WL0[_c$icW«cnkmLSa_Ue[TLqcWapoYL-a [_cCU WcnoZVJRhLSLERTRjaTL-[TapUeqJRTK9R_RhcWqmR-gGHlR4qn[_aTi-Ue[TL?L-HJU ¦cWVla4K U 5nLSR[_HlLkla_ce[_c¦i-cWU9ipHJUWL-ql|nqJ| iSUWRTLORh[TVmoY]Ccna4WL-a_mi-Ue[TcWq X Sl ¹n» ` J ¹ ¹ ` ½ l ½ b $6a_Rh[S±¯]3L-X¦kJcnaTql|[_HlLI jZowRTk?LSimiSU[TcWq 6 xnx 9jVJRTql|[THl.L A¥Y« d^LEi® [
(27) OL-cYoYL[_c¯cnW 6Ðxe:v 9O£©LcnY[_UWq U!RTL[$ce0kla_cWk?L-aT[TLSR cWO[_HlLLSq¯¦aTcnqlK9L-q¯[ [THmU[$UWaTdL MO F F cnaO[THlL %'
(28) 0MO0 GoYL-JqlLEowUWmcnLW?[Tc?L{LSqJRTVlaTLEo¦][THJL{kJaTcW[TcYicn°T > qJolL-LSo¶[THlL9kla_ce[_cYicW olc¯LER\qJce[0RTUe[TR^][THJLkla_cWk?L-aT[^]qUeq¦]L-q¦¦a_cWqJK{LSq¯[S§cWaOLXlUWK{kJLnUe[UWq¦]$[_K9L9oYVla_qJ|$UZoJU[_U [_a_UWqJRTK{R_RhcWq[THJLZVlklk?L-a{U ]WL-a0K U ]L-K9[{Ueq Q UWmcnah[0[_a_UWqJRhK9RTRTcWq RCRh|WqmUeUWqJo[THJL-q2a_L[_aTL-nL [_HlL9K9LSR_RTUW|WLSR¥a_LSiLSnLSoRTc$µUeaE*G±]¦kli-UW]W[_HlRRcnql]URTVlJRTLS·¯VlL-qmiL{ce±£4HJUe[0HJUWRO?L-L-q3RTL-q¯[S £4HJipH¦cWU[_LSR\[THlL{K Ueqkla_cWk?L-aT[^]WGHlL*c£©LSa\U ]WLSa\K U ]UeRhcCK HU 5WL[_HlL{klaTcW[TcYicn¦cWU[TL*[THlL kJaTcnkmLSah[^]n \L-qJi-LW£©LUnRTRTVlK9L[THmU[ZRTcWK9L£©LS«=oYLSq¯[TJLSo mLSHJU ¦cnVlapR9ceO[THlLU ]WLSa_R9RTVla_aTcnVlqJoYql|[THlL kJaTcW[TcYicn°?£4HlipHK U 5WL*[THlL{kla_ce[_c¦i-cW¯cWU[_L*[_ROK Ueqkla_cWk?L-aT[^]W¶oYc$qlce[cYi-iVJaS wL{kla_cWL0[_HJU[ [_HlLSRTLqlLSi-LSR_RTUWaT]Ci-cWqJol¬[_cnqJR4Uea_L0UeRhc9RhV i-LSq¯[4cWa[THJL0klaTcW[TcYicn?[TcCR_U[TRh]C¬[pRK UeqkJaTcnkmLSah[^]n _ Y. ° »p½ ¾ ¹ 3Y~-Sle ½ b GHlR*UWJRh[TapUWi®[_cnqi-cWqJRTR^[pRq2i-cWqJRTolL-a_ql|RTcWK9L RhLE·¯VlL-qJi-LSR0cW Uni®[_cnqJR±¨µaTLEUWoYql|a_cWKUjipHJUWqlqlL-E[THlLSqk?L-aTcWa_K{ql|\RTcWK9Lbq¯[TLSaTqJUWnUni®[TcWqmR-UeqmoOJqJUe]O£4a_[Tql|4[Tc UipHJUeqJqlL-ùª±UnTR v %uJbGHlRRU£©LS« 5¯qJc£4q [TLEipHlql·nVJL¥VJRTLSoZqZJql[TL-«=Rh[_Ue[TLOK{cYoYLS¶ipHlLS i 5¦qlw| 6MW ulmxWs 9= >=[jR4HlLSaTL0UnolUekY[_LSo$[Tc9[_HlLoYLEoYVJi®[_nL0WLSaTmi-Ue[TcWq$ceq¦Uea_UWqJiLkla_cWk?L-aT[TLSRcnqU i-UnRTRcW qYJqJ¬[_L« R^[pU[TL{Rh]YRh[TLSK9RS\GHlL{UeJRh[TapUWi[TcWq|nVJUeapUeq¯[TLSLSR[_HJU[¥[THlL{kla_cWk?L-aT[TLSRSJcWqmiL*nL-a_¬mLSoU[¥[THlL UWJRh[TapUWi®[L-WLS°Y£4HlcWoU[[THJLicWqmia_L[TLL-nL-UWR£L- ¾ W ¹ ¹ Wl ½ b $lcWaWLSaT]¦qJ|!q¦Uea_UWq¯[_RC£LVJRTLY²6d 6 zlM 9\U [½ `±½ µ ½ {¾ ¹ kJaTc¦ceUnRTRTRh[_UWq¯[CJUWRTLSo cnq [^]¦kmLEo Hl|WHlLSah«=cWapoYL-a cW|niW( jq UeVY[_cWK U[_LSo ¦²6Rh[TapU[TLS|W] R$VJRTLSo¶ £4HJipHU[h[_L-K9kY[pR[Tckla_cWL[_HJU[Ukla_LSoYi-Ue[TL{ROqJoYVJi[TWLn° LW¶[_aTVlL9ql[TUe]UWqJokJaTLERhLSaTnLSo¦] LSWLSaT]0[_a_UWqJRT¬[_cnqZ >=[_HlR±Rb[THlL¥i-UWRTLWW[THlL\klaTLEoYi-U[_L4R©Ueq9q¯UWaTUeq¯[SWce[THJL-a_£4RTLWW[THlL\RTVll|ncnUWRLù[ VJqlkla_cWLSoC¯]ZY²6ORhVJ|W|WLER^[UeVYXYUea_]9q¦Uea_Ueq¯[_R±[THJUe[SYkla_cWLEo¶¦Uec£ [_c{RTL[T[TLO[THlLql¬[_UW|WcnUW° GHlRRh]YRh[TL-K Ue[Tei
(29) 2 J i{FxO /+,I
(30) 4Rbk?L-aTcWa_K{LEo9q$UC¨kla_cWLEo9icWa_a_LSi®[®ª %L0, F
(31) GJ M ! K UWqlqlL-aE§LSUnipHCL-q¯[T[^]¨°RhLSqJoYL-a4UWqJoCa_LSi-L-WL-a®ªga_LS·¯Vla_LSR©¬[pRc£4q$RTL[4ceUWVYXYUea_]{q¦Uea_UWqn[pR-¦K Ueq¦] cW¶£4HlipHW[_HJUe,q 5YR©Ue|nUWq{[_c0[THlL 0,xJ!D O(HIe*EFGHIxJ JYUea_Ljkla_LSRTL-a_WLEo*¦]9icnqJR^[_aTVmi®[TcWq ¦][THlL cW[THlLSajL-q¯[_¬[^]UeqJoolcCqlce[¥aTLE·nVJa_LU kla_c¦ce^4GHlR\R_U WLSRK UWq¯]kla_c¦cecWl|¯U[_cnqJR4£4HlipH?£4¬[_HlcWVY[ UWJRh[TapUWi®[_cnq¦£©cnVloZHJU nL¥K UnoYL[THlL0nL-a_¬?i-U[_cnqZqYLSUnRhlLW A¥nL-apUe°£©LcnY[_UWq U3nL-a_¬?i-U[_cnq K9L-[THlcYoYcncn|W]2cnaZicnK9K*Vlqli-Ue[TcWq´kla_ce[TcYi-cWR£4HlipH R |nL-qlLSa_UWmLSqlcWVJ|WH$[Tc9mL0UWklklLEoZ£4[THRhVmi-iLERTR©[_c{K9LEoYVJK« RT@ ?SLSoRh]YRh[TL-K C 5WLO[THJLEE?ZklaTcW[TcYicn° GHJL±iVla_a_L-q¯[i-UnRhLbRh[TVJol]\[_c¯*c 5\[_Hla_L-LbK9cWq¯[_HJRcWa6U4K9cYoYL-apU[_L-]\LXYk?L-a_LSqJiLEo0¦²6bVJRhLSa¶[Tc¥icWK9klL[_LW GHlL\aTLER^[±cWm[_HlL\kmUek?L-abRbcnaT|¯UeqlC ?-LEoUnRcWc£jRSl > q³¦LSi[TcWqCx0UK9cYoYL-mce¶LX¦[TLSqJoYLEo UeVY[_cWK U[pU RoYLmqlLSo¶W[Tcn|WL[_HlL-a6£4[TH U\K9L-[THlcYoK9klL-K9L-q¯[_LSoq ¦²6±cna[THlLWLSaTmiSU[TcWq*ceJ[_HlL-aq¦Uea_UeqJi-L . ë ü Ê.
(32) s.
(33) !. kJaTcnkmLSah[_LER- RTK9klmi-Ue[TcWqcnkmLSa_Ue[TcWqZ¨°i-UeLSo !
(34) !@O0F
(35) SªgR6UeRhcOoYLmqlLSo¶W£4HlipH*[TapUeqJRhcWa_K RUWq L-X¦[TL-qmoYLSoUeVl[TcWK Ue[TcWq$q¯[_c9U RTK UeLSaS¦LE·nVJUeL-q¯[\UWVY[TcnK9Ue[TcnqC[THmU[jR[^]¯kJiSUe]CLEUWRTLSa[Tc9WLSaT]W ³¦LEi®[_cnq{zOoYLSUWR£4[TH[THlLkJUWa_UWL-¦icnK{k?cnRT[TcWq*cWJLX¦[_L-qJoYLEoUWVY[TcnK U[_UJG£©cOkJUWa_UWL-¦icnK{k?ce« RT[TcWqCcnkmLSa_Ue[TcWqJR©Uea_L\oYLmqlLSo¶§6[_HlL
(36) iI!@ 2 (\i-cWK9k?cnRT¬[_cnqCR±[THJL¥VJRTVJUWmUWRT]¦qJipHla_cWqlcnVJRgkJUWa_UWL- i-cWK9k?cnRT¬[_cnqcWa0RT]YR^[_L-K R¥[THJUe[0i-cWK9K*VJqliSU[_L*[_HlaTcnVl|WHRhHmUea_LSoUWaTUelLSRS[THJL % JicWK9k?cnRT¬« [_cnqL[pRRhcnK{LkJUWah[_i-VlUeaRhLE·nVJL-qJi-LSR6cem[TapUeqJRT¬[_cnqJR[TcmLL-X¦LEiVY[_LSo{U[_cWK9iSUe]nl >=[gRgRhHlc£4q*[THJUe[S VJqJoYL-a±aTLEUWRTcWqJUWlL4RTV CiL-q¯[©i-cWqJoY[TcWqmR-W[THlLjnL-a_¬?i-U[_cnq9ce¶Ueq qn[_L-a_LEU WLEo*kJUWa_UWL-micWK9k?cnRT¬[_cnq iSUeqmL0a_LSolVJiLEoC[_c9[THlL ¨ù[^]¦kli-UW]ZLEUWRTLSapª±WLSaTmiSU[TcWq$cegUeqU[_cWK9iOkJUWa_UWL-i-cWK9k?cnRT¬[_cnq GHlLSq³¦LSi[TcWq 8$kla_c¯oYLERjUZi-cWK9kmc¯Rh[TcWqmUea_VlLcnaj[THJL{Ue[TcWK9i0kJUWa_UWL-6icWK9k?cnRT¬[_cnq¥Gce« |nL[_HlL-ag£4[TH{[THJL\RhK9kl¬miSU[_cnq a_LSoYVmi®[TcWq*[TLEipHlql·nVJLSRboYL-JqlLEoq{[THlL4kJaTLS¯cWVmRgRhLEi®[TcWqmR-[_HlL4a_VlL [^]¦kli-UW]C|nL-qlLSa_Ue[TLSR©LS£©LSa4klaTc¦cWcWJ|nUe[TcWqJR©[THmUeqU9JUWRTiWY|WcWJUWWL-a_mi-Ue[TcWqZkJaTcYiLERTRS GHlL{a_LSRTVl¬[_qJ|ZK9L[_HlcYoYcWcW|n]$HJUnR\?L-LSqwUWklklLEo[Tc$[THJL ESkla_ce[_c¦i-cW?[THlL{aTLERhVJ¬[pR\cnq[THJR iSUWRTLR^[_VJoY]Uea_L0kla_LSRTL-q¯[TLEoq³¦LEi®[_cnqsYj³¦LSi[TcWq ;Ci-cWqJi-VmoYLSRjUWqJooYRTi-VJR_RhLER4aTLSUe[TLEo£©cna 5 $lcWa ?L[T[TLSaa_LSUnolUel¬[^]n UWn[THJL©kla_c¦ceµRceY[THJL©a_LSRTVl[_Rq0[_HlLkJUek?L-a6HJU WL±mLSL-q*kJUniLSoq0[_HlL jklk?L-qJol¬X¶ $4-" > q[THlR\RTLSi[TcWq[_HlLK9cYoYL-6cebL-X¯[_L-qJolLSoUeVl[TcWK Ue[_U Rjkla_LSRTL-q¯[_LSo!¨°³YLSi®[_cnqwxYMEªJ[_cW|nL[THJL-aj£4[THU K9L-[THlcYoK9klL-K9LSqn[_LSowq2¦²cWakla_c¦ql|q¯UWaTUeqJi-LkJaTcnkmLSah[_LERce±[_HlRK{cYoYLS\¨°³YLSi®[_cnq3xl xnª® GHJuL !
(37) !@ 0iF
(38) = OcWUeqCL-X¦[TL-qmoYLSoCUWVY[TcnK U[TcnqCR©oYL-JqlLEo q³¦LSi[TcWq$xl zJGHJR©cWk?L-apU[_cnq klaTcYoYVmiLSR UWq$RTK UeLSaSYLE·nVJUeL-q¯[4UeVY[_cWK U[_cWq¨ùa_cWK U{WLSaTmiSU[TcWqZkmcnq¯[4ce6¯L-£\ª±[_HJU[4RLSUWRTL-a[Tc9WLSaT]W . ¹ E E E E E.
(39) ½ !OX¶º E ½#4 " ¹ ¹ ¾ ¹ ¾ ½ 2lS#$&%('&)+*-,.)/'-01)204356,.72893,.72';:<72'#=>?=@,A=72BDC 3GF6'6>A,H)I=<)2,72BJ,LKNM)20PO<3RQS>T36URVT)W=
(40) XZY 3['\>L'6>],]>?3RV^:<7['-0_>A,`>a72'&bcYedgf6>]:Dfh>?=3IMiQW)j0_>]:/36,H)I72'k,`fl)GOW3RQS>T36U[Va)<=@Y 3(Fm'6>],.)n=/)[,-7[B-:<7['l,]Q<7[VNVa76:/36,`>a72'm=oYpMe3RQp,]>],]>T7['l)j0q>r'i,.7s,.dt7=<)2,A=g7[B Rh[_UeJL VT76:<3,`>a72'#=uoJvpYmdgf6>]:Df >r'e:SVA501)<=w,`fl)x>L'6>A,`>T3[VeVa76:/3,]>T7['m=
(41) oyDYl3['-043z=<)2,72B VlqJRh[_UWlL Va76:/3,]>T7['m=o{z|}o~JonvpY 3z=@5mU_=/)[,toy72B qJ¬[_UW VT76:<3,`>a72'#=WYedgf6>]:DfP3[QW)x3RVrVe=p,A3mU[Va)jY6>H )RY#ony^oJvpY 3GF6'6>A,H)I=<)2,72BJ,`Q<3['#=>A,`>a72'm=
(42) h^ n31:Dfk,`Q<3['m=S>A,`>a72'`D+ScS`Lx:<7['m=>?=p,]=72B 3R'P7[QS>rN>L' VT76:/36,`>a72'\ o(Y 3cl5N3[Qp06Yedgf6>]:Dfh>?=3IMiQW)j0_>]:/36,H)I72'k,`fi)GO<3RQS>T36URVT)W=
(43) XZY 3ZO2)j:j,H7[Qn72Be3R=+=>rN'm89)<'i,]=(`|}2ND_kf#3_=J)/*63:p,]VK472'l)3_=S=S>rN'684)/'i,-P|}2IB]7[Q
(44) )W3:Df OW3RQS>T36U[Va)(\X4gq)<Q<)2Ymj>?=(3[')+*_MiQW)<=+=S>T7['\72B^=/3[84)c,LK_M^)I3R=
(45) Y 3401)W=@,]>r'l3,`>a72' Va7:<3,]>T7[' . üü Ò{z ñ®ð®ï|. .
(46) 7sFs ;. . R r
(47) . .
(48)
(49) . r r . r r . R r r r. l l L l l l . L l l . !. ". l. .
(50) . . . . |WVJaTL9MW§ ¨°RhLSqJoYL-a®ª ¨µaTLEiL-WLSapª GHJLjoYRh[TqJi[TcWq9mL-[^£©LSL-q Rh[_UeJLjUWqJo{VlqJRh[_UeJL4cYi-U[_cnqJRRgK9k?cWaT[_UWqn[gcnagWLSaTmi-Ue[TcWq{klVla_kmc¯RhLER§ K9c¯R^[\cWg[THlLkla_cWk?L-aT[TLSRjnL-a_¬mLSoicnqJiLSaTq[_HlL*UWVlLERjcWg[THlL UWaTUeJLERjU[ F vHEI!@¥c¦iSU[_cnqJR-jGHJR R¥mLEi-UeVmRhL*[THlL{UeVlLSR¥ceg[_HlLUWaTUelLSR\q[THlqL st ,FvHEI!@jcYi-Ue[TcWqJR¥Uea_L[^]¦kli-Ue]$aTa_L-L-UWqn[S§4[THlL [_a_UWqJRT¬[_cnqJRmL-[^£©LSL-qVlqJRh[_UeJLc¦iSU[_cnqJR©[^]¯kJiSUe] k?L-aTcWa_K RhcnK9LOcYi-UW°¦qn[_L-a_qJUei-cWK9klVY[pU[_cnqJR £4HJcnRTLa_LSRTVl[bmLEicnK{LERgcWmRhLSaTUeJLcWab[THlL4LSq¯¦aTcnqlK9L-q¯[gcWql]*£4HJL-qCU0Rh[_UeJL4cYi-U[_cnqRga_LSUnipHlLSo¶ GHlL[^]¦k?LSR{ceO UWaTUeJLER*qJiVJoYLR_i-UWUWa*[^]¦k?LSR¨q¯[TLS|WL-apR{UeqJo c¯cnLEUeqJRpª®bUWqJo´Uea_a_U ]w[^]¦kmLER- £4HJipHUea_LOVlqJi®[_cnqJRa_cWK [_HlL0qn[_L-|nL-apR±[_cCRhcnK9LR_i-UWUWa±[^]¦k?LW ½ Sl ½ j ¾w ½ ¹ ½ * b $lcna6U¥Uea_UWlL 9cWmUeq*UWaTapU ]¥[^]¯k?LWe[THlLLXYkla_LSR_RhcWq | ROUeqUWlla_L-¦Ue[TcWqcna | P|
(51) + I! FI 6 7 > q¯[TVJ¬[_nL-]W?[THlROK9LSUeqmRj[_HJU[O[THlL qJL-£(UWVlL9cW 3RolL-q¯[Ti-UW[Tc[THlL9cnowcWqlLnLXli-L-kY[U[k?cnRT¬[_cnq £4HlL-a_L{[THlL9UeVlL9ce R UnRTRT|WqlLEo¶\ $JcWaji-cWq¦WLSqlLSqJiLnlUWR_Rh|WqJK{LSq¯[_Rce[THlLcnaTK &|} Uea_L¥qJce[ja_L-kla_LSRTL-q¯[TLEoC|na_UWklHli-Ue]W ` k ¹ fl)G356,.72893,.72' Q<)MiQW)<=<)/'i,H)209>r' u>r#5_Q<) rVa)/B., sf#3R=s72'l)sVT76:<3,`>a72'; ]dgfm>`:Df;>L= $. . $. #.
(52) . %. &. )'* ,+.-. ('. 1'. 325476. 4. 8+. 9/. 1'. ,+. '. :. <;. 0/. 4. #. >=. @?BA. DC. 9/. FEA. >L'6>A,`>T3[Vt3['e0h=@,H36U[Va)GCpY-FeO2)w>r'i,.)+)<QcOW3[Q+>T36U[Va)<=eYIHlY lJ Y lK Y rK Yu3['e0&,.dg743[Q+Q/3@KOW3[Q+>?3mU[VT)W= R 3R'-0 L >L'i,H)+6)/Q/=
(53) ,H7q>L'i,H)/)/Q/=j ; fl)J>L'6>A,`>T3[V ; fi)JV?36,,.)/Qn3RQ<)n>L'6F6'6>A,H)(3[Q+Q/3@Km=t72Bi>L'l,.)+6)/Q/=JY>H )RYB.5R'-:j,`>a72'm=BTQ<7[8 :W72'-0N>],]>T7[L ' AL'l71,q=fi7Ndg'k>LM ' => l5RQWN ) ?OCG=<)2,A=G3[VLV>L'i,H)/)/Q4O<3RQS>T36URVT)W=,H7QP# ; fi)Z3[Q+Q/3@K OW3RQS>T36U[Va)<=G3[QW) 5N=/)20zfl)<Q<)c,.7G897601)<V#M^71,H)<'i,`>T3[VLVK;5_'iU715_'-01)jS 0 RUTR V 51)25)W=pC E R 897601)<VL=J3[' cnVY[TklVl[ :Df#3R'6'l)/V#B]72Qx,`fl)MiQ<76:W)<=+= # Y-dgf6>]:Df £4aT[TLER ,.7 R ,]fl)IOW3RV]5)x72B^OW3[Q+>?3mU[Va) &3,M^7[=S>],]>T7[' rK E L 8470)/V?=q3R' qlkJVY[ :Dfl3['6'l)<VB]7[Qc,`fi)(MiQW76:<)<=+= # Y^dgfm>`:Df a_LSUnolR BTQW728 L 3,uM^7[=S>A,`>a72' lJ Ye3['e0 MiVT31:<)W=(,]fl)
(54) QW)<=p5RVA,>L'PO<3RQS>T36URVT() H- ; f6>?=t893@KZf#3@M6M^)/'\72'6V K>LB lJ1W lK Y>H )RY>LBg,`fl)<Q<)
(55) >L=
(56) 3,eVa)W3_=@, 72'l)I)<VT)<89)<'i,g>r',`fi)c:Df#3['6'i)/VH %'l71,]fl)/Q
(57) )+*m3[8wMiVa)
(58) 72Be)+*-,H)<'-01)j0G3656,H7[893,H7['G>?= $ Y#01)DMi>]:p,.)j0w>L ' =u>r#5_Q<X ) ?)ALQS>rNfiY, C2 ; fm>L=3656,H7[893,H7[' fl3R=G,`f6QW)@)wVT76:<3,`>a72'#=WYe E Y + Y /8 Z ,]fl)c>r'6>A,`>T3[V^Va76:/3,]>T7['& E >L=z,`fi)G7['6VK;=p,A3mU[Va)IVa7:<3,]>T7['1 [<,nfl3R=xB]715RQ >L'i,H)/)/QsOW3RQS>T36U[Va)<= \mY rJ Y rK Y lK AT3[VLV=/)[,
(59) ,HS 7 ]9U@Kk,`fi)x>r'6>A,`>T3[Vt:<72'e0_>],]>T7['-Ym'l7,g=fl7Ndg' >L'k,]fl)xFl5RQ<^) C@Y 3R'-09,.dt7s3[Q+Q/3@K O<3RQS>T36URVT)W= 3R'-0 847601)/VL>r'6_ RUTR `V 5)25)W=(,]f#3,#M-V?3@KZQ<7[VT)W=t=DK884)2,]QS>]:/3RV,.7z,`fl7R=/) >L' ,`fl)
(60) 3656,H7[8Z36,H7[' # Y>A)[ Y RR 847601L)<VL=t3R'G>L'NM^56,^:Dfl3['6'l)<V1B]72Q $ Y13R'-0 L 847601)/V?=t3['9715m,LM^56,:Df#3R'6'l)<VA ,]fl)&,.dg7P3656,H7[893,A3;31:p:<72Qp0_>L' ,.7!,]fl)P5N=@5N3RVJ=Sf#3RQ<)2c0 bDOW3RQS>T36U[Va)IMe3RQ/3RVrVa)/Vx:<7[ 8 b a K}:<7[8wM7R=>L' M^7[=S>A,`>a72' dt)z7U,H3[>L'k3 =>L8wMiVa)MiQW71,.76:<72V>L' dgf6>]:Df,`fl)G=<)/'-01)<Q # MiVT31:W)<=G,`fl)9:j5RQSQW)/'i,qOW3[VA5)G7[B>A,]= OW3RQS>T36U[Va)(;72'k,`fl) R A P4|WH¯[^£UeapolR Cq:Df#3R'6'l)/VH ; fl)xQW)j:<)<>]O[)/Q $ QW)W30N=I,`fm>L==<) V 5)<'-:<)q3,,]fl)s71,]fl)/Q. . ë ü Ê.
(61)
(62) !. <. )<'-06Yl3R'-0Z84)/8472Q+> [)<=
(63) >A,]=QW)W30_>L'Z>r'OW3[Q+>?3mU[Va) \mYdgf6>]:Df\893@KkU1)I>r'-:+Q<)<84)/'i,H)20 Aa72',`fl),`Q<3['m=S>],]>T7[' BTQW728 + ,.7G / Cq72QI0)j:SQW)/84)<'l,.)j0 AT72',]fl)c,`Q<3['m=S>],]>T7['hBTQW728 + ,.7z E C2 ; fl)/'-Y $ dgQ+>],.)<=I,`fi)GO<3RV]51)q7[B \z72'\,`fl) A L-ù[^£UWa_oJR C:Df#3R'6'l)<VA ; fl)x:Df#3R'6'l)<V6>L=Q<)@310c3,,`fl)(7,`fl)<QJ)/'e04UWK # Yidgf6>]:DfsM-V?3:<)<=,`fl) QW)<=p5RVA,^>r'kL,`fl)cOW3[Q+>T36U[Va) H- ; f6>?=)+*m3R8sM-VT)x=<)/QjO2)<=
(64) 3R=3GQj5R'6'6>L'h)+*m3[8wMiVa)(>r',`fi)(QW)<=p,72Bn,`fl)JMe3pM)<Qj ¹ ½ O[½ ½ 9 ¹ ¹ ¹ $% =<) V 5)<'-:<) 0+ / k72B,`Q<3['m=S>],]>T7['m=s72BJ3R'k)+* b ,.)/'-0)j0h35m,H728936,H72' !>?= i-cWq¯[T|WVlcnVJR >LBgB]72Qx3RVrV g| N 6 6 6 RYu,]fl)G01)W=@,]>r'l3,`>a72';7[B @yJ) V 53[V?=s,`fl) 7[QS>rN>L'72B py +_t% :W72'i,`>r#51715_=
(65) =<) V 5)/'e:<) k>L=I0)/'l7,H)j0U@K k D + / + +2Ydgfl)/QW)B]72Q 3RVrV g| N 6 6 6 ^Y,]fl)G,`Q<3['m=S>A,`>a72' @y^f#3R=I,]fl)s72Q+>rN>L' Tyt3_=72Q+> >r'\3['-0\01)W=@,]>r'#36,`>a72'\Ty "+[ ¹ ½ OX¶º Ele µn 2lW ½l» - ¹*` $P% :W72'i,`>r#51715_==<) V 5)/'e:<) D + / S +w72B,]Q/3R'm=S>],]>T7['m=x72Bt3R';)+*-,H)<'-01)j0\356,.72893,.72' >?=x3 RT]¦qn[pUWi[Ti-UeK UWia_ce« Rh[TL-k >LB,`fl)sVT76:/36,`>a72'm= +q3R'-09 +I3[QW)=@,H36U[Va)jY#3R'-06YmB]7[Q3[VLV G| 6 6 6- ^Ye,`fl)xVa76:/3,]>T7[' I>L=w5R'm=p,A36URVT)R D $JcWaLXlUeK9klLWE[THJL©UeVl[TcWK Ue[TcWq1$ oYL-kli®[_LSo0qW$6|WVla_LjM±HmUWRcnqlL©Rh[_UWlLbcYiSU[TcWq E 6GHJL©RTLS·¯VlL-qmiLSR cW[_a_UWqJRh[TcWqmR E k + / E UeqJo E + k E UWaTL0RT]¯q¯[pUWi®[_iSUeK UWi-aTcW«=Rh[TLSkJR- . . . . . . . . . . +. ,. . . .
(66) . . . !. #& "%$. ' (& "). !. . . .-. (2. /. 3. . .& "0$. (1& "). . (*. . (*. 54. . . %. 6. . X¹ 2 µW*b cWqJRTolL-a9Ueq UWaTJ¬[_a_UWaT]3LX¦[_L-qJoYLEo UWVY[TcnK9Ue[Tcnq £4[TH UWaTUelLSR X ©qJ¬[_UWjicWqmoY¬« [_cnq b mcYi-Ue[TcWqJR o|o { o vE?ql¬[_UWcYi-U[_cnqJR o y o vEUeqJo[_a_UWqJRh[TcWqmR j 2:!Ns GJ $R U VlqJi®[_cnq[THmU[OUnRTRTcYiU[_LSR4[_cCLSUnipHUea_UWlL kX cWg[^]¯k?L UC UWVJL al ce[_HlL{R_UeK9L0[^]¦k?LW $JcWajUWqL-XYklaTLERTRTcWq ce6[^]¦kmL UeqJoU{UeVJU[_cnq m 1 oYLSqlce[_LSR[_HlL0UeVlL0ce6[^]¦kmL cWl[_UeqlLEo ¦]a_L-klUWi-qJ|$LEUWipHUWaTUelL X q ¯][_HlL UeVlL `l Ueqmo¦]L-UWVJUe[Tql|[THlL9a_LSRTVl[Su> q kmUeaT[TiVlUeaE¬?[THJL[^]¯k?L R c¦cWLSUWqUeqmo 1 L-UWVJUe[TLER6[Tc^xs [_HlL-q qFI G F gF /+,{0OO(J v $JcWa U\[TapUeqJRT¬[_cnq£4[TH9UWR_Rh|WqlK9LSqn[pR `P| _ UeqJo U¥UeVJU[_cnqceJ[THlLUea_UWlLER- £L\L[ G olL-qlcW[TL¥[THlLOUeVJU[_cnqZcWl[_UeqlLEoC¦]9kmLSahcnaTK9ql|*[_HlLUWR_Rh|WqlK9LSqn[pR cWq m¦[_HJU[R-¦ `| _ ¦[THlLSqYcWa4LEUWipH PX G Wain|} ¹ ½ OX EY ¹ - µ ½ ¹ °Y ½ 6 ¾ lY µ E2 $ E % Rh[_U[_L >L=w3ZM3[>LQ9`D Zdgfl)/QW)G
(67) >L=c3hVa76:/3,]>T7['-Y^3R'-0 3kOW3[VA5N3,]>T7[' fl)z=<)2,q7[BJ=p,A36,H)W=I>L= 01)/'i71,H)20UWK g% =p,A3,.)z`
(68) >?= Rh[_UeJL >LB^>?=3z=@,H36U[Va)xVa7:<3,]>T7['g%(' ql¬[_UWRh[_U[_L >L=(3 =@,H3,.)sdgfl7R=/)VT76:<3,`>a72' e>?=J>r'6>A,`>T3[V3R'-04dgfl7R=/)wOW3[VA5N3,]>T7[' =/3,`>?=SFl)<=x,`fl)(>L'6>],]>?3RV:<72'e0_>],]>T7['\bz 72B(3k,`Q<3['#=>A,`>a72' dg>],]f#5N3RQ@03['e03_=S=S>rN'684)/'i,A=s >L=4,`fl) E fl) [_a_UWqJRh[TcWq3a_L-U[_cnq 87. :9. <9. ;. :;. ;. <9. #;. %. =9. ;. #;. ?>. :;. ;. /;. ;. ;. @. ;. ;. ;. BA. ;. A. ;. ;. E. DC. =/)[,7[BMe3[>LQ/=I7[B=@,H3,.)<=z N q =@56:Df ,`fl3,DY->LB G| ` x3R'-0 | ` /Yg,]fl)/',`fl) 72Q+> >r'\72B h>L=
(69) .Y-,]fl)w01)<=p,`>L'#3,]>T7['\7[B 4>?=
(70) Yi,]fl)cOW3[VA5N3,]>T7[' =+36,`>?=Fi)<=JzY#3['-0 ,`fl)cOW3[VA5N3,]>T7[' ) V 5N3RVL=
(71) c @ ; fl)VT76U_3[V^,`Q<3['#=>A,`>a72' Q<)<V?36,`>a72'72Bn,`fl)I3656,H7[8Z36,H7['h>?= | E % aTVlqa_UW|WK9L-q¯[ 72B(,]fl)z356,.72893,.72'>?=s34=<) V 5)<'-:<)G72Bn=p,A36,H)W= \ + / 6 6 6e A k NC =@56:Df ,`f#36,,`fl)<Q<) )+*>L=p,]=;3:<7['l,]> l5715N==/) V 5)/'-:W)!72B\,`Q<3['#=>A,`>a72'm= + / 6 6 6- dg>A,`f y y "+ q YeB]72Q
(72) | _ 6 6 6- NX [.B(,]fl)G=/) V 5)/'-:W) !>?=q>L=I3h=.K6'i,A3:p,`>]:/3RVu893:SQW,7 b]=@,.)DM A`:+BD s)/Fm'6>],]>T7[' 0CpYgdg)I=/3@K!,`f#36, Z>?=q3 RTL-K UWqn[_iSUeK9Unia_ce« R^[_L-k % aTVJq >L=I3Qj5R'BTQ<3289)<'i, ,`f#36,t=@,H3[Qj,]=
(73) >L'3[' >r'6>A,`>T3[Vu=@,H3,H)R^% =@,H3,H)x>?= a_LSUWipHmUelL >LB>],g>?=s,`fi)(VT3R=p,t=p,A3,.)I72B^=/7[89)Qj5R' E % =p,A36,H)
(74) MiQW)j0_>]:/36,H) >?=x3R' q¦Uea_UWqn[ 7[B
(75) ,`fl)c356,.72893,.72' gY0)/'l7,H)j0 | zYi>rB fl72V]0N= >r'&)[O2)/QK4QW)W31:Dfl36U[Va)(=p,A36,H)s7[B GF 0F. ". HA.IJA. L. KF. ;. ;. L. !F. ;. ;. ;. C. NM. 2O. C. ". ". QP. F. B. GF. 0F . XW. U. C. V. %B.. "T ZY. %. RF . . . S. <. [P. 8\. . . üü Ò{z ñ®ð®ï|. RF. ]^ _K\. \.
(76) u. 7sFs. 6S N
(77) g !4
(78) 1 u( u ( u
(79) [TapUeqJRT¬[_cnq6 cWUeq9LX¦[TLSqJoYLEo UeVY[_cWK U[_cWq R©RTUWo[_ce0FI2 ©UklaTLEoYi-U[_L ¬^¯¦]VJRTql|0cWql] [_HlL{H¯]¦k?ce[_HlLSRTRj[THJUe[ R¥[Ta_VlL*?LcnaTL*[THlL[TapUeqmRh[TcWq® ¶[OiSUeq?LqYLSaTa_LSo[_HJU[ R¥Rh[T6[_aTVlL Ueù[TLSa© RJa_LSo¶ $JcWa_K9UW]W¦L[4[_HlL )-*Fl0 M(
(80) GJ CcW ¯]© ?LoYLmqlLSo¦] 0M ! w
(81) #" N %$ Z ¨^MEª GHJL-qY[_HlL[TapUeqmRh[TcWq&© kla_LSRTL-a_WLER [_HlL0K9kli-U[_cnq '$ 0M w RUWo¶ ]. . \. \. \. \. G\. 6C. +F. F 0F. \. GF. G HlL{kla_LSoYi-Ue[TL RW
(82) M( s Ix
(83) 2 O¬ HlcnolR¥q[_HlLql[TUegRh[_U[_LSROce Ueqmo[OROklaTLERhLSaTnLSo¦] LEUWipH$[TapUeqJRT[TcWqce >= R\qmoYVJi®[_nLWY[_HlL-q RjUeqq¯UWaTUeq¯[SJlVY[j[_HlLicnq¯nL-apRhLR4qlcW[4[Ta_VlLW GHJR©R©?LSi-UWVJRTLj[THJL¥JUnRhijH¦]¦k?ce[THJLSRTR±[THJUe[ R±[Ta_VlL\?LcnaTLOU0[TapUeqmRh[TcWqCR©VJRhVmUe]9qlcW[LSqlcWVl|nH [_c0kla_cWL¬[pRgkla_LSRTL-a_U[TcWqG©]¯kJiSUe]n[THlL\H¯]¦k?ce[_HlLSRTR HJUnR[Tc0?L\Rh[Ta_L-ql|W[THlLSqlLSo{VJRTql|w s)(*
(84) !NJ 0M ( J vFp©£©L$RTU ][THJUe [ /+,xO ,F
(85) GJ *e0OFII2:F sF
(86) = y/+, s)(*
(87) !NJ'0OO(J v+¤¬^¦] UnRTRTVlK9ql|O[THJUe[ -, + Rb[Ta_VlL4mL-cWa_LjUO[TapUeqJRT[TcWq ®W[©i-UWq9mLjqYLSaTa_LSo[THmU[ R±R^[_l[_aTVlLjUeù[TLS%a ¨cWa_K Ue]n¦[THlL0K9kli-Ue[TcWq ., + %$ 0M ! w R4UWoJª® >=[ R9qlce[ HJUWa_o2[Tc3RhHlc£ [THJUe[S± + R{UWq q¦Uea_UWqn[E±Ueqmo2OUe[TapUeqmRh[TcWqJR{cWj[THlLRT]YR^[_L-K kJaTLERhLSaTnL VJRTql|[THJLOUWVYXYUWaT]{kla_LSoYi-Ue[T/L + ¨µUWqJo HlcWolR©qZ[THlLql¬[_UW¶R^[pU[TLER±cW[THJLORT]YR^[_L-KCª® [_HlL-q RUeq q¦Uea_UWqn[UWR©£©LSB > qC|WLSqlL-apUee[_HlL-a_L\R±qJcUeVl[TcWK Ue[Ti4K9LSUeqmRbcnai-cWK9klVY[_ql|{UeVYXY¬« Uea_]
(88) 2 J klaTLEoYi-U[_LSR +9Y?LSiSUeVJRTLq|WLSqlL-apUe?[_HlL0WLSaTmi-Ue[TcWq$ceq¦Uea_UWq¯[_RRVJqJoYLSi-oJUelLW A¥Vla¥HlL-VJaTR^[_iK{L-[THlcYoK9klL-K9L-q¯[TLEoqw¦²6UWR_RhR^[pR4[_HlLVJRTL-a¥q[_HlL*kJaTcYiLERTRjceboYRTi-cWL-a_ql| RTVJipHUeVYXYUea_]Ckla_LSoliSU[TLER-b \qUWo¦«=HlcYi0¦²6kJaTc¦ceR^[_a_Ue[TLS|W]CRL-K9klc]WLEo¶Y£4HlipHR4qJoYLSkmLSqJoYL-q¯[ a_cWK#[THlLCRT]YR^[_L-K UWqJoklaTcnkmLSah[^]VJqJoYL-a0nL-a_¬?i-U[_cnq^ >=©[_HlLCRh[TapU[TLS|W]R0RhVmi-iLERTRhVl[_HlRK9LEUeqJR [_HJU[[THJL\kla_LSoYi-Ue[TL VlqJoYLSa©kJaTc¦ceR©qJolVJi®[_nLWlUeqmo q$kJUeaT[TiVJUWaSW[THJUe[[RUeqZq¦Uea_UWqn[E VY[ [_HlLORh[TapU[_L-|n]µUWRSYY²6\klaTLERhLSq¯[_R±[THlLOVJRTL-a£4¬[_H$k?L-qJolql|¨VJqlkla_cWLSomªbRTVll|Wc¯UeR-n£4HlipH$RTVl|W|nLSRh[ UWVYXYUea_]klaTLEoYi-U[_LS0R + aTLE·¯Vla_LSocWa0kJaTc¦ql| 2 1\c£0¶[TckJaTcnL*[_HJU3[ + R*Ueqq¦Uea_UWq¯[K U ] a_LS·¯Vla_LOUWqlce[_HlL-akla_LSoYi-Ue[T/L 4{lUeqJoZ[THJL0klaTcYi-LSR_Ri-cWq¯[Tq¦VlLSRVlq¯[_UW[_HlLkla_LSoYi-Ue[TLSR|nL-qlLSa_Ue[TLEoCq [_HlR4K UeqlqlLSajUea_L¥kJaTcnLSoCq¦Uea_UWqn[EYcWaVlq¯[TLS¯oYLSqJiL0RcWY[pUeqlLSoZ[THmU[ RqlcW[\Ueqq¦Uea_Ueq¯[S 01)DMi>]:p,.)j0\>r' >r#5RQW) _79)4dg3['i,I,H7zMiQW7NO2)9,`f#36,s,`fl) ` ¹ 65 72'#=>]01)/Q,]fl)356,.72893,.72' M-Q<)20_>`:<3,.) r28 r >L=s3R'&>L'lOW3RQS>T3['i,
(89) 7[B i72Q,`fm>L=@Yt,`fl)z3656,H7[8Z36,H7[';3['-0k,`fl)xMiQW7WM^)/Qj,LK;3[QW)IF6Q/=@, ,]Q/3R'm=SV?36,H)j0s>L'i,H7G,`fi)
(90) VT3['l5N326)J7[B ¦²6 fi)/'-Ym715RQ ¦²6 =p,`Q<3,.)+_KzB]72QMiQ<7NO2>L's>r'e0m5:p,]>]O[)J>L'lOW3RQS>T3['i,]= \. \. \. G\. \. . . \. \. \. \. \. \. \. \. G\. \. \. \. "%. \. \. \. :. J. `=. #. B. #. K. ?. =. ;. >?=^3@M6MiVL>a)j06YN3R'-0fl)<Q<),`fl)=@,]Q/36,H)/RKw=@5:p:<)p)j0N=j ; f6>?=u>L=JU1)2:/365_=/),`fl)uMiQW)j0_>]:/36,H)g>L=u>r'e0m5:p,]>]O[)jYR>H )RYR>A,l>L= ,]Qp51)>r'm>],]>?3RVrV N K AAdgfl)/' | | PNe3R'-0(>?=#MiQW)<=<)/QjO2)20sU@Kw3[VLVm,`Q<3['#=>A,`>a72'm=72B # Cg,]fl)J,]Q/3R'm=>A,`>a72'G7['Z,`fl) Va)/B., bafl3['-0=>]01)(>r'-:+Q<)@3Rr=<J )<= rrK K U@K\72'i)jY-dgf6>LVT)w,`f#36,g7['&,]fl)QS>rNfi, b`f#3R'-0c=>]01)s0171)<=J'l7,u84760_>LBLK rJ rK 9 H- ; f6>L=
(91) MiQW)j0_>]:/36,H)s>L=q>L'6>],]>?3RVrV K ,`Qj5)2Ye3R'-0h>?=
(92) MiQ<)W=/)<QpO[)j0&U@K 5 7['m=>]01)<Qx'l7Nd ,]fl)xMiQ<)20_>]:/3,.)I: ,]fl)VT)<B., b`f#3['e0=S>`0)w,]Q/3R'm=S>],]>T7['\72B # ,]f#3,^>L'-:SQW)W3_=/)W=YU56,g>A,^>L= qlcW[ MiQ<)W=/)<QpO[)j0hU@K&,]fl)QS>rNfi, b`f#3R'-0 =S>]01)z,`Q<3['#=>A,`>a72'-Yudgf6>`:Df&3_=S=S>rN'm=s,.7 H;,]fl)zOW3[VA5) * -AY-7[BJdgfm>`:DfP'l7,`f6>L'4>?= ;1'l7Ndg'&36,(,`f6>?=nM^72>L'i,S I)/'-:W)jYt,]fl) Y²6 =@,]Q/36,H)+_K\B]7[Q
(93) M-Q<7NO2>L'4>L'-0m5:j,`>AO2L)wl>rJ'iOW3[Q+>?3R'i,]=xB`3[>LVL=@YtU56,J>],=p5[_6)<=p,]=w,.7cM-Q<7NO[)z,`fl) 365[*>rVL>T3[QKMiQW)j0_>]:/36,H2 ) " \ * lJ lK - 66 9 * -AY(>A)[ Yw,`fl3,w}>?=ZQ<)@3,.)/Q472Q ) V 5N3[Vw,]f#3[' )[O2)<QDK )<VT)<84)/'i,>r' ,]fl)4:Df#3['m'l)/V L 2 <I7Nd
(94) Y,`fm>L=M-Q<)20_L>`:<3,.)w>?=Z,]Qp5)G>L'6>A,`>T3[VLVL K A]dgfl)<' | | P8CG3R'-0P>], >?=xM-Q<)W=/)<QpO[)j0!UWK}U71,`f ,`Q<3['m=S>],]>T7['m=G7[B # Ch,]fl)Va)/B., bafl3['-0&=S>`0) ,`Q<3['m=S>A,`>a72'!>L'-:SlJ QW)W3_=/)WlK=seYdgf6>LVT)P,`fl) Q+>rNfi, b`f#3['e0Z=S>]01)z,`Q<3['#=>A,`>a72'PQW)/847NO2)W=(3[';)<VT)<89)<'i,tBTQ<7[8 :Dfl3['6'l)<V L YiVT)@3O2>r'9B])[dg)<QI)<VT)<89)<'i,]=w,]f#3, \'l)p)j0N=q,.79U)w:<728wMe3RQ<)20hdg>A,`f^I)/'-:W)jY " * lJ lK - 6 9 L * -u3['-0z 9 H43RQ<)(>r'iOW3[Q+>T3['i,]=72B # X. 1. . X. H. . . ë ü Ê.
(95) v.
(96) !. 3_=(3=@,H3['-U0 b]3RVT7['l)(=DKm=@,.)/8P/74)q=Sfl7Nd >L'm)j:j,`>a72'h,`f#36,n3IMiQW)j0_>]:/36,H)q=SVr>rNfi,`V K;dt)W3 ;1)/QI,]f#3['\ >?==p,`>LVrVe>L'iOW3[Q+>?3R'l,Jdgfl)<' # >?=I:<7[8wM7R=/)20 dg>A,`f,`fi)I356,.72893,.72' $ A?3RVL=<7901)DM->`:j,H)j0Z>L'B=u>rl ?Cj. !
(97) . . h
(98) x( ( 1n \ ( ; D. 9. H. s 6 D. G HJL.O!
(99) !@O0F
(100) = $cWk?L-apU[_cnqi-cWqJRTRh[_Rq!LSqJicYoYql|[THJLCL LSi[*ce4Uicnqn[_|nVlcWVmR0RhLE·nVJL-qJi-L ce[TapUeqY« RT[TcWqJR q¯[Tc!cnqlL[TapUeqJRT[TcWq >=[Ckla_c¦olVJiLERCUeq UWVY[TcnK9Ue[Tcnq [_HJU[C[^]¦kli-UW] HmUWR9LS£©LSaCVlqJRh[_UWlL cYi-Ue[TcWqJR¥[THmUeqw[THlL9cWa_|WqJUecWqJLWGHJL aTLERhVl[R0UWqwLE·nVJUeL-q¯[UeVl[TcWK Ue[TcWq¶£4HlipHRO[^]¯kJiSUe] LEUWRTLSag[Tc*WL-a_]W ±·¯VlUWLSqJiL¥HlL-a_LjK9LSUWqJRg[_HJU[ FvHEI!@±klaTLEoYi-U[_LSRS¯olLJqlLEo9mLSc£0¦Uea_L4q¯UWaTUeq¯[_R cW[_HlLicnUekJRTLSoUeVl[TcWK Ue[TcWq$¬gUeqmo$cnql]C¬6[THJL-]$UWaTLOq¯UWaTUeq¯[_RcW[_HlL0cWa_|nqmUe¶UeVY[_cWK U[_cWq P4LSK9L-K*?L-a©[THmU[LSUWipH9[_a_UWqJRT¬[_cnqCHJUWRU|nVJUeapo¶n£4HlipHZRU0kla_LSoliSU[TL¥cWq [_HlLO UWaTUeJLER-¯UeqJoCU nLSi[TcWagcWUnRTRT|WqlK9L-q¯[pR-e£4[TH9cnqlLjUWR_Rh|WqJK{LSq¯[6cnabLSUnipH9 UWaTUeJLnGH¦VJRSe[THJL4|WVJUWa_o{i-UWq{?LjoYL-q¯[_¬« mLSoC£4[THU*VlqJi®[_cnqZa_cW1 K 2 ! s GJ ,FO¨ce[THlLOUea_UWlLSRpªg[_c*[_HlL L !@ ,F®lUeqJoZ[THJLOUnRTRT|nqlK9L-q¯[_R iSUeqmL0oYLSqn[_¬mLSo£4¬[_HU*VJqJi®[_cnq$a_cWK 2:!Ns GJ F©[_qc 2 ! s GJ ,F® \L-qJi-LWUnRTRT|nqlK9L-q¯[_RiSUeq?L icnK{k?cnRTLSowUWR¥VlqJi[TcWqJRS§OcWa0UWR_RT|nqlK9L-q¯[_R [S ¶[_HlLCUWR_Rh|Wql« K9LSqn[ J oYLSqlce[_LSR[_HlLVlqJi[TcWq[THJUe[SY[_c9LSUWipHUeVJU[_cnq cW[_HlL0Uea_UWlLSRS¦UnRTRTcYiU[_LSR©[THlL UWVJUe[TcWq _] _ ± jRhcmYU*|nVJUeapo UWqJoUeq$UnRTRT|WqlK9L-q¯[ iSUeq$mL0icnK9kmc¯RhLEo [Tcn|WL-[THlLSaS¦ Ln g oYL-qlcW[TLER±[_HlLOVlqJi[TcWqC[_HJU[jUnRTRTcYiU[TLER-n[Tc{LSUnipHCUeVJU[_cnq ?¯[THlL c¦cWLSUeqZ UWVJL Z]c + U1)s3GF6'm>],.)jY ¹ ½ ! O[½ µ ` ¹ ¹ ¹ ¹ $")[, X+. /. X+ /. /. /;. X+. ;. %. ;. . '. . +#& " $. /. ;. . . *+. &" ). W: 72'i,`>r#51715_=^=<) V 5)/'e:<)J72B,]Q/3R'm=S>],]>T7['m=72Bi3['9)+*-,H)<'-01)j0w35m,H728936,H72' gY13R'-06Y_B]7[Q | _ 6 6 6- ^Y_VT)[,g,`fl) l5N3[Qp0z3R'-0z3R=+=S> '684)/'i,]=72B y U) y Y6 y 74)I01)<F6'l)w,`fl)c,]Q/3R'm=>A,`>a72' 9|$# !
(101) !@ 0iFI e
(102) 3_=B]7[VrVa7Ndt=pC ,]fl)7[QS>rN>L'G72B w>L= + Z >A,]=n01)W=@,]>r'l3,`>a72'c>L= + Z >],A=el5N3[Qp0(>?=u + ,q] / 1 + , 6 6 6@` &%I+ '1 + /Y 3R'-0>],A=3R=+=>rN'm89)<'i,]=3[QW)x J &%I+ (J + . L. . 1. *. . %. . . . X . . . GHJLicnK{k?cnRT[TcWq cWk?L-apU[_cnq i-UWq mLwK9klL-K9L-q¯[_LSo VJRTql| RT]¯q¯[pUWi®[_iRhVlmR^[_¬[_VY[TcWq§3 R [_HlLUnRTRT|nqlK9L-q¯[ a | _ UeqJo R9[THlLwUWR_Rh|WqlK9LSqn[ `| R ©[_HlL-q )s R [_HlLUWR_RT|nqlK9L-q¯[ a | a+*[ S _ £4HlLSaTLLSWL-a_]!cYi-i-VlaTa_L-qmiLce q [THlLa_|nH¯[h«=HJUeqJo´RToYL L-XYklaTLERTRTcWq HJUWR\mLSL-qa_L-klUWi-LSo¦] 2 j³¦K9Uea_]Wl R¥U9|WVJUWa_o¶l[THlLSq[THlL|WVJUWa_o ,
(103) R cnY[_UWqJLSo¯]RhVlmR^[_¬[_VY[Tql|JWcWagLSWL-a_] PX WUWl[THlLcYi-i-VlaTa_L-qmiLSR6cW q ¦]0[THJLjicWa_a_LSRTkmcnqJoYql| L-XYklaTLERTRTcWq 2 `ba_cWk?cnRT[TcWqZM?L-c£ R_U ]¦R[THmU[[THlLL ?LEi®[gcem[THlL[TapUeqmRh[TcWq # !
(104) !@O0FI e RLS·¯Vl UWLSq¯[[_c¥[_HJU[ cW > q`ba_cWk?cnRT¬[_cnqwMn E oYL-qJce[TLER[THlLi-cWK9k?cnRT¬[_cnq$cWlqJUea_]Ca_L-U[_cnqJR-YoYL-JqlLEoUnRcWc£jRS§ ¹ ½ .- i72Qx39=/)[,/ 3['-0;,.dg7 U[>L'#3RQDKPQ<)<V?36,`>a72'm=102 ./ 3/!Y,`fl):<728wM^7[=S>],]>T7['42 E 0 X+. /. /. X+. '. B'. +. . . =. 0)/'l7,H)<=I,]fl)q=<)2,65` H6
(105) 7/. 8/ 9 7/ I. \. ^. ?au.\1J70 ; , \m.H6J82;:1. I. 6. ½i`±½ µ ½ "^)2, & + / S + U)t3(F6'6>A,H)jY:W72'i,`>r#51715_=e=<) V 5)<'-:<)72B-,`Q<3['#=>A,`>a72'm= [7 B3['k)/*-,H)/'e01)j0 3656,H7[893,H7[' 1"^)2, y 01)/'i71,H)Z,`fl)9,`Q<3['#=>A,`>a72'PQW)/VT3,]>T7[';72B,`fi),`Q<3['#=>A,`>a72' y YiB]72Q
(106) | N 6 6 6- ^Y3['e0 01)/'l7,H)9,`fl)Z,`Q<3['m=S>A,`>a72'QW)/VT3,]>T7['k72B,]fl)Z,]Q/3R'm=S>],]>T7[' &|<# !
(107) !@ 0iFI eW ; fl)<' > =@@C | E &% + E E + _. X. &" $. . . . . . C. C. . C. p ^Y[_HlL jklk?L-qmoY¬X¶l`gUW|WL0zWzJ. )D. üü Ò{z ñ®ð®ï|. 2. B. B. C. C. !& " ). C. G.
(108) MEt. 7sFs. LUWklkl]Z[_HlL*i-cWUWkJRhql| cnkmLSa_Ue[TcWq[Tc$U9Jql[TL{RhVlmRhL-[\ce[THJLUeVl[TcWK Ue[TcWq RjRT]¦q¯[_UWi[Ti-UWK UWi-aTcW« Rh[TLSkJRC¨°i®^Zp¥Lmql¬[_cnq2znªw> q3|WLSqlL-apUeUeq3L-X¯[_L-qJolLSo!UeVl[TcWK Ue[TcWqK U ]wi-cWq¯[_UWqJRqYJqJ¬[_L-]wK Ueq¦] RT]¦q¯[_UWi[Ti-UW?K Unia_ce« R^[_L-kJRS§£4HlL-qU Rh]¦q¯[_Uni®[_iSUeK UWia_ce« Rh[TL-kmRi-cWq¯[_UWqmR4UeqVlqJRh[_UeJL0cYi-U[_cnqZ[_HJU[ ?L-cWqJ|nR±[Tc9U IH!@cWVlqJRh[_UWlL¥cYi-U[_cnqJRbqC[_HlL|WapUeklH cW[THJLOUWVY[TcnK9Ue[Tcnq¯[THlLSq¦¯] [TLSa_Ue[Tql|*cW [_HlLi]Yi-LnlUeqqYmql¬[_Lq¦VlK*?L-a4cW6RT]¦qn[pUWi[Ti-Ue¶K Unia_ce« R^[_L-kJRi-UWq?L0|WLSqlL-apU[_LSo¶ ¹ ½ 2 ± º SJe °W le ½J» S =¹ ` $&% =DK6'i,A31:j,`>]:/3RV8931:+Q<7 `=p,H)M }>L= K UXY¬« K UW >rB>],g>?='l7,t3G=p,`Q+>]:p,t=p5mUR=<) 5)/'e:<)I72B^3['l7,`fl)<Q(=.K6'i,A3:p,`>]:/3RVi8Z3:SQW7 ]=@,.)DMg $JcWabL-XlUeK9klLW¯q9[_HlL¥UWVY[TcnK9Ue[Tcnq olL-kli®[_LSo rq $6|nVlaTL*MWn[THlL\RTLS·¯VlLSqJiLERbcW?[_a_UWqJRT¬[_cnqJR h c cWa c c UWaTL©K9UeXYK UeYRT]¦qn[pUWi[Ti-Ue¯K UWi-aTcW«=Rh[TLSkJR-B A¥qlL±[_HlLce[_HlL-a6HJUeqmo¶eLW |J¦]UWololql| U¥RhLS¬ù«=c¯cnklql|j[_a_UWqJRh[TcWq cWqcYi-Ue[TcWq [THlLK UWi-aTcW«=Rh[TLSk w w w ?LSicnK9LSRqlcWqY«=K UXYK9UW° GHJR4R4?LSiSUeVJRTL0¬[¥R4qJc£U RTVlJRTLS·¯VlLSqJiL0cW¨µqYmql¬[_L-]$K UWq¯]lªRT]¦qn[pUWi[Ti-Ue¶K Unia_ce« R^[_L-kJRSY£4HlipH UWaTLUecnY[_UWqlLEoZ¦]C[TLSa_Ue[Tql| Uea_l[TapUea_] K Ueq¦]9[TK9LSR[_HlLRhLS¬ù«=c¯cnklql|{[TapUeqJRT¬[_cn&q ©q _ i½ `±½ µ ½ %'z)+*-,.)/'-01)20x356,.72893,.72'If#3_=eF6'6>A,H)<VKw893['NK K9UeXYK Ue =.K6'i,A3:p,]>`:<3[VR8931:+Q<7 `=p,H)M-=j )D ^l[THlL \klkmLSqJoYX¶J`gUe|nLOHz 8J GHlLi-cWUWkJRTql|{cWk?L-apU[_cnq$UWklklLEoC[_cCUeqLX¦[TLSqJoYLSoUeVl[TcWK Ue[TcWq icWqmRhR^[pRqi-cWUWkJRhql|[THlL K UeX¦K UeRT]¦qn[pUWi[Ti-UeK UWi-aTcW«=Rh[TLSkJRce lLSU ¦qJ|[_HlL0a_LSRh[cW[_HlLUeVY[_cWK U[_cWqVlqJipHJUWql|WLEo¶ ¹ ½ O[½ µ ` ¹ ¹ ¾ ¹ ¾ ½ 2Y ½ $ l72Q 43['c)+*-,H)<'-01)20x356,.72893,.72'-Y1,`fl) . b. . ,b. V. $. / . E. E . + . . E. . +. E. E . /. + . / . E. /. b. .. . . =. )/*-,H)/'e01)j0435m,H728936,H72' # !
(109) !@ 0iFI J>L=s,]fl)x=893RVrVa)<=p,t=@,]Qp56:p,5_Q<)GU5R>LVA,3R=
(110) B]72VLVa7Ndt=pC ?_q,`fl)GOW3RQS>T36U[Va)<=(3R'-0>r'6>A,`>T3[Vt:<72'e0_>],]>T7['P7[B1# !
(111) !CO0iFI u3[QW)c,`fl7R=/)I7[B JB]72Qs)W31:Df\8932*>L893[V=DK6'l,H31:j,`>]:/3[V8Z3:SQW7z=@,.)DM ! D+ / S +c72B gY# !
(112) !@O0FI u :<7['l,H3[>L'm=I,`fi)G,`Q<3['m=S>],]>T7[' # !
(113) !@O0F e) A`:+BD s)/F6'6>A,`>a72 ' Cx3['-0\,`fl)xVa76:/36,`>a72'm=D+q3['e0Z + Z . . ?. . E. G. . ]& "%$. (B& "). (*. . ?. W. (2. JB]72Qg)2O2)<QDKs'l7['5ba893[*1>L893[V_=DK6'i,A31:j,`>]:/3RVR8931:SQW7J=p,H)DM + / S +2Y # !
(114) !@O0FI u :<7['l,H3[>L'm=(3[VLVg,`fi)G,`Q<3['m=S>],]>T7['m= + 6 6 6 6e 3R=qdt)/VLVu3R=I,]fl)I3[VLV-VT76:<3,`>a72'#= + 6 6 6-+ "+ Y. ]. " & $. . ". . &. . ?. . ¥ RjK UXYK UeRT]¦q¯[_UWi[Ti-UWK UWia_ce« Rh[TL-kmR4Uea_LJql[TL-]K9UWq¦]¨°i®^?`baTcnkmc¯Rh[TcWqxnª®m[THlL*i-cWUWkJRTql| cW UWq3LX¦[TLSqJoYLSo!UWVY[TcnK U[Tcnq!i-Ueq!?LCk?L-aTcWa_K9LSo3Ue|WcnaT[THlK9i-UW]W> qJoYL-LEo¶g³¯[TLSk xce p¥LJql[TcWq2u q¦WcnnLSROUZmql¬[_L RhL-[ce©cnkmLSa_Ue[TcWqJRSUWqJo³¦[TL-k3zaTLEUWipHlLERUClXYk?cWq¯[Z¨ Ln[*oYc¦LSRqJce[UWoloUeq¦] qJL-£ [_a_UWqJRT¬[_cnqJR4UeqJo$c¦iSU[_cnqJR[Tc{[THJL0aTLERhVl[Tql| UeVl[TcWK Ue[TcWq?ª©Ueù[TLSaJql[TL-]ZK UWq¯]ZcWk?L-apU[TcWqmR- $JcWa9LXlUeK9klLW±cWa{[THJLUWVY[TcnK9Ue[Tcnq olL-kli®[_LSo Yq $6|mMnb[_HlLUWVY[TcnK U[Tcnq # !
(115) !CO0iFI R olL-kli®[_LSo9q9[THlLja_|WH¯[h«=HJUeqmoRTolLjce $6|m¯xYB $lcna±icnq¦WL-qJLSqJiLn[THlL¥UeVY[_cWK U[_cWq 2R©UeRhc0oYLSkli®[TLEo¶ GHJLK UWq9kla_cWk?L-aT[^]0cem[THlL # !
(116) !CO0iFI±cWk?L-apU[_cnqR6[THJUe[b¬[bkJaTLERhLSaTnLSRaTLEUWipHJUWl[^]0ce?Rh[_UWlLRh[_Ue[TLER-§ _ i½ `±½ µ ½ "^)2, U)3R' )+*-,H)<'-01)20z356,.72893,.72'43R'-0 # !
(117) !CO0iFI ut>A,]=x:W72VLV?3pM-=/)20G356,.72893,.72' fi)/'-Yl3z=p,A3mU[VT)x=p,A36,H)>L=(Q<)@31:Df#3mU[VT)(>L' >LB^3R'-0h72'6V Kh>LBu>A,g>L=x3[V?=/7wQ<)@31:Df#3mU[Va)>L' # !
(118) !@O0FI u@ )D ^l[THlL \klkmLSqJoYX¶J`gUe|nLOHz 8J M$. $. )#. -. ;. . . /. ?. . ë ü Ê.
(119) MnM.
(120) !. R r "
(121) .
(122) @. r. . r
(123) . . l. l . . r. l L l l
(124) . . r. . r R r ! r
(125) . r r L l " R r .N . N l l
(126) r r (
(127) . . 6|nVla_L0xl§g jVY[_cWK U[pU AUWqJo |# !
(128) !@O0F X Sl~ ¹ ` ¹ ¾ µWl ¹ Hb ¡cnRh[cW[THlL0nL-a_¬miSU[_cnqZ[_LSipHlql·¯VlLSR\oYLJqJLSoq[_HlR4kJUek?L-a¥Uea_L¥[pUecnaTLEo [_cj[_HlLi-UnRTRce FvHEI!@klaTLEoYi-U[_LSRSoYLJqJLSo0?L-c£0l > q¯[TVJ¬[_nL-]W [THJL±[_aTVY[_HUeVlLceJRTVJipH*UjkJaTLEoYiSU[_L Rbcnql]a_L-L-Ueq¯[bq [THJL\R^[pUelL\Rh[_Ue[TLSR±ceURT]YR^[_L-KnJVY[±[©Rg[Ta_¯Ue] Gs q [THlL\VlqJRh[_UeJL\Rh[_Ue[TLER- ¹ ½ OX EY~ ¹ ` ¹ ¾ µnY ¹ $;%}=p,A36,H)gMiQW)j0N>`:<3,H) 7[B-3R'h)+*-,H)<'-01)20G356,.72893,.72' >?= Rh[_U« JL >LB >L=q72B,]fl)xB]72Q+8| $ Ydgfl)/QW)x>L=3z=p,A3mU[VT)Va76:/3,]>T7['\3R'-0 >L=(3=p,A36,H)JMiQW)j0_>]:/36,H)R \L-a_LW (|} R¶[THJL©kla_LSoliSU[TLb[THJUe[6ipHJUWa_Uni®[TLSaTRTLSR?[THJLbµUWi[[_HJU[gicnqn[_aTcneRUe[[THJL±c¦iSU[_cnq GHJL-q kJaTc¦ql|[THJLq¦Uea_UWqJiLCcW¥UR^[pUelL$kJaTLEoYiSU[_LZcWq´Ueq2L-X¦[TL-qmoYLSo R{LE·nVJUeL-q¯[¨lVY[Eb[^]¦kli-UW]W LEUWRTLSaSYi^ gXlUeK9klLz{mLSc£\ª±[Tc kJaTc¦ql|[jcWq$[THJLicWa_a_LSRTkmcnqJoYql|{i-cWUWkJRTLSoZUWVY[TcnK U[Tcnq§ _ i½ `±½ µ ½ .B >L=(3z=p,A36URVT)JMiQW)j0_>]:/36,H)I72B gY,]fl)/' # !
(129) !CO0iFI u | > | Z )D ^l[THlL \klkmLSqJoYX¶J`gUe|nLOz¯sY >=[[_VlaTqmRcWVY[[THJUe[[THlLq¯UWaTUeq¯[h« Rh[Ta_L-ql|W[THlLSqlqJ|*kla_cYiLSR_RoYLSR_ia_?LSo$q³¦LEi®[_cnqxl x[^]¦kliSUe] |nL-qY« LSa_Ue[TLER\UeVlX¦UWaT]$klaTc¦cWbcWl|¯U[_cnqJR4ceg[_HlLcWa_K +
(130) s| %$ + £4HlL-a_L I| ROUCkJaTLEoYiSU[_L ipHmUeapUWi®[_L-a_RTql|©kJaTLERhLSqJiL±Ue[c¦iSU[_cnq UeqJ0o + R6RTcWK9LbR^[pU[_Lbkla_LSoYi-Ue[TLW{ A¥Vlai-cWUWkJRhql|4kla_cYiLEoYVla_L a_LSolVJiLER[THlL0q¦VlKmLSa4cecYi-Ue[TcWqJR4UWqJo¶licnqJRTLS·¯VlL-q¯[_]n¦[THlL0q¦VlKmLSa4ceklaTc¦cWcWJ|nUe[TcWqJRS ` ¹ 5 72'#=>]01)/Q,`fl)t)/*-,H)/'e01)j0x3656,H7[8Z36,H7[' 0)DMi>]:p,.)j0(>L'Z,`fl)gQS>rNfi, `f#3R'-0
(131) =S>]01)t72B >r#5RQW) _ $. #. S$. $. \. \. #. \. \. [ \. @. . . ^. _. \. B. ^. _. \. b. =. (?. 74)dg3['i,,.7sMiQW7NO2)G,`fl3, I| $ " \ r r &9 w>?=x3R'P>r'iOW3[Q+>T3['i,n72B RY6B]7[Q3[VLV->r'i,.)+)<Q+= R gR:p5_QSQW)/'i,`V Kh>L',`fl) R :Dfl3['6'l)<VA fm>L==/3@Km=x,]f#3, >?='l7cVa)<=+=I,`f#3R' R KtQW7WM^7[=S>],]>T7[' 1 Y)W=@,H36U[VL>?=f6>L'k,`fl)w>r'iOW3[Q+>T3['-:W)c72B 72' >L=w) 5R>AOW3[Va)/'i,q,H74)W=@,H36U[VL>?=f6>L'\>], 7[';,]fl)c:<7[VrVT3@Me=/)20Z3656,H7[8Z36,H7[' 4 |$# !
(132) !@ 0iFI <Y01)Mi>]:p,H)20Z>r'k,`fl)xQ+>rNfi, `f#3['e0=S>`0)q7[B >r#5RQW) < 7Nd
(133) Y >?=9>L'-0m56:p,`>AO2)P7[' ,`fm>L=Z>?=&U)j:<35_=<) fl72V]0N=Z>L'6>A,`>T3[VLVK ]dgfl)<' ,`fl) R :Df#3R'6'l)/V>L= I )<8wM^,LK @Y3R'-0 >A,>?=(MiQ<)W=/)<QpO[)j0;U@KU71,]f ,]Q/3R'm=S>],]>T7['m=c72B YJdgf6>`:Df a_L-K9cWL )/Va)/84)/'i,]=I BTQW728 ,`fl) :Dfl3['6'l)<V`YeVa)W3O2>L'\B])2dt)/QG)/Va)/84)<'l,A= R tB]7[QZdgf6>`:Df -9 R 'l)@)20N=,H7;U))<=p,A36URVr>?=fi)j0 ?3['eR0 847[Q<)p7NO2)/QpY#,]fl)xQ+> fl, afl3['-0=>]01)c,`Q<3['m=S>A,`>a72'4>L'-:+Q<)@3R=<)<= 2 .'-0m5:j,`>AO2)x>L'lOW3RQS>T3['i,]=
(134) 3[QW) 5_>],.)s)W3R=DK&,H7 M-Q<7NO[)jY#)[ l Yl715RQ Y²6 =p,`Q<3,H)/RK0_>?=@:p5_=+=/)20z>L'm)j:j,`>a72' )<=p,A36URVr>?=fi)<=I,`fi)/8 3656,H7[893,`>]:/3RVrV K1 :. $. -. I4. E. * 4c- . \. ;. *. . J. K. - 6 \. * 4c- .. a. $. $. $. $. * 4c-. V. b. $. "=. A. Z. C. $. * 4c-. \. b. * 4c-+. A. \,C "[. V. '9,]fl)J71,`fi)/Qfl3['-06Y >?='i71,m>L'-0m56:p,`>AO2)J72' $ YN3_=,]fl)
(135) ,]Q/3R'm=S>],]>T7['wBTQ<7[8 + ,H7( E ,]f#3,01)j:+Q<)@3R=<)<= \ 0 7)W='i71,-MiQ<)W=/)<QpO[)
(136) [.'\7[Q@01)<Qx,.7c)W=@,H36U[VL>L=Sf $ | nYe,.dg7c35[*>LVr>T3[QK>L'iOW3[Q+>?3R'l,A= + 3['-0 / AL'l71, =Sfl7Ndg'\fl)<Q<)^CG,`fl3,01)W=W:+QS>HU)z,`fl)sQ<)<V?36,`>a72'm=cU1)[,.dg)p)/'\h3R'-0,`fi)c)/Va)/84)<'l,A=q7[B >L' ,`fi)NA]5_'m=@,H36U[Va)GC Va76:/36,`>a72'm=
(137) + 3['e0 / 3RQ<)QW) V 5R>LQ<)206Ym3['-0P,`fi)/'- Y , + , / 8h5_=@,(U)
(138) MiQW7NO2)20G>LR'-0m5:j,`>AO2)[ \L-qJi-LWekJaTc¦ql| # !
(139) !@O0F $ | R6[^]¦kliSUe]*LSUWRTL-a6[THJUWq9klaTc¦ql| $ | nUWqJo[_HlLmLSqlLJ[_R ^. cWVJRTql|{[THlL # üü Ò{z ñ®ð®ï|. _. ¥cWk?L-apU[_cnqZqJia_LSUnRhLO£4[TH[THlL0q¦VlKmLSajceRhLE·¯VlL-qJi-LSR[_HJU[\UWaTLicnUekJRTLSo. !
(140) !CO0iFI. ^ ,_. ^ 1_.
(141) M x. 7sFs. 04 &(*) w"p*
(142) $" 94
(143) .¤8C6*)1 GHJL\[_LSipHlql·¯VlLSRkla_LSRTL-q¯[_LSoZRTcµUWa4Uec£ [_cnL-a_¬]CRT]YR^[_L-K R±K9cYoYLSLEoZVJRTql|cnqlLW¦|ncnJUe?LX¦[TLSqJoYLEo UWVY[TcnK U[Tcnq \c£©LSWL-aEK Ueq¦]Rh]YRh[TLSK9Ri-cWqJRTRh[_ROcWRTL-WLSa_UW6i-cWK9K*VJqliSU[_ql|$L-q¯[T[TLSRS£4HlipH3Uea_L ?LSRh[gK9c¦olL-LSoVJRhql|kJUWa_UWL-YicnK9kmc¯Rh[TcWqJR6cWmLX¦[_L-qJoYLEoUWVY[TcnK U[_UJl> q[THlRgRTLSi®[_cnq{UWqJo0[_HlL4qlL-X¯[ cnqlL£©Lkla_cWk?cnRTLOWL-a_mi-Ue[TcWq$[TLSipHJql·¯VlLER4UWolUWkY[TLEoCcnajRhVmipH$kJUWa_UWL-i-cWK9k?cnRT¬[_cnqJR- ³¦LEi®[_cnq´zJMR^[pUeaT[_R{¦]2oYLJqJql|w[^£cwkJUWa_UWL-icnK9kmc¯Rh[TcWq cWk?L-apU[TcWqmR-2GHlLJapRh[{cnqlLW
(144) vI!@ 2 O(kJUWa_UWL-icnK9kmc¯Rh[TcWq¶ROK9cWa_La_LSUWR^[_iaTcnK#U$RTk?LSimiSU[TcWqwkmcnq¯[ce¯L-£0lVY[[THlL RTLSi-cWqJo*cWqlLni v %uJkJUWa_UWL-¦icnK9kmc¯Rh[TcWqWRK9cWa_Lkla_Uni®[_iSUe¯cWaWLSaTmiSU[TcWqGHlLSqe£L©kla_cWLq ³YLSi®[_cnq zlÐxj[_HJU[EWVlqmoYL-aba_LSUnRhcnqJUeJLRhV i-LSq¯[±icWqmoY¬[_cnqJRSnUOkla_cWk?L-aT[^]WLSaTJLSoVlqJolL-ag[_HlLjU[_cWK9i kmUeapUeLSi-cWK9k?cnRT¬[_cnq$HlcnoJRVlqJoYLSa4[THlL0q¯[TLSaTLSU nLSo kJUWa_UWL-i-cWK9k?cnRT¬[_cnqUnR£©LS n 1 D e g!
(145) 6; D ;s. Dn GHJL
(146) iI!@ 2 (OkJUeapUeLS?i-cWK9k?cnRT¬[_cnqloYL-qJce[TLEoC¦] YR©[THlLVJRTVJUWUnRh]¦qJipHJaTcnqlcWVJR±kJUeapUeL-¶icnK« k?cnRT[TcWqceklaTcn|WapUeK R©£4¬[_HRhHJUWaTLEoCUea_UelLSRSgGHlwL v %uJ4kJUWa_UWL-¶i-cWK9kmc¯Rh[TcWqJoYL-qJce[TLEoZ¦] UWc£jRRTcWK9LgkJUWah[_i-VlUWaRTLS·¯VlL-qmiLSRcelRh[TL-kmR±v¨ FII%^ GJ !t%'HIFv0F^ª¶[Tcj?L±L-XYLSiVl[TLSo0Ue[TcnK{i-UW]W ¹ ¹ ¹ ¾ ` Y ¹ 4 ½ `±½ ½ b GHlLql¬[_UWcYi-U[_cnqce[THlwL
Documents relatifs
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
2) Le développement local c'est-à-dire les expériences d'intervention en développement économique communautaire, en économie sociale et en économie solidaire mises
La définition générale du concept d'évaluation formative des apprentissages retenue pour cette recherche constitue une synthèse découlant de la recension d'un ensemble
Effets et pouvoirs de la voix dans la philosophie et la littérature antiques Paris, Classiques Garnier, 2021 (Kaïnon - Anthropologie de la pensée ancienne, 19), ISBN :
relève de traités, et que les États membres sont des États au sens du droit international public, c’est à ce juste titre que J. Fischer peut qualifier l’Union actuelle de
Afin de saisir le déploiement de ce discours, j'analyserai dans un premier temps les représentations liées au temps dans le roman, en m'arrêtant d'abord sur toutes celles qui,
Cette recherche, de type qualitatif, consiste en une exploration de la littérature dont les buts sont de décrire selon divers auteurs, différe ntes expériences
For each sam- pling point is also given the value output of the merging process with the difference between the SH degree 100 expansions subtracted, the index corresponding to the