Generalizing CASL Specification Components and Preserving Rewrite Proofs
38
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Generalizing CASL Specification Components and Preserving Rewrite Proofs Anamaria Martins Moreira, Christophe Ringeissen. N° 4938 Septembre 2003. ISSN 0249-6399. ISRN INRIA/RR--4938--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5)
(6)
(7) !
(8) #" $"&%'" & !() * + (,.-/
(9) 1023)
(10) 4 ! + ."/"657(!8 9:<;>=?;A@CBD;FEG;>@CHIBJ: KLENMO@CPQBJ@I;ORISUTWV.@XBYK#HIMOZ.V P\[LBJ: ]OPQBJKXKCPQ:<^ _ `baIcedLfLgihjIkmlnd/onprqslntIlndIo dIu6twvQontIxmozy {AcL| pro}ln~xbd pQ dIu6 W_W &vQm pr u md/ d7t `bdI t#`bdk!ssFgiAdImu dIc|m dfsssgiQ,vQqd7y 7wms¡ d6m pr.psy d6u `bd6u `bd7pr dIu lntwvQo.|,vry lny¢pQ£v/u pAprob£¤pr¥u `bd6qdIkbdI#vQu lnprk¦pQ£U dIxbyCvQ|mond §¢¨ A©ªy d7tIl¬«,twvQu lnprkt7prc prkbdIku y/|>{®qdIkbdI#vQo}l}¯°vQu lnprkNpQ£ dX±Alny u l}kmq¦prkbd7y°²L_ `bd³xmkbmdI o}{Al}kmq lnmdwvlnyw´>qsl}µdIkFvt7prc.prkbdIk>u6vQkb¦vy dIu pQ£y dIc\vQk>u lntm pr.dI u lnd7y u `,vQu l}u y#vQu lny4«,d7yvQkb¶u `,vQu ·u `bd d6· £¤prvQo}konp uu l}p¸kmqmt7 d7pry kbdIO l}µu dslnpr´kbu ywp®º«bu `bkbdWGprv® l}qs,l}vQk,#vQvQo cet7dIpru cdI l}¯wprd7kb<dIk´u celny¢pr prd¶kbd&qdIpQkb£UdIl}#u vQy¢o¹´ pst7pry y cl}|m onprd6kbl}kbdIky u#uvQy#kvQu u l»vQlny u £Yln{Aprl}kbkmywq ´ vQkbFvQk>{¶· pQ£l}u y l}kby u#vQku l»vQu lnprkbyWy#vQu lny4£D{eu `bd/y u#vQu d7¦m pr dI u lnd7yw² dm d7y#dIku`bdI d/| pru `¦u `bd mdX«bkml}u lnprk¼pQ£u `bdqdIkbdI#vQo}l}¯°vQu lnprkªpr.dI#vQu lnprk£Dpr §¢¨ A©½vQkb¾u `bd\m pr|mondIc¿pQ£m d7y dI µAl}kmq m pr dI u lnd7yl}kLu `bdqdIkbdI#vQo}l}¯wd7³t7prc prkbdIkuw²_zp&qsx,vQ#vQku d7d¢u `bd¥m d7y dI µrvQu lnprk³pQ£mm pr.dI u lnd7y°´ ·u d7d6t#`mmkm lnpr~ xbpsd¸y d&mu pLpwµAmlnm d7d7y#y¦dI v¾µd&y l}u c`bdIml}on¢d m pAv7pQ{£Dywu ´ApÀt7pr«bkbkbt7dIky u xO#Á\vQu tIl}kmlndIqeku¦prk¶t7pru `bkbdWOl}xbu lny prd6kbpQy\££¤ prd \· u `bl}u d®d&mm pAd7y pQdI£¤ ywµs²vQ_ u ln`mprlnk y pQ£ u `bdet7pr d7y prkbOl}kmq®m pr dI u ln· d7yw²_ `mlny · pr ÂÀlnyÃ|.dIl}kmqFl}k>u dIqs#vQu d7l}ku `bdey d7tIl¬«,twvQu lnprk t7prc prkbdIkumdIµdIonprmcedIk>uu p>pro¢Ä¥¢Å/.´xmkbmdImdIµdIonprmcedIk>u³£Dpru `bd §¢¨ A©Æo»vQkmqsx,vQqds´ xby l}kmqe© ¨WÇ vry u `bd/ d · l}u d/m pApQ£dIkmqsl}kbds² ÈFÉÊ Ë ÌÍ Îs vQo}qdI|m#vQlntLy .d7tIl¬«,twvQu lnprkbyw´b d · l}u l}kmq\y {Oy u dIceyw´mt7prc prkbdIku ,vQ#vQcedIu dI l}¯°vÏ u lnprkU´bm p>pQ£qdIkbdI#vQo}l}¯°vQu lnprk Ðð¶Ñ ñ ÒQãQÓÕÔ<ÓÕòIÖ Ýóع×#ԤعÓôÙ&ÞáXÓÕÞ°ÔUݸԤÚQõÛÝ ÛsÞ×CÝæؤØåܹá#Ý ö/Þ6Þßw×Àà&áízâYÓÕ×X×NÓÕã7÷ÜUØåعáCÝ4ãrÔ¤Ý Þ°á#ݮعäåÒÞ׾۰عé×#âY×#Ý4ؤäæܹÜzÝùç¬ÚQø ãQÞÝ ñ Þ õOß7ízàWéè.ú ééê,á#ë6Üåá#á#önãrúÞWíìJé¥éízúìDû!îØåïá#ü4ÓÕönïþýbÿ áCÓÕö. .
(11) "!# %$ .
(12) %& '(. Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France) Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19.
(13) . #
(14) (, .
(15) " þ* "&%'" (! & !()* (,
(16) ³ .
(17) " / (!!-¢ !
(18) " * .- ()³ .
(19) 4 L
(20) &km pr psy dond7y£¤prkbmdIcedIku yu `bj7pr ln~xbd7y xmk³prxmu l}oO.dI cedIu u#vQk>u dIkmqdIkbO dI md7y&t7prc.psyCvQku yW jIxmu l}o}lny#vQ|mond7ymdLy j7tIl¬«,twvQu lnprk §¢¨ A©N,vQ6o»veqjIkbjI#vQo}lny#vQu lnprkÀmdLt7prc pQÏ yCvQku ydX±Alny u#vQk>u yw²u#vQkumprkmkbjxmkt7prc psy#vQk>udIuxmkdIkby#dIcL|mond mdm prm lnjIu j7yy jIc\vQk>u ln~xbd7y ~>x l}ozy#vQu lny £¤vQl}u dIu6~>x prkFµdIxmu&m j7y dI µdIw´bo lnmj7dÃy#prxby4Ï} vrt7dIk>u dLt7prkby lny u d³u prxmµdI6xmk¸t7prc³Ï psy#vQk>uÃ,vQ#vQcejIu js´zmo}xbyÃqjIkbjI#vQo¹´y#vQu lny £¤vQlny#vQk>uÃond7y/m prm lnjIu j7yy xml}µrvQk>u d7ywºÀondet7prc psy#vQk>u pr l}qsl}k,vQoWmprl}uIu dùxmkbdFmd®y d7yl}kby u#vQkbt7d7y\.psy y l}|mond7yw´dIut `,vrtIxmkbd®md®y d7yl}kby u#vQkbt7d7ymprl}u yCvQu lny4£¤vQl} deond7y/m prm lnjIu j7yL d7~>xmlny d7yw²¦ &k¾m j7y dIk>u d\bvQkbyLt7de,vQmlndI¦o»v¶£¤prlny/o»vùmjX«bkml}u lnprk md®o prbjI#vQu dIxm¶md®qjIkbjI#vQo}lny#vQu lnprk½.prxm §¢¨ A©2dIu\ond®m pr|monaIced mdFo»vÀm j7y#dI µrvQu lnprk md m prm lnjIu j7y¢bvQkbyond6t7prc psy#vQku¢qjIkbjI#vQo}lny js²prxmqvQ#vQk>u l}o»vÃm j7y dI µrvQu lnprk¦mdm prm lnjIu j7yw´ prk?m pr psy d,vQWdX±mdIcmond³mdm j7y#dI µdIWondIxm ym dIxmµd7y°´.dIkÀy l}k>u jI d7y y#vQk>u/mo}xby&,vQ u lntIxmo}lnaXÏ dIcedIk>uÃvQxO±Fm dIxmµd7y&,vQW j7j7tI l}u xm ds²W©zveu d7t#`mkmln~xbdm pr psy j7dL£Dprxm kml}uWxmkbdã¹v7prk¸y l}cmond mdWu prxmµdI6md7yt7prkbOl}u lnprkby&y xOÁ\y#vQk>u d7y.prxm vry y xm dIo»vLm j7y#dI µrvQu lnprkFmd7ym prm lnjIu j7y6t7pr4Ï d7y .prkbbvQk>u d7yw² § d&u #v7µsvQl}o d7y u¢dIk¦t7prxm y l}ku jIqs#vQu lnprkFbvQkby o prxmu l}o<mdWmjIµdIonprm.dIcedIk>u md t7prc psy#vQk>u yLvQm.dIonj³Ä Å/.´<dIk mjIµdIonprm dIcedIku.prxmond³o»vQkmqsx,vQqd §¢¨ A©´ xmu l}o}lny#vQk>uÃond cepru dIxm& © ¨WÇ prxm6t7prkby u xml} dÃond7ym dIxmµd7y ,vQ j7j7tI l}u xm ds² 2Í w Ë F y bj7tIl¬«,twvQu lnprkbyWvQo}qjI|m ln~>xbd7yw´.y {Ay u aIced7y mdà j7j7tI l}u xm ds´!,vQ#vQcejIu lny#vQu lnprk md t7prc psy#vQk>u yw´mqjIkbjI#vQo}lny#vQu lnprk?md/m dIxmµd.
(21)
(22)
(23)
(24) ! " #$
(25) &% '% () % *#+, .-0/1 +234
(26) 6578'
(27) $#9/:;%4% <=+. . & , "/* z !
(28) " Ä,pr c\vQoy d7tIl¬«,twvQu lnprkbytwvQk®m p°µ>lnmdy l}qskml¬«,twvQku/y xmm pr u £¤pr&y#pQ£Yu · vQ d³t7prc.prkbdIk>u& dIxby#ds´ vryÃu `bdI{ vQo}onp u p>pronyÃu Ap @åxmkbmdI y u#vQkbC Bu `bdey dIc\vQku lnt7ypQ£¢u `bdt7prc prkbdIku yu `bdI{ÀvQ d³c\vÏ kml}mxmo»vQu l}kmqb²®· _zpApronyLu `,vQuc\vQkml}mxmo»vQu dm prqs#vQcl}kmq t7pAmd\twvQkNdwvry l}o}{ mdwvQo · l}u `Ny {>k>u#vrtIu lnt £¤dwvQu xm d7y\pQ£Ãt7prc prkbdIku Ey DDds² qb²}´ dIk,vQcl}kmqNpr dI#vQu lnprkbGy F|mxmu\xby x,vQo}o}{¼`,v7µd v `,vQ u l}ced ·mdX`b«bdIkbk\d7l}u¥y t7dIprc\cevQd7k>yu u lnpÃt7yÃy#dIvQc\kb?vQkvru y#lny t7p>yw²tIl»ÄbvQu prd7 ¸c\vQµo!dI y l¬.«,d7twtIvQl¬u «,lntwprvQkÀu lnu prpAkbpry°on´yw´ · t7l}u pr`eku u `bl}|mdIl}xm' u @ód³y l}u cpmu on`bdIdL; B6µvQdIkb l¬«,twmvQ u d7lntIprlnk¾y dIo}pQ{ £ u `bdLµrvQo}lnOl}uó{FpQ£¥y dIc\vQku lntm pr dI u lnd7y&pQ£¥t7prc prkbdIku yWl}k®u `bdOIl H dI dIk>uWy u dIby&pQ£u `bdà dIxby#d m pAt7d7y yw²Ä,pr6l}kby u#vQkbt7ds´.u `bdI{FtwvQk®| dLpQ£qs dwvQuW`bdIo}?prk¸u `bdÃqdIkbdI#vQu lnprkÀpQ£ dIxby#vQ|mondt7prc³Ï prkbdIku y&u `m prxmqs`®u `bdL,vQ#vQcedIu dI l}¯°vQu lnprkÀpQ£cepr dy d7tIl¬«,tÃprkbd7yw´,y xmm.pr u l}kmqeu `bdLm p>t7d7y#y pQ£tI dwvQu lnprk¸vQkbùc\vQl}k>u dIk,vQkbt7dpQ£o}l}|m#vQ lnd7y6pQ£ dIxby#vQ|mondÃt7prc prkbdIku y°² ¨ ceprkmq?y .d7tIl¬«,twvQu lnprk£Dpr c\vQo}lny ceyw´vQo}qdI|m#vQlnty d7tIl¬«,twvQu lnprkbyvQ d · dIo}oy xml}u d7 £Dprprxm · prl}u `Â.´>u | `bdIdùl}kmprq³|O4vrd7mtId7u\~>prx, vQlnu dId6k>u u d7pL u `bmd& pry qs.#d7vQtIcl¬«,ctwvQl}u kmlnqNprk¦,pQvQ£z#vrt7Oprl}cqscF.pr´kbo»dIvQk> u qydIo}vQ{ kb\vry qsy#l}p>µtIdIl»k¶vQu u d7`b dIl}l}y u u ` pr kmdIqxby#o}l}dùkmÂOl}k y ·u `bd®o}l}u dI#vQu xm ds² ¨ mOl}u lnprk,vQo}o}{´6u `bd®qdIkbdI lntIl}uó{ ced7t `,vQkmlny c dIkbt7prxmk>u dI d7½l}· kcepsy u¦vQo}qdXÏ |m#vQlnt6y .d7tIl¬«,twvQu lnprk\o»vQkmqsx,vQqd7ym pwµAlnmd7yqs dwvQKu J,dX±Al}|ml}o}l}uó{l}ku `bd md7y l} d7\vQ|by u #vrtIu lnprk\ondIµdIo vQkbFu `bdÃcedwvQkby u pe d7~xml} dy dIc\vQku lntLm pr.dI u lnd7yWpQ£.pru dIk>u l»vQozl}kby u#vQk>u l»vQu lnprk¸,vQ#vQcedIu dI yw² L?pAmdIo¬Ï¹|,vry d7Fy d7tIl¬«,twvQu lnprk®o»vQkmqsx,vQqd7y&o}l}ÂN d MPOÕfsRf Qpr) STOVU2Qzo»vrt ¦m d7tIlny dIo}{¦u `mlny&vQ|ml}o}l}uó{ùu p ,vQ#vQcedIu dI l}¯wd³y d7tIl¬«,twvQu lnprkbyW|{®pru `bdIy d7tIl¬«,twvQu lnprkbyw´.m d7y dIku l}kmqùprkmo}{ùo}l}cl}u d7®£¤vrtIl}o}l}u lnd7y £¤prl}c.psy l}kmq¶ d7y u lntIu lnprkbyÃprk ,vQ#vQcedIu dI yw² ¨ y · dy `bp · l}k u `mlny,vQ.dIw´<u `mlnylny/vc\v pr O#v · |,vrt ÂFt7prkbt7dI kml}kmqu `bd/qdIkbdI#vQo}l}¯°vQu lnprk¸pQ£y d7tIl¬«,twvQu lnprkbyw² Wåk¦u `mlny ,vQ dIw´ · dm pr psy dWu pqdIkbdI#vQo}l}¯wA d DYX[ZK\[]6^4OVUw_f QF¢vQo}qdI|m#vQlntÃy d7tIl¬«,twvQu lnprkFt7prc³Ï prkbdIku y |>{eu `bdIl} ,vQ#vQcedIu dI l}¯°vQu lnprkU²_ `bdWc\vQl}kùOl¬Á\tIxmo}uå{ · `bdIk¦u {>l}kmq³u pqdIkbdI#vQo}l}¯wdW|{ ,vQ#vQcedIu dI l}¯°vQu lnprk¶lnyu plnmdIk>u l¬£Y{u `b:d @åqp>pAC B¢ondIµdIo!pQ£ qdIkbdI#vQo}l}¯°vQu lnprk£¤prdwvrt `t7prc prkbdIkuw² &l}qs`mo}{Ày d7tIl¬«,teprkbd7yÃ`,vwµdy c\vQo}ot `,vQkbt7d7y³pQ£¢| dIl}kmq® dIxby#d7<´z|mxmuprk¾u `bd\pru `bdI`,vQkb<´zl¬£ v¦t7prc prkbdIkulny/u pAp¦qdIkbdI#vQo¹´zl}u y/ dIxby#d l}o}o¥pQ£Yu dIkÀ| d³xby dIond7y y°`² Wåu/lny/kbd7t7d7y#y#vQ {¸u p®y u#vQu d u `bd¶y dIc\vQk>u lntm pr dI u lnd7y³pQ£&v®t7prc prkbdI·ku³u `,vQuevQ d¶t7prkby lnmdI d7E @ål}c pr u#vQk;u B¦y prcedI`bp · DYu `bdt7prc prkbdIku · prxmon?onpApsy dl}u y
(29) a+% b-dc e#$" l¬£u `bd7y dm pr.dI u lnd7y · dI dkbpruWy#vQu lny «,d7* FX² l}u `¦u `mlny¢l}kO£Dpr c\vQu lnprkU´ · dWm pr.psy dWcedwvQkby u plnmdIku l¬£D{\u `bdW d7~>xml} dIcedIku yu `,vQu6vã¤pr c\vQo ,vQ#vQcedIu dI³y `bprxmon¾yCvQu lny4£Y{ l}kpr mdIu pFm d7y dI µd\u `bd7y dey u#vQu d7m pr.dI u lnd7yl}k¾u `bd\qdIkbdI4Ï vQo}l}¯°vQu lnprkU²W_zp dwvrt ` u `mlny&qpvQo¹´ · dt7prkby lnmdI&m pApQ£¤y £¤pr6u `bd7y dm pr dI u lnd7y&l}k?u `bdpr l}qsl}k,vQo DYkbprkOϹqdIkbdI#vQo}l}¯wd7* FÃt7prku dX±OuvQkb?lnmdIku l¬£D{ u `bdt7prkbOl}u lnprkbyLxmkbmdI `mlnt `¾u `bd7y#d³m p>pQ£¤y/vQ d dIm pAOxbtIl}|mond¢l}k³u `bd¥qdIkbdI#vQo}l}¯wd7t7prk>u dX±Auw² `bdIku `bd7y#d¥ÂAkbp · k³m · pApQ£DyvQ d d · l}u dm pApQ£¤yw´ v³y#dIu pQ£d7~>x,vQu lnprk,vQov±Alnprcey6twvQkù|.d/dX±Ou #vrtIu d7¦£D prc u `bdIc vQkb®vrmmd7ùu p³u `bdW£¤pr c\vQo<,vÏ #vQcedIu dIy p¦u `,vQuÃu `bdI{¾vQ dm d7y dI µd7¾l}k¾u `bdm pAt7d7y yw²e_ `mlnyy l}cmondu d7t `mkmln~>xbdem p°µ>lnmd7y y xOÁ\tIlndIku t7prkbOl}u lnprkby¥£¤pr¥u `bd&µsvQo}lnOl}uå{epQ£Uu `bd6t7prkby lnmdI d7\m pr dI u lnd7y¢l}k\u `bd&cep>mdIony¢pQ£<u `bd cepr dWqdIkbdI#vQo<y d7tIl¬«,twvQu lnprkU´ · l}u `¦u `bdWvrOµsvQku#vQqd/pQ£z| dIl}kmqdwvry l}o}{\t7prcmxmu d7¶|{¦vLy l}cmond vQo}qpr l}u `mcF²W_ `mlny · pr ÂFlny&| dIl}kmql}k>u dIqs#vQu d7 l}k¸u `bAd f g[hdij\Fu pApro¹´.xmkbmdIWmdIµdIonprmcedIk>uLvry ,vQ u¢pQ£<vLÄm#vQkbt7pQÏ9S¢#vQ¯7l}o}l»vQkùt7p>pr dI#vQu lnprk\m pQ d7tIuw´ · l}u `u `bd qpvQo!pQ£ m pwµAlnOl}kmq³y xmm.pr uu p k ܹÓôá ܹÓÕè.òIÝ"×Xu[ÿlCÿع×C×CÚQã/Û>ïîmö lCÝ4ßØåá#Ó !ä nwÛsÝ4ä4pÓ orä á ܹÓÕ×X,ã qAá#_ã lXÚQGá lCÝXúÞÝæòIÝ4öÕ×XÛsÝ Þß7à6ܹÒQÝ¥è.×XõOsì r»è.×Cÿÿ×XãWõØåáCÿÝæÖ.×CعÙ&ìYãQpÓ t >. ?. íí ã vwxGyz.
(30) . ). (
(31) $ . #$
(32) a + . %
(33)
(34) +# %G 5
(35) aC
(36) a+=+2. u `bd³m pAt7d7y y/pQ£ tI dwvQu l}kmq¸vQkb c\vQl}ku#vQl}kml}kmq¸o}l}|m#vQ lnd7yÃpQ£ dIxby#vQ|mondvQo}qdI|m#vQlntey d7tIl¬«,twvQu lnprk t7prc prkbdIku y°²'WåumdwvQony l}u `eu `bdy xm|mo»vQkmqsx,vQqd pQ£:X[ZK\[]md7y tI l}| d7³l}kAd7tIu lnprkf/vQkb³l}ku dI4Ï £¹vrt7d7y · l}u `u `bd¢ d · l}u d· dIkmqsl}kbdpQ£jg[] Z O Qml}kpr mdIu pWdX±md7tIxmu dd7~>x,vQu lnprk,vQoby .d7tIl¬«,twvQu lnprkby vQkbFu p³m pwµdLd7~>x,vQu lnprk,vQoUu `bd7pr dIceyw² S lnd Jb{´zu `mlnyÃ,vQ dIÃt7prku l}|mxmu d7yu pùu `bdevQ dwvùpQ£ m prqs#vQccl}kmq <2% dIxby ds²eWp dIµdIw´ l}kby u dwvrGpQ£tI dwvQu l}kmqÀt7prc.prkbdIk>u y\dX±Omo}lntIl}u o}{¾£¤pr³v®£Dxmu xm d dIxby#ds´ · d¦m pr psy d¶u p · tI dwvQu d dIxbyCvQ|mond t7prc.prkbdIk>u y£D prcvQkvQo} dwvrO{mdIµdIonpr d7vQmmo}lntwvQu lnprkU'² S pru `\t `bprlnt7d7y¥`,v7µd6u `bdIl} m psyvQkb¾t7prkbyw´vQkbÀu `bd\y d7t7prkbprkbdm d7y dIku yvryÃc\vQl}kNvrOµsvQku#vQqdu `,vQuÃu `bdqdIkbdI#vQu d7 t7prc prkbdIku¢`,vryvQo} dwvrO{³| d7dIk\xby d7vQuondwvry uprkbt7Nd DYl}k\l}u y¥pr l}qsl}k,vQo!µdI y lnpr.k FX´OvryvrOµpAtwvQu d7 ds² qb²z|{ LG² l} y l}kmq6l}6k OÕfQ Qåd² Wók/u `mlnyUtwvry ds´u `bdc\vQl}kLOl¬Á\tIxmo}uó{/lny<u pu #vQkby4£¤pr c t7prc prkbdIku y u `,vQu · dI dmdIµdIonpr.d7£¤prv6,vQ u lntIxmo»vQ¥vQmmo}lntwvQu lnprk\l}ku p/d H<d7tIu l}µdIo}{ dIxby#vQ|mond t7prc prkbdIku yw² _ `mlny cLxby u | d/mprkbd/u `m prxmqs`¸u `bdIl} qdIkbdI#vQo}l}¯°vQu lnprkU´!vQkbùu `mlny lny · `bdI dÃprxm · pr «bu y°² _ `mlny&,vQ dIlnyy u xbtIu xm d7¾vry&£Dpro}onp ywºWAd7tIu lnprkf¶vQl}ceyÃvQu/mdX«bkml}kmq¶u `bd³y xm|mo»vQkmqsx,vQqd pQ£ X ZK\[] · dùvQ d¶l}ku dI d7y u d7¼l}kU²¾_ `bd¶· qdIkbdI#vQo}l}¯°vQu lnprk DYcedIu#v Fpr.dI#vQu pr³lnym d7y dIk>u d7ªl}k Ad7tIu lnprk O² dëb y u l}k>u p>Oxbt7dy prcedÃmdX«bkml}u lnprkbyWu `,vQu6`bdIo}®xby u p\y u#vQu d£Dpr c\vQo}o}{ùu `bdà dXÏ y xmo}u pQ£u `bdqdIkbdI#vQo}l}¯°vQu lnprk¸pr dI#vQu prw´ml}k¦u `bd/t7prku dX±Ou6pQ£ X[ZK\[]O²m_ `bdm pr|mondIc pQ£mdX«bkml}kmq u `bd/md7y l} d7¦qdIkbdI#vQo}l}¯°vQu lnprk®lny vrmO d7y y d7¦l}k®Ad7tIu lnprkFb²Äl} y uw´ · d/t7prkby lnmdI u `bdkbpru lnprkFpQ£ +
(37) *# 2#$
(38) & N
(39) V #$
(40) $% ´ `bdI deprkmo}{ y pr u yLvQkbÀpr dI#vQu pr yvQ d³qdIkbdI#vQo}l}¯wd7<²_ `bdIkU´ d l}k>u p>Oxbt7du `bdm pr|mondIc1pQ£· qdIkbdI#vQo}l}¯7l}kmq +2( .#$
(41) $ ) ;%G #$
(42) G+ ´ u `,vQuWlny°´!d7~>x,vQu lnprk,vQou `bd7· pQÏ dIcey°)² WókÀAd7tIu lnprk O´ · dy `bp · `bp · u p\m d7y dI µd d · l}u dm pApQ£DyWpQ£d7~>x,vQu lnprk,vQou `bd7pr dIcey |>{mdX«bkml}kmqu `bd6vrmd7~>x,vQu d,vQ#vQcedIu dI¥kbd7d7md7\u p|mxml}oneu `bd qdIkbdI#vQo}l}¯wd7¶t7prc.prkbdIk>uw²_ `bd l}cmondIcedIk>u#vQu lnprk\lny y xbdpQ£,u `bd qdIkbdI#vQo}l}¯°vQu lnprk\m p>t7d7y ylnyOlny tIxby y#d7l}k\Ad7tIu lnprk O´ · `bdI d · d m d7y#dIku¥`bp · u p/xby d6OIl H dI dIk>u¥u pApronymdIµdIonpr.d7e£Dpr: X ZK\[]O ² S dX£Dpr d t7prkbtIo}xbOl}kmqb´ · d y `bp · l}k Ad7tIu lnprk eve.psy y l}|mond/u d7t `mkmln~>xbdLu p\qdIkbdI#vQo}l}¯wdveu `bd7pr dIc £¤pr · `mlnt#`¸u `bdI dlny kbp\ d · l}u d m pApQ£ ²¥Ad7tIu lnprk¸t7prkbtIo}xbmd7y · l}u `F«bk,vQoU dIc\vQ ÂAy&vQkb¦£Yxmu xm d · pr ÂOyw² . . _ b` do»vry uzmd7twvrmd7y`,v7µd¥y#d7dIkv m pro}l¬£¤dI#vQu lnprkpQ£,vQo}qdI|m#vQlnt¢y .d7tIl¬«,twvQu lnprko»vQkmqsx,vQqd7yw²µdIkLl¬£ vQo}ou `bd7y do»vQkmqsx,vQqd7y`,v7µdy prceddIµAlnmdIkuy l}cl}o»vQ l}u lnd7yw´Qdwvrt `³pQ£Ou `bdIc `,vryUl}u yzp · ky d7tIl¬«,tIl}uå{´ vQkbFvonpru pQ£OlIH<dI dIku&|,vry lntÃvQo}qdI|m#vQlntLy d7tIl¬«,twvQu lnprkby t7prkbt7dImu yWvQ d/xby d7<²_ `mlny Ol}µdI y l}uå{ vQm dwvQ yu p®| dv¸y l}qskml¬«,twvQk>u³pr|by u#vrtIondu p¸u `bd¶Olny y dIcl}k,vQu lnprkªpQ£&vQo}qdI|m#vQlntùy d7tIl¬«,twvQu lnprk cedIu `bpAmyl}kFu `bdLd7OxbtwvQu lnprk¸vQkbùu pc\vQÂd/u `bdIc xby#vQ|mond|{¦u `bd/l}kbOxby u {² _ `bd § prcceprk¸Äb#vQced · pr  Wókml}u l»vQu l}µAd D § psÄ W F y u#vQ u d7¸y dIµdI#vQoz{dwvQ yWvQqpel}k®pr mdIWu p dwvrt#`GvQkNvQqs d7dIcedIk>uprkGv¦t7prcceprk¾£D#vQced · pr  £¤prvQo}qdI|m#vQlnt\y d7tIl¬«,twvQu lnprkGvQkbmdIµdIo¬Ï prmcedIk>uw²¾ &kbd¶pQ£ u `bdl}kml}u l»vQo qpvQony³pQ£ § psÄ W vry³u p¸m prcepru d¦v¸t7prcceprkªy d7tIl¬«,twvQu lnprk o»vQkmqsx,vQqd · l}u `¶xmkml¬£Dpr cF´>xby dI4Ϥ£D lndIkbOo}{\y {Aku#v±· vQkb\y u #vQl}qs`u4£¤pr · vQ ùy dIc\vQk>u lnt7yw´u prqdIu `bdI ·|>{ l}u `N§ psqÄ p>WWpA¾lnyÃmtwpAvQtIo}onxmd7ceP dIX kZKu#vQ\[u ]lnprk OÕ_ QåvQ´<kbu À`bd u pA§ prprocy xmcempr k pr ¨ uw²¦o}q_dI|m`b#d\vQlny t¶ >d7tI.l¬d7«,tItwl¬vQ«,u twlnvQpru klnpro»kGvQkm©zqsvQx,kmvQqsqx,d¶vQmqdsdIµ² dIonX prZK \[d7 ] lny&l}kbmd7d7 u `bd`bdwvQ upQ£ v£¹vQcl}o}{®pQ£¥o»vQkmqsx,vQqd7yw²ÃAprced³y d7tIl¬«,tLu pAprony · l}o}o£DpAtIxby&prk · dIo}o¬Ï mdX«bkbd7 +
(43)
(44) Y I 4 G+ pQ£ X ZK\[]Ãpr|mu#vQl}kbd7¶|{\y {Aku#vrtIu lntpr y dIc\vQku lnt7y d7y u lntIu lnprkbyw´ · `ml}ond #9 +
(45) $% + pQ£,X[ZK\[]evQ dmdX«bkbd7®u py xmm.pr u6µrvQ lnprxby&,vQ#vrOl}qscey/vQkb¸vQmmo}lntwvQu lnprkbyw² Ä,pr ìYéízìDî.
(46)
(47)
(48)
(49) ! " #$
(50) &% '% () % *#+, .-0/1 +234
(51) 6578'
(52) $#9/:;%4% <=+. Xd ±bvQcmonds´u `bdI d¶lnyvQkGdX±Ou dIkby lnprkªpQ£ X[ZK\[]®u p¸y xmm pr uevù£¤pr cpQ£6,vQ u l»vQo`ml}qs`bdIpr mdI onprqslnt6OÕfUQå² _ `bdmd7y l}qsk pQ£ X ZK\[]elnyWkbp «bkmlny `bd7POVUw_Qå´Uvt7prcmondIu d£¤pr c\vQoy#dIc\vQku lnt7y/`,vry| d7dIk qsl}µdIEk OVUwRf Qå´mvQkb¦y dIµdI#vQo u p>pronyvQ· d&|.dIl}kmq³l}cmondIcedIk>u d7 OVUwRQå²ÄbprmdIµdIonprml}kmq X ZK\[]Ãu pApronyw´ u `bd¶lnmdwv · vry³u p "
(53) +2 u `bd¦vwµrvQl}o»vQ|mond¦,vQ y l}kmqÀu d7t `mkbpronprqs{ OÕfsR Q6vQkbGdX±Olny u l}kmqÀu pApronyo}l}Âd u `bd7pr dIcey6m pwµdI Ny OÕfsm´ Uwm´O QvQkbù d · l}u dÃdIkmqsl}kbd7Ny OVU _Qå² _ `bd f g[hdij\¦u pAprozvQl}cey6vQu m pwµAlnOl}kmqy xmm.pr uu pu `bdÃm p>t7d7y ypQ£tI dwvQu l}kmq¶vQkbFc\vQl}kOÏ u#vQl}kml}kmq dIxby#vQ|mondvQo}qdI|m#vQlnt6y d7tIl¬«,twvQu lnprk¶t7prc prkbdIku y°'² Wåkl}u y«b y uµdI y lnprkU´u `mlnyu p>pro · l}o}o | d · pr ÂAl}kmq prk v¸y xm|mo»vQkmqsx,vQqdùpQ£6X ZK\[]O²_ `mlnyy xm|mo»vQkmqsx,vQqd`,vry³kbpru| d7dIk¼y xm|mcl}u u d7 u pÀvQmm p°µrvQou p § psÄ WC´|mxmu³l}u³lnytIonpsy d¶u p tIo»vry y lntwvQoy l}cmondùvQo}qdI|m#vQlntùy d7tIl¬«,twvQu lnprkªo»vQkOÏ qsx,vQqd7y6y xbt `¸vry ¨6§ _2 Ç OVUw QvQkbù©zvQ t ` OVUI Qå'² Wåulny |,vry d7®prkFt7prkbOl}u lnprk,vQod7~>x,vQu lnprk,vQo onprqslnts´ · l}u `¶c\vQk{>Ïåy pr u d7\u pru#vQo.pr.dI#vQu pr y°´u `bd&|mxml}o}u4Ϲl}k¶d7~>x,vQo}l}uå{m d7OlntwvQu dvryu `bd xmkmln~>xbd m d7OlntwvQu d/vQkbu `bd £D d7d6bvQu#vϹuó{> dt7prkby u xbtIu lnprkFvry¥u `bdvQ|by u #vrtIubvQu#vLuå{A.dWy d7tIl¬«,twvQu lnprk ced7t#`,vQkmlny cF² _ · pÂ>l}kbmy&pQ£vQo}qdI|m#vQlnty d7tIl¬«,twvQu lnprkby&twvQk¸|.dOlny u l}kmqsxmlny `bd7®l}k¸prxm X ZK\[] y xm|mo»vQkmqsx,vQqdsº _+
(54) $ +9
(55) ! " #$
(56) $% + · d¶t7prkby lnmdImd7tIo»vQ#vQu lnprkbypQ£c\vQk>{Ïåy pr u d7Gu pru#vQo pr.dI#vQu pr y°´ vQkbÃt7prkbOl}u lnprk,vQoOd7~x,vQu lnprk,vQoOv±Alnprceyw² ¨ yzvQkLdX±bvQcmonds´ondIuzxbyzt7prkby lnmdIvµdI {y l}cmond y d7tIl¬«,twvQu lnprk®pQ£ # C; + ´bk,vQced7 ´ `mlnt `®l}kµpro}µd7yv£Y d7duó{> d/t7prkby u xbtIu£¤pr u `bdey pr u I´vQkbÀu `bdemd7tIo»vQ#vQu lnprk¼pQ£ · vQkb ´Uu prqdIu `bdI · l}u `u `bdv±Olnprcey mdX«bkml}kmqFu `bd7y dpr dI#vQu pr yLp°µdI I² Ç pru d³u `,vQuvQo}o¥v±OlnprceyLvQ d³k,vQced7Àxby l}kmqùu `bd vQkmkbpru#vQu lnprk D4²}²}² F ¶² É É>É Ê É Í . . . .
(57) .
(58) . . . . . . "!$#&%(')'+*-,/.021354769878:;!<#&%>=. . mQ. L Q Q Q Q Q. #?@?A'!$#&%BC!<#&%DE!$#&%GF H # IJ'A!$#&%BC!<#&%DK!<#&%GF INMOP'9!$#&% #?@?R:SIM7,T.U01=*VI #?@?R:SIMU4G698W8:;OX==*Y4769878:#@?@?R:SINMO == H # IZ:[,/.0219MWI$=\*VI H # IZ:SINM7,/.U01=\*VI H # IZ:]4769878:SI^=7MU47698W8:;O ==*Y4G6X878: H # IZ:SIMOX==. . . ¤D vrm<²Õ F D¤vrm<² y xbt7t F YD c\v± ²ÕQoaF YD c\v± ²ÕQGF DYc\v± ² y xbt7t F . _ `bd É>É Ê Ét7prkby u xbtIu¢y u#vQu d7yu `,vQuu `bd twvQ lndIy#dIu¥pQ£<u `bd6t7pr d7y prkbOl}kmqy pr u¥lny £Y d7dIo}{³qdIkbdI#vQu d7e£Y prc u `bd6t7prkby u xbtIu pr y)D .%
(59) vQkb .%0 "% 4< +G
(60) &% FX² Wå£.u `bd6pru `bdI md7tIo»vQ d7¾pr dI#vQu pr yvQ det7prcmondIu dIo}{¾vQkb¾t7prkby lny u dIku o}{ÀmdX«bkbd7<´ d`,v7µd\u `,vQu/u `bd cep>mdIonypQ£u `mlny Â>l}kb¦pQ£y d7tIl¬«,twvQu lnprkùlny u `bdtIo»vry y pQ£l}kml}u l»vQo<cepAmdI· onyw² Wåu lnyvQony p psy4Ï y l}|mond/u pey .d7tIl¬£D{\o»vQ qdIWtIo»vry y d7y pQ£cep>mdIony · l}u `¸vonpApsy dÃy dIc\vQk>u lnt7yw´,t7prkby lnmdI l}kmq¶vQo}o cep>mdIony¢pQ£zv/qsl}µdIk¶y l}qsk,vQu xm dWvQkby dIu¥pQ£v±Olnprceyw²_ `mlny¥lny¥u `bd6twvry d6l}keu `bd y d7tIl¬«,twvQu lnprk®| dIonp · ´ · `mlnt `¸mpAd7y kbpruWt7prku#vQl}k?u `bd£D d7dÃuå{A dÃt7prkby u #vQl}ku vQkbùlny y#vQu lny «,d7¦|{FvQk{ùbvQu#vϹuå{A d · l}u `¸v³t7prccLxmu#vQu l}µd|ml}k,vQ {ùpr.dI#vQu prw² . `_. 9a. cbcdfegeih$j. & ^kmlnko <p. íí ã vwxGyz.
(61) ). (
(62) $ . É Í ° Í mQ . . L. . Q. bgd g e e h & Rkmlnko 5p . . H !'<. . H B . . H D INMOP'$. . H ! :SINMO = * !f:;O<MWI$=. . #$
(63) a + . %
(64)
(65) +# %G 5
(66) aC
(67) a+=+2. . . H. DDt7prcAF . +#$
(68) 4# " - +9
(69) ! " #$
(70) $% + dt7prkby lnmdI6xmkmlnprkby°´,dX±Ou dIkby lnprkby&vQkbùqdIkbdI lnty d7tIl¬«,twvÏ u lnprkbyw²/hdIkbdI lntIl}uå{?pQ£y d7tIl¬·«,twvQu lnprkby&lnyWc\vrmddX±Amo}lntIl}uxby l}kmqEDJ£¤pr c\vQoaF,vQ#vQcedIu dI yw² ¨ ony#pm´ dFprkmo}{ pr  l}u ` k,vQced7 y d7tIl¬«,twvQu lnprkbyw´¢l¹² ds´¢tIonpsy d7<´¢l}k u `bdùt7prku dX±OupQ£ u `b0d X ZK· \[]o»vQkmqsx,· vQq6d OVUw· _f Qå'² Wåulny l}c.pr u#vQk>u6u p³kbpru d/u `,vQu ,vQ#vQcedIu dI yWvQ dLvQ |ml}u #vQ { y d7tIl¬«,twvQu lnprkbyw²_ `mlny £¤dwvQu xm d · l}o}o<| dxby d7¦l}kFprxm £Y#vQced · pr Âùu p³ d7~xml} d/dX±Omo}lntIl}u o}{ u `,vQu ,vQ#vQcedIu dI y6yCvQu lny4£Y{¦y d7tIl¬«,t/y dIu y pQ£v±Alnprcey°² ÄbprWl}kby u#vQkbt7ds´ · dqsl}µdL| dIonp · u `bdqdIkbdI lnty .d7tIl¬«,twvQu lnprkÀpQ£
(71) a+#+ pQ£¥dIondIcedIk>u yu `,vQu c\v7{³| dt7prc,vQ d7eu `m prxmqs`vQked7~>xml}µrvQondIkbt7d&pr.dI#vQu prw´u `bdy d7tIl¬«,twvQu lnprk\u `,vQut `,vQ4Ï vrtIu dI l}¯wd7yzu `bdm pr.dI u lnd7ypQ£Au `mlnypr.dI#vQu pr: DY d J,dX±Al}µAl}uå{´ry {AccedIu {vQkbLu #vQkby l}u l}µAl}uå { FX´ vQkb`bp · u `bd\qdIkbdI lnt¶y d7tIl¬«,twvQu lnprk¼twvQkG| del}kby u#vQk>u l»vQu d7¼|{Àu `bd¶y .d7tIl¬«,twvQu lnprkªpQ£ # C + ´Ol}kùpr mdI¢u p|mxml}on¦u `bdy d7tIl¬«,twvQu lnprkFpQ£
(72) a+#+ %;< # C; + ²_ `mlny l}o}o qsl}µd u `bdL dwvrmdIÃvQk¸l}ku xml}u lnprk¾prk?`bp · qdIkbdI lntIl}uå{?vQkb?u `bdl}kby u#vQku l»vQu lnprkÀpQ£,vQ#· vQcedIu dI y ·|.pAprpr ÂOondwy\vQkbl}k y X[l}ZKu `F\[]Ou ²`bdÃxby x,bvQ´o<|.kbprpAu\prondwy `bvQk®p · prkU ´dI#twvQvQu kpr | yw²d®vry y xmced7u pÀ|.d¸v¾y d7tIl¬«,twvQu lnprkÆpQ£ · É É Í ° Í mQ DY d J,dX±Ol}µ>l}uó{ F DDy {AccedIu { F DYu #vQkby l}u l}µ>l}uó{ F . . . gdZd . .
(73) h kml gdZd . . H 1 1 . '<. . H B . . H D INMO5M7,P'<. . H L . X S : IMWI^= * Q .X:SIMOX= * .X:;O5MWI^= Q H : # !<?R:>.X:SINMO =7MT.X:;O5M7, ==7MT.X:SInM7, =>= * Q. É É>É Ê É Í mQ . . . . . k "!
(74) hkml$# . . L. Q. Q. Q. Q. % 4G%(')'+* ! 38W1 !X4:>. . H 1 1 . ' % 4U % B & 4G%D. INMWI('NMWI ) '<. . H F M 'NM ) ' % 4U% .X:;! M! =(* .X:;! M/8W1&!X4:SIM == + * * .X:8W1 !94@:SINM =7M! , = + * * .X:8W1 !94@:SI'M '^=7M/8W1 X ! 4:SI()ZM )N==i*. F & 4G%>=. kml}ony F kml}ont7prkbyGF DYkbd7~ t7prkby kml}ao F DDd7~ t7prkby F DYkbd7~ . . . #&!<?R:>.X:SI'MWI)R=7MT.X: N ' M )== . DDd7~. . . . ìYéízìDî.
(75)
(76)
(77)
(78) ! " #$
(79) &% '% () % *#+, .-0/1 +234
(80) 6578'
(81) $#9/:;%4% <=+. _ `bdLcepAmdIonypQ£u `bdvQ| pwµdy d7tIl¬«,twvQu lnprk¾vQ d/£D d7dIo}{FqdIkbdI#vQu d7¸£Y prc'dwvrt ` .psy#y l}|mond cep>mdIopQ£ y d7tIl¬«,twvQu lnprkby ²\_ `bdl}kby u#vQku l»vQu lnprk¼pQ£¢u `bdqdIkbdI lnty d7tIl¬«,twvQu lnprk l}u ` D ¾dX±Ou dIkbmd7 l}u `?v\d7~xml}µsvQondIkbt7dLpr dI#vQu pr mdX«bkbd7 vry xby x,vQao FX´.· t7pr d7y .prkbmyWu pprkbdpQ£u `bd7y dLce· p>mdIony°´,cepAOxmonpy l}qsk,vQu xm dOIl H<dI dIkbt7d7yw´ vQkb lnyÃvrt `mlndIµd7|{?xby l}kmqFEv DYxmkmln~xbdIo}{ mdX«bkbd7* F&«bu u l}kmq®pQ£¢u `bd³,vQ#vQcedIu dILy {AcL| prony/u p u `bdLvQ qsxmcedIkuWy {AcL| pronywº É PO I´ NQ Wåku `bd6u dI cl}kbpronprqs{xby d7\|>6 { L?psy y#vQÂp · y Â>l.l}k OVUwR Qå´>u `bdvQ|.p°µdWy xm|mo»vQkmqsx,vQqd6£¤pr¥|,vry lnt y .d7tIl¬«,twvQu lnprkbyt7pr d7y .prkbmyLu p®vQkdX±Ou dIkby lnprkpQ£
(82) D =% .-
(83) $#$
(84) $% . ! #$
(85) &% . ! I%=
(86) $ 8'
(87) $# `
(88) $# - +% # #$
(89) &% "% +#$;
(90) *#+ FX´ `mlnt `c\vw{| d twvQo}ond7 ´ `bdI d vQu prceyl}k\u `bd&t7prkbtIo}xby lnprkby pQ£Ut7prkbOl}u lnprk,vQo<v±Olnprcey· c\vw{e| dkbdIqvQu d7² l}u `u `bd7y d d7· y u lntXÏ u lnprkby°´!vQkbùu `bpsy dpQ£u `bdÃy u xbtIu xm d7?y .d7tIl¬«,twvQu lnprk¸ondIµdIo¹´ · dLpr|mu#vQl}k?vo»vQkmqsx,vQqdLu `,vQu&`,vry y#prced&qpApA\m pr dI u lnd7y l}k¦u dI ceypQ£dX±Olny u dIkbt7dpQ£zl}kml}u l»vQo<cep>mdIonyvQkb¶£D d7d £DxmkbtIu pr y DYo}l}| dI4Ï vQo}l}uó{ FX´Ot7prc,vQu l}|ml}o}l}uó{ l}u `¶u `bd u `bd7pr {\mdIµdIonpr d7\l}k OVU RQ.£Dpru `bd6©Uh o»vQkmqsx,vQq0d O RQå´OvQkb £¤pr · `mlnt#` d · l}u l}kmqu d7· t `mkmln~>xbd7y twvQk\| d&vQmmo}lnd7exby l}kmqb´£¤prl}kby u#vQkbt7ds´A xmondXϹ|,vry d7¶y {Oy u dIcey o}l}Â6d g] Z O QåK² Wóu lny t7prcmondIu ddIkbprxmqs`®u py dI µdLvryWv|,vry lny£¤pr prxm m pr psy#vQovQkbFy l}cmond dIkbprxmqs`Àkbpruu p¶`ml}kbmdIu `bdevQmmo}lntwvQ|ml}o}l}uå{ pQ£u `bdu pAprol}k u `bd³mdIu#vQl}ony/pQ£ vcepr d³t7prcmondX± o»vQkmqsx,vQqds²
(91) !
(92) "6 57" _ `bd&qdIkbdI#vQo}l}¯°vQu lnprk®pr dI#vQu lnprk¦|{\,vQ#vQcedIu dI l}¯°vQu lnprkùlny Ox,vQo u pu `bd&l}kby u#vQku l»vQu lnprkFpr dI#vÏ u lnprk¸m d7y dIku d7®l}k®u `bd/m dIµAlnprxbyWy d7tIu lnprk?vQkb®u `bd/ÂdI{¶£Dpr m dI,vQ l}kmqùvet7prc prkbdIku&u pe| d ÂdImul}kevWo}l}|m#vQ {l}kpr mdIu p|.d¢ dIxby d7 DYl}kby u#vQk>u l»vQu lnprk\c\vw{Lu `bdIk| d vQmmo}lnd7³u p dIxby d¢l}Gu FX² Ç pru du `,vQuw´<xmkmo}l}ÂdIo}{?u `bd³l}kby u#vQku l»vQu lnprktIl}u d7¾vQ| pwµds´zprkbdpQ£u `bdy u xbtIu xm l}kmqFt7prkby u xbtIu y pQ£ u `bd X ZK\[]ùo»vQkmqsx,vQqds´u `mlnylnyvFcedIu#v?pr dI#vQu prw² WåkNu `bd f*ghjid\u pApro¹´ dIqsxmo»vQA X ZK\[] y u xbtIu xm l}kmq®t7prkby u xbtIu y l}o}o¥vQony#p¦|.d³l}cmondIcedIk>u d7Gvry/cedIu#vÏåpr dI#vQu pr yw²e_ `bdI{?`,v7µdeu `bd qpvQo pQ£6t7prcmxmu l}kmq¾vFÂAl}· kbpQ£ kbpr c\vQo}l}¯°vQu lnprk pQ£&v X ZK\[]Fy d7tIl¬«,twvQu lnprkU´y l}cmo}l¬£Y{Al}kmq?l}u y y u xbtIu xm ds´ · `bdIkÀu `bdpr dI#vQu lnprk¾lny · dIo}o¥mdX«bkbd7<´zl¹² ds²}´ · `bdIkÀl}u/qdIkbdI#vQu d7yv · dIo}o£¤pr ced7 y .d7tIl¬«,twvQu lnprk¸£Y prc1v dIo}oz£¤pr ced7?y .d7tIl¬«,twvQu lnprkU² WókFu `mlnyW,vQ.dIw´ · dt7prkbt7dIku #vQu dprk¸u `bd qdIkbdI#vQo}l}¯°vQu lnprk?pr.dI#vQu · prw² _ `bd qdIkbdI#vQo}l}¯°vQu lnprkùpr.dI#vQu pru `,vQu d m pr psy d `,vry¢vry¥c\vQl}k¶d H d7tIuu `bd6y#v£¤d y xm|by u l}u xOÏ u lnprk¦pQ£zl}kmmxmu y d7tIl¬«,twvQu lnprkbypQ£vLy d7tIl¬«,· twvQu lnprkùt7prc.prkbdIk>u|{vã¤pr c\vQo!,vQ#vQcedIu dI £D prc ·l}km`mq lnBt#` \u u `b`bdd\y tIxmo»vr|by y yu l}u pQxm£ u ced7¸pAmy dIond7ytIl¬p°«,µtwdIvQ u lnprk `mlnlnt#yW` vy d¦ d7t7tIprl»kbvQy o}l}u ¯° vQxbu tIlnuprkUpr²xm_ `my lnyWd7tIt7l¬pr«, tw vQd7u y ln.prprkUkb´mt7yWprkbu p y d7@ó~>dIxbkmdIo»kvQ u qro}{ Ï · · @ódIkmo»vQ qsl}km q B/u `bdÃtIo»vry#y pQ£cepAmdIony pQ£u `bd/kbd · t7prc prkbdIkuw² ä4×Xã ÔD Ñ Ü¤Ø¹ÒQÚQÝÓÕäæÔ ÚÜ çÔ¤ï Ý Ýá#ܹܹÒڰعÓÕÔÝÓÕÓÕã7ÔzܹãÚQÝ4Ó Ü¹Ý ÓÕÞ°òIÝ ÝÞ ãQܹ×#עܹÓÕÝ×X°ã/Û×Cعç,ÝæÔ¤Ý4Ô ãܹö ÒQá#ØÝlXÞ°ÓÕãRÓÕÔ¬lNâD×XrVÓÕlCã7Ý4ܹãQãQÝæÝæØåÔ¤á#ÔzöÕÓ ×#ü4çOá#ä4ܹÓÕ×C×XãQã ÔDuzܤع×CÚØäæܹع×CÝ Ø¹ÞÔ4ÚúQä4áCÓÕã_Ô¤Ô¤l ×7ä4r}ÓÓÕá ãQܹÔDÝ ÜåÞ&á#ã7ÖUܹÓôÓ á ܹܹÒ&ÓÕ×Xܹã ÒuUÝáç عä4ÝæöÝáCÔ¤ÜYà°ÔÛs×CÝ ç Ö<ÿá#×wØåÞÞÝ4ï öÕÔ4ú°áCö ܹÒ×X_Ú lCÒ&ܹÒÝÞ Ó ÝæعÝæãQä4Ý4Ô.Ó ã ܹÒQÝÚQãQÞÝæعö à°ÓÕ_ã lÔ¤mÓ lXãrá ܹÚعÝ4ÔUÿ á#ÙIÝzܹÒÝäæ×XÿÛrá عÓÕÔ¤×XãWã×CÜ<ÔDܤØåá#mÓ lXÒ7ܤç¬×#&Ø t k "!&#. . k . .
(93). .
(94) hk l [ . k, /. 5 .
(95). . . H. D. !$#&% n.. D. .. 1 !<?. 1 !<?. íí ã vwxGyz.
(96) . ). (
(97) $ . #$
(98) a + . %
(99)
(100) +# %G 5
(101) aC
(102) a+=+2.
(103) É '% +
(104) $- 6# + "
(105) 1 " #$
(106) &% " V% 8 %;<
(107) a #$""G+ % < . # C; s C("G+ 8'
(108) $# 0 %G ; #$
(109) &%
(110) # C #
(111) a3 G+7# :+
(112) ( % < a .%4- 3R G+%;<7)
(113) a3_ #$"" j .- 8 # +9
(114) ! " #$
(115) $%
(116) a+ # % ."G+2.#9 -
(117) a +2" 2#$
(118) $% "! $# %'& ( *) !<#&%S% 0>.W. ')'+* . H % O 3 !f:;!<#@%S% 0.7.@F!$#&%GF!<#&%S% 0>.W. = +$ 4G6 H 'X!<#&%S% 0>.W. DE!<#&% ,- & #'NM/# )'9!$#&%S% 0.7.F % !'X!<#&%GF 476 H :>. H % O =`* ,/.0219F 476 H : ! :#'NM % !nM/# )R==*. . / +
(119) (0() # 21 . #?@?R:2% !nM/#?@?R:]476 H :#'R=GMU4G6 H :># )N=== . /
(120) + (0
(121) '1 . Q 3
(122) ++ "
(123) 1 " #$
(124) &% E( "
(125) "-54 8'
(126) # % C
(127) V #$
(128) &% G% # % N
(129) a.# % 6 87$9n:$fe<;= %'& ( *) !<#&%S% 0>.W. ')'+* . H % O 3 !f:;!<#@%S% 0.7.@FU4&F!<#@%S% 0.7. = +$ 4G6 H 'X!<#&%S% 0>.W. D 4 ,- & Q. #'NM/# )'9!$#&%S% 0.7.F % !' 4&F 476 H :>. H % O =`* <F 476 H : ! :#'NM % !nM/# )R==*. ?>. Q Q. 1 :2% !ZM 1 :]476 H. :#('$=7MU4G6 H. :># )N==>=. . / +
(130) (0() # 21 . . /
(131) + (0
(132) '1 .. 8 9n:$fe<; @+ & + +$A a +B %G +DC+ FE + G#IH ¨ tIu x,vQo}o}{´zl}k X ZK\[]O´<u `bdI dlnyLkbpù d7y u lntIu lnprkNprku `bdey dIc\vQku lnt\l}ku dI m dIu#vQu lnprkªpQ£ ,vÏ #vQcedIu dI6vQkb¦l}c pr u d7ùy d7tIl¬«,twvQu lnprkbyw²KóW u lnydX±A d7tIu d7¦`bp · dIµdI6u `,vQu,vQ#vQcedIu dI y`,vwµdLv. onpApsy dy dIc\vQku lnt7y · `ml}ondl}c pr u yWt7pr d7y .prkb?cepr d³pQ£Yu dIk?u p¶bvQu#v\uó{> d7yw²WÄbpr/y l}cmo}lntIl}uå{´ ·l}¯°dvQu vrlnpry kNy xmcepr.d/dI#u vQ`mu lnlnyprmkU#´zvr|mtIxmu lnuÃt7du `bl}kFdemu `bdX«bd/kmcel}u prlnpru l}kbµsyÃvQu mlnpr d7k?y#dIvQkkbu Fd7¾l}kO`b£¤prdI c\dvQmozpFmkb prd7y#u/dI kdIu#o}vQ{?u lnprprk¾k¸l}pQuL£vQu kb`bd/qdIprkb dI #vQl}o¬k Ï · cepr dÃqdIkbdI#vQozy l}u x,vQu lnprkbyw² d/kbp £Dpr c\vQo}o}{¦mdX«bkbdÃu `mlny6cedIu#v³qdIkbdI#vQo}l}¯°vQu lnprk?pr dI#vQu prw´mm d7y dIk>u l}kmqu `bdLt7prkbOl¬Ï u lnprkbyu `,vQu· cLxby u¥|.dy#vQu lny «,d7³£Dpru `bd6pr.dI#vQu lnprkeu pÃ|.dtwvQ lnd7prxmuy#v£DdIo}{ DYl¹² ds²}´qdIkbdI#vQu l}kmq v · dIo}ob£¤pr ced7\y .d7tIl¬«,twvQu lnprk¦t7prc.prkbdIk>Gu F¥vQkb\u `bd pr|mu#vQl}kbd7 d7y xmo}u ywI² JdX«bkml}u lnprkby OV² U&vQkb K ×Xá1ö ÞWlXÝ4ãrãéá#Ýæ×#ÿØåܹáCÝ Ý4öÕÓÕÔUܹü Òrá ÿ á ܹÓÜ,á4×Cà&ܹã/ÒãÝ<ÖU×CöÕÓÜU×7öÕö>عä FÝ×CáCYQçörܹÝ4ÓÝæÞ°äæãÜUÝ4ã7ßsܹܹÒQÝmÓ Ý4oQç¬Ó Ýæ×CØzعöÕöÔãQ× ÝóÖ.r}ÖÝXÝ ï lÞ/lCïÕÝ4
(133) ú ßwãQLNà6ÝæMPØåá¥OQá#OöÕعRÓ Ý4üæSTãrÝ SUÞ/á#áCÿãrÔ¤Ý4ÓVÞ ãRÿ l¢U*áCW(×#ã7X çbܹÓÕumö ä4×7Ô4á#ä4úQعáCÝ<áCö à/Ôzã×CÓÕÞ°ÜzÜ.Ý ÓÕoráCÔUãÚÜ¹Ý Ü¹ÒQ×CÞ6Ýÿ Ó ä Þ°á#á#Ý4ܹԤã7ÓÕÝ¥ä ܹá#ÓmÒoQö ö ÝæÝæà¥Ø¹Ø¹ÝXعÔ4ï Ý4ï ãrÑ á#ÒQÿÓÕÔUÝ ÞÿúIÝ áCáCãQãÞÔUܹܹÒQÒQÝ4á#Ó ÜØ ìYéízìDî.
(134) .
(135)
(136)
(137) ! " #$
(138) &% '% () % *#+, .-0/1 +234
(139) 6578'
(140) $#9/:;%4% <=+. O ²ÕfFl}ku pAOxbt7dt7prkbOl}u lnprkby£¤prÃu `bdqdIkbdI#vQo}l}¯°vQu lnprkªpr.dI#vQu lnprkGu pF| d\mdX«bkbd7<´ · `ml}ond¶mdX«mÏ kml}u lnprkby/O²Õ¶vQkb?O² ¶l}kbOlntwvQu d`bp · u p¶pr|mu#vQl}k?u `bdqdIkbdI#vQo}l}¯wd7 y d7tIl¬«,twvQu lnprk t7prc prkbdIkuw² WókvQo}o¥pQ£ u `bd7y dmdX«bkml}u lnprkby³vQkbÀu `m prxmqs`bprxmuLu `bd,vQ dI · d\t7prkby lnmdILu `bd³qsl}µdIkGpr l}qsl}k,vQo y .d7tIl¬«,twvQu lnprkFu pe|.d É O Q É
(141) \É Î prw´Ol¬£l}u lnykbpru6vQo} dwvrO{¦,vQ#vQcedIu dI l}¯wd7<´ É
(142) É eÉ Î _ `bdà d7y xmo}u l}kmqy l}qsk,vQu xm dpQ£¥vQo}oUl}c.pr u yvQkb¦£¤pr c\vQoz,vQ#vQcedIu dI y&lny6mdIkbpru d7 ´,vQkb D´slnyu `bd dX±Ou dIkby lnprk\pQ£<u `mlnyy l}qsk,vQu xm d |{³u `bd y#pr u y¥vQkb\pr dI#vQu pr yonpAtwvQo}o}{md7tIo»vQ d7 l}kby lnm d !#" %$ " %&'" )('*+ ),
(143) " X´ · `bdI -d #" %$ " %&." vQ d d7y .d7tIu l}µdIo}{®u `bd y#dIu yepQ£y#pr u yw´pr dI#vQu pr y\vQkbªµsvQ l»vQ|mond7y\md7tIo»vQ d7l}/k 0213, " lnyeu `bdùy dIu\pQ£Ãv±Olnprcey l}k>u p>Oxbt7d7e|+{ 021svQkb- ('*4 >t7pr d7y .prkbmyu pWu `bd¢£D d7d bvQu#vQuå{A.dmd7tIo»vQ#vQu lnprkbypQ5£ 6s² _ `bd&t7prcmondIu d&y l}qsk,vQu xm d&t7pr d7y prkbOl}kmqu p ¸lnymdIkbpru d7\|>4{ ´ · `bdI 7d ! %$8 X² ¨ ony pm´Ou `bdW£¤pro}onp · l}kmq\£YxmkbtIu lnprkbyWvQ d/xby d7¦l}kùu `bd7y dÃmdX«bkml}u lnprkby°º hWl}µdIkvQk¾v±Alnprc ´9 : ; < 0= & dIu xm kbyu `bdy dIupQ£¢pr dI#vQu pr yÃpAt7tIxm l}kmqùl}k ´vQkb½|{½dX±Au dIkby lnprk)u pªy dIu yùpQ£³v±Olnprceyw´ · dÀmdX«bkb>d % ; ? 0= A@ 0BDC)EGF @D % ; ? 0= :BDC)EGF² hWl}µdIk?vepr.dI#vQu pr7 A´ 0= H dIu xm kby6u `bdÃy#dIu6pQ£y pr u y pAt7tIxm l}kmq\l}k®u `bdÃm pQÏ «bondÃpQI£ A´!vQkbù|{ùdX±Ou dIkby lnprkFu pey dIu y6pQ£pr dI#vQu pr yw´ · dÃmdX«bkbd G= A@D BDJ EGK @ 0= H :B J E0K² L?pr d7pwµdIw´Qqsl}µdIkv y#dIuUpQ£mv±OlnprceM y L\´ · d¥mdX«bkbd 0= HL 0= H % ; ? 0= HL X² hWl}µdIkªvFt7prc prkbdIku ¥N´ " O$ Ãy u#vQkbmyã¤prLu `bd¶y dIupQ£6pr dI#vQu pr ypQ£ u `bd d7y xmo}u l}kmq l}c.pr u y vQkb ,vQ#vQcedIu dI y y l}qsk,vQu xm dGpQ£u `bdy d7tIl¬«,twvQu lnprk2t7prc prkbdIku D!´£¤pr³u `bd¦vQ| pwµd dFLu `,vQuepAt7tIxml}kvQk>{NpQ£Wl}u y³onp>twvQo v±Olnprcey DH, " £Dpr jFX² P3 GQ R!$8 y u#vQkbmy £¤pr6u `bdy dIuWpQ£onpAtwvQo}o}{Fmd7tIo»vQ d7 pr.dI#vQu pr 0y DDdIl}u `bdIl}k $8
(144) " prS ('* ´Ol}kùu `bdLtwvry dÃpQ£ jFX² _ `mlnym dwvQc|mond l}o}okbpru¶| d¸ dI.dwvQu d7 l}k½dwvrt `)pQ£Lu `bd mdX«bkml}u lnprkbyw´&|mxmu¶y `bprxmon | d vry#y xmced7¦|{¦u `bd/ dwvr·mdIw² _+-
(145) TùÉ N YÍ VU Î W W¾Í É O Í \ Í Î YÍ 5X :
(146) 3_ +9
(147) ! " #$
(148) &% +2
(149) ""-b "% 3_ +G
(150) V . # " ( % 9
(151) a+G( a
(152) 6 + 2 +. $
(153) # % + $ #
(154) + <. # 8Y[Z bvQkmqso}l}kmq pr dI#vQu pr y6t7prkbOl}u lnprk <2%
(155) < . bgd. . bgd. <. . . [. L . [. . . . . . . . '. D. P*. :. M. M. M. M i. m=. M. M. . bgd. & . . *. . :. :. . . & . :. . bgd. . . = * : =*. ==. . :]bgdn=. Jbcd. U. `=*. : &=. . : @=. . . :. . . . =. : =. . . . M. : T=. . & . & . :. . bgd. :]bcdn=. gbgd. . . . . . . . '. . bgd. D. bgd. ] \ '. :! Y[Z=7M \ %. ] " O$ . . :]bgdn=7M ^]. ` _ G= :H %^=3ab % ] . :! Y[Z@=. c Øå×Cá#çmÜ¹Ó ÓÕܹ×XéÔUãä4×#Ô<×XܹáCÝÿãQܹÛsÞ6ÒQ×Cá#áãQÜ °Ý4Ó çôã7×CعܹÿÝ4Ô4Ýï Ô4ÞQï*á n°Üå×°á#úwÜJàܹÒQÛsÝ<ÝعÞÚQÝæöÕä4Ý4ö Ô<á#Øåá#á#ãrÜ¹Þ ÓÕ×CÞãQÝYÔUorä ãQáCÓ ã6ܹÓÕ×XßsãÝÔ!ްܹÝ4ÒQä4á#×CÜ<ÿá#ÛsÛQ×XÛÔ¤öÕÝ à¢Þ ܹ×ÓÕãwܹܹÒ×¥Ý4Ô¤Ô¤×CÝؤÜ<×Cß°ÞâYÝ4Ý4ä4äæö ܹá Ô Øåá#ä4ܹáCÓÕã6×XãßsÔ4Ýúr×Xá#ÛQÛsÛQÝóØåöÕÓÕá#Ý Ü¹Þ ×CØzܹץްÝ4Ý ä4áCö äåá=Ò t. íí ã vwxGyz.
(156) Uw. ). (
(157) $ . #$
(158) a +. %
(159)
(160) +# %G 5
(161) aC
(162) a+=+2 . _ `mlny&t7prkbOl}u lnprkÀvQl}ceyWu peqsx,vQ#vQku d7du `,vQu&u `bdv±Olnprcey&pQ£ 0¦vQ d · dIo}o£¤pr ced7?v£Du dI qdIkbdI#vQo}l}¯°vQu lnprkU²/Ä,prWl}kby u#vQkbt7ds´!l¬£ vQk¸l}c pr u d7¸y#pr u lnyWqdIkbdI#vQo}l}¯wd7¾vQkb¸y xm|by u l}u xmu d7 |>{ vQkb u `bdk,vQu xm#vQovrmOl}u lnprkpAt7tIxm yl}kvQkv±OlnprcF´Ul}u/cLxby uLvQony p¦|.d³qdIkbdI#vQo}l}¯wd7NvQkb y xm|by u l}u xmu d7ù|{ùvt7pr d7y prkbOl}kmqe|ml}k,vQ {ùpr dI#vQu lnprk®pwµdI ²
(163) É '% +
(164) $- 6# A+9
(165) ! " #$
(166) &% %;<
(167) .
(168) #$ "+ %;<A. # C; 1 C("G+ %;< i
(169) . . ( VGN 3 ( % 9
(170) a+G(. @+ & +$I ' M
(171) M %"' D M %"'
(172) D @+ &
(173) $+ I ;0 '@
(174) 7M Q '@
(175) fD . '. D
(176) GM> '
(177) .
(178).
(179) D.
(180) . . +2 #$
(181) a+a1G+ # -
(182) a %G ; # % =+0 "% .-
(183) $#$
(184) &% "" " +2`# N% %G ; # % N# C #!
(185) a+ % #
(186) #
(187) (` %;<
(188) a+ N .-E
(189) $#
(190) a+ % # +4 -b
(191) a #
(192) $% (N+ %;< 3
(193) a+ ( % 9
(194) a+G(
(195) a+N.% #:(
(196)
(197) ( ( :
(198) a # +2 +2 # C # Q
(199) a+0 #&#
(200) -
(201)
(202) # . % #+2"-
(203) :# N% # C .-s# ,( % 9
(204) a+G( < . g' (+ & D @ + & .
(205) . . - % G+ .% #'+ #$
(206) a+a<
(207) # N-
(208) A% # % G+ "% .-
(209) #$
(210) &% s_+
(211) $#!- % + % #! #&#
(212) a / %G # % G+ %
(213) # #1 +2 -
(214) # , V%4 "
(215) &% ( + 1N. ùÉ N YÍ U<,É zÉ O YÍ Í Î JÍ IX % 3_ +G
(216) V . # C ( % 9
(217) a+G( Y[Z t7prkbOl}u lnprk <2%
(218) < T. . . . . . . '. . -D. bgd. ] M \ .. ] . ` _ 0= :HP3 GQU R!$ . . :]bgdn=. ;0. -. . :
(219) 3_6 + 2
(220) ! = #$
(221) $% bcd _+1-G+
(222) "
(223) ++
(224) &- # % + #$
(225) a+a<
(226) # qdIkbdI#vQo}l}¯°vQu lnprk " O$ . :]bgdn==5a. ] . :! Y[Z@=. _ `mlnyt7prkbOl}u lnprk DYu prqdIu `bdI · l}u `¶mdX£ ²ÕO²VU Fqsx,vQ#vQk>u d7d7y u `,vQu¥u `bd&kbd · £¤pr c\vQo,,vQ#vQcedIu dI t7p°µdI y/vQo}odX±Ou dI k,vQoy l}qsk,vQu xm dkbd7d7myWpQ£ 0b´.vQo}onp l}kmq¦l}u6u p\ dImo»vrt7dvQo}om dIµ>lnprxby o}{ùl}c³Ï pr u d7evQkb³,vQ#vQcedIu dIy .d7tIl¬«,twvQu lnprkbyw² ¨ · dwvQÂdI£¤pr· c pQ£ qdIkbdI#vQo}l}¯°vQu lnprk\c\v7{| dtwvQ lnd7 prxmu`bp · dIµdIw´.dIµdIkFl¬£u `mlny t7prkbOl}u lnprk®lnykbpru&y#vQu lny4«,d7<´bvry y `bp · k®o»vQu dIl}kFu `mlny6y d7tIu lnprkU²
(227) É '% +
(228) $-
(229) # +9
(230) ! " #$
(231) $% %;<) () . V N 3 ( % . .
(232) +( % <) () . G #$
(233) a3
(234) $ + #$
(235) a+a:G+7# 1
(236) V #$
(237) &% "% .-
(238) #$
(239) &% <% +
(240) a
(241) + # ,% *
(242) () % #9 -A+% #s
(243) a .-
(244) $#K
(245) a+, #&#
(246) -
(247) . . < . ùÉ N YÍ. . U<,É zÉ O YÍ O É wQ YO JÍ IX :
(248) a3 7+9
(249) ! " #$
(250) $% bgd + - G+2
(251) ""- % 3_ P+
(252) I . # C E(`% .% ( % 9
(253) a+G( '. YAZ D # # + #$
(254) a+a:G+#
(255) V #$
(256) $% "% .-
(257) #$
(258) &% / -<P G
(259) 16<% # + 2
(260) ! = #$
(261) $% bcd .-
(262) #+
(263) 3_G+2E( %
(264) +( "! 'Z :! Y[Z@= D 8Y[Z -K qdIkbdI#vQo}l}¯°vQu lnprk y l}qsk,vQu xm du #vQkby o»vQu lnprkG£DxmkbtIu lnprk. T. # ÓÕãCâYÝ4äæܹÓÕòIÝÿ×CعÛÒQÓÕÔ¤ÿ. ìYéízìDî.
(265)
(266)
(267)
(268) ! " #$
(269) &% '% () % *#+, .-0/1 +234
(270) 6578'
(271) $#9/:;%4% <=+ : = Y 'N N M Y '$8 $
(272) = `. Y *. . + C% 8' " V% 8
(273) < ] :!Y[Z=. # +G
Documents relatifs
[r]
Certes, une partie de la frontière Est avec l’Iran est globalement l’héritage d’une longue histoire marquant la séparation entre le monde ottoman et le monde iranien,
Dans House of Leaves, chaque voix ou presque a son caractère propre et l’hétérogénéité typographique qui en résulte donne à voir un théâtre de voix : Times pour Zampano,
Selon les régions, les divers types sont plus ou moins bien représentés. Sont négligées de la même manière les zones montagneuses de l'Est, les Alpes et le Jura,
Ten microalgal strains indigenous to Quebec were examined for biomass and lipid productivity under different growth modes: photoautotrophic, mixotrophic (light), and
Dans le cas où entre les objets, les types d’énonciation, les concepts, les choix thématiques, on pourrait définir une régularité (un ordre, des corrélations,
Les vaccins anticancéreux ont donné des succès cliniques limités dans le cancer de la prostate. Le vaccin de cellules tumorales GVAX en est un exemple. L'immunosuppression
Au-delà d'importantes différences d'un club à l'autre, les diri¬ geants apprécient le soutien que les ultras apportent à l'équipe et ils acceptent de coopérer avec eux tout
