Contrôle de systèmes symboliques, discrets ou hybrides

Texte intégral

(1)Contrôle de systèmes symboliques, discrets ou hybrides Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. To cite this version: Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. [Rapport de recherche] RR-5474, INRIA. 2005, pp.30. �inria-00070534�. HAL Id: inria-00070534 https://hal.inria.fr/inria-00070534 Submitted on 19 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. Contrôle de systèmes symboliques, discrets ou hybrides Tristan Le Gall, Bertrand Jeannet & Hervé Marchand. N˚5474 Janvier 2005. ISSN 0249-6399. ISRN INRIA/RR--5474--FR. Systèmes communicants. apport de recherche.

(3)

(4)

(5) ! "#%$& (')&"*(+ ,-$/.00&+" 132547698;:=<?>@BAC:EDFDHG I0@J29852K:E<+LNME@O:=<+<+@J8PQR@S2UTWV!XN:E25Y;Z+:E<+L [=\E]_^`KaCb;]

(6) c;dOa)aRegfghickjSfl^] mn dSopbK^qb nr btsu] v jSwgw+d n ^xgb n b;cyb n cybzf{=|S}=~J}RljSflEhib n | wjSb;]. !lt, dOe]BjS+d n xgdOf]ibw n dOgi`KaCbxgbj]_\Efl^_y`;]bxgbc;dOfl^ n ibKe n ]^ n j;b n ]xWh+ n bKf=^]!aCd=xg`Kib;] jS¡jSf=^!xgb;]B]_\E]^`KaCb;]Cxgb¢^ n jSf]_h¡^_hidOf]£fghi]BjSeW¤¥]_\W]_^`KaCb;]Cy=\= n hixgb;]!bKf¥fdOe]h¡fl^ n b;]]UjSf=^xgb;]Cw n dOw n hi K^ ;] xgb¦]_§ n bK^ ¨ª©jSf]c;b¦ckjOx n b «¬fdOe]fdOe]h¡fl^ n b;]]dOf]w n h¡fcKh¡wjSibKaCbKf=^jSe®w n dOgi`KaCbxgb¦]_\Efl^_y`;]bw+dOe n egf aCdExg`KibRh¡f=^b n aC ;xWhjSh n b¯ ib;]]_\W]_^`KaCb;]xgb^ n jSf]_h¡^_hidOf]0]_\EaR+dO¡hi°leb;]k¨±²³jSfjS¡\W]bRxgb;] b;]UdOh¡f]

(7) xgbaCdExg K¡hi]UjS^_hidOf fdOe]jSaC`KfbC n b;xg 5£fgh n j!fdO^_hidOfxgb)c;dOfl^ n jSgh¡¡h¡^ CbKf´µjShi]UjSfl^w+d n ^b n ib¶ckj n jOcK^` n bCxgb¶c;dOfl^ n jSgh¡¡h¡^ )fdOf wg¡e]]_e n ib;]

(8) K KfbKaCbKf=^]0ajShi]

(9) ]_e n ib;]

(10) lj n xgb;]xgb;]

(11) ^ n jSf]_h¡^_hidOf]k«wgeghi])xg 5£fgh n xgb;]jS¡d n h¡^_ygaCb;]0xgbR]_\Efl^_y`;]b w+b n aCbK^_ÛjSfl^&µ² e]UjSbCx·²³jSwgw n dk¤Eh¡ajS^_hidOf]¶x·²³jO]]_e n b n j!£fgh¡^_exgbxgb;]ckjSicKegi]k¨ dOe] Kf n jS¡hi]dOf]wj n j¢]_egh¡^b fdO^ n bRaC K^_yd=xgdOidO hib¶jSec;dOfl^ n ib&xgb]_\W]_^`KaCb;]ªy=\= n hixgb;]t«c;b°=egh¸xgdOfgfbegfckjOx n begfgh£ RxWew n dOgi`KaCbxgbj ]_\Efl^_y`;]Ubw dOe n egfbKf]bKaRgibc;dOf]_hi]_ÛjSfl^xgbaCd=xg`Kib;]t¨ ¹»º¼kK½U¾=¿7¦ ]_\W]_^`KaCb;]uxgb

(12) ^ n jSf]_h¡^_hidOfB£fghi]uyl\E n hixgb;]¬bKû]_\EaCdO¡hi°=eb;]k«=]\=f=^_y`;]bxgbc;dOfl^ n ibKe n ]k«Ww n dOw n hi K^ ;]ªxgb ]_§ n bK^ «h¡fl^b n w n KÛjS^_hidOfjS]_^ n jSh n b. ÀÁ,ÂÄÃµÅ¡ÆÈÇKÉÄÅ7ÊËOÅÌÄÍ 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) $! "ª + "U*( , z0&+" % B

(14) "*g

(15) k¼g¾ ¼ fB^_yghi]uwjSw+b n «ub

(16) ÛjOc=ib0^_yb0]UjJ´ÈbK^ \Cc;dOfl^ n dO¡ib n ]\=f=^_yb;]_hi]uw n dOgibKaz´Èd n j n hidOe]uaCd=xgbKi] n jSfg h¡fg ´ n dOa £fgh¡^bR^ n jSf]_h¡^_hidOf]_\W]_^bKaC]0^dByl\E n hix]\E]_^bKaC]t¨ h¡^_ygh¡f^_yghi]´ n jSaCb d n +« b)j n b&ajSh¡fg¡\h¡fl^b n b;]_^b;x¦h¡f jSf¢h¡f=^b n aCb;xWhjS^baCdExgbKµ¯W^_yb]_\=a dO¡hic%^ n jSf]h¡^_hidOf]_\W]_^bKa¨ dExgbK¡h¡fg n b;°legh n bKaCbKf=^]ibkjOxe]¬^d n b;xgb5£fb^_yb c;dOfc;bKwg^RdS´¬c;dOfl^ n dO¡jSgh¡¡h¡^H\l\jSwgwg¡\Eh¡fgh¡^%^d^_yb& ej n xg]dSú]\=a dO¡hic¶^ n jSf]_h¡^_hidOf]t«+h¡f]_^bkjOx¦^dbKbKfl^]k¨ b ^_ybKf¥xgb5£fb¢]_\Efl^_yb;]hi]CjS¡d n h¡^_ygaC])jO]b;x dOf¥jS]_^ n jOcK^)h¡fl^b n w n bKÛjS^_hidOf ^b;cygfghi°=eb;]C]d^_yjS^ b¢ckjSf bKf]_e n b £fgh¡^bKfb;]]udS´·^_ybc;dOa)wgegÛjS^_hidOf]k!¨ bª£fjS¡¡\¶bKfb n jS¡#h "kb0dOe n aCbK^_ydExgdOidO \)^d^_yb

(17) c;dOf=^ n dO dS´+yl\E n hixB]\E]_^bKaC]t« ªyghicUy h¡b;]

(18) jSfegfgh£b;x¢´ n jSaCb ud n ¢^d¶^_yb]_egw+b n =hi]d n \c;dOfl^ n dO¸w n dOgibKa ´Èd n ]bKb n jS¸cKjO]]b;]

(19) dS´,aCdExgbKi]k¨ $&%'+)½ (º *, , + h¡fgh¡^b]_ÛjS^b0ajOcygh¡fb «yl\E n hixjSfx¢]_\=a dO¡hic%]_\W]_^bKaC]k«E]_egw+b n =hi]Ud n \Bc;dOfl^ n dO¸w n dOgibKa«g]UjJ´ bK^H\ w n dOw+b n ^_hib;]k«jS]_^ n jOcK^

(20) h¡fl^b n w n bKÛjS^_hidOf.

(21) +&$*¸" m j n a)huib;]xWh+ n bKf=^b;]aC K^_ydExgb;]RxgbCc;dOfc;bKwg^_hidOfNbK^Rxgb) jS¡hixjS^_hidOf «·j¢]_\Efl^_y`;]UbCxgb)c;dOfl^ n ibKe n b;]_^]UjSf] xgdOeg^bµ² egfbxgb;]wg¡e]] ;xWeghi]UjSf=^b;]k4¨ 3¡ibw b n aCbK^&bKfl^ n bBjSeg^ n bxgb n 6j 5Cfb n egfb]_w ;cKh£ckjS^_hidOf?h¡fc;dOa)wgi`K^bBxgb ajSfghi` n b&jS^_^bKh¡fx n begf!c;b n ÛjSh¡f¢dOWopb;cK^_h´_«l^H\=wghi°=ebKaCbKfl^¬j]UjS^_hi]p´µjOcK^_hidOf!x·² egfbw n dOw n hi K^ 0fdOf!bKfc;d n b0 n h£ ;b ]_e n ib&]_\E]^`KaCbRh¡fgh¡^_hjSµ¨ ± b n 6j 5CfbKaCbKfl^c;dOf]_hi]^bxjSf]%c;b&ckjOx n b¶Bc;dOfl^ n jSh¡fx n b¶egfb&]_w+ ;cKh£ckjS^_hidOfjJ£fx·²³jS ^ 7 ^bKh¡fx n bRµ² dOWopb;cK^_h´ £g¤g $¨ 3fc;b]bKf]t«gj¶]_\Efl^_y`;]bw n dEc;`;xgbwj n K¡h¡a)h¡fjS^_hidOf¦xgbc;dOa)w+d n ^bKaCbKfl^]0h¡fxg ;]_h n jSgib;]k« bK^)xjSf]¶]dOf ckjOx n b¢cKjO]]_hi°=ebfb!cyb n cUyb¢wjO])jJo_dOeg^b n dOe h¡flbKf=^b n xgbBfdOegbkjSeW¤Nc;dOa)w+d n ^bKaCbKfl^]BjSe ]_\W]_^`KaCb%h¡fgh¡^_hjSµ¨ ±(jB]\=f=^_y`;]bxgbc;dOfl^ n ibKe n b;]_^0egfxgdOajSh¡fb¶xgb n b;cyb n cUyb¶ghibKf KÛjSg¡hµ«+°=egh(]b^ n dOegb&jC´ n dOf=^_hi` n b&xgb wg¡e]_hibKe n ]xWhi]cKh¡wg¡h¡fb;]k¯ 8 ¨±²³jSeg^dOajS^_hi°=ebRxWhi]c n `K^b «°=egh K^_exWhibib;]

(22) ]_\E]^`KaCb;]) K KfbKaCbKfl^]0xWhi]c n bK^:] 9 ¨ªµ² h¡fW´ d n ajS^_hi°=eb%´ÈdOfxjSaCbKflÛjSib « bK^ªwg¡e]

(23) ]_w+ ;cKh£°=ebKaCbKflîbaCdExgbK; 7 cyb;c =h¡fg$ 9 0W¨bKfW£f «gµ²³jSeg^dOajS^_hi°=ebRxgb;]]_\W]_^`KaCb;] n K hi]wj n xgb;] ;°=ejS^_hidOf]

(24) xWh· n bKfl^_hibK¡ib;]k¨ ± b;]¢xgbKeW¤ w n bKa)hi` n b;]¢xWhi]cKh¡wg¡h¡fb;]¢dOfl^¢c;dOa)aCbw dOh¡f=^¢c;dOa)aRegf x·² eg^_h¡¡hi]b n iba <KaCb^H\=w+b¦xgbaCdExg`Kibw dOe n aCdExg K¡hi]b n ib;]]_\W]_^`KaCb;]&c;dOfl^ n ib n bK^ªib;]¬w n dOw n hi K^ ;]¶jO]]_e n b n «¶]9j;dOh n xgb;]¬aCdExg`Kib;]

(25) &jO]b%x·²³jSeg^dOajS^b;] °=egh3xg 5£fghi]]bKf=^xgb;]RjSfgljSb;]´Èd n aCbKi]R]_e n xgb;]jS¡wgyjS+bK^]Rx·² K KfbKaCbKfl^>] = « } ? 4¨ @

(26) fbChixg ;b)´ÈdOfxjSaCbKflÛjSib xgbc;bK^_^bRjSwgw n d=cUybb;]^µ² ;°legh¡ jSibKfc;bRbKf=^ n bRc;b n ÛjSh¡fb;]0cKjO]]b;]xgbjSfgljSb;]´Èd n aCbKi]

(27) bKîbKe n ] n bKw n ;]bKf=ÛjS^_hidOf] CjO]bx·²³jSeg^dOajS^b;B] A ]UjSf]

(28) dOegg¡hib n ibKe n ] n bKw n ;]bKflÛjS^_hidOf]¶jO]bxgb´Èd n aRegib;]0xgbidO hi°=eb^bKa)w+d n bK¡iCb = ?*D5¨ @fbjSeg^ n b0ckj n jOcK^ n hi]^_hi°lebb;]û°=eb%c;b;] aCdExg`Kib;]jO]b%x·²³jSeg^dOajS^b;]ªfb%]dOfl^¬wjO]ª]_\EaR+dO¡hi°=eb;]k«EjSe¢]bKf]ªd E h¡i]ªf ² h¡f=^`K n bKfl^0wjO]j&fdO^_hidOfxgbOj n hjSgiGb FSxgdOfgf ;bbK^

(29) x·² dOw n jS^_hidOf]0jS¡ K n hi°leb;]]_e n c;b;]

(30) xgdOfgf ;b;]t¨ 3f n bK jSfcyb «ibªc;dOf=^ n ibxgb

(31) ]_\E]^`KaCb;] n K hi]wj n xgb;] ;°lejS^_hidOf] xWh+ n bKf=^_hibK¡ib;]ujjOxgdOwg^

(32) xgbKwgeghi]ibªa)h¡¡hibKe xgb;]

(33) jSfgf ;b;] ib%aCdExg`Kibxgb;]ª]_\W]_^`KaCb;]¬yl\E n hixgb;] = ? ¨W± b%^b n aCb%y=\= n hixgbR]_h¡ fgh£b%hicKh °leb%c;b;]ª]_\W]_^`KaCb;]ªc;dOHa 7 gh¡fbKf=^ªegfc;dOa)w+d n ^bKaCbKfl^xWhi]c n bK^k«EaCd=xg K¡hi]UjSf=^ªwj n b5¤WbKa)wgib0egf¢cyjSfgbKaCbKf=^xgb0aCd=xgb0xgb´ dOfcK^_hidOfgfbKaCbKf=^k« jkb;cCegf c;dOa)w+d n ^bKaCbKfl^&c;dOfl^_h¡fle «(aCdExg K¡hi]UjSfl^wj n b5¤WbKa)wgibCj!idOh3xgbCc;dOa)ajSfxgbx·² egf n jO]j n ^_hicKegi Cx·² egf n dO+dO^k¨¸± b;]&]_\W]_^`KaCb;]y=\= n hixgb;]&]dOf=^xgb;]aCd=xg`Kib;]]_\=a dO¡hi°=eb;]k«,jSe?]bKf]d E h¡i]Rxg 5£fghi]U]bKfl^µ² KdO¡eg^_hidOf xgb j n hjSgib;B] AFflegaC n hi°=eb;] D5«· KdO¡eg^_hidOf°legh,w bKeg^ <K^ n b¶xWhi]c n `KÎb AFwj n b5¤·¨¡«µ² h¡fc n KaCbKf=ÛjS^_hidOf x·² egfc;dOa)wg^bKe n D0dOe c;dOf=^_h¡fleJb A KdO¡eg^_hidOfCx·² egfbu j n hjSgibuxg 5£fghib¬wj n egfb¬ ;°lejS^_hidOfCxWh· n bKfl^_hibK¡iGb D5L¨ KuhibKf)°=eb3µ² dOf¶wgeghi]]bªjS^_^ n h¡geb n jSeW¤B]\E]_^`KaCb;]3yl\E n hixgb;]¬egfb]U KajSfl^_hi°=ebbKf!^b n aCbxgbjSfgljSb «=h¡ b;]_^ wg¡e]¬c;dOe n jSfl^ªx·²³jOxgdOwg^b n jEhi]_hidOfa6j 7 ^_y KajS^_hi°=ebRcKjO]]hi°leb «gxjSf]ªjO°=ebK¡ibdOf]k² h¡f=^ n b;]]bRjSeW¤w n dOw n hi K^ ;]w+d n ÛjSfl^

(34) ]e n µ² KÛjS^

(35) xWe]_\W]_^`KaCBb AFOjSibKe n xgb;]

(36) Oj n hjSgib;]bK^xgb;]¬´ dOfcK^_hidOf] D5¨ 3f n jShi]UdOf¦xgb&c;b;]%^ n jOxWh¡^_hidOf]xWh¡b n ]b;]k«ib&w n dOgi`KaCb)xWec;dOf=^ n ib)b;]_^%]dOegbKfl^w+d ] Rx·² egfb&ajSfghi` n b)]bKMf 7 ]_h¡gibKaCbKf=^xWh+ n bKf=^b]bKidOf°lebRµ² dOf]k² h¡f=^ n b;]]b¶Cxgb;]0]_\W]_^`KaCb;]

(37) xWhi]c n bK^]0dOexgb;]]\E]_^`KaCb;]

(38) yl\E n hixgb;]k¨ m j n b5¤gbKa)wgib «,j¢fdO^_hidOf x·² K KfbKaCbKfl^Cc;dOf=^ n jSgib!dOeNh¡fc;dOfl^ n jSgib «b;]U]bKfl^_hibK¡ibxjSf]ibBc;dOf=^ n ib!xWhi]Uc n bK^k«(b;]_^ Kf n jSibKaCbKf=ûaCdOh¡f] b5¤Ewg¡hicKh¡^ ;bxjSf]ibc;dOf=^ n ib

(39) y=\= n hixgb ¨=±² dOWopbK^ xgbc;bKûj n ^_hicKibb;]^3xgbªw n dOw+d ]b n egfbckjOx n b egfgh£ckjS^bKe n jSec;dOf=^ n ibxgb;]]_\W]_^`KaCb;]¬xWhi]c n bK^]bK^ªy=\= n hixgb;]t«gckjOx n b°legh c;dOfc;b n fb&jR´ÈdOhi]¬ib;]ªaCd=xg`Kib;]ªbK^ªj ]_w+ ;cKh£ckjS^_hidOfxgb;]w n dOgi`KaCb;]uxgbªc;dOfl^ n ib]_e n c;b;]aCdExg`Kib;]k¨ ©jSf]j%]_egh¡^bxgbªc;bK^_^bh¡fl^ n dExWecK^_hidOf «fdOe]w n ;cK;h 7 ]dOf](fdO^ n buxg 5£fgh¡^_hidOf&x·² egf&w n dOgi`KaCb xgb c;dOfl^ n ib¬bK^¸ib;],c n h¡^` n b;] °legh=h¡fl^b n EhibKfgfbKfl^ w+dOe n cKjO]]_h£b n xWh· n bKfl^b;] w n dOgi`KaCb;]0xgbc;dOfl^ n ib « j; jSfl^x·²³jSfgfdOfc;b n ib%wgjSfbK^

(40) xgb%w n ;cKhi]b n ib;]c;dOfl^ n h¡geg^_hidOf]%xgbc;bK^j n ^_hicKib ¨ N Sº ¿F=, WG¼ O(P % * ¥¾Rº Q ¼ 6S ¿ %$T ± bw n dOgi`KaCbxgbj¶]_\=f=^_y`;]bxgbc;dOfl^ n ibKe n = 8 ? w+bKeg^]b n ;]_egaCb n jSh¡f]_hµ¯ KÛjSf=^3xgdOfgf uegfC]_\E]^`KaCb «S°=eghEaCd=xg K¡hi]b¬egf¶w n dO n jSa)aCbdOe¶egf)]_\W]_^`KaCVb U n ;bK; WU« c;dOa)aCbKfl^´Èd n c;b n c;b¬]_\E]^`KaCb¬ n b;]_w+b;cK^b n ]b;]¸]_w+ ;cKh£ckjS^_hidOf]k«SbKf n b;]_^ n bKh¡ fjSf=^]dOfc;dOa)w+d n ^bKaCbKflX^

(41) Y($[ZM\ ]

(42) _^¬± b3c n h¡^` n bux·² dOwg^_h¡ajS¡h¡^ ]dOeg¡h¡ f b;]_^)h¡a)w d n ÛjSf=^k¯3dOf bKeg^Clj n xgb n ibwg¡e]Cxgb¢c;dOa)w d n ^bKaCbKf=^]w+d ]]_h¡gib;]xWe¥]_\E]^`KaCbh¡fgh¡^_hjSµ`¨ @

(43) fb w n bKa)hi` n b°leb;]_^_hidOf°legh ]b%w+d ]bb;]_^ªµ² h¡a)wgi KaCbKf=ÛjS^_hidOfxWe]_\E]^`KaCbc;dOfl^ n i ¯ 8 ¨± bc;dOfl^ n ibb;]_ ^ 7µh¡¸b5·b;cK^_e xgb%ajSfghi` n bh¡f=^b n fbRdOeb5¤W^b n fMb ^ 1. 2. abadcfehg&ihji.

(44) ©jSf]Bib )L_ L ]

(45) *_

(46) R

(47) K« dOfaCdExWh£bib]_\W]_^`KaCbh¡fgh¡^_hjSjJ£f x·² dOg^bKfgh n ibaCd=xg`Kibc;dOfl^ n i ¨¬±¸j =hi]_hidOf jOxgdOwg^ ;bb;]_^c;bK¡ibxWe n j65CfbKaCbKf=^!x·² egfb]_w+ ;cKh£ckjS^_hidOfh¡fc;dOa)wgi`K^b «ªjJ£f xgbj n bKfx n bc;d n_n b;cK^bEhi] 7H67µ=hi] x·² b5¤Wh¡bKfc;b;]¬ghibKf¢xg 5£fghib;]k¨ ]k²³jS h¡^ ^H\=wghi°=ebKaCbKfl^xgb0aCdExWh£b n ib;]3^ n jSf]_h¡^_hidOf]ªxWe]_\W]_^`KaCb Ë©%jSf]uibH)_

(48)

(49) /

(50)

(51) K«·ib&c;dOa)w d n ^bKaCbKf=^RxWe]_\E]^`KaCbRh¡fgh¡^_hjSb;]_^%c;dOfl^ n jSh¡f=^Bµ²³jShixgb¶x·² egf¦]egw b n Ehi]bKe n °leghjBxgb;]%aCdk\bKf] x·²³jOcK^_hidOf bK^x·² dO]b n jS^_hidOf]_e n ib¶]_\W]_^`KaCb ¨ ]k²³j;` n b)bKf´µjSh¡^°leb&ib;]0w n dOgi`KaCb;]]dOf=^ ;°legh¡ jSibKfl^]k«+ajShi]%h¡ c;dOf==hibKf=^xgb]_w+ ;cKh£b n ib%w dOh¡f=^

(52) xgb%EebjOxgdOwg^ ¨±¸j¶c;dOa)aRegfjSeg^ &]_\W]_^`KaCb;]¶ K KfbKaCbKfl^0xWhi]c n bK^]

(53) jOxgdOwg^bib w+dOh¡fl^xgb0Eeb0xWec;dOf=^ n ibb5¤E^b n fb «WÛjSfxWhi]

(54) °leb0j&c;dOa)aRegfjSeg^ ]\E]_^`KaCb;]¬y=\= n hixgb;]eg^_h¡¡hi]b´ n ;°=ebKa)aCbKflîb c;dOf=^ n ibh¡fl^b n fb ¨ ±(j¶=hi]hidOfjOxgdOwg^ ;bwj n ibc;dOf=^ n ibRb5¤W^b n fbRjSaC`KfbfjS^_e n bK¡ibKaCbKfl^0ib;]°=eb;]_^_hidOf]

(55) ]egh¡OjSf=^b;]k¯ D ebKi]]dOf=îb;]ªaCdk\bKf]0x·² dO]b n jS^_hidOfxWe]_egw+b n Ehi]bKe n ^ 0/D ebKi]]dOf=^

(56) ]b;]ªaCdt\bKf]

(57) x·²³jOcK^_hidOf/] ^ ± d n ]U°le ² dOf ]k² h¡fl^ n b;]U]bBjSeNc;dOfl^ n ib!h¡fl^b n fb «(ibCw n bKa)hib n c n h¡^` n bBxgbKEhibKfl^¶]UjSf]dOWopbK^k¯(dOf?]_egwgw+d ]b°=eb)^dOeg^ b;]_ûdO]b n jSgib .¨ 3f n bK jSfcyb «Eib

(58) ]b;c;dOfx!c n h¡^` n b n b;]_^bw+b n ^_h¡fbKfl^k«gj;b;cjRfdO^_hidOf!x·² K KfbKaCbKf=ûh¡fc;dOf=^ n jSgib ]_e n ib;°=ebK+h¡·f ² \!jwjO]ªxgb%aCdk\bKfx·²³jOcK^_hidOf ¨g±¸¶bKfc;d n b «Wib;]xgbKeW¤!c;dOa)aegfjSeg^ ;]°=eb0fdOe]j;dOf]ªhixgbKf=^_h£ ;b;] xWh·` n bKfl^0]_e n j)xg 5£fgh¡^_hidOfbK^j&aCdExg K¡hi]UjS^_hidOfxgb;]ªaCdk\bKf]xgbc;dOfl^ n ibbK^x·² dO]b n OjS^_hidOf ¨ KuhibKf]_§ n «+w+dOe n xg 5£fgh n w n ;cKhi] KaCbKflêgf¦w n dOgi`KaCbCxgb)c;dOfl^ n ibC]UbKidOfib;]c n h¡^` n b;]R KfdOfc; ;]cK;h 7 xgb;]]_e]k«+h¡ ´µjSeg^w n ;cKhi]b n ibaCd=xg`KibRc;dOf]_hixg n w+dOe nn bKw n ;]bKf=^b n egf]\E]_^`KaCb «jSh¡f]h¸°lebib%´ d n ajS¡hi]aCbeg^_h¡¡hi] w+dOe n ib;] w n dOw n hi K^ ;]%)jO]]_e n b n n c;bRjSec;dOfl^ n ib ¨

(59) ¿ º O7¼ (,%l %¼ hQ ¼ % S¼ WG¼ OFº Q

(60) ;¼ $O7¼ %_T @

(61) fbR´ dOhi]egfw n dOgi`KaCb¶xgbc;dOfl^ n ib&ghibKfw+d ] «h¡,]k²³jS h¡^ xgbckjSicKegib n ib]_\W]_^`KaCbªc;dOfl^ n i

(62) ib¬wg¡e]w b n a)hi]U]_h´p¨lsub

(63) ckjSicKegw bKeg^ Kf n jSibKaCbKf=û]Ub n jSaCbKfb n 0j n ;]dO¡eg^_hidOf x·² egfb ;°lejS^_hidOfxgbw dOh¡f= ^ 7È£g¤Wb]e n ibª^ n bKh¡¡¡hi]3c;dOa)wgibK^3xgb;] bKf]bKaRgib;] x·² KÛjS^]3xWe]\E]_^`KaCb ¨ ±¸bckjSicKegxWeCw+dOh¡fl^ £g¤gb¶b;]_^c;bKw bKfxjSf=^h¡fxg ;cKhixjSgib «¸!aCdOh¡f]°=ebµ² b;]wjOc;b)xgb;] KÛjS^]fb¶]dOh¡^0£fghdOefb0o_dOeghi]]b&xgb¶w n dOw n hi K^ ;] wj n ^_hicKeg¡hi` n b;]k¨subK^!dO]_ÛjOcKibw+bKeg^^dOeg^b5´ÈdOhiI] <K^ n bc;dOf=^dOe n f wj n µ² eg^_h¡¡hi]UjS^_hidOf®x·²³jSwgw n d;¤Wh¡ajS^_hidOf]k«ªxjSf]ib ckjOx n b¶^_y ;d n hi°=eb¶xgbµ² h¡f=^b n w n KÛjS^_hidOf?jS]_^ n jSh¡^b ¨¸subKjBw+b n aCbK^%x·² dOg^bKfgh n egfb¶]dO¡eg^_hidOfc;d n_n b;cK^b « jSe¦w n h¤xgb j¶w+b n ^bxWeckj n jOcK^` n bdOwg^_h¡ajS¸xWe]_\W]_^`KaCbc;dOfl^ n i dOg^bKfle ¨ NR¿ $Q %¼ RRº Q ¼ O G¼ OFº QVT subwjSwghib n w n dOw+d ]bx·² egfgh£b n xjSf]!egf aCd=xg`Kibegfghi°=ebib;]!w n h¡fcKh¡wjSib;]w n 7 ]bKf=ÛjS^_hidOf]RxWe¦w n dOgi`KaCbCxgb¶c;dOfl^ n ibBjSwgwj n jShi]]UjSfl^xjSf]jBgh¡g¡hidO n jSwgyghib]_e n ib¶c;dOfl^ n ibCxgb;]]\E]_^`KaCb;] K KfbKaCbKf=^]xWhi]c n bK^]bK^xgb;]

(64) ]_\W]_^`KaCb;]¬y=\= n hixgb;]k«bK^

(65) xg 5£fgh¡îb;]

(66) jS¡d n h¡^_ygaCb;]0xgb]_\Efl^_y`;]bc;d n_n b;]w dOfxjSf=^]k¨ dOe]

(67) c;dOa)aCbKfc;b n dOf]%wj n w n ;]bKfl^b n jSe ib;]

(68) ^ n dOhi]

(69) aCdExg`Kib;]

(70) xgb]_\W]_^`KaCb;]°=ebfdOe]jS¡idOf]0c;dOf]_hixg n b n « xjSf]

(71) µ² d n x n bc n dOhi]]UjSf=^

(72) xgbibKe n b5¤Ww n b;]]_h¡Eh¡^ ¯ ib;]C]_\W]_^`KaCb;]Cxgb¢^ n jSf]h¡^_hidOf] K^_hi°=ebK^ ;] A ± r [ D5«3°=egh

(73) ]dOfl^Bxgb;]C]_\W]_^`KaCb;] K KfbKaCbKf=^]BxWhi]c n bK^]t«°legh eg^_h¡¡hi]bKfl^

(74) ib;]ªfdO^_hidOf]

(75) x·² KÛjS^]k«x·² K KfbKaCbKfl^k« bK^

(76) xgb%^ n jSf]_h¡^_hidOfbKf=^ n bR KÛjS^:] 9 ib;]C]_\W]_^`KaCb;]xgb^ n jSf]_h¡^_hidOf]B]\=a dO¡hi°=eb;] Aµ[ r [ D5« °legh

(77) ]UdOfl^xgb;]B]_\E]^`KaCb;]CxWhi]c n bK^]!xg 5£fghi]B¦µ²³jShixgb xgb j n hjSgib;]bK^¢x·² dOw n jS^_hidOf]¢]_e n c;b;]!Oj n hjSgib;] AF^b;]_^]t«ujJ·b;cKÛjS^_hidOf] D5¨ª± bw dOh¡f=^h¡a)w d n ÛjSf=^¢hicKh0b;]_^ µ² h¡fl^ n dExWecK^_hidOf x·² egfb)xWhi]_^_h¡fcK^_hidOf bKf=^ n b)]_\EflÛjJ¤gb&bK^]U KajSfl^_hi°=eb « bK^%ibR´µjSh¡^°=ebµ² bKf]UbKaRgibCxgb;] KÛjS^] xgbK=hibKf=^w+dO^bKfl^_hibK¡ibKaCbKfl^0h¡fW£fgh\9 ib;] ]\E]_^`KaCb;]¬xgb^ n jSf]_h¡^_hidOf]¬yl\E n hixgb;] A r [ D9=°=egh K^bKfxgbKf=^ªib;][ r [)wj n µ²³jJo_dOegûx·² egf¢c;dOa)w+d n ^bKaCbKfl^ c;dOfl^_h¡f=exgbc;b n ÛjSh¡fb;]

(78) Oj n hjSgib;]ªf=egaC n hi°leb;]0bKfl^ n bxgbKeW¤!^ n jSf]h¡^_hidOf]

(79) xWhi]c n `K^b;]k¨ ±¸jC] KajSfl^_hi°=ebRxgbc;b;]]\E]_^`KaCb;]

(80) ]b n j¶xg 5£fghibRbKf¢^b n aCbxgb^ n jOc;b;+] A dOexgb^ n jJo_b;cK^dOh n b;]w+dOe n ib;] r [ D5¨ ±¸b 0xg KÛjSh¡¡ibib;]w n dOw n hi K^ ;]¶°lebfdOe]¶c;dOf]_hixg n b n dOf]&w dOe n ibc;dOf=^ n ib ¨ ]t²³jS h¡^b;]]bKf=^_hibK¡ibKaCbKfl^)ib;] w n dOw n hi K^ ;]uxgbª]_§ n bK^ «xg 5£fghib;] bKfC^b n aCbx·² bKf]bKagib

(81) xgbª^ n jOc;b;]dOeBx·² b5¤W ;cKeg^_hidOf]k«=jSh¡f]_h°=ebªxgb;]w n dOw n hi K^ ;] xgb Eh¡OjOcKh¡^ 0wj n ^_hicKeg¡hi` n b;]c;dOa)aCbc;bK¡ib%xgb0fdOMf 7µgidEckjSb ¨sudOa)aCb%ib;] w n dOw n hi K^ ;]

(82) xgb0]§ n bK^ w+bKegbKfl^ª]b n jSaCbKfb n xgb;]w n dOw n hi K^ ;]&x·² h¡fl^b n xWhicK^_hidOf x·² KÛjS^]Rwj n µ² e]UjSbx·² dO]b n jS^bKe n ]k«¸fdOe]RfdOe]´ dEckjS¡hi]b n dOf]R]e n ib;]w n d 7 w n hi K^ ;]x·² h¡f=^b n xWhicK^_hidOf?x·² KÛjS^C] A dOewj n xWejS¡h¡^ «·]e n ib;]w n dOw n hi K^ ;]x·² h¡fl j n hjSfc;Gb D5¨ dOe]xWhi]cKeg^dOf]bKf]_egh¡^b ibc;dOf=^ n ibxgbc;b;]]_\W]_^`KaCb;]]bKidOfib;]

(83) c n h¡^` n b;] KfdOfc; ;]xjSf]ib%wj n jS n jSwgybw n ;c; ;xgbKfl^k¨ dOe] n jSwgw+bK¡ib n dOf] x·²³jS+d n xibRckjO]0ghibKfc;dOfgf=exWec;dOfl^ n ib)xgb;]0± r [jSe }¨ dOe]%jS d n xgb n dOf]%bKf]_egh¡^begfbaCd=xg K¡hi]UjS^_hidOf¦^ n `;] . . . . !.

(84) ". #. %$. '&. (. (. *). (. +). &. ,&. ba. -. /-0.

(85) Kf n jSibBxWew n dOgi`KaCbxgbCc;dOf=^ n ibxjSf]ibckjOx n bCxgb;]&[ r [jSe 9|W¨ dOe]xWhi]cKeg^b n dOf]jSe]]hxgb;]R]dO¡eg^_hidOf] jS¡d n h¡^_yga)hi°=eb;]¬w dOe n j]_\Efl^_y`;]Ub «=bK^ aCdOfl^ n b n dOf]ªc;dOa)aCbKfl^¬eg^_h¡¡hi]b n xgbajSfghi` n b%jOxjSwg^ ;b0j^_y ;d n hib0xgbµ² h¡fM7 ^b n w n KÛjS^_hidOfjS]_^ n jSh¡^b0w+dOe n c;dOf=^dOe n fb n ibckj n jOcK^` n b%h¡fxg ;cKhixjSgib%xWew n dOgi`KaCb%xgbc;dOf=^ n ibxjSf]¬c;bckjOx n b ¨ ©jSf]ib «fdOe]h¡fl^ n dExWegh n dOf]egfbfdO^_hidOfxgb%w n hid n h¡^ bKfl^ n bib;]

(86) K KfbKaCbKfl^]0xjSf]egfaCdExg`Kib[ r [ ¨subK^_^b fdO^_hidOfxgbw n hid n h¡^ &]Ub n jb5¤WwgidOh¡^ ;b)jSe 5~°leghjS+d n xgb n jCib&c;dOfl^ n ib)xgb;]%]_\W]_^`KaCb;]yl\E n hixgb;]k«+]_\E]^`KaCb;]xjSf] ib;]°=ebK¡ib;]Cb5¤Whi]_^begf¥cydOh¤ fdOMf 7 xg K^b n a)h¡fghi]_^bbKfl^ n b¢ib;])^ n jSf]h¡^_hidOf]CxWhi]c n `K^b;]CbK^)µ² ;c;dOegibKaCbKf=^BxWe ^bKa)w]k¨ dOe]h¡f=^ K n b n dOf]jCfdO^_hidOfxgbc;dOf=^ n jSgh¡¡h¡^ )jOxgdOwg^ ;bw+dOe n ib;]0[ r [¢bK^c;bK¡ibeg^_h¡¡hi]U ;bwj n j)c;dOa)aegfjSeg^ xgb;]]_\E]^`KaCb;]¬yl\E n hixgb;]k¨ " = B & U ,$&" dOe]w n ;]bKf=^dOf]hicKhgib;] ^ n dOhi]aCdExg`Kib;]x·²³jSeg^dOajS^b;] °leb¬fdOe]3jS¡idOf]eg^_h¡¡hi]b n xjSf]j%]_egh¡^b ¯Oib;]]\E]_^`KaCb;] xgbR^ n jSf]_h¡^_hidOf]£fghi]%jSe ¨ 8 «ib;]

(87) ]_\W]_^`KaCb;]xgb^ n jSf]_h¡^_hidOf]0]_\EaR+dO¡hi°leb;]%jSe ¨ bKîb;]jSeg^dOajS^b;]0yl\E n hixgb;] Kf n jS¡hi] ;]!jSe ¨ 0W¨ dOe])xWhi]cKeg^dOf]CbKf]_egh¡^bjSe 0j¦]U KajSfl^_hi°=ebjOxgdOwg^ ;b¢w+dOe n c;b;]jSeg^dOajS^b;]bK^)ib;] w n dOw n hi K^ ;]0°leb%fdOe]

(88) c;dOf]_hixg n b n dOf]]e n c;bK^_^b] KajSfl^_hi°=eb ¨ &. & . &. . . . . . '&. &. %&.

(89) . %&. "!$#%'&(&*)+#%,-#%&. ±¸b)aCd=xg`Kibxgb;]]_\E]^`KaCb;]xgb¶^ n jSf]_h¡^_hidOf]£fghi]Rb;]_îb&´ d n ajS¡hi]aCb)ib¶wg¡e]]_h¡a)wgib ¯+egf^bK]\E]_^`KaCbCj!egf fdOa n b£fgh¸x·² KÛjS^]k«bK^ªwjO]]bx·² egf KÛjS^)egfjSeg^ n bid n ]°=eb]b%w n dExWegh¡^ªegf K KfbKaCbKfl^%jS^dOa)hi°leb ¨ ¢ Q O7G¼ O7Rº Q [EdOh¡^ egf ± r [ ¨ feg^_h¡¡hi]Ub n jNib;]fdOÛjS^_hidOf] w dOe n « w dOe n [¨ @

(90) fb)b5¤g ;cKeg^_hidOf b;]_êgfb)] ;°=ebKfc;b xg Kaj n_n jSf=^xgb¶µ² KÛjS^h¡fgh¡^_hjSµ¨ @fbR^ n jOc;b&b;]_^0j)w n dSo_b;cK^_hidOfx·² egfbb5¤g ;cKeg^_hidOf]_e n ib;]0 K KfbKaCbKfl^]t¨ ±3² bKf]bKaRgib)xgb;]0^ n jOc;b;]0xgb b;]_^

(91) fdO^ ¨±¸j n bKjS^_hidOfxgb%^ n jSf]_h¡^_hidOf b;]^

(92) K^bKfxWebR¶egfb]U ;°lebKfc;bx·² K KfbKaCbKf=^] ¯ ¨ @f& KÛjS^ b;]_^,xWh¡^ ]:!# _,]_h ¨J±¸bu]\E]_^`KaCb b;]_ûxWh¡^3gidE°lejSf=û]t² h¡b5¤Ehi]^begfb

(93) b5¤g ;cKeg^_hidOf!aCbKfjSfl^¬xjSf]3egf! KÛjS^3gidE°lejSf=^k¨ dOe]fdOe] n b;]_^ n bKh¡fx n dOf]ªxgb;] ]_\W]_^`KaCb;]xg K^b n a)h¡fghi]_^b;]t«Ow dOe n ib;]°=ebKi],j n bKjS^_hidOfCxgbu^ n jSf]_h¡^_hidOfb;]_^,egfbu´ dOfcK^_hidOfCxgb¬]_h¡ fjS^_e n b ¨ @fbdOw+ n jS^_hidOfb;]]bKf=^_hibK¡ib]_e n ib;]

(94) ± r [b;]^ªibw n d=xWegh¡^]_\=fcUy n dOfb ¯ ¢ Q O7G¼ O7Rº Q N Jº * O¼) ' Q(¾ Sº Q % .. 0/. 132+465$798;:=<?>

(95) @'4BAC@0D0E"F?@?GIHJ:K>ML. NPO(QSRTQVUKRXWYR[Z]\%^0_`Qa:=<?>9@'4: 4b<c: defHJ:%gC4ChMEji kK>*D[>l<cm[QnUYoQ. <c^?4I>+HJ:=<YkK>*D[>l<phq4Ch(>JhrD[@fsImtWu:=<K>MHvi DHwGIxyDteb:K>%EC:=<kKzfk 4{: dB: 4y>l<|m$:K>jZoQ~}W};Q:=<K>MHrDVFc: HrD[>JhJ^?4EC:n>JFvD4b<h(>JhJ^?4+ L. f{. Y. NO(QSRX?URXWYR Z]\. Z . f Z. ;N?Z | 'Z f. f. OJ[RXyRX\jZ. Z . || |Z ?[ |. L. OJL\-o W-¡ ¤. Y¢. Z. KR|£|£|£¥RX|"VNuK ¦ Z ' § Z £|£|£=|6Nu . . . N. b¨ O ;W©0. ¢ $£|£|£ ¢ . . Z. \ Z]. Q}ªW«Z¦Q. .. 0/. ©¬ . C®¯8^?hJ: 4I>L±°N²O(Qª°³RXf ° RXWYRjZ. <¼»C4{½xCFc^?4{:VL. }L±¾:=<?>HJ:n5$798L. N3O(QSRX?fRXWYRyZ]\D"zf:|½ QPNPQ. \=m¥´µN·¶'Rw¸¹mpEC:K@fsº5{798{¥5

(96) :K@'FªGIFc^¹E@'h(> }¿Qn¾mI?nN3OJ XR f ¾ \=m¥:K>-ZÀ:=<?>%HrD`GIH(@<. °. G:K>Jh(>¼:Fc: HrD[>JhJ^?4<vD[>JhÁ< gyD4y>HrD FcÂÃ"HJ:µ<?@'h(zcD4I>¼:Ä . . Z 9f ¾ Z ¾ f ¾ OJ RX ¾ \¿ZÅ OJ XR ¾ \. A8D. fj ¨ ±(j)] KajSfl^_hi°=ebRx·² egf± r [b;]^xg 5£fghibwj n ]dOfbKf]UbKaRgibxgb^ n jOc;b ¨ %=, 6P % #.BR

(97) CL ( L#M$ Z R

(98)

(99) _* :(\ ]

(100) I

(101) R

(102) C

(103) _**_

(104) R

(105) . S OJL\N. OJL. . \$Æ. OJL. ¾ \. ` OJL\. º1Ç. ¹È. . . . " /_R

(106) * ]

(107) J

(108) J ¹È KÈ

(109) B

(110) X

(111) /)&

(112) )'Î*)"

(113) _f)hlÉ.

(114) Ì. ÏjK"!$#%'&l"&()¥#%«ÐÑ)+Ò*&Ó

(115) Ô. . ?É9Ê. #X

(116) C ÌË`$ÌÍ. @f®]_\E]^`KaCbxgb^ n jSf]h¡^_hidOf]!]\=a dO¡hi°=eb Aµ[ r [ Db;]_^!egf ]_\W]_^`KaCbxWhi]Uc n bK^! K^bKfxWej;b;cxgb;] j n hjSgib;]k¨ us baCd=xg`Kibw+b n aCbK^0xgb n bKw n ;]bKfl^b n xgb;]0]_\E]^`KaCb;]

(117) h¡fW£fghi]k«id n ]°=ebib;]Oj n hjSgib;]0w n bKfgfbKf=^0ibKe n jSibKe n xjSf] xgb;]xgdOajSh¡fb;]h¡fW£fghi]k¨4@f?[ r [w+b n aCbK^^ \Ewghi°=ebKaCbKfl^xgbCaCd=xg K¡hi]b n egfw n dO n jSa)aCbCfdOfM7 n ;cKe n ]_h´+A dOeegfb w n dEc; ;xWe n bGD ]9jSf](jS¡idEckjS^_hidOf&xW\EfjSa)hi°leb «S°=eghh¡fl^b n jS h¡^j;b;c ]dOfbKf==h n dOfgfbKaCbKf=^k¨ ± b;] idEckjS¡h¡^ ;],xgbµ²³jSeg^dOajS^b fb¢]b n dOf=^)wjO])b5¤Ewg¡hicKh¡^ ;b;]xjSf]¶ib´Èd n ajS¡hi]_aCb «c;bK¡ib; ] 7 cKhªw+dOeg jSfl^<K^ n bc;d=xg ;b;]Cwj n µ² h¡f=^b n aC ;xWhjSh n bx·² egfb j n hjSgib KflegaC n ;b&xgb%^ \Ew+Cb ) ZR

(118) # .

(119) YZ HC

(120) K¨ È . abadcfehg&ihji.

(121) ¢º¼ WG¼ OFº Q(L T m dOe n egf ^ \Ew b¢xgb¢xgdOfgf ;b&dOe egfb j n hjSgib A xgb^H\=w+bD5« fdOe])fdO^b n dOf] dOe ib xgdOajSh¡fb¶xgb jSibKe n ]%jO]]dEcKhi ¨ dOe] K^bKfxgdOf]%c;bK^_^bfdOÛjS^_hidOf¦jSeW¤b;cK^bKe n ]0bK^jSeW¤bKf]bKaRgib;]%xgbOj n hjSgib;]

(122) bK^ b¨ @fbBc;dOfxWh¡^_hidOf¥dOeNegfb!lj n xgb

(123) w+d n ÛjSfl^C]_e n ib;]&Oj n hjSgib;]

(124) b;]_^&fd n ajSibKaCbKfl^Cegf w n ;xWhickjS^k¨ subKw+bKfxjSfl^k«·dOf¦bKa)wgidOhib n j!jCa <KaCb&fdOÛjS^_hidOf¦w+dOe n xg KfdO^b n ib¶]dOe] 7 bKf]bKagib¶xgb xgb;]0OjS¡ejS^_hidOf]xgb

(125) °=egh]UjS^_hi]p´ÈdOflîbw n ;xWhickjS^k¨ fCfdO^b n j ibªc;dOa)wgi KaCbKflÛjSh n b%x·² egfbKf]bKagib h¡fcK¡e] xjSf]egfxgdOajSh¡fb ¨ m dOe n egf?w n ;xWhickjS^

(126)

(127) «(jw n dSo_b;cK^_hidOf

(128)

(129)

(130) ]k² ;c n h¡^¶bKf?fdOÛjS^_hidOf bKf]bKag¡hi]_^b !#"$ % &(

(131) ' )

(132) * &

(133) )

(134) ,+l¨3±(jw n dSo_b;cK^_hidOf egfgh¡b n ]UbK¡ib -

(135)

(136)

(137) ]t² ;c n h¡^BbKf fdOÛjS^_hidOf®bKf]UbKaRg¡hi]_^b .0/1"$ % &2

(138) ' - )

(139) * &

(140) )

(141) 3+l¨ f4j 5/#"$ . $ " ¨ m dOe n egfb%°lebKic;dOf°=eb´ dOfcK^_hidOf 6 0 8 7 bK:^ 9 7 «gdOffdO^b 6<; 9 µ² h¡ajSb n ;cKh¡w n d=°=eb %>= ? ' 6 = 9+l¨ ML MN PO ¢ Q O7G¼ O7Rº Q@ BADC4AFE ' Q ¼ HG % IKJ O. \. ¹ O. o. . . O. O. \9N. 0/. . R \. . O. R \. O. \¯. . . PZ. .. R. yO. R. o. ©. t. \p O. O. O. \N. \. O. \. . C®u2+48$798¯:=<?>pECk gC4ChyGMDF`@'4. \`N. R \ O. \p. ³@?GIHJ:K>L. NPO. R. R µR ;\Y^0_. Q N % ?R|£|£|£R + :=<?>Ñ@'4 : 4b<|: defHJ:YgC4ChEC:`zcDFhrDtefHJ:=<K<R 44{^0>¼: FvDQ , TS L oQ3:=<?>

(142) HrD½|^?4{E"h(>JhJ^?4UwGIFck|E"hJ½ D[>WVµhq4Ch(>JhrDHJ:pG9^?F?>*D4I>%<?@'FÑHJ:=<`zcDFhrDtefHJ:=< Q a N :=<?>%Hvi DHwGIxyDteC:K>EC:=<µD0½K>JhJ^?4b<FX¥xyD0AC@[:nD0½K>JhJ^?4 ¢ YN D@'4{:µ< h Ã"4yD[>@'Fc: ZK´\[IO ¢ \nAt@'h%:=<?>@'4zf:|½K>¼:K@'FÈC: Q a > »0G9:=<] ?R|£|£|£¥R _^5` <G9k|½ hqgyD4I> HJ:=<> »0G9:=<EC:=<µGMDFvDdBÂK>JFc:=<;EC:;½|^?d6d;@'4ChJ½ D[>JhJ^?4b<`G^?F?>¼k=<YGMDF Hvi D0½K>JhJ^?4 ¢ R 44{^0>¼: FvD , a °cbed >f Q O k ¢ O @'4;\p: 4b <|O:

(143) dR

(144) ef\HJl :%gC

(145) 4C hINECiS:>JO Fv

(146) DR 4b

(147) \n<mlh(m$>JhJ:=^?<?4b>-<9EC<¼k »CgCd4ChJeb:p^?GMHqhJACDF @[:=<Kg¥X xyD0At@[:>JFvD4b<h(>JhJ^?4nh N(] ¢ R R Rji ` mCkÃ[DHJ: dB: 4y>$4{^0>¼k|: @'4{: D0½K>JhJ^?4 ¢ :K>n@'4]zf:|½K>¼:K@'F6EC:YGMDFvDdBÂK>JFc:=<

(148) No] R|£|£|£+R ^5` DK Z ´\I[ O ¢ \=mAC@'h<c^?4y>µEC:=<zcDFhrDtefHJ:=< Q HJ^¹½ DHJ:=<q p HrDB>JFvD4b<h(>JhJ^?4{mM½|^?FFc:|½K>¼: dB: 4I>Y>q»"Gk|:=<sr Q @'4{:ÑÃ[DFcEC: O

(149) R

(150) \ oQ } G^?F?>*D4y> <?@'FÑHJ:=<Vz|DFhrDtefHJ:=<

(151) :K>9HJ:=<%GMDFvDdBÂK>JFc:=<

(152) r Q EC@'4{k gC:Y4CD>hÁ+t< <v:|D½K4I>*D[>9>JHvhJi ^?kK4 zf^?ECH(@C:Ñ>JHvhJ^?i : 4º4b<cEC: :=dB<Vefz|HJD:nFhrECDt:=ef<nHJ:=zc<µDFD[hr@Dtef½|HJ^0:=<c@'m{F <ªEC:ÑEC:HrDHv*ui :^?sIFdBk|½K:@C>J

(153) hJ^?I4+TNv i O

(154) R

(155) \=myDzf:|½:i [Q } Z¦Q m w ^0@'F @'4{: >JFvD4b<h(>JhJ^?4x"h my4{^0@<Ñ4{^0>¼^?4b<Fc:=<*G9 ¢Dy m y :K>zi y <c^?4D0½K>JhJ^?4{my< D`Ã[DFcEC:V:K><c^?4D>¥t :|½K>*D[>JhJ^?4+ . @fR KÛjS^(xWe&]_\W]_^`KaCbb;]_^¸xg 5£fghib3wj. n j¬ jSibKe n xgb cyjO°=eb j n hjSgib ¨t± b;](^ n jSf]_h¡^_hidOf],]dOfl^,xg ;]d n ajShi]¸ K^_hi°=ebK^ ;b;] wj n xgb;]jOcK^_hidOf] jS¡e ;b;]k«jSh¡f]_h °=eb%wj n xgb;]ªlj n xgb;]bK^xgb;]jJ·b;cKÛjS^_hidOf]

(156) ]_e n ib;]ª j n hjSgib;]k¨ {|G %= ,¿ % }

(157)

(158) Z

(159) #. XBL_

(160) H)&H

(161) _Y\Z ) X

(162) B ]

(163) ) ])#. `

(164) H ~ /)h\L\

(165) * ]

(166) 4I } .

(167) BK} #. K º1. #. . . . . Ë. . . . . Ë¥È#

(168) B"É `

(169) # rÍ )

(170) # . ]

(171) I

(172) _\

(173) e<4% $ /!#$

(174) * ]

(175) >

(176) X\:)s

(177)

(178) # CK}

(179) _

(180) %

(181) z_% !# /)&)#.H# ]

(182) J

(183) #. ; L*J# ) ])# qÉ T} L Z_,

(184) Y

(185) /)h"

(186) V)L Z +

(187) .

(188) # /)h"

(189) )&H# $") L" =e= ´ 0l O \

(190) h = I = H O \ !#.[Z

(191) $R

(192) _X), )#.

(193) #. Z L C

(194)

(195) "

(196) %Y

(197) 'K} #.

(198) )hL *_

(199) R

(200) %VRL

(201) É +. . . . . . . *. . . . . . . . . . . . . . . . . . . x >= 0 ?. recevoir?(p) x := p , y := 1. τ. x>0?. idle. τ. work. test. y := x * y , x := x−1. x<0?. τ. W 8. x = 0 and y = p ? envoyer!(p) y := 0. (. K. ) ])# L_Y :~ )h\"

(202) *

(203). r [)b;]_^¬bKf n kjS¡h¡^ egfb]\=f=ÛjJ¤Wb

(204) w b n aCbK^_ÛjSf=^¬xgb0xg 5£fgh n xgb

(205) ajSfghi` n b

(206) £fghib

(207) egf]_\W]_^`KaCb

(208) xgb

(209) ^ n jSf]_h¡^_hidOf] h¡fW£fghµ¨ ML PO ¢ Q O7¼GO7ºRQ BADC4AFE k=,$Q ¼GO*P % .. @f[. 0/. . b®¯5¥D<ck d;D4y>JhJAC@[:¿Eji @'4~8$798 L. NÅO. R. RXWR ;\:=<?>`HJ:5$798. *L. ¿N. O(Q6RTQnUfRXWRtZ]\=m$^0_. Q. Q. W. Q N. N. S mIQ NLTr % ] ¢ R )

(210) ` ' ¢ x2 N )

(211) + r. ba. -. /-0.

(212) y y. Q. Z]N. Z. gu k ¢ O

(213) \p O

(214) R

(215) \ l

(216) NiSO

(217) R

(218) \nm¥?O O &

(219) R )

(220) \2 &

(221) Nvi O &

(222) R )

(223) \ &

(224)

(225) Z y &

(226) . :=<?>pECk gC4ChyGMDF HrDSFcÂÃ"HJ:VEji hq4 *k Fc: 4{½|:. hnN. ± b;]CfdO^_hidOf])x·² b5¤W ;cKeg^_hidOf]k«xgb^ n jOc;b;]t«,xgbgidEckjSb « xgb¢xg K^b n a)h¡fghi]_aCb « x·² egf[ r [ ]bxg 5£fghi]]bKfl^ µ²³jShixgbxgb;]

(227) a<KaCb;]ªfdO^_hidOf]

(228) ]e n ib± r [ ¨W©¶² egfw+dOh¡fl^

(229) xgb%Eeb]_\EaR+dO¡hi°=eb « !

(230) b;]_^ªgidE°=ejSfl^

(231) ]]hµ« - h xO -

(232) z y

(233)

(234) A D \

(235) « ]t² h¡,f ² b5¤Whi]_^bCjSecKegfb¶^ n jSf]_h¡^_hidOf]\=a dO¡hi°=eb¶bK^RjSecKegfb¶OjSibKe n xgb;]%wj n jSaC`K^ n b;]^bK°=eb&jlj n xgb)xgb¶j ^ n jSf]_h¡^_hidOf]dOh¡^]UjS^_hi]p´µjShi]UjSgib ¨ ±¸b&ckj n jOcK^` n b)xg K^b n a)h¡fghi]^b)x·² egf?[ r [ w+bKeg^ <K^ n b¶xW;h 5cKh¡ibCxg K^b n a)h¡fb n ]_e n ib¶± r [ «ckj n xgb;] jJ·b;cKÛjS^_hidOf]

(236) ]_\EflÛjJ¤Whi°=ebKaCbKfl^xWh· n bKfl^b;]w+bKegbKfl^jkdOh n j&a <KaCb] KajSf=^_hi°leb ¨ dOe]h¡fl^ n dExWeghi]dOf]

(237) xgdOfcj fdO^_hidOf]_egh¡ jSfl^b ¨ @f[ r [ b;]^ # )h#.

(238) * ]

(239)

(240) _ h

(241) H*$(

(242) ¶]_h,ib;]0lj n xgb;]%xgb;]^ n jSf]h¡^_hidOf]%w d n ÛjSf=^0j a<KaCb&jOcK^_hidOf]dOf=^

(243) aReg^_ebK¡ibKaCbKf=^b5¤WcK¡e]_h¡b;]t¯ - h Ph O y y y

(244)

(245) y

(246)

(247) ¨ ± bBxg K^b n a)h¡fghi]_aCb]^ n ecK^_e n bK3h¡a)wg¡hi°=ebCibCxg K^b n a)h¡fghi]_aCb ¨ b;]_^wg¡e]´µjOcKh¡ib n h£b n ]_e n j¢]_\EflÛjJ¤gbCx·² egf [ r [ «Ec;dOfxWh¡^_hidOf!°=e ² egfbw n dEc; ;xWe n b

(248) xgb

(249) xg ;cKhi]_hidOfw+dOe n j]9jS^_hi]p´ÈjShi]9jSgh¡¡h¡^ xgb;]´Èd n aRegib;]ub5¤Ehi]^bªw dOe n jcKjO]]b xgb¬´Èd n aRegib;] c;dOf]_hixg n ;b;]k.¨ 3fc;dOfl^ n ib «lj%fdO^_hidOfxgbxg K^b n a)h¡fghi]aCb

(250) b;]_^h¡a)w+d n ÛjSfl^b

(251) w dOe n j n jShi]dOf]_egh¡ jSfl^b ¯ w+dOe n egf± r [!dOeegf[ r [xg K^b n a)h¡fghi]^b «gjRxgdOfgf ;bx·² egf¢ KÛjS^ªh¡fgh¡^_hjS·bK^ªx·² egfb%^ n jOc;b%xg 5£fghi]]bKfl^xgb0ajSfghi` n b egfghi°=ebegfbb5¤g ;cKeg^_hidOf ¨ ±(j¶fdO^_hidOfxgb%w n dExWegh¡^

(252) ]_\Efcy n dOfb]t² K^bKfxjSeW¤[ r [ ¨ ML MN PO

(253) # 3 K- (!

(254) ¢ Q O7G¼ O7Rº Q N Jº * O¼) ' Q(¾ Sº Q %&* %2ADC4A R Z :# V), R

(255)

(256) V

(257) K ML MN PO V$RZ K ! O

(258) ` #

(259) '" Z #X

(260) Z

(261) hL*'

(262) L :

(263) C?L ]

(264) %$

(265) + *" / W~ ( L_

(266) ! £|£|£. L. (L. . ¨. BR. O. R \. ?É. *L. L. . ?R. .. 0/. . ¥®. L. . N. . ¾. }L ~N. ¾. ¾. L. . ¾. NPO. . ¢. . N. ¢. N. L NPO R R µR ° ° ° ÌË R µR \. R. . . . °. O. \. R \. O. *É KÉ. . R \%N. Æ. É . N. ¾. lÈ. . k ¢ O

(267) \~ O

(268) R

(269) \|l

(270) TNi O

(271) R

(272) \nmMxO k ¢ O

(273) \~ ¾ O

(274) ¾ R

(275) \|l

(276) ¾ TNi ¾ O

(277) ¾ R

(278) \nmMxO ¾ k ¢ O

(279) \ KO

(280) |R

(281) \ ¾ O

(282) ¾ R

(283) \:l

(284) TNiÒ

(285) ?R

(286) \vR

(287) ¾ TNvi ¾ O

(288) ¾ R

(289) \nm+ O f j?jw n dOw n hi K^ *L S}«L ºN * L }*L ¾ ¨ m j n jSh¡¡ibKe n ]k«uibw n d=xWegh¡^¢]_\Efcy n dOfb¦xgb¦xgbKeW¤®[ r [ ¾ A ]_^ n ecK^_e n bK¡ibKaCbKf=^Dxg K^b n a)h¡fghi]_^b;]

(290) b;]_^JA ]^ n ecK^_e n bK¡ibKaCbKfl^Dxg K^b n a)h¡fghi]_^b ¨ %=, 6P %¯¬'&

(291) ZM\

(292)

(293) C ÌË`$*#. BG

(294) C

(295) 3 K

(296) '# >Z :# $+

(297) !#$

(298) f), !#

(299) #M\ L

(300) Z

(301) # /)&)

(302) L# ]

(303) #.>

(304) . ]

(305) >

(306) } L#

(307) #M\ L

(308) )(+ *,?É.- C# ).

(309) C* ZR ") % #. ),M

(310) `È .

(311)

(312) H:

(313) * Z ]

(314)

(315) ZM I)ÌÍ

(316) #.&%' ( ZM&\* Z #.B# K K} /))

(317) } L *_

(318) R

(319) <} # #M

(320) 3 K

(321) B# *

(322) X

(323) (

(324) Z$

(325) C

(326) K} )(

(327) B# .h

(328) L

(329) #. ) L_ # R

(330) Z Z B#

(331)

(332) )#M" H

(333) f h

(334) #.

(335) C

(336) _V# +

(337) J /)&

(338) ) ?~ É0/ 1s" É . . . . . . . . . *. . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4 65 678 98 %8 ±¸baCdExg`Kibxgb;]u[ r [&w n ;]UbKfl^

(339) xjSf]3ibªwj n jS n jSwgybw n ;c; ;xgbKf=ûb;]^ K^bKfxWehicKhwj n µ²³jJo_dOeg^ x·² egfBc;dOa)w d n ^b7 aCbKf=^0c;dOf=^_h¡fle¦xgbc;b n ÛjSh¡fb;]

(340) j n hjSgib;] n ;bK¡ib;]

(341) bKfl^ n bxgbKeW¤^ n jSf]_h¡^_hidOf]

(342) xWhi]Uc n `K^b;]k¨ subc;dOa)w+d n ^bKaCbKfl^c;dOf=^_h¡fle b;]_^ªxg 5£fgh¸µ²³jShixgbx·² ;°=ejS^_hidOf]JA dOe¢x·² h¡f ;°lejS^_hidOf]DuxWh· n bKfl^_hibK¡ib;]t¨ f¢dOg^_hibKfl^jSh¡f]_h+egfjSeg^dOajS^by=\= n hixgb ¨ sub&^ \Ew+b&x·²³jSeg^dOajS^b)b;]^0wj n ^_hicKeg¡hi` n bKaCbKf=^RghibKfjOxjSwg^ ¶w+dOe n aCdExg K¡hi]b n xgb;]%]_\W]_^`KaCb;]%dO Khi]]9jSfl^jSeW¤idOhi] xgb¶j!wgy=\E]_hi°=eb A ;c;dOegibKaCbKfl^&x·² egf;:eghixgb «·dOWopbK^]RbKfaCdOegbKaCbKfl^] D%]e n ib;]°lebKi]%h¡b;]_^w+d ]]_h¡gib¶x·²³jS h n wj n xgb;]c;dOa)ajSfxgb;]t« aCd=xg K¡hi]U ;b;]wj n xgb;] ^ n jSf]_h¡^_hidOf]xWhi]c n `K^b;]t¯Owj n b5¤WbKa)wgibªµ² dOegb n ^_e n b

(343) dOe)j´ b n aCbK^_e n bªx·² egfb.

(344) . ¿Ô)+!y. ¥9Ð%¹&*y. # b"!$Ò*& y. y. abadcfehg&ihji.

(345) jSfgfb

(346) c;dOa)ajSfxjSf=ûj=hixjSfgb0x·² egfb

(347) cKegb ¨ m ¡e] Kf n jSibKaCbKfl^k«Wh¡w+b n aCbK^ xgb

(348) aCd=xg K¡hi]Ub n «wj n c;dOa)w+d ]_h¡^_hidOf x·²³jSeg^dOajS^b;]k«ib;]ªh¡fl^b n jOcK^_hidOf]%bKf=^ n begfc;dOfl^ n ibKe n xWhi]c n bK^

(349) bK^ªegfbKf==h n dOfgfbKaCbKf=^wgy=\E]hi°lebUHc;dOf=^_h¡fleMWU¨ ML MN PO j ¢ Q O7G¼ O7Rº Q C3A E ' Q ¼ HG % " . Q ML M N PO p p R

(350) R R I ' ' qu p t Q

(351)

(352)

(353) , u

(354) x

(355) h¡fl j n hjSfl^ p Q

(356)

(357)

(358) t

(359) %=, 6P %x@

(360) f!C

(361) X!#$

(362) 4ZM# f

(363) z K$%$#.` } 6$ Z Y

(364) fRLLB

(365) Z ")

(366) '

(367) f ]:) ' `

(368) K & R

(369) ) L( )

(370) Z

(371) _!#$

(372) }

(373) :

(374) C ]

(375) )L

(376) \Z # + ;G) * '

(377) :

(378) )h "!#$

(379) K} #M\ L

(380) ,"

(381) &%f

(382) $h

(383) C

(384) J!h#.Z

(385) #M"h

(386) )h * `_ $Z J

(387) D )_\

(388) _V.

(389)

(390) J

(391) &Z$

(392) +

(393) _\

(394) #>

(395) `

(396) :. ]

(397) Z/Z L $#

(398) Y~ L#

(399) (

(400) C

(401) _H+ } ) .

(402)

(403) K h

(404) $#.CZ L )L Z L K} #. .. 0/. ©. C®©2¥4 D[@C>¼^?d;D[>¼:¥x"»MefFhJEC:+ÃCk 4{k FvDHqhÁ<ck%:=<?>IECk gC4ChfGMDF%@'4>@?GIHJ:pO. R. R µR BR R. \. E[D4b<HJ:|At@[: H*Ä O. R SR µR \¥ECk gC4Ch(>M@'4S8$798m"EC^?4y>{^?4µGMDF?>Jh(>JhJ^?4C4{:¥Hvi : 4b<c: dBefHJ:%EC:=<z|DFhrDtefHJ:=<. E[D4b<. : 4. c5

(405) :=< zcDFhrDtefHJ:=<. <c^?4I>

(406) EC:=<z|DFhrDtefHJ:=< <|^0@'d6hÁ<c:=< S@'4½|^?d`G9^?F?>¼: dB: 4I>E"hÁ<|½ Fc:K>¼mI>*D4{E"hÁ<At@[:%HJ:=<YzcDFhrDtefHJ:=< E[D4b<. <c^?4y>ÑEC:=<`z|DFhrDtefHJ:=<Fck|: HqHJ:=<µ<c^0@'d6hÁ<c:=<V: 4¿^0@C>JFc: O. \{}. O. \

(407) Hvi :=<*GMD0½|: Eji kK>*D[>Mhq4{E@'h(>IGMDF. . B@'4½|^?d`G9^?F?>¼: dB: 4I> | ½ ^?4I>Jhq4y@b 4D N mtDzf:|½ N. 44{^0>¼:. N. Q. }. N. HJ:%4{^?dBefFc:EC:ªzcDFhrDtefHJ:=<. ½|^?4y>Jhq4I@[:=<K. ±CQZO N. Z. O "\cO. ¹Q. Z. ¿\µ:=<?> @'4{: *^?4{½K>JhJ^?4At@'h

(408) Df< <c^[½ hJ: ½¼xyD0At@[: kK>*D[>ÑE"hÁ<c½ Fc:K>Y@'4{:`k|AC@0D[>JhJ^?4ºE"h ¥k Fc: 4y>JhJ: HqHJ: *^?4{½K>JhJ^?4 ¯O "\:=<?><K@?GCG9^K<ck|:nEC:n½ HrDf<=<c: G^0@'F`>¼^0@C> SQ. \cC5jD. O. Hvi k|At@0D[>JhJ^?4. \¥Df< <c^[½ hJ: Y½xyD0AC@[:pkK>*D[>$E"hÁ<c½ Fc:K>yn@'4. AC@'h"Fc:GIFck=<c: 4y>¼:9HJ:EC^?d;Dhq4{:pEC:pz|DHqhJE"h(>¼k%EC:. E"h ¥k Fc: 4y>JhJ: HqHJ:ÈCk gC4ChJ:pGMDF ¯O "\c[5

(409) ^?F <cAC@[:. . O "\=mbHJ:=<nz|DFhrDtefHJ:=<ª½|^?4y>Jhq4I@[:=<. 4{: G:K@Czf: 4y>. GIH(@<ªkKzf^?H(@[: Fn½|^?4I>Jhq4 'dB: 4y>Y:K><|:K@'HJ:`@'4{: >JFvD4b<h(>JhJ^?4¿E"hÁ<c½ FcÂK>¼:-G9:K@C> K>JFc:n: d`GIF?@'4I>¼k|: . . Q. . . ?Ë. . . . . . . . . . . . . . {É. . . 0É. . . . . . "É. . . . Z È HC

(410) L h)

(411) h I

(412) fK} #

(413) : * _R

(414) C

(415) _4Z_,"!#$

(416) ) ($# L#-,

(417) _É. m Od e n xg 5£fgh n j!] KajSfl^_hi°=ebCx·² egf r [ « h¡ b;]^0f ;c;b;]U]UjSh n b)xgb& Kf n jS¡hi]b n jBfdO^_hidOfx·² b5¤W ;cKeg^_hidOfNBc;bK¡ib)xgb &:%

(418) )h\*

(419) ;« c;dOa)w+d ] ;bxgbHh

(420) L

(421) _*

(422) &%:

(423) )h\*

(424) )] Kwj n ;]

(425) wj n xgb;]^ n jSf]_h¡^_hidOf]0xWhi]c n `K^b;]k¨ m j n ib^_y ;d n `KaCb xgbs¬jSecUyl\«E KÛjSflûxgdOfgf egf KÛ

(426) jS^h¡fgh¡^_hjS

(427)

(428) «h¡b5¤Whi]_^bªegfbeg

(429) fghi°leb]dO¡eg^_hidOf '

(430) %µ² ;°lejS^_hidOf

(431)

(432)

(433) jkb;cw+dOe n c;dOfxWh¡^_hidOfh¡fgh¡^_hjSib ' )( (

(434) «g°=eb%fdOe]fdO^b n dOf] ' d * + f ¨ k( 2 m

(435)

(436) 1

(437) ¢ Q O7G¼ O7Rº Q-, BA % % Q ¼ * %¼ /. %l¾¼kº O % 0

(438) & k ( 2 m

(439)

(440) & ]

(441) '

(442) d * + f ` - k ( 2 Rk 43 u '

(443) d * + f