Preuve de propriétés de comportement deprogrammes ProActive
21
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Preuve de propriétés de comportement de programmes ProActive Rabéa Boulifa — Eric Madelaine. N° 4460 Mai 2002. ISSN 0249-6399. ISRN INRIA/RR--4460--FR. THÈME 2. apport de recherche.
(3)
(4)
(5)
(6)
(7) !
(8)
(9) " #$% ! &'( )*,+.-/*10$243658789:*;/<>=@?A78B CD*FE6GH5I*,7KJ6G>L MONQPSRUT V WYX[ZS\Q]^T@_a`cbH]ad]^TS_ Tefdgh_id(jk_ml:noR pF`c_a]iqHjkT rtsu`hvwT(e[x[gHl:]il yghzkz,`Hs:e{|T@suTSd}NQTSsud}NkT\F~c/c$Wgh] VhHHV@W zkgcbcTSl oA f`cjkl@Zejk{Q]^`H\kl@_aTSl RZeNQ`|{|TAl {|TzQsuTjQHT{|TSl zQs`HzQsu]^ZeZSl@d`cRzF`cseTRTS\He}gh_aTSl@{ ghzkzQ_^]idghe]a`c\kl Hgg{|]ilweus]apQjQZSTSl{Qgh\kl_aTSluqHjkT_a_^TAlf_aTSlf`cp|vwTeul[l:jQs{|TAll]euTSl[{|]^FZSsTS\He}ld`o`czFPsuT\/efzkgcsghzkz,TS_al[{|]ilw e}gh\/eul{|T RZeNQ`|{|TAl¡O¢ g£pk]^pQ_a]a`heNkPSq/jQT¤¥u¦S§¨(©Iª¬« ®¯`HjQsu\Q]ejQ\°R`ncTS\°l:]aRzQ_^T T(eT±dgcdTzF`cjQs RTe:esuTfTS\`oTjQosuTfd(Te:euTd(`o`Hz,ZSsughe]a`c\zkgcs.{|Z²k\Q]^e]a`c\{|TzQsu]^R]^e]acTSlq/jQ],®8gcd(]a_a]euT\/e._ig zQsu`cbHsugcRRgh eu]^`H\
(10) {Q]al:esu]^pkjQZTH¡ f`cjklzQsuZSlT\/e`H\kl.jQ\QT[RUZeNQ`|{|T[zF`cjQs{|Z²k\Q]asO{QTSl.RU`|{|PS_^TAlOd(`cRzF`cseTSRUTS\/eughjQ³4´od(`HRz,`/l:]^e]a`c\| \kT_il´/z,`HjQsOd(TSlghzkzQ_^]idghe]a`c\kl.{|]ilweus]apQjQZSTSlS´HTS\\Q`cj,l'suTSl:esuT]abc\kgc\/e'ghjdSgcllgc\kl'dsZAge]a`c\{Qn/\,ghR]aq/jQT {m `Hp|vwT(e}lgcd(e]^®8l¡`HjklR`c\/eus`H\kld(`HRRUTS\/ezQsu`cjQHTsq/jQT dTseugh]a\QTAlghzQzks`³|]aRghe]a`c\klU²,\Q]^TAl{Qj R`|{|PS_^T{ jQ\`cp|vwTe@gHdµeu]®OsTSzQsuZSlT\/eTS\He²,{|PS_^TSRUTS\/e l:`H\ d(`HRz,`Hs:euTRT\/eS¡m¢' gc\kgh_an|l:T{|TAlzQs`HzQsu]^Z euZSl {QT_K ghzQzk_^]idghe]a`c\·¶¯suTSd}NQTSsud}NQT{ ]^\/euTsIpQ_a`|dgcbcTc´zksTSjQcTAl[{QTzQs`HzQsu]^ZeZSl@{QTl:¸QsuT(euZA¹[zFTj|eUgh_a`cs}l º esuTd(`H\k{|jQ]^eTH´ljQs d(TAl@R`|{|P_aTSl²,\Q]al$d(`HRUzF`Hl]^e]a`c\Q\QTS_alS´mTS\jQe]a_^]ilgc\/e${|TSl `cj|eu]^_il {|THZsu]²Fdgeu]^`H\ gcj|e`HRge]iq/jQTSlp,gclZSlljQsjQ\QTlZRgc\Heu]aq/jQTd`cRzF`cseTRTS\He}gh_aT»zkghspQ]il]^R$jQ_aghe]a`c\m¡O¼.TSlgc\kgh_an|l:TAl d`cRzF`Hl]eu]^`H\Q\QT_a_aTSl@\QT\QZSdTSlul:]^eugc\He z,gcl {QTd(`H\klweusjk]^suT_K TSlzkgHd(T{ Z(e}geul bc_a`cpkgc_K´l:`Hj|FsuT\/e R`c]a\kl {QjzQsu`cpQ_aPRT[{iu½¾,¿^¦Àµª8¦Á ÂH¿:à (ÀI¾QÄc¨}UÂmà ũÆÄh©.q/jQT_ag$zQ_ajQzkghse{QTSlghzQzQsu`|d}NQTSl{|jR`|{|TS_Çd}NQTSd}Èo]a\Qbk¡ ÉËÊkÌA(Í}Îcϯo Dzks`HzQs]aZ(euZSl{|TzQs`Hbcs}ghRRTSlS´kHZsu]²,dSgeu]^`H\m´kR`|{|P_aTSl²k\k]alS´mgh_abcPSpQsTAlf{|TUzQsu`|d(TSluljkl´ lZRgc\Heu]aq/jQT@d`cRz,`/l:]^e]a`c\k\QT_a_^TH´kcggU{|]ilweus]apQjQZH´Ql:ZAd(jQsu]euZc¡ Ð.ätÑå ã8Ò}ÚÛÓhæ(Ô:Õ ç@ÒAÕ Ò}Ö4èA×µÔ:ØÙáÒ}ÙÛÚ ÚÛÜaâAÒ(ÔuÝÝÞIÞK×µ×µßßààÚáÒAÚáÒAÕ ÚÛÕ âAÚÛâãKã8ÚáÒAÚáÒAÕ Ü^Õ ãÜ^ã. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.
(11) #f
(12) m6( &'( " # S Ì
(13) QÎcÌc Tl:ejk{|n gRT(euNQ`|{ ®¯`Hszks`o]a\QbpFTNkgo]a`cjQs}gh_/zQsu`czFTse]aTSl ®¯`cst{|]ilweus]apQj|euTS{$HggfgczQzQ_a] dSgeu]^`H\klO]^\,l:]i{|T NQ]id}N»`cp|vwTAdµeul`c\ {|]^FTSsTS\HeflT(ee]a\Qbd(`o`Hz,TSsugheTponsuTR`heuT[RTeNQ`|{ dgc_^_ilS¡¤¥¦A§f ¨ ©Iª¬« _^]apQs}ghsunzQsu`o]a{QTSlNk]^bHN _aTcTS_ zQsu]aRU]^e]acTAleuNkgeTSgHl:T eNQTUzQsu`cbcs}ghRR]a\Qb`h®>euNQ`HlT${Q]al:esu]^pkj|eTA{ gczQzQ_a]adSgeu]^`H\kl¡ Ç\$eNQ]iltzkgcz,TSsS ´ TObc]acTOg[RUTeNQ`|{ ®¯`cs>d`c\kl:esujkdµeu]^\kbf²k\k]euTpFTN,g/]a`cjksugc_HR`|{|T_il®¯`cs>{Q]al:esu]^pkj|eTA{ Hgg ghzQzk_^]idghe]a`c\klS´6pQjQ]a_a{|]a\Qb eNQT
(14) gclul:jQRz|eu]^`H\ ]^eNQ`Hj|e euNQT{|no\kgcR]add(suTSgeu]^`H\£`h®`cpQvwTSdµe}l¡ T {Q]alzQ_ignc´6NQ ` pon ]a\oc`H_^o]a\Qb l`cRT²k\k]euTghzkzQs`³|]aRge]a`c\`c®eNQT
(15) gcd(e]^®`cp|vwTAdµeU{QTzQ]idµed(_a`HlT_an Nk]al pFTN,g/]a`cjksS¡ \,gh_anol]il@`h®.eNQTgczQzQ_a]adSgeu]^`H\m lzks`Hz,TSs:eu]^TAl¶8lTSghs}d}N `c®O{QTSgc{Q_^`|d}È4´ lug®¯T(ewn zQsu`czFTse]aTSl}¹ dSgh\ p,T _aTSgH{|TS{ `c\ eNk]ald`cRzF`Hl]eu]^`H\Q\QT_il$²k\Q]^eT R`|{|T_ilS´.jkl]a\QbcTsu]^²,dghe]a`c\ eu`o`c_il:TeulpkgHl:TA{1`H\ pFTN,g/]a`cjksugc_4lTRgc\Heu]ad[ponpQ]il]^R$jQ_aghe]a`c\m¡ MONQ`/l:Td(`cRzF`Hl:e]a`c\Q\,gh_Qgh\,gh_anol]il>{|`c\ e'\kTTS{pkjQ]^_i{|]a\Qb g@bH_^`Hpkgh_,l:n|l:eTR»´/gc`c]i{|]a\Qb[eNQTzQsu`cpQ_aTR `c®R`Hl:eR`|{|T_^Æd}NkTSd}ÈcTSsS´HeNkT½¾,¿a¦Àµª8¦Á Àµ©ÆÄh©Æ(Àµ¡ 4 Í Ê c!zQsu`cbHsugcR zQsu`czFTse]aTSlS´ cTSs]^²,dSge]a`c\ ´²k\Q]^eTRU`|{|TS_alS´ zks`|d(TAlljkl gc_^bHTpQs}gQ´d(`cRzF`Hl] eu]^`H\kgh_mlTRgc\Heu]adc´Q{|]ilweus]apQj|euTS{ cggk´olTSdjQsu]ewnH¡.
(16) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . . . . . . »'($ ¢g suTSd}NQTSsud}NkTfd(`H\kd(TSs\kgc\/e'_^TAlzQs`HzQsu]^ZeZSl.{|T[zQs`Hbcs}ghRRTSl'Hgg TAlwegcd(ejQTS_^_aTRT\/e.esuPSlOgcd(e]acTc´ TS\zkghse]id(jk_^]aTs>{Qgc\kl>_aTSl'{|`cRgh]a\QTAl>{|T_ig@l:ZAd(jQsu]^eZzF`cjQs>_aTSl.gcd(e]a/]^eZAl>{|Tfd`cRRTs}d(TTS\U_a]abc\QT ¶8]a{QT\| eu]²Fdgeu]^`H\TeOgcj|eNQTS\/e]^²,dghe]a`c\m´|d(`H\|²,{|TS\/e]igh_a]euZc´o{|T\k`c\|Æ]^\/euTs®¯ZsuT\kdTA¹µ´o{ gh\kgc_^n|lT{|T[zQsu`cbHsugcRURTAl R$jQ_^e]^KeuNQsTAgc{|ZAl´|Teghjklul:]m{m ]a\/eTs}gcd(e]a`c\»{ ghzQzQ_aT(e}l´kT\
(17) zkghse]id(jQ_a]aTszF`cjQsfHgg/¼ghs}{¡ Ç_FnUg RU`H]^\,l.{|Tes}ggcj|³qHjk],lS ]a\/eZsuTSlulT\/e'ghj|³zQsu`czQsu]aZ(eZAl'd`cRz,`Hs:euTRT\/e}gh_aTSl>{ ghzkzQ_^]idghe]a`c\kl {Q]al:esu]^pkjQZTAlljQs Ç\/euTsu\QT(eA¡¼.TAlgczQzQ_a]adSge]a`c\,l®¯`H\He[jQ\jklughbHT ]a\/eT\,l:]^®'{|T{|]4ZsuT\/e}lewnozFTSl[{|T zQsu`h eu`|d(`c_aTSlS´mTS\HeusT_^TAl {|]^FZSsTS\/eTSl T\/e]^eZAl { jQ\1lTsuo]adT Ç\/eTsu\QTeS¡ >_^_aTSlUl:`H\/e$d(`H\klweusjk]euTSl gcj|Æ{QTSlul:jkl {QTpQ]apQ_^]a`heuNQPSq/jQTAl@®¯`HjQs\k]alulgc\/e@{QTSl zks]aR]eu]^HTSl@TeU{|TAl@RZ(eNk`o{QTSl lzFZSd(]^²,q/jQTAl¶8y µ´6c]a\Q]K´6/¼ Qr I´ t`nHgcbcTs Æ´FT(eudc¡ ¹(¡ fjvw`cjksu{ NojQ]I´FlS ]a_T(³|]al:eTUq/jQT_iq/jQTSlfzQ_agheTAlwI®¯`csuRTSl_a`cbH]ad]^TS_^_aTSlfz,TSsRT(eeugc\He _I gh\kgc_^n|lT{|TAl6zQsu`czQsu]^ZeZAl ®¯`H\kdµeu]^`H\Q\QTS_^_aTSlt{|TOzQsu`cbHsugcRRUTAlHggfR`H\Q`hm`Hj$R$jQ_eu]IeNksTAgc{|ZAl´ghj,d(jQ\QT \ `cFsuT{|TSl>z,`/ll]^pk]^_a]euZSl>{m gc\kgh_an|l:TlS gH{|sTAllugh\/e>ghjQ³$ghzQzk_^]idghe]a`c\kl>{Q]al:esu]^pkjQZTAl´hzksTS\kgh\/e>T\d`cRz|eT _aTSlOzks]aR]eu]^HTSl{|T@Nkgcj|e\Q]acTSgcj®¯`HjQsu\Q]^TAlOzkghs_aTSlOpk]^pQ_a]a`heNkPSq/jQTSlf{|]alzF`c\Q]apQ_aTSlS¡ ¢ Tes}ggc]^_m{QZSd(su]^eO]id(]l:T l]eujQT {Qgc\klO_^T d`c\/eT³oeT@{ ghzQzQ_a]idgeu]^`H\klHggU`
(18) {|TAl`cpQvwT(eulljQsf{Q]4Z( suT\/e}ll]euTSl6d(`o`Hz,PSsTS\HezkghstgczQz,TS_al6{|TzQsu`|d(ZS{QjQsTAl{Q]al:eugc\He}l¡¢ gpQ]apQ_a]^`ceNQPAqHjkT¤¥u¦S§¨(©Iª¬« /®¯`HjQsu\Q]e {QTSl[zQsu]^R]^e]acTSl@{QTUN,ghj|e@\Q]acTAghj zF`cjks[zks`Hbcs}ghRRTsd(TSl[`Hp|vwT(e}l[gHdµeu]®8lS¡m`HjklT\{|Z(²,\Q]alul`c\kl[jQ\QT lZRgc\Heu]aq/jQTT\eTsuRT[{QT[ln|lweuPRTSlO{|Tes}gh\kl]^e]a`c\kl.Z(eu]aq/jQTeZTAl´|{Qgc\kl_^TAlq/jQTS_al._aTSlOgcd(e]a`c\kl{|T@l:no\| d}Nks`H\Q]alugeu]^`H\1suTzQsuZSlT\/euT\/e_^TAlsuTSq/j º euTSl¶KghzQzFT_il{QT zQs`|dZS{|jQsuTSl}¹UT(e_^TAlsZSz,`H\klTSl ¶¯suT(eu`cjQs}l{|T gc_^TSjQsul}¹.T\/esuT`cp|vwTeul{|]il:eugh\/e}l¡ ¢gd(`c\,lweusjkd(e]a`c\ {|T@R`|{|P_aTSl²k\Q]ilzF`cjQsf{QTSlzQsu`cbHsugcRRUTAlcgg»¶¯`Hj ¤¥¦S§¨©Kª¬«¹suZT_ilOTSl:e{|T Rgc\Q]^PSsTUbcZS\QZs}gh_aT jk\QTUe cd}NkTU{|]^±d(]a_^TH´RT(e:e}gh\/e@T\vwTj{|]4ZsuT\QeTSl[euTSd}NQ\k]aq/jQTAl[{m gcpklweusugHdµeu]^`H\ T(e {m gczQzQsu`³o]aRgeu]^`H\m¡ f\pF`c\T³|TRzQ_aT[{|Td(TAl.eTSd}Nk\Q]aq/jQTAl'TAlwe®¯`cjks\Q]4zkgcs._aT[_^`Hbc]id(]aT_ gc\k{|TSsug o]^_ jQe]a_^]il:T[{|TSl>eTAd}NQ\Q]iqHjkTSll:`HzQNQ]ilweu]aq/jQZSTSl>{|T[{|ZSd`cjQz,ghbcT ¶Kl:_a]id(]a\Qb/¹>T(e{m ]a\/eTsuzQsuZ(e}ge]a`c\gcpkl:es}gh]^eTzF`cjQs d`c\kl:esujQ]asT
(19) jQ\ R`o{QP_aT»²k\Q]fgc\kgh_an|lgcpQ_^Tzkghs{QTSl µR`|{|TS_Çd}NQTSd}ÈHTs}l d(_igclul:]iq/jQTSld(`HRRUT ozk]^\·T(e k ¡Qf`cjklOzQsu`czF`Hl`c\,l.jk\QT@ghzQzQsu`|d}NQTl:]aR]^_igh]asT[Rgh]il´|zF`cjksOes}gh]^eTs{|TAlO`cp|vwTeul{|]il:esu]^pQjkZSlS´/\k`cjkl zksZ®¯Zsu`c\kld(`H\kl:esujQ]^suT{|TSl@R`|{|PS_^TAl@d(`cRzF`Hl]eu]^`H\Q\QTS_alpkgHl:ZAll:jQs@_aTSl gh_abcPpksTAl[{QTUzks`|d(TAlljklS¡ \QT {Q]±d(jk_euZ zkghse]id(jk_^]aPsuT@ghj»es}gh]^eTSRT\/ef{|TSl`cp|vwTeulgHdµe]^®8lfgHl:no\kd}Nks`H\QTSlTSl:e_I j|eu]^_a]ilghe]a`c\{|T q/jQTSjQTSl \k`c\ pF`csu\QZSTSl[z,`HjQs@_aTSlghzQzFT_il@{|]ilwe}gh\/eul ¤¥¦S§¨©Kª¬«zFTsuRT(e@ghjzQs`Hbcs}ghRRTjQs[{|Tl:zFZSd]²,Ts[esuPSl ²,\QTRT\/e'_aTOes}gh]^eTSRT\/e.{|TdTSl>q/jQTSjQTSlS´H{|`H\kdO_aTfd(`HRUzF`cseTSRT\/e>{|TSl'`cp|vwTeulS¡c`Hjkl>{|Z²k\Q]ill`c\kl'{|TSl RZeNQ`|{|TAll:zFZSd]²,q/jQTAlzF`cjQsR`|{|Z_a]il:TSsd(TSlgHl:zFTSd(eulS¡ f`Hl`Hj|e]a_alf{|T@cZSs]^²,dghe]a`c\ H h´m S l`c\/e]aluljkl{|T@eusugghjQ³l:jQsf_^TAlgh_abcPSpQsTAlO{|T@zQsu`odTSlul:j,l I´ Tef`c\/efZeZ gczQzQ_a]aq/jQZAl {|]^4ZsuT\/eulf_agc\QbHgcbcTSllno\kd}NQsu`c\QTAlO`cjgHl:no\kd}NQsu`c\kTSl@¶¯TH¡ b,¡ ¯¹µ¡ Ç_ales}gh]^eTS\He {QTUzks`HzQs]aZ(euZSlpkgHl:ZSTSlljQs@_^TAlZSq/jQ]agh_aT\kdTSl@{|TpQ]il]^R$jQ_aghe]a`c\m´]a\kd_^jkgc\/e_aTSl zQs`HzQsu]^ZeZSl{|Tl¸QsuT(eZ Te{QTo]^gHd(]^eZ{QTSlU_^`Hbc]iq/jQTSl eTRzF`csuT_a_^TAl R`|{Qgc_^TAl´T(ezQ_ajkl bHZ\QZSsugc_^TSRT\/e${|T
(20) _K ZSq/jQ]agh_aT\kdT{|T R`|{|PS_^TAlgnHgc\/e{|]4ZsuT\/e}l\Q]acTAghj|³·{ ghpkl:es}gcd(e]a`c\m¡ Ç_alZo]euT\/e_aTSlzQsu`cpQ_aPRTAl{ T(³|zQ_a`Hl]^`H\°{|TSl TAl:z,gcd(TAl>{ Z(e}geul'T\j|eu]^_a]ilgc\He._^TAltzQsu`czQsu]^ZeZAl>{|Tfd`c\QbHsjQTS\kd(T{QTSl'ln|lweuPRTSlS´hTe.d(`HR pQ]a\QT\/eA´HlT_a`c\_ag \,gejksT'{QTSlmzks`HpQ_^PSRTSlS´S{|TAleTAd}NQ\Q]iq/jQTSl{ ZS\ojQRZs}ge]a`c\@T³|zQ_^]id(]^eT.`cj {|T.d(`|{QghbHT>]aRUzk_^]id(]^eT[¶ [l}¹µ¡ f`cjklR`H\Heus`H\kl@d(`HRRUTS\/ejQe]a_^]il:TSs d(TAl`cj|eu]^_il@zF`cjQs gc\kgh_an|l:TSs_^TAl@R`o{QP_aTSl@d(`HRz,`/l:]^e]a`c\Q\kT_il@{|TSl gczQzQ_a]adSgeu]^`H\kl¤¥¦S§¨©Kª¬«(¡ [gh\kl _ag lTSd(e]a`c\ V
(21) \Q`Hjkl {|`H\Q\Q`c\,l@jQ\QT]a\/esu`|{|jkdµeu]^`H\£l:jQs _ag pk]^pQ_a]a`heNkPSq/jQT¤¥¦A§f¨©Iª¬«T(e ljQs _aTSl`Hj|e]a_al{|T[cZSs]^²,dghe]a`c\jQe]a_^]il:ZSTSlS¡|¢ g lTSd(e]a`c\ R`|{|Z_a]il:T_^TAl.zks]aR]eu]^HTSlO{|T ¤¥¦S§¨©Kª¬«q/jQ]ml:`H\/e jQe]a_^TAl zF`cjQs$\Q`heusTeusuggc]^_I¡ ¢ g l:TAdµe]a`c\]a\/esu`|{|jQ]^e jQ\ T³oTSRzQ_^T{|TzQsu`cbHsugcRURghe]a`c\{|]al:esu]apQjQZT.
(22) . . . . . . . . . . "!. !. ". #. $. % . . . . (. '&. ) *+*. *. ,. ÑÑ â. -/.0.102.
(23) . ¦ |¿áª (Ä ÄHÂc¿^Ī¬Á4 . {Qj{|]a\QTSs{QTSl[zQNQ]a_^`/l:`HzQNQTAlTe[TS\{QZsu]^HT$jQ\ R`o{QP_aT$²,\Q]K¡mf`cjkl{|`H\Q\Q`H\klqHjkT_iqHjkTSl[T(³|TRzQ_aTSl{|T zksTSjQcTAlt{|TzQsu`czQsu]^ZeZAlt{Qgh\kl6_aTSl'l:TAdµe]a`c\,l [T(e'Q¡ t\|²k\m´H\Q`cj,l>d(`H\kd(_ajQ`c\,ltgcTSdq/jQT_iq/jQTSl'{|]^suTSd(e]a`c\kl {QTeusuggc]^_4®¯j|eujQsA¡ .
(24) . . . ¤¥u¦S§¨(©Iª¬« ,´ >TSl:e[jQ\kT$pQ]apQ_a]^`ceNQPAq/jQT Ac HggzF`cjQs[_igzQsu`cbHsugcRRghe]a`c\{ ghzkzQ_^]idghe]a`c\kl d `c\kdjQsusTS\HeuTSlS´{|]ilweus]apQjQZSTSlT(e6R`cpQ]a_^TAl¡ t_a_^T`h4suT'jQ\ R`|{|PS_^T Q´ho´ |{QT'zQsu`cbHsugcRURghe]a`c\zkghs}gh_a_aP_aT Te sZSzkghse]aTq/jQT_K `c\zFTj|eUqHj,gh_a]²kTSs"!# ¦%$'&©8ÀÄH¨(©Iª uÀ)( ¶¯zkgcs@`czQzF`Hl]eu]^`H\ {|TSl gczQzQsu`|d}NQTSl[` _aTSl gHdµeu]^o]^eZSll`c\/e.`Hs:euNQ`cbH`c\kgc_^TAltghj|³`cpQvwT(eul}¹µ´oTe{|T
(25) !+*oÅ©ÆÅ¥¦ +,ÁF-({Qgc\kl'_aTlT\,l'` e`Hjkl._^TAl'`Hp|vwT(e}l'\QT l`c\/ezkgHlgcdµeu]®8lS¡Q¢mT@R`|{|PS_^T@{|T$¤¥u¦S§¨(©Iª¬«!zksZAl:TS\HeuT_^TAldghs}gcd(eZSs]ilweu]aq/jQTAlOl:jQ]agh\/eTA/l . 0 {|TSl`cp|vwTeulgcd(e]^®8lOT(efgHdd(TAll]apQ_^TAl {|]al:eugc\kd(TH´ 0 _aglZSq/jQTS\/e]igh_a]euZ{QTSlgcd(e]ao]euZSlO_a`odSgh_aTSl@¶8zQs`|dTSlul:jklzQjksTSRUTS\/efl:ZAqHjkT\/e]aT_ilu¹(´ 0 jQ\QT d`cRR jQ\k]adSge]a`c\
(26) zkgcsghzQzFT_m{|T@RZeNQ`|{|T l:eugc\k{Qghs}{´ 0 {|TSlfghzQzFT_ill:n|l:eZSRghe]iq/jQTRT\/egclno\kd}NQsu`c\QTAl'HTs}lO_^TAlO`cp|vwTeulgHdµe]^®8l{|]il:eugh\/e}l´ 0 jQ\»RZSdgc\Q]il:RT@{ ge:euT\/eT@z,ghs\QZAd(TSlul]euZ¶¯®¯j|ejkses}gh\klzkgcsTS\Heµ¹µ´ 0 _^TAld(`H\/e]a\/j,ge]a`c\,lgcj|e`HRge]iq/jQTSl@¶8jQ\»RZSdgc\Q]il:RT[es}gh\klzkgcsTS\He{|T@{|ZS_^ZSbHgeu]^`H\,¹µ´ 0 _K ghp,l:TS\kd(T@{ `cp|vwTeulz,ghseughbHZSlS´ 0 jQ\QT@zQsu`cbHsugcRRghe]a`c\{QTSlgHdµe]ao]euZSlq/jQ]TAlwefdT\/es}gh_a]alZT[T(eT³|zQ_^]id(]^eT@z,ghs{|Z(®8gcj|eS´ 0 {|j»z,`H_^noR`csuzQNQ]ilRUTTS\HeusT`Hp|vwT(e}llwe}gh\k{Qgcsu{kl.Te`cp|vwTeulgHdµe]^®8l{|]il:eugh\/e}l¡ f\QTghzkzQ_^]idghe]a`c\£{|]ilweus]apQjQZSTTSl:e$d`cRz,`/l:ZST{ jQ\ d(TSs:e}gh]a\\k`cR pksT{ T\/eu]euZSl gczQzFT_aZTSl+¦ $1&(©KÀ ÄH¨(©Iª uÀ¶¬²,bcjQsuT A¹µ¡4¼.Nkgcq/jQT`cpQvwT(efgcd(e]^®6gUjQ\»zF`c]a\/ef{ TS\/esuZT@jQ\Q]iq/jQTc´,lg
(27) ¥ÄH¨(ª¬Á4 ,_^TAlghj|eusTAlO`cp|vwTeul d`cRzF`Hlugh\/ed(TS_^jQ]^Çd(]l`c\/e{QTSl+¦ $1&(©KÀ¾|ÄÀ}À}ª uÀT(e
(28) \QTzFTjQHT\/ezkgHl º esuTsZ®¯ZsuT\kdZSl{Q]^suTSd(eTRTS\He {QTzQjQ]ilO_I T³/euZsu]^TSjQs{|T@_I `Hp|vwT(egHdµe]^®w¡ ¢ T zQs`Hbcs}ghRRTjQs{ jQ\·`cp|vwTegcd(e]^®[zFTj|ed`c\/e3s 2c_aTs{|Tq/jQTS_^_aT
(29) ®85g 4`c\ ]^_T³|ZSd(jQeT _aTSlghzkz,TS_al gcssu]agc\/e {Qgh\kl _ag qHjkTjQT
(30) {|TsuTSq/j º euTSlS¡¢g pQ]apQ_^]a`heuNQPSq/jQT®¯`cjQsu\Q]^e${|TAl zQsu]aRU]^e]acTAl zF`cjQs$T(³QghR]a\QTs _aTSlsTAqHj º eTAlzQsuZSlT\/eTAl{Qgc\kl_igq/jQTjQTH´Q_aTSl²,_eusTSsfl:jks_^TSjQsf\k`cR `Hj _^TSjQs}lghsubcjQRTS\He}l´|Te{|ZAd(]i{|Ts _aTSluq/jQT_a_aTSl>lTsuo]^s>Te{Qgc\kl>q/jQTS_,`Hsu{|suTc¡H¢mTSl'ghzQzFT_il'{|TRZ(eNk`o{QTSl>HTs}ltjQ\`Hp|vwT(egcdµeu]®ml`c\/e>eu`cjvw`HjQsul gHl:no\kd}Nks`H\QTSlS´c_aTjQs}lgh_aTjQs}lO{|TsuT(eu`cjQsl`c\/eOz,`Hs:euZTSl.zkgcsO{QTSl@+¦ $1&(©K6À |© |¥}Àfes}gh\klzkghsuT\/e}l´o{|`c\/eO_ag lno\kd}NQsu`c\Q]iluge]a`c\ TSl:e gclul:jQsuZTzkgcs@jQ\RZSdgc\Q]il:RT{¬Ä©I©ÆÁk©Ç[¾QÄ¥Á4Å}¨u(À}Àµª¬©ÆÅ¡ ]^TS\q/jQTdTSl@RZAdg \k]alRTSlOl:`H]^TS\/egclno\kd}NQsu`c\QTAl´H]^_ng$jQ\QT /Ä¥ÄhÁk©Iª8 Âc ¥Å}¨}ǾF©Kª8¦hÁ{|TSlRTSlulgcbcTAl´/T(e{|T@d(`H\kl:TSsghe]a`c\ {QT[_aTjks`cs}{|suTc´o]^RzQ_aZRTS\HeuZT@zkgcssTS\k{|8T 7(Æc`cj,l.gcjR`cRTS\Hef{QT@_K T\oc`H]{|T@_agUsuTSq/j º eTc¡ . . . . . &. . . . &. . . % . .
(31) 9. :<;=>?
(32) @? BAC =CD?EAF@" G ;HI JKMLN OQPSRT 6UVWEXA. ¢ TSl`Hj|e]a_alf{|T@cZSs]^²,dghe]a`c\»q/jQT@\Q`cj,lj|e]a_a]al`c\klfl:`H\HepkgHl:ZAll:jks_^TAlgh_abcPSpQsuTSlO{|T zQsu`|d(TAlljkHl .o_aTSl R`|{|PS_^TAll:`H\/ef{|TSll:n|l:ePRTAl{|T@eusugc\kl:]^e]a`c\,lOZ(e]iq/jQT(euZTAl´,T(ef_aTjQsl:ZSRgc\/e]iqHjkT@TSl:efzkghs}ghRZesuZTzkghs {QTSl$ZSq/jQ]agc_^TS\kd(TAl${QTpQ]il:]aR jk_aghe]a`c\kl
(33) ¶8d`c\QbHsjQTS\kd(TAlu¹(¡6¼.TAl `Hj|e]a_alU\QT
(34) l:`H\/e$zkgHl _a]^ZAl jQ\1_igh\kbHghbHT lzFZSd(]^²,q/jQTz,`HjQs T³ozks]aRTs _aTz,ghs}gh_a_^ZS_^]il:RTH´mRgh]il j|eu]^_a]il:TS\Heghj1d`c\/es}gh]asuTjQ\£®¯`csuRge bHZ\QZSs]iq/jQTc´ &. Y1Z Ñ 'Y [.
(35) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . . 0 . . . . . Racine d’Objet Actif. Objet Passif. Référence à un Objet. Limite d’un Objet Actif. Á h¥Äµ¾I*|U à ¦+$1&(©KÀ © }¾,ª
(36) k$Äh«}¨ ¦%$'&©8À ÄH¨(©Iª uÀ gH{|`czQeZzkgcsjk\ d(TSs:e}gh]a\ \Q`cR$pQsT { `Hj|e]a_il{|TcZSs]^²,dSge]a`c\ {Qgc\kl_^Tdgc{QsT {Qj°zQsu`hvwT(e
(37) TjQsu`czFZTS\ ¼x[¼ fy H Æ¡ ¼.T®¯`csuRge¼OVzFTsuRT(e>{|Td(`|{|TSst{|TSltln|lweuPRTSlt{|Teusugc\kl:]^e]a`c\$²k\Q]ilt{|TORgh\Q]aPsuTONQ]aZs}ghs}d}NQ]aq/jQT . jk\ `Hp|vwT(e6¼OVTSl:ejQ\°ghsupQsuT {|`c\/e_aTSl®¯TSjQ]^_a_aTSll`c\/e{|TAll:n|l:ePSRUTAl{|T»eusugc\kl:]^e]a`c\,lsTSzQsuZSlT\/eZAl T³|zQ_^]id(]^eTSRT\/e ¶¯zkgcsZ\ojQRZs}geu]^`H\{|TAlOZ(eugheulOTef{|TSleusugc\kl:]^e]a`c\,lu¹(´/Te_^TAlO\Q`oTjk{kll:`H\He{|TAlOsZAl:TAghj|³ {QTlno\kd}NQsu`c\Q]ilghe]a`c\ V Æ´Oq/jQ]T³ozks]aRT\/e
(38) d`cRRT\/e
(39) _aTSl
(40) d(`HRz,`Hs:euTRT\/eul
(41) {|TAl
(42) d`cRzF`Hlugh\/eul
(43) l:`H\/e d`cR$pQ]^\kZSl
(44) ghj \k]^HTSghjDl:jkz,ZSs]aTjQs {|T_ig1NQ]aZs}ghs}d}NQ]aTc¡O¢mTAlZeugheul
(45) T(e»_^TAles}gh\kl]eu]^`H\kl»l:`H\/e
(46) {|ZAd(`csuZSl z,ghs {|TAl _ighpFT_il zF`cseugc\/e${|]^FZSsTS\He}l@ewnozFTSlU{ ]a\|®¯`HsRgeu]^`H\ ¶¯\Q`HRl$T(elweusj,dµejksTAl { Z(eugheulS´gHdµeu]^`H\kl´ ®¯`HsR$jQ_aTSl_a`cbH]aq/jQTAlu¹(´FdT$q/jQ]\Q`cj,lfzFTsuRT(e@{|T$d`o{QTs[_^TAlf]a\|®¯`csuRgeu]^`H\klj|eu]^_aTSl e`cjQeT jk\QT ®8gcR]^_a_^T {QTlZRgc\Heu]aq/jQTAld(`HRUzF`cseTSRT\/eugc_^TAl¡
(47) ¬Ì ¯Ê Á Ï
(48) o Ï "! Âmà |ÁÅ¿^Å Ák©6T$(Àµ© |Á$# ¾F¿^ %'&)( *+( ,-( .0/21m4¦ 3$&·µÀµ©m¿aÄ l:esujkdµeujQsuT ÂH'T 15*76 $u *oÄh9« 8µÀµ©t¿^@d`cRzF`cseTRTS\He Âc@'T 1,(Àµ©¿aÄzQsu`czQsu]^ZeZ_a`cbH]aq/jQTÂc2T 1.:6)*o¦A<¦ ;A À 8µÀµ©6¿^Ä ¿ªiÀ}©ÇÂmà ]a\|®¯`HsRgeu]^`H\kl ÂH'T 1À¦ oÀ ¿aÄ (¦¥ Âmà |Á¿áªiÀµ©Ç> =>Á,ª8Âmà ÄÀ}À¦A¨(ª8Äh©Kª8¦hÁQ"À %?ABD @ C"/E1K4¦ 3GF µÀµ© |Á4¨(¿aHÅ 1(J© I |Á4U«Äh¿^ |¥LK 4´ [´4¢1Te À¦Á,©fÂc(À$©Ç(¥ µÀÂmà |Á4Ä¿ %, $(¥Âc©Ç(¥ (À M© }¾QÅ(ÀÂc¦hÁk© ¿aµÀ[¦µ¾|Å¥Äh©Æ |¥}ÀÂHÅǾQ(Á4ÂcÁk©'ÂH¿:à Ä}¾H¾,¿áª8¨}Äh©Kª8¦hÁ¨}¦ÁkÀ}ª8ÂHÅ(¥uÅu N>¨ *|Äc¨ |Á ÂHµÀ@¨ *|Ä ¾kÀ@Âmà |Á»¿^+Ä $u¿o¾| |©O(©I¥ «Aª8ÂcK
(49) ¬Ì ¯Ê P! Á mSRÌ Q| Ì
(50) S ¬Ì ¯Ê !T%RUV( W+( X-( YUZ( YW+/°(À}©ÂH
(51) Å ='Ákª¾|Äh\¥ [>U |Á ÁQÀ $(¿^[Âmà ũÆÄh©8]À 1SW_^`UbaVU |ÁÁQÀ $(¿^Âc©K¥uÄÁQÀµª¬©Iª8¦ÁkcÀ 12Xd^`U |ÁÁQÀ $(¿^Âmà ũÇÄ©KÀOª¬Á,ª¬©Kª8Ä c½21 YU |Á4 (¦ÁF¨©Iª8¦Á»¾QÄ¥µ©Iª8(¿¬¿^ÄÀ}À¦S¨ª8ÄÁ,© |Á ¿^%Ä $u(¿>Ä c½ Å©ÇÄ©KcÀ 1YW |ÁF (¦Á4¨(©Iª8¦Á»¾QÄ¥µ©Iª8¿¬¿^ÄÀ}À¦A¨(ª8ÄhÁk© |Á ¿^+Ä $u¿Ä c½©I¥ÄÁkÀ}ª¬©Iª8¦ÁkLÀ K ¢ TSl{|]^FZSsTS\/eul[`cj|eu]^_il®¯`c\k{QZSll:jksdT ®¯`HsRghee 6¼OV c >jQe]a_^]il:TS\/e{|]^4ZsuT\/eulewnoz,TAl@{|TU_agcp,TS_al[zF`cjQs d`|{|Ts_aTSl]a\|®¯`HsRgeu]^`H\klq/jQ]_aTjQsl`c\/ej|eu]^_aTSlS¡ [gh\kl_aTdgH{|suT»{QTd(T(egcs:eu]ad_^TH´t\Q`cj,lj|e]a_a]alTsu`c\kl ,. . . . . &. . . . $. 0 . 0. . . . . 0. *. -/.0.102. 0. . . . . ÑÑ â. . .
(52) . ¦ |¿áª (Ä ÄHÂc¿^Ī¬Á4 . TAllT\/eu]^TS_^_aTRT\/e'_aTSl[¨}¦ ¾|¦h¥µ©Æ Ák©KÀf{|TAltes}gh\,l:]^e]a`c\kl'T(e_^TAlÀµ©K¥ k¨© |¥µÀ{|TAl'Zeuge}l´H`c\TS\cTSss}g{|TSl T³|TRzQ_aTSl{Qgc\klO_agljQ]^eTc¡
(53) ¬Ì ¯Ê Á o
(54) , Î 5Ê ¯
(55) |Ì ¯Ê "!`% ( ( W+/(Àµ©ÂcMÅ =>Ákª¾QÄ¥ [ ¿:à ĥµª¬©ÇÅ ¥uŵÀ}Ä N ¿^Ä À}©I¥ k¨© |¥Â ¥uŵÀ}Ä 1[¨,à (À}© |Á «}¨©Æ |¥Âc
(56) ¿^¦hÁ k |¥ ËÂcÅ}¨(¥µª¬«ÄÁ,©@¿:à ª¬Ák©Ç1¥ (Äc¨} Âc(À Äh¥ Ák©KÀ[ ¥Å(À(}Ä >[Q¾Q¦ |¥@¨ *|Äc¨ |Á ¦ÁÅÁ ,(¥ÀÄl:`Hs:eu'T 16¨,à (À} © #ª¬¥ ¿:à (ÁkÀ $µ¿a ÂcÀ((À d(`HR$ zF`cseTSRT\/eul¾Q¦À}Àµ9ª $µ¿aµ\À N W¿^(Àeusugc\kl]eu]^`H\kl U¥Å(À(}Ä 1¨ *oÄH¨ |Á4f(À}© |ÁcTSd(eTSjQs{QT.ln/\,d}NQs`H\Q]ilghe]a`c\ ÂH¿^¦hÁ k |¥
(57) ÂH¦Á,©f¿^(À ¾,¥u Uª8(¥}ÀÅ¿^Å Ák©KÀ Àƾ|Å}¨ª =.Ák© |Á£¨}¦ f¾Q¦¥µ©Ç Ák©[ÂH¿:à Äh¥ Ák© ¨}¦h¥µ¥µÀƾQ¦Á4ÂcÄÁ,e© 6ÇÅ«(Á,© k¿¬¿^ Ák©]a\kgcd(e]^® 8<1(©¿^Âc¥µÁkª8¥$(Àµ©'¿^¨}¦ ¾|¦h¥µ©Æ (Á,©O¨}¦¥µ¥uµÀƾQ¦ÁFÂHÄÁ,©Â ¥uŵÀ}Ä SK f\»eT_sZAl:TAghj»{|T lno\kd}NQsu`c\Q]ilghe]a`c\TSl:efjQ\QT Rgc\Q]^PSsT@{|T sTSzQsZAl:TS\/eTsjk\ `czFZs}geTSjQs{|T z,ghs}gh_^ _aP_a]il:RTbcZS\QZs}gh_a]il:ZH´`cjzQ_ajkl@T(³QgHdµeTSRT\/eS´mZeugc\He {Q`c\Q\QZ_^TAl l:`Hs:euTSl¶¯²k\Q]aTSl}¹@{ jQ\£\Q`cR$pQsuT$²,\Q].{|T zks`|d(TAlljklS´|{|T d(`|{|TSs_^TSjQsl:no\kd}Nks`H\Q]alugeu]^`H\m¡ f\$lnol:ePSRT 6¼OVzFTj|e º eusTOd(`H\klweusjk]e f_I gc]a{QT.{ jQ\ ZA{|]^eTjksbHsugczQNQ]iq/jQTc´S\Q`cRRZ tMXU¡M`cj|euTSl _aTSl²,bcjQsuTSl6{|TdT(e>ghse]id(_aTO`c\/etZ(eZO`Hp|eTS\/jkTSlt{|Td(Te:euTRgc\Q]aPsuT zkghstT³|TRzQ_aT_ig²kbcjksTVfT(³|zQsu]^RTO_ag lno\kd}NQsu`c\Q]iluge]a`c\UT\/eusT{|TSj|³`cp|vwTeul>gHdµeu]®8l[¦S¨fT(e[¦A´o{|`H\Hed}Nkgcq/jQT dgh\,gh_ sTSzQsZAl:TS\/eTOjQ\HTSdµeuTjQs {QT l:no\kd}Nks`H\Q]alugeu]^`H\m´t_aTcTAdµeTSjQBs . ! "$#% d`csusTAl:zF`c\,{ _I ZR]alul]^`H\·{m jQ\ RTAllughbHT zkgcs ¦S¨TelgUsuZSd(TSz|e]a`c\
(58) zkgcs ¦SÂh¡ f\l:n|l:ePR>T ¼OVzFTj|eghjklul:] º esuTdgc_adjQ_^ZOzkgcs>gh\kgc_^n|lTlwe}ge]iq/jQT{|TzQsu`cbHsugcRRUTAHl .AjQ\l:n|l:ePSRUT {QTeusugc\kl:]^e]a`c\ d(`|{|T
(59) _^T»d(`HRz,`Hs:euTRT\/e{ jk\ l`cjkl:Æln|lweuPRT ¶Kd(_a`Hl}¹ {Qj zQsu`cbHsugcRRUTH´gc_^`HsulUq/jm jk\ suZSlTSgcj{|Tl:no\kd}NQsu`c\k]alugeu]^`H\d(`|{|T jk\ lud}NQZRg{QT$zQsu`cbHsugcRRUTH´kjQ\ `czFZs}geuTjQs`cj jk\QT$T³|zQsTAll]a`c\ `HjQcTSs:euT{ jQ\QT»gh_abcPSpQsuT{|T»zQsu`odTSlul:j,l¡t¼.T_ig g Z(eZ
(60) j|eu]^_a]alZ»zkghsUT(³|TSRUzk_^T
(61) z,`HjQs{|TSlUzQsu`cbHsugcRURTAl ¼¼ ´ ¢x[Mfx `cj >l:eTSsTS_K´ T(e$dc TAlwe dTqHjkT\Q`cjkl gh_a_^`H\kl {|ZScT_a`czkz,TSs@]ad]>z,`HjQs \Q`/l ghzkzQ_^]idghe]a`c\kl Hgg${Q]al:esu]^pkjQZTAl¡ Ê ÎhÌ ¯5Ê &
(62) S
(63) kÏ m ¢gp,`H]euT `cj|eu]^_ild(`HRUzF`cseT»zQ_ajkl]^TSjQs}l®¯`c\kd(e]a`c\kl{QT RU]a\Q]aR]alugeu]^`H\ ¶8zkghs{|TSl.pQ]il:]aR jk_aghe]a`c\kl>®¯`cseTc´c®8gh]apQ_aTc´/`cj(')+*,.-0/12,3,´hR`|{|jQ_a` jQ\T\klTR$pQ_^T[{ gcdµeu]^`H\kl>o]il:]apQ_aTSlS´c`Hj R`|{|jQ_a` jk\QT[gcpkl:es}gcdµeu]^`H\{|j
(64) d(`cRzF`cseTSRUTS\/e}¹µ´/T(e{|TAl'®¯`H\kdµeu]^`H\kl{ gc\kgh_an|l:TU¶¯]a\/eTsÆpQ_^`|dSghbcTH´H{|]acTSs: bHT\kdTc´4T(e ZAq/jQ]^gc_^TS\kd(T{|Tlnol:ePSRTSl}¹µ¡¼.Tseugc]^\kTSl{|Td(TAl[®¯`c\kd(e]a`c\kljQe]a_^]il:TS\/ejk\QTsTSzQsuZSlT\/eughe]a`c\ T³|zQ_^]id(]^eT
(65) {|TSlln|lweuPRTSlS´{ ghjQesuTSl$jQ\ d`o{kghbcT]^RzQ_a]ad]euT¶ ¹U{|T_I TAl:z,gcd(T
(66) { Z(eugheulS¡¢gHZsu]²Q dSgeu]^`H\ {|TU®¯`csuR jQ_aTSl[{|TU_^`Hbc]iq/jQT euTRz,`HsTS_^_aTUTSl:e[suZSgc_^]il:ZST ]a\k{|]asTAdµeuTRT\/e eusugHTs}ljQ\d(`|{QghbHT${|T dTSl®¯`csuR jQ_aTSll:`Hjkl®¯`HsRT { jQ\l:n|l:ePRT gcpkl:es}gh]^efsTSzQsuZSlT\/eugc\He_ig ÀƾQÅ}¨(ª =¨uÄh©Kª8¦hÁ£{|jzQsu`cbHsugcRURTH´ TeUq/jQT
(67) _K `c\1zQs`HjQcTSsug»ZAq/jQ]^gc_^TS\Heghj1ln|lweuPRTd`c\kdsTe `Hj pQ]aT\ T\ d`|{Qgh\/e _ig\QZSbHghe]a`c\1{|T_ag ®¯`HsR$jQ_aT zkghs[jQ\d(`cRzF`cseTSRUTS\/ef]^\,{|ZSl]^s}ghpk_^T
(68) ¶¯jQ\QTgcd(e]a`c\gcpklweusugc]euTA¹fqHjkT _I `H\zQsu`cjQHTs}g\Q`c\ ghe: euT]abc\kgcpQ_aTc¡ ¢ T sZAl:jk_e}ge{ jQ\QTUgh\kgc_^n|lT@TSl:efT\ bcZ\kZs}gh_ l`c]^efjQ\ TS\kl:TSR pQ_aT { Z(e}ge}l ¶¯]a\k{|ZAl:]as}ghpQ_aTSl}¹µ´ l`c]^ejk\d}NQTSR]^\{ T³|ZSd(jQe]a`c\ {QZ\Q`ceugh\/e[jQ\ d`c\/esuT(ÆT(³|TRzQ_aTc¡4¢mTAlf`Hj|e]a_ilf®¯`HjQsu\Q]alulT\/e[{|TAl[RU`nHT\kl zF`cjkssTSRU`H\/eTsdTSl{|]ighbH\Q`Hl:e]iq/jQTSlOghj»\Q]acTAghj»{|TSld`cRzF`Hlugh\/eul`csu]abc]a\QT_ilO{|j l:n|l:ePRTH¡ ¢ `cs}l{|T _K gh\,gh_anolT»{ jk\°l:n|l:ePRT gcTAd
(69) _^TAl`cj|eu]^_i+l ¼OVcM `o`H_alS´6`c\·Zo]^eT _aT
(70) zk_^jklz,`/ll]^pk_^T{|T d`c\kl:esujQ]asTjQ\ ln|lweuPRT{ Z(e}ge}l$bH_^`Hpkgh_I¡ fj d`c\/es}gh]asTH´d}NkgHq/jQTd(`HRz,`/lgc\HeUTSl:e$suZS{|jk]ezkghsUjQ\QT suT_igeu]^`H\{|T[pQ]il:]aR jQ_igeu]^`H\gH{|ZSq/jkgheTggc\HeOd(`HRUzF`Hl]^e]a`c\m´ Ud}Nkgcq/jQT\Q]^HTSgcj{|T_ag NQ]aZs}ghs}d}NQ]^TH¡|¼.TSs: e}gh]a\QTSl${|TSl ®¯`c\,dµe]a`c\,l { gh\kgc_^n|lTzFTjQHT\/eUgcjkll] º esuTdSgh_id(jQ_aZTAl ghj£H`c_lgc\kl d`c\kl:esujQ]asT_I TSlzkgcdT . . . 0. . . . 0. . . . . . . . . . . . %. . +. . . . . . . . . . . &. . !. !. &. . . "&. *+*. &. % . &. Y1Z Ñ 'Y [.
(71) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . . . . . . {m Zeuge}ld(`HRzQ_^TeS¡ [gh\klp,TAghjkd`cjQz {|T dSgclOzQs}geu]aq/jQTAl´QdTSd(]mgczQzF`cseTjQ\QT@suZzF`c\klTT(±dgHd(T gcjzQsu`h pk_^PSRUT@{¬u½(¾F¿^¦Àµª8¦hÁÂH ¿Ã µÀƾQÄc¨}Âmà ũÆÄh©O{Q`c\/el:`Hj|FsuT\/eOe`Hj|eTAlO_^TAlghzkzQs`|d}NQTAlO{|jR`|{|TS_Çd}NQTSd}Èo]a\Qbk¡ »
(72) ( #
(73) S(# »(m6 » # . µ f`cjkl{|Z(²k\k]alul:`H\klRgh]a\/eTS\kgh\/ef_igd(`H\kl:esujkdµeu]^`H\»{QT R`o{QP_aTSlfd`cRzF`cseTRTS\He}ghj|³
(74) z,`HjQsf_aTSlghz| zk_^]idghe]a`c\kl6{|]ilweus]apQjQZSTSl>¤¥¦A§f¨©Iª¬«¡h¢mTAl6RU`|{|PS_^TAl6l:ZSRgc\/e]iqHjkTSl6lwe}gh\k{kghs}{Ql{QjUd`cRz,`Hs:euTRT\/et{ ghz| zk_^]idghe]a`c\klfHgg `Hj ¤¥¦A§f¨©Kª¬«$l:`H\He]a\|²k\Q]ilS¡,r`cjQsfz,`HjQc`H]^sj|eu]^_a]il:TSsf{|TSl`cj|eu]^_il{|T HZsu]²Fdgeu]^`H\m´|T(e TS\zkghse]id(jQ_a]aTs _aTS$l 6¼OVhM`o`c_il´\Q`Hjkl {|TSc`H\kl@\Q`Hjkl@s}ghRT\QTSs {|TSl RU`|{|PS_^TAl@²k\k]al {|TzQ_ajkl@]a_'TAlwe dsj,d(]igh_>{|TsuTSl:esuT]a\k{|suTUgcjRU]aTjQ³ _ig
(75) eugh]a_a_^T{|TAl@R`o{QP_aTSl d`c\kl:esujQ]^eulS´z,`HjQs Zo]^eTSs@_^TAl@zQsu`cpQ_aPRTSl {m T³ozk_^`/l:]a`c\
(76) d(`cR$pQ]a\kgeu`c]asT[]^\kNQZsuT\/eul dTSlOeuTSd}NQ\Q]iq/jQTSlS¡,¼.TSd]z,TSj|e º esuT[suZSgc_^]ilZzkgcs_agd`cR pk]^\kgc] l`c\{QTfzQ_ajkl]^TSjQsul>eTAd}NQ\Q]iqHjkTSlS´/{|TSzQjQ]il'_ig {|Z²k\Q]^e]a`c\{QT{|`HRgc]^\kTSl'gcpkl:es}gh]^eult²,\Q]alS´/sTSzQsZAl:TS\/eugh\/e>_aTSl {Q`cRgh]a\QTSl]^\|²,\Q]al[q/jQT zFTjQHT\/efzQsuT\,{|sT@_aTSlfghsu]agcpQ_^TAl{|j zQsu`cbHsugcRRUTH´|_^TAleuTSd}NQ\Q]iq/jQTSl{ gh\kgc_^n|lT {Q T
(77) k`heO{|Tf{|`H\Q\QZSTSl'{QZ(eTSsR]a\kgh\/e'_aTSl'zkghse]aTSl.{|T_I gczQzQ_a]adSgeu]^`H\]^\
(78) ,jQTI\ 4Sgh\/e'jQ\kTfzQsu`czQsu]aZ(eZ{Q`c\Q\QZSTc´ vwj,lq/jm {|TSlRZeNQ`|{|TAl{ ghzQzQsu`³|]^Rghe]a`c\{QT lweusjkd(ejQsuTSlO]a\|²k\k]^TAlzkghs{QTSlOZ\ojQRZSsughe]a`c\klOpF`csu\QZTAl¡ ¢ T._a`cbH]ad]^TS_ gc\k{|TSsug I´zkgcs6T(³|TRzQ_aTc´j|eu]^_a]il:TOjQ\QTd`cR pk]^\kgc]al`c\${|Td(TSleuTSd}NQ\Q]iq/jQTSlzF`cjQstzks`|{|jQ]asuT [zkgcs:eu]^st{ jQ\zQsu`cbHsugcRURTOcggjQ\$R`|{|PS_^T²k\Q],gh\kgc_^n|lughpQ_aT'zkgcs>{|TSl ¦AÂc¿ :¨ *|}H¨ ;h(¥}Àfd`cRRT |zQ]^\ `Hj Q ¡,¼.T_ig$z,TSsRT(e{|TcZSs]^²kTSs{|TAlzQs`HzQsu]^ZeZSl'®¯`c\,dµe]a`c\k\QT_a_^TAlO{|T@d(TSlzQsu`cbHsugcRRUTAl´/gh]a\kl]4q/jQT {QTSlOzQsu`czQsu]aZ(eZAlsTS_aghe]acTSlgcj
(79) d`cRzF`cseTRTS\He{|TAleNQsuTSgH{QlOT(ef{QT[_aTjksulOHTsus`Hjkl¡ ¢ T[dSgcl'{QTSlOghzQzk_^]idghe]a`c\klcgg {|]il:esu]^pQjkZTSl.TSl:eOjQ\zFTjzk_^jklOd`cRzQ_a]aq/jQZ dgcjklT{|T_ag$z,`/ll]apQ] _a]^eZf{|Td(suZSgeu]^`H\{|no\kghR]iqHjkT{|TzQsu`|d(TSluljkl¡ox\UzFTjQed(TSz,TS\k{Qgc\He.j|e]a_^]ilTs'{|TAl>RZ(euNQ`|{|TSl.{ gh\kgc_^n|lT l:eughe]iq/jQT$zF`cjks[ZeugcpQ_^]as_ag²k\Q]^ej,{|T{|T_age`Hz,`H_^`Hbc]aT${|T_I gczQzQ_a]adSge]a`c\ V Æ´`cj pk]^TS\ _a`cs}lq/jQTd(Te:eT gc\kgh_an|l:TZAd}NQ`cjQTd`c\kl]a{QZsuTs {|TAl ghzQzks`³|]aRghe]a`c\kl²k\k]^TAl {|TdT(e:euTe`Hz,`H_^`Hbc]aTc¡mf`cjkl®8gc]al`c\,l@{|`c\kd _I N/nozF`heuNQPSlT[{kgh\kl._agUljQ]euT@{ jk\QTfeu`czF`c_a`cbH]^T²Q³|TTe.²,\Q]^T@{ `cpQvwT(eulOgHdµe]^®8lS¡of`cjklO{|Z²k\Q]ill`c\,l'Rgh]a\| euT\kgc\/e_ig d`c\kl:esujkdµeu]^`H\{|jRU`|{|PS_^T{ jQ\QTghzQzk_^]idghe]a`c\»¤O¥¦S§¨(©Iª¬«(´oT\
(80) d(`HRURTSI\ 4gc\Hezkghs_aT[dSgh_id(jQ_ {Qj suZSlTSghj{QTUlno\kd}NQsu`c\Q]ilghe]a`c\ {|TAlf`Hp|vwT(e}lgHdµe]^®8lS´FzkjQ]al[zkgcsf_aT$R`|{|PS_^T»¶¯_ajQ]^IR º RT$NQ]^ZSsugcsud}Nk]aq/jQT¹ {Qj»d`cRzF`cseTRTS\He{|T@d}NkgHd(jQ\»{|T dTSlO`cpQvwT(eulS¡ /*. &. % . &. &. . . &. . ,. . . &. .
(81) . :<W@";BEXA%L O @ D ;BA% HL D. f`cjklgclul:`|d(]a`c\,l\kgeujQsuT_a_^TSRUTS\/efjQ\»¾,¥u¦S¨}(ÀuÀ oÀ d}N,gcq/jQT `Hp|vwT(egHdµeu]®>d(suZZ${Qgh\klf_K ghzkzQ_^]idghe]a`c\m¡ TSleuTSd}NQ\Q]iq/jQTSl[{ gh\kgc_^n|lT$l:eughe]iqHjkT$l`c\/ej|eu]^_a]il:ZSTSl[z,`HjQsdgh_id(jk_^TSs[dT(eT\klTR$pQ_^TU{|TUzQs`|dTSlul:jklS´ z,ghse]as{ jQ\ c¥Ä}¾ *oÂmà Ä}¾H¾|¿ÛÀÂc Å(©9*o¦AÂc(À S I´FT(eT\ ghvw`cj|e}gh\/ef_I ]a\/eTSszQsuZ(e}geu]^`H\{|TSlfzQs]aR]eu]^HTSl lzFZSd(]^²,q/jQTAl{|T$¤¥¦A§f¨©Kª¬«. 0. &. *. &. . . . !#"$ &%' ( *),+-!. /10+ 243 5 27689: ; !< =>&"> @?A B C DE2F6G9: >;. r`cjks'd}Nkgcq/jQTOzQsu`|d(TAlljklS´A`H\dgh_id(jk_^TO_I TS\kl:TSR pQ_aT{|TAl>l:TSso]id(TAlq/jm ]a_Q`h4sT ¶ Å©9*o¦AÂc(Àt¾ $(¿áª
(82) k(ÀA¹ Tefq/jm ]a_j|eu]^_a]alT¶Äµ¾c¾Q(¿áÀUÂc Å©9*o¦AÂc(À ÂhªiÀµ©ÆÄhÁk©ÇµÀA¹(¡ ¼.`H\kl:]i{|ZSs`H\kljQ\ `Hp|vwT(egHdµeu]® d(`HjQs}gh\/eIHKJ»T(ejk\ jQ\ `cp|vwTegcd(e]^® {|]al:eugc\/eHKLk¡¢ g£d`cRR jQ\k] dSgeu]^`H\ T\/esuTdTSl$`cp|vwTeulUl:T®8gh]^eUz,ghs ZAd}Nkgh\kbcTSl${|T
(83) RUTAllughbHTSl¶8sTAq/j º euTSl$T(esZSz,`H\kl:TAlu¹(´ ²,bcjQsuTV . . . . ÑÑ â. -/.0.102.
(84) ¦ |¿áª (Ä ÄHÂc¿^Ī¬Á4 . . oc. od. !Req_mi ?Req_mi !Serve_mi !Req_mi !Req_mi ?Rep_mi ?Rep_mi. 4V. Req_mi Req_mi. !Rep_mi. ?Req_mi ?Req_mi !Serve_mi !Serve_mi. !Rep_mi !Rep_mi. Rep_mi Rep_mi. 0 ¨ o* ÄÁ HÂH. ?Rep_mi. µÀ}ÀÄ /(À Ák©I¥ ¿^(À¾F¥¦A¨u(À}À oÀ@¦A¨$©¦S . . 0. ¤O¥¦S§¨(©Iª¬«b/ghs}gh\/e]^et_agsuZSdTz|eu]^`H\UTe'_I `Hsu{|suT{ ghsus]acZST{|TAl>RTSlulughbcTAlT\/esuTd(TAl>{|TjQ³U`Hp|vwT(e}l>gcd(e]^®8l´ /q jQTS_aq/jQT@l`c]^e_ag_a`|dgh_a]ilghe]a`c\zkN/n|l]aq/jQT@{|T_I `Hp|vwT(ef{Q]al:eugc\HeA¡ ojkzQz,`/l:`H\klqHjkT_I `Hp|vwT(eOd(`HjQsugc\/e HKJgczQz,TS_^_aT[_ag RUZeNQ`|{|T{|T[_I `Hp|vwT(e{|]ilwe}gh\/e HKL,¡k¼.T(eghzQzFT_ TAlwetR`|{|Z_a]il:Zzkgcst_K ZR]ill]a`c\{ jk\QTsTAq/j º euT
(85) ´hsT 4(jQTO]a\kl:eugh\/e}gh\QZSRUTS\/e6z,ghst_ig[q/jQTSjQT{|T HKL l`cj,l _aTO\Q`c R
(86) ¡h¼.Te:euTsuTSq/j º eTOl:TSsugfZHT\/ejQTS_^_aTRTS\HetlTsu/]aT'z,ghs HKLk¡h¢ T{QZpQj|e>{ T(³|ZAd(j|eu]^`H\ {QT[_igRZ(euNQ`|{|T d(`HssuTSlz,`H\k{Qgc\HeOghj»l:TSso]id(T@{|T_igRUZeNQ`|{|T .. !#6$ & )+8+ ;. TAlweR`|{|Z_a]alZ z,ghs[jQ\ RTAllughbHT&
(87) '_a`|dgh_ HKLk¡\]^\,gh_aTRT\/eS´l]6_agRZ(eNk`o{QT$suT(eu`cjQsu\QT jk\ suZSljQ_^eugheS$´ HKLZSRUTe:eusugUjQ\»RTSlulgcbcT{|T@suZzF`c\klT "!#
(88) ´QsuT84jzkgcs HKJ[l`cj,lO_^T@\Q`HR$ %!&
(89) ':¡ &.
(90) 9. :<W@";BEXA%L O @ D M)(+* 6 &( BO C@-,9D"O /.'0% =. ¢ Td`cRzF`cseTRTS\He{ jQ\
(91) `cp|vwTeOgHdµe]^®{QT ¤O¥¦S§¨(©Iª¬«TSl:el:zFZSd]²kZ@{Qgc\kl_^Td(`Hsz,l{QTlug$RUZeNQ`|{|T ¿ ª¬« HdTd(`|{|Tfd`c\/e]aT\/e'{|TAl'gHl:zFTSd(eulOÀ¥µ« |¥U¶Kd(`HRURTS\He._^TAltsTAq/j º euTSl>gcssu]^gc\He>{Qgc\kl>_ig@q/jQTjkTfl:`H\/e lTsuo]^TAlu¹(´oT(ef{|TAlgclz,TAdµe}l ¨(¿áª8Ák©@¶Kdgh_id(jk_alO_a`|dghjQ³4´|TesTAqHj º eTAl {|TSl`Hp|vwT(e}l{|]ilwe}gh\/eul}¹µ¡ ¢g@d(`c\,lweusjkd(e]a`c\{|jR`o{QP_aT ¶8lnol:ePSRT{|TOes}gh\kl]^e]a`c\,¹{|Td}NkgHd(jQ\{|TAltzQsu`odTSlul:j,lt{|Zsu]^HT{|Tl:`H\ bHsugczQNQT{ ghzQzFT_il@{|TRZ(eNk`o{QTSl@{Qgc\kl_^TAq/jQT_t`H\ \QTsuT(e]aT\,{|sug»q/jQTU_^TAl@ghzQzFT_ilT(e _aTSl[suT(eu`cjQs}l{|TSl RZeNQ`|{|TAl{|TSl`Hp|vwT(e}l{|]ilwe}gh\/eulS¡ ¢ `cs}lq/jm jQ\QTOsuTSq/j º euTTSl:e'l:TSso]aTc´TS_^_aTTSl:e'{ ghpF`cs}{$suT(eu]^suZT{|T_ig@q/jQTjkTc´hzQjk]alt_aTd(`|{|Td`csusTAl:zF`c\Q {kgh\/e>TSl:e>T(³|ZSdj|eZH¡/¼.Tfd`o{QTz,TSj|e @l`c\Ue`HjQs>]a\/H`|qHjkTs>{|TAltRZ(eNk`o{QTSl>{ ghjQesuTSlt`Hp|vwT(e}l>{|]ilwe}gh\/eulS´hT(e \kT.euTsuR]^\QTSsugq/jQT{Qgc\kl6jQ\U®¯j|ejks>zQ_ajklt`cjUR`c]a\kl6_a`c]a\He}gh]a\m¡ [gh\kl6_aTdgHl6` U_^Td(`|{|T{m jQ\kTRUZeNQ`|{|T zkjQpQ_a]aq/jQT$\QT$d`c\/e]aT\/ez,gclf{m ]a\oc`|dghe]a`c\{|T$RUZeNQ`|{|TAl{|]al:eugc\/eTSlS´k\k`cjklz,`HjQc`H\klfd`c\kl]i{|ZsuTsfq/jQT _aTSlgHdµeu]^`H\kl{|T lTsu/]id(T[T(ef{QT[suZzF`c\,l:T@{|T dT(e:euT@RZ(eNk`o{QT l:`H\Hed`c\/e]a2b 1QTAl¡ ¢glZRgh\/eu]aq/jQTO{¬Ä©I©ÆÁk©Ç¾QÄ¥ÁFÅ}¨}(ÀuÀµª¬©ÇÅO{|T¤¥¦S§¨©Kª¬«lz,ZAd(]^²kTOqHj jQ\URTSlulgcbcT{|T.suT(eu`cjQszFTj|e º esuTsT 4(j
(92) \m ]aRz,`Hs:euTq/jQT_>]a\kl:eugc\He@TS\HeusT_I ZR]alul]^`H\{|T_ig
(93) sTAq/j º euTT(e _igzksTSRU]aPsuTj|e]a_a]alugeu]^`H\ {Qj suZSljQ_^eugeA´Fdc TAlwe
(94) {|]asTUjQ\gcddPSl jk\d}NkgcRz `cj jQ\QTRZ(euNQ`|{|TU{QTU_I `cp|vwTe[suT(eu`cjQsu\QZc´4`Hj jQ\QT ghe:euT\/eTT(³|zQ_a]id(]^eT {|T dT_ajQ]Çd(]). . . &. &. *. . &. &. &. 354 7 6 98-: ?; 43<:F2 #< 2=; 43 "'; > > ?@BADC EGF"HDIJ9K9JMLNOE<IQP NOLSR 3 T ?; 4 3 5 ; >>@H C%U2P K9JM?%JVIC"WC"E<IYX7Z\[@ ]/?IJ9^ C _ NOJVIa` @[ ? R ; X. Y1Z Ñ 'Y [.
(95) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . . . . . . ¢ Td(`|{|TfT\/esuTfd(TAl'{|TSj|³z,`H]^\/eul.l:TSsugT³|ZSd(jQeZfTS\zkghs}gh_a_aP_aTgcTSdO_I ge:euT\/eT[{|jsuZSljQ_e}geA´Hd(`HRRUT {kgh\klB. yyy yyy. xxx xxx. !Req_m1 !Req_m1. ?Rep_m1 ?Rep_m1. ?Rep_m1 ?Rep_m1. xxx xxx. ?Rep_m1 ?Rep_m1. yyy yyy. :<W@";BEXA%L O @" E LWD? D? @? WD= BA.
(96) . [X.f] [X.f]. ¢g{|]^±djQ_^eZzks]a\kd(]azkgc_^T{Qgc\kl _ig»R`|{|Z_a]alugeu]^`H\ {|TSl `cp|vwTeul d`c\kdTsu\QT_ig R`o{QZ_a]alugeu]^`H\{QT_ag /q jQTSjQT'{|TAl suTSq/j º eTAl¡A¢mT'zks`HpQ_^PSRT>TSl:eq/jQT'dT(eeT.q/jQTSjQT'TAlwe6gzQsu]^`Hs]H\Q`c\@pF`csu\QZSTc´S{Q`c\kd.qHjkT'\Q`Hjklm\QT zF`cjkc`c\,ltzkgcl.T\{Q`c\Q\QTSs'jQ\RU`|{|PS_^TbcZS\QZsu]aq/jQTlj|±lugh\/e.zF`cjQsgh\kgc_^n|lTsteu`cj|e.ewnoz,Tf{QTfzQsu`czQsu]aZ(eZAl¡ f`cjklj|eu]^_a]il:TSs`H\klO{|TSlgczQzQsu`³o]aRgeu]^`H\klt²k\k]^TAl´|TeOTAllugh]aTsu`c\,l'{ j|e]a_a]alTs_aTSl]a\|®¯`csuRge]a`c\,l.T³oes}gh]^eTSl {Qj»d`|{|T@{|T@_K ghzkzQ_^]idghe]a`c\
(97) z,`HjQs`czQe]aRU]ilTsd(TAlOR`o{QP_aTSlS¡ f\ R`|{|PS_^T»bcZS\QZs}gh_lTs}gh]^eUjk\QT qHjkTjQT
(98) ²k\Q]aT{|T»_a`c\QbHjQTjQs t´>{Qgc\kl_igcq/jQT_a_aT»d}N,gcq/jQT»d(T_a_ajQ_^T zF`cjkss}gh]^esTAd(TSc`c]asOe`Hj|eTAl_aTSlgc_^TSjQsulz,`/ll]^pk_^TAlf{|TAlsuTSq/j º euTSlS¡F¼.TSlfgh_aTjQs}ll`c\/e_^TAlZS_^ZSRUTS\/eulf{Qj zks`|{|jQ]^edSghseZAl:]aT\{|TAlO{|]4ZsuT\/euTSl.RUZeNQ`|{|TAl'zkjQpQ_a]aq/jQTAl.{|T HKJ´/zkghs_aTSl{|]4ZsuT\/e}l'`Hp|vwT(e}l'zF`cjQgc\He _aTSl ]^\oc`|q/jQTSsS´zkgcs _aTSl gcsbHjQRT\/eulzF`Hlul]^pQ_aTSl {|Td(TAl ghzkz,TS_al¶¯_a`cs}lq/jQTd(TAl ghsubcjkRUTS\/eul l`c\/e j|eu]^_aTSl zF`cjks>_K gh\,gh_anolTA¹(¡hfghejQsuT_a_^TSRT\/eS´cdTSd]kdgcjkl:TSsugc]etjQ\kTT(³|zQ_a`Hl]^`H\$T³ozF`c\kT\/e]aT_a_^T{QT_K TSlzkgHd(T{ Z(eugheul {Qj R`|{|P_aT zkgcsT(³|TRzQ_aTjQ\QTq/jQTjQT{|T_a`c\QbHjQTjks
(99) suTSd(TSgh\/e@VsuTSq/j º euTSl{|]ilweu]^\,dµeTAl@zFTj|e º eusT R`|{|ZS_^]il:Zzkgc8s . . . . ?ReqTakeD ?ReqTakeD. ?ReqTakeG ?ReqTakeG. ?ServTakeG ?ServTakeG. ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD. ?ServTakeD ?ServTakeD. ?ReqTakeG ?ReqTakeG. ?ServTakeG ?ServTakeG. ?ServTakeG ?ServTakeG. ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD. ?ServTakeG ?ServTakeG ?ReqTakeG ?ReqTakeG. ?ServTakeD ?ServTakeD. ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD ?ServTakeD ?ServTakeD ?ServTakeG ?ServTakeG ?ReqTakeG ?ReqTakeG. ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD ?ServTakeD ?ServTakeD. ?ServTakeG ?ServTakeG ?ReqTakeG ?ReqTakeG ?ServTakeD ?ServTakeD. ?ServTakeG ?ServTakeG ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD ?ServTakeG ?ServTakeG ?ReqTakeG ?ReqTakeG. ?ServTakeD ?ServTakeD ?ReqTakeD ?ReqTakeD ?ServTakeG ?ServTakeG ?ReqTakeG ?ReqTakeG. ?ServTakeD ?ServTakeD ?ServTakeG ?ServTakeG. ?ServTakeD ?ServTakeD ?ServTakeG ?ServTakeG. [gh\kl_aT dgHlbcZS\QZs}gh_I´>jQ\kT q/jQTjkT {|Te}gh]a_^_aT & suTSdTgh\/eRTSlulughbcTAl{|]^FZSsTS\/eulzFTjQe º eusT R`|{|ZS_^]il:ZST@gcTSd
(100) Z(eugheul ¶8`cjb&1Z(eugheull] ¹'Te
(101) tes}gh\kl]eu]^`H\klS¡ ¢g RZ(euNQ`|{|T
(102) _ag zQ_ajkld(`cjksugc\HeuTT\ ¤¥¦A§f¨©Kª¬«»zF`cjQsU²k_^esuTsU_aTSlUsTAq/j º euTSlU{Qgh\kl$_ig q/jQTSjQTTAlwe {m j|eu]^_a]il:TSs_^TSjQs\Q`HR
(103) ´|Tef{|T@_aTSllTsu/]as{Qgh\,lO_K `cs}{|suT{m gcssu]^HZTU¶¯`cj»_I `Hsu{QsT[]^\oHTs}l:T¹µ´ozkghsT³|TRzQ_aT6. !#6$ & A 9 6K &5 K)+ !"G! +; !#6$ & A 9 6K &5 K)+ !"G! +$ !#6$ & +* ; : &5 1)+, -!! +. # # +/+&%(%('0') $) + + ;; ¢ TSlcTs}l]^`H\kl gcsbHjQRT\/eulR jQ_^e]azQ_aTSll:]abc\k]²kTS\/eewnozQ]aq/jQTSRT\/We !l:TSso]asf_igsuTSq/j º euT _igzQ_ajklgh\| d]^TS\Q\QT{|T.\k`cR21$33f`cj5476 8¶¯Te_I TS\Q_aTcTSs{QT'_igfq/jQTjkTA)¹ (µ¡ ojQzQzF`Hl`c\klq/jQT'\k`cjklgnc`H\klmjQ\kT'zkgcs:eu]eu]^`H\ *. &. . ÑÑ â. -/.0.102.
(104) A. ¦ |¿áª (Ä ÄHÂc¿^Ī¬Á4 . %E/{QTSl\Q`cRl{|TSlOlTsuo]adTSl'®¯`cjQsu\Q]il.z,ghs\Q`heusT[`cp|vwTe HKJh´HeuT_a_^T@q/jQTe`Hj|eOgczQzFT_{|T@l:TSso]id(TsTAlweuT _I ]^\/eZSs]aTjksf{ jQ\ {|TSlfZ_aZRT\/eulf{|TJ%E/ kgh_a`cs}l\Q`cjklz,`HjQc`H\klR`|{|Z_a]alTsl:ZSzkghsuZRT\/ed}NkgHqHjkT ZS_^ZSRT\/e {|T %E/d(`cRRTjQ\QTqHjkTjQTo´eusugc]e}gh\/e {|TSl sTAqHj º eTAl d(`H\kd(TSs\kZTSlS´T(e$TSl:e]aRUTSs jQ\QT pF`csu\QT ljQzFZsu]^TSjQsuT@z,`HjQs_ig_a`c\QbHjQTjksf{|T$d}N,gcd(jk\QTc¡k¢ T R`|{|P_aT d`cRzQ_aT(eTAlwe[gh_a`cs}l`cp|euT\ojd(`HRRUT _aTzQsu`o{QjQ]ez,ghs}gh_a_^PS_^T[{|T d(TAlqHjkTjQTAl¡Qf`cjklOnb/ghbH\QTsu`c\kl{Qgc\klO_agURTSljQsuT` \k`cjklO\QT dSgh_id(jQ_aTsu`c\,l v:gcRgh]ild(TzQsu`o{QjQ]e]a\k{|ZSz,TS\k{QgcRURTS\Hef{QTl`c\»d(`H\/eT(³oeuT{m j|eu]^_a]ilghe]a`c\m´Qdc TAlwe {|]asT@{|T@_I ghj|eu`cRgeuT R`|{|ZS_^]ilgc\/eO_aT@d(`HRUzF`cseTSRT\/e{|@T HKJ¡ ¼.TAd(]heuTsuR]^\QT._agd`c\kl:esujkd(e]a`c\ {|j@R`|{|P_aT'{ jQ\ `Hp|vwT(egcdµeu]® .S]^_ol:jQ±Ue{|T.lno\kd}NQsu`c\Q]il:TSs_^T'RU`|{|PS_^T ¶¯®8gcd(e`csu]il:Z¹>{|TlgUq/jQTjkT[{|T[suTSq/j º euTSlgcTAd_aTR`|{|P_aT{|T[l`c\
(105) d(`HRUzF`cseTSRT\/e.zQsu`czksT`cp|euT\ojzQ_ajkl 3e 2heA¡Fx\HTsusug jQ\»T(³|TRzQ_aT@T\
(106) ²kbHjQsuT Q¡ ( &'µ f`cjkl]a_^_ajkl:esu`c\kl\Q`cesuT>es}ggh]a_Hz,ghs6_K T(³|TSRUzk_^TOd(_igclul:]iq/jQT.{Qj !{|]a\QTs6{|TSlzQNk]^_a`Hl`czQNkTS l (}´AZSds]^e6{kgh\kl jk\QTcTs}l]^`H\
(107) ¤¥¦A§f¨©Kª¬« {Q]al:esu]^pkjQZTzkgcsugcRUZesuZTzkghs_aT\Q`cR$pQsT{|TzQNQ]a_a`Hl`czQNQTAl´|q/jQT\Q`Hjkl²Q³|`c\kl ]id(] k¡,¼.Nkgcq/jQTzQNk]^_a`Hl`czQNkT[Tefd}Nkgcq/jQT®¯`cjksud}NQTe:euT[TAlwejk\
(108) `Hp|vwT(egHdµe]^®w¡ ¢ T$suZSljQ_^euge@{|TU_K gh\,gh_anolT$l:eughe]iq/jQTU{Qj d(`|{|T{|TU\Q`heusT$T(³|TRzQ_aTUz,TSsRT(e { ]i{|T\/e]^²kTSs`cp|vwTeul gHdµeu]®8ldT qHjk]\Q`cjklOzFTsuRT(ef{|T d`c\kl:esujQ]asT[_aT@sZAl:TAghj{QT l:no\kd}NQsu`c\k]alugeu]^`H\l:jk]^gh\/eB. &. . '&. . $& . Think Think !ReqTakeG !ReqTakeG ?RepTakeG ?RepTakeG ?ReqTake ?ReqTake !RepTake !RepTake. !ReqTakeD !ReqTakeD. Philo Philo. !ReqDropD !ReqDropD. !ReqDropG !ReqDropG. Fork Fork. ?RepTakeD ?RepTakeD. Eat Eat. ?ReqDrop ?ReqDrop. ?ReqDrop ?ReqDrop. Think Think !ReqTakeD !ReqTakeD. Philo Philo. !ReqDropD !ReqDropD. ?ReqTake ?ReqTake !RepTake !RepTake. Think Think !ReqTakeG !ReqTakeG. ?RepTakeD ?RepTakeD. Fork Fork. ?RepTakeG ?RepTakeG. !ReqTakeD !ReqTakeD ?RepTakeD ?RepTakeD. !ReqDropG !ReqDropG. !ReqDropD !ReqDropD. Eat Eat. !ReqTakeG !ReqTakeG. Philo Philo Eat Eat. ?ReqDrop ?ReqDrop. Fork Fork. ?RepTakeG ?RepTakeG !ReqDropG !ReqDropG. ?ReqTake ?ReqTake !RepTake !RepTake. ¥ÅµÀ}Ä
(109) ÀH ÁF¨ *H¥u¦ÁkªiÀÅ@¤ */ª¬¿^¦À¦}¾ *o(À
(110) ¦ |¥¨ *|(©I©ÇµÀ ¢ TSl`Hp|vwT(e}lgcd(e]^®8l ¶ zQNQ]a_^`/l:`HzQNQTAlT(e U®¯`cjQs}d}NQT(eeTAlu¹l`c\/esuTzQsuZSlT\/euZSlzkgcsf{|TAlpF`c]^eTSlfNQ]aZs}ghs d}Nk]aq/jQTAlgcTAd@{|TSlfz,`Hs:e}lT(e[_agd`cRR jQ\k]adSge]a`c\,lT\/esuT TSj|³
(111) TAlwesTSzQsZAl:TS\/eZzkghs[{|TSlf_^]igh]il`c\klOTS\HeusT dTSl[zF`cseulS¡4¢g»l:no\kd}NQsu`c\k]alugeu]^`H\{|Td(TSl{|TSs\k]^TSsul[TSl:e@R`o{QZ_a]alZTUzkghs_aTsZAl:TAghjm´F²kbHjQsT d}NkgHqHjkT zkNQ]^_a`Hl`czkNQT $d(`cRR$jQ\Q]iqHjkT»gHTSd_^TAlU®¯`cjQs}d}NQTe:eTAlUc`c]il]^\QTAl T(e
(112) ¶8bHgcjkd}NQT
(113) T(e{|su`c]^eTM¹ .tzkghs T³|TRzQ_aTc´/_^TAl>RTSlulgcbcTAl 76 T(e 76 zF`cjQs._^TAl.gczQzFT_il.gcj|³URZeNQ`|{|TAl
(114) ¦]¥ ;'Ka©Æ4Ä ;q/jQ]4l:T lno\kd}NQsu`c\Q]ilT\/e.ljQsO_^TSjQsOsTe`cjksS´/T(e_aTRTSlulughbcT .873 Uq/jQ]4_^jQ]\ ghe:eTS\k{zkgclO{|T[sTe`HjQsS¡ zkzkg s}gh]ilul:TS\He6Zb/gh_aTRT\/e6_^TAltgcd(e]a`c\kl T(e 76 ! q/jQ]Ql`c\/e>l:]aRzQ_^TSRT\/e>{|TSl6ZScZ\kTRT\/eul6`HpklTsugcpQ_aTSlS´ lugh\,ll:no\kd}NQsu`c\k]alugeu]^`H\m¡ . 0. . . . Y1Z Ñ 'Y [.
(115) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . " . . . . . H . . BA *K>"XE A%/*K>? BA. f\zQNk]^_a`Hl`czQNkTTAlwejQ\
(116) `cp|vwTeOq/jQ]\kTsu8T 4`c]^eOgcjkd(jQ\kTsuTSq/j º eTT(³oeTSs\kTc¡ o`c\
(117) d(`HRUzF`cseTSRT\/eTAlwe kj \QTl:]aRzQ_aTp,`Hjkd(_aTT\/eusT_aTSl gHdµe]a`c\,lH.msuZ
(118) kZAd}NQ]asS´mlugh]il:]as@_aTSl®¯`HjQsud}NkT(e:euTSlS´Rgh\QbHTs@T(eU{|ZzF`HlTs@_aTSl ®¯`HjQs}d}NQT(eeTSlS¡ Ç_z,TSj|e º eusT@{Qgc\klOjQ\
(119) Z(e}gepQ_a`oq/jQZH´|T\»geeT\/euTq/jQT_aTSl®¯`HjQsud}NkT(e:euTSll`c]aT\/eO_^]ap,ZSsZSTSlS¡
(120) ?9T& : "8& ; 7;! 76IB; . /.
(121)
(122) ? ! " ;
(123) # ?%$D; 5& '$)(7 +*E5 ; . ; ?:;. . / 0% ..).. =1,( -*E51?:; ' $> 1" *?:; 3K ,,( -*E5 ?:;.
(124) 3K ,,( -E* 5K?:; T 'D "G ;F2 7;! 4 ( >#%=; 9,( 6E 5 9; =726 ; : 1? 6 298; T 'D "G ;F2 7;! 4 ( >#%=; 9,( 6E 5 9; =72 6 ; : 1? 6 2 > ; D$ ; 5& '$)( -E* 54? % @ .. $ $ .
(125) =1,( -*E5K?:; ( -*4#3 6546 DA ?:; ( -*4#3 <371$ ,( -*;: "6! -<"54 6 DA 6E 5 9; =72 6 ; : 1? 6 2 !B ; D$ ; 5& '$)( -E* 54 #C= 0% .. $ . 1?2( E +*43# 6654 ;7*! ?:;D; 12? ( E +*43# <37$1,( E+*;: " 6K -<=5: ;7*! 8?:;D;. ?:;. ¢ T'd(`HRUzF`cseTSRT\/em{ jk\@zQNQ]a_^`/l:`HzQNQTtTSl:e TS\kdgczkl:jk_^Zt{Qgc\kl_igORUZeNQ`|{|Tf¿áª¬« T(e {QZSd(`HjQ_aT>{|j@bcs}ghzQNkT m{ gczQz,TS_|{|Tl:`H\$d(`Hsz,lq/jQ]Qd`cRRT\kdT.zkgcs6_agp,`Hjkd(_aTED *Hª¬¿^ 6Æ©K¥ k 8¡ TSl:e>{|ZSds]^e6{kgh\kl_ig²kbHjQsuT.[zkghs _aTSl[gcd(e]a`c\klB.,ZSR]alul:]a`c\ {|TSl[gcd(e]a`c\klo]al]^pk_^TAl$¶ $6!
(126) T(e Q¹OcTSsulf_^TUR`c\k{QT T(³oeuZsu]^TSjQs FZR]ill]^`H\ {QT_ag»suTSq/j º eT !76
(127) ghj|³`cp|vwTeul®¯`HjQsud}NkT(e:euT¶8{|su`c]^eTTe bHgcjkd}NQTA¹ msZAd(TSz|e]a`c\{|j£suZSljQ_e}ge {|T lugsTAq/j º euT # 76 d(`csusuTSlz,`H\k{Qgh\/euT 6T(eZR]ill]a`c\·{|T _agsuTSq/j º eT ! .873 gcj|³1®¯`HjQs}d}NQT(eeTSl suTSlzFTSdµeu]^HTSl¶Klgc\kl>geeTS\HeuTf{|TsuZzF`c\,l:T¹µ¡c¢ TzQNQ]a_^`/l:`HzQNQT\QTsu8T 4`c]^e>zkgcl'{|TsuTSq/j º euTSltT³oeTsu\QTAl´h]a_kTAlwe {Q`c\kd[]a\/jQe]a_^T {|T@R`|{|ZS_^]il:TSslgUq/jQTjkT {|T@sTAq/j º euTSlS¡ ¼.`HRURT d(TS_agTAlwelz,ZAd(]^²kZ{Qgh\,l_^T d(`|{|TH´t_^TAlsZSz,`H\klTSlghj|³ sTAqHj º eTAl 76 l`c\/ege:euT\k{QjQTSl z,ghsjQ\ Z(eughefpQ_a`|qHj,gh\/e Q\Q`HjklzF`cjkc`c\,l`cz|eu]^R]il:TSsf_aT R`|{|P_aT {|j d`cRzF`cseTRTS\Hef{QjzQNQ]a_^`/l:`HzQNQ6T . gcjkd(jk\QT@gcdµeu]^`H\
(128) gcj|esuT@q/jQT #% 76 \m TSl:ez,`/ll]apQ_^T]aRRUZA{|]igeTSRT\/efghzQsuPSl_I gHdµeu]^`H\ 76 ,¡ 0. % . . . % . ÑÑ â. -/.0.102.
(129) V. ¦ |¿áª (Ä ÄHÂc¿^Ī¬Á4 . !ReqDropD !ReqDropD. Think Think. !ReqTakeG !ReqTakeG. !ServTakeD !ServTakeD !ServTakeG !ServTakeG. ?RepTakeG ?RepTakeG. !ReqDropG !ReqDropG. !ServDrop !ServDrop. !RepTakeD !RepTakeD. !ReqTakeD !ReqTakeD. Eat Eat. !RepTakeG !RepTakeG ?RepTakeD ?RepTakeD. ,. " 9. . 0. ¦ ¾|¦h¥µ©Æ Ák©Âmà |Á ¤ *Hª¬¿a¦À¦}¾ *o©Â à |ÁF
(130) ¦ |¥¨ *|(©I©Ç . . BA D"II>" = BA. ¼.NkgHq/jQT'®¯`HjQs}d}NQT(eeTTSl:e6jk\ `cpQvwT(e>gcd(e]^®w´q/jQ]|su8T 4`c]^e_aTSl6suTSq/j º eTSl 76 Te . 873 {|TSlzQNQ]a_a`Hl`czQNQTAl¡ |`c\»d(`cRzF`cseTSRUTS\/eOTAlwefd`c\/es32c_aZ[zkghs_igUgcs]ighpk_^T{ Z(eughe.8 73 84¡. .
(131) ?9T& : "8& ; 7;! 76 8 7768;
(132) ? % @ ;
(133) # ?+ 0 '( D -( -* ; 8E; 76 3K , 6$ & 4 K?:;&<5, & A 96K &5 9'$8 =1' / 0% 8E; 76 3K , 6$ & 4 K?:;&<5, & A 96K &5 9'$8 =1' .).. . # A*E "K3)+ ' >0 +; . # A*E "K3)+ ")-! / +; ..
(134) A B C D,( 6=E"A$> ;7*! K?:; $( -( -* 4 #C= 0% 9; ! =1 :=72 6 ; : -( E+* ? 6$2 K; A B C ,(7 &6 " A $>D$?:; .. .
(135).
(136) 6 DA ?:; ( D -( -* 4 % @ 9; =1 :=726 ; : -( E+* .. ? 62 !; ¢g[²kbcjQsuT {|`H\Q\QTjQ\R`|{|PS_^Tf{QTd}Nkgcq/jQT`Hp|vwT(et®¯`HjQsud}NkT(e:euTc¡/`heu`c\kl'qHjkT_^TAl>suTSq/j º euTSl 76T(e .873\QT$l:`H\Hezkgcles}gh]^eZTAl{|T$_agR º RUT$Rgh\Q]aPsuT QTS\T(4T(eA´ 7 6 sTe`HjQs\kT jQ\ suZSljQ_e}geA´,d(TS_^jk]Çd(] . Y1Z Ñ 'Y [.
(137) ¤O¥ |«UÂc¾,¥¦µ¾,¥µª8Å©ÆÅ(À$ÂcU¨}¦ ¾|¦h¥µ©Æ Ák©Âc¾,¥u¦ c¥Ä µÀ¤¥¦A§f¨©Iª¬« . . . . . . . {Q`c]^e º esuT l:no\kd}NQsu`c\k]alZgHTSd_K geeT\/euT»{m jQ\·zQNk]^_a`Hl`czQNkTc´eugc\k{|]ilqHjkT .873 \QT»_K TSl:ezkgclTel:`H\ T³|ZSd(jQe]a`c\
(138) TSl:eRU`|{|ZS_^]ilZTjQ\Q]iq/jQTRT\/ezkgcs_K gcd(e]a`c\ (8.873 {|T@_ig$®¯`cjQs}d}NQT(eeTH¡ ¢' gc\kgh_an|l:T[lwe}ge]iq/jQTzQsu`o{QjQ]e{|TAlO]^\|®¯`HsRghe]a`c\kl.]^\/euZsuTSlulgc\HeuTSl.z,`HjQsO_ag$R`|{|Z_a]alugeu]^`H\d`cRzQ_aP(eT {QT_ag qHjkTjQT{QTSl suTSq/j º eTAl {|TAl@®¯`cjksud}NQTe:euTSl _^TAl suTSq/j º euTSl $6 »Te .873 {|T_ig»®¯`cjksud}NQTe:euTl:`H\/e eusugc]euZTAl lZzkgcsZSRUTS\/e zkghs$_^T
(139) d(`|{|Tj|eu]^_a]ilgheTjksS´ »es}gcTSsul_igzks]aR]eu]^HT %(8 ! 6
(140)
(141) . _aT d`cRz,`Hs:euTRT\/ef{|T@_ig®¯`HjQsud}NkT(e:euT@TSl:ef]a\k{|ZzFT\,{Qgh\/e{|T _K `cs}{|suT{m gcssu]^HZT@{|TAlsuTSq/j º euTSl 76 T(e .87 3 ¡H`Hjklz,`HjQc`H\kl.j|e]a_^]ilTsOjQ\R`|{|PS_^T{Qgh\,l._aTSq/jQTS_4_^TAlq/jQTSjQTSlOlZzkgcsZSTSl.{|TSlsuTSq/j º euTSl 76 $T(e .87 3 l:`H\/el]aRUzk_^TSRUTS\/eRU]ilTSlOT\
(142) zkgcsugc_^_aP_aTc¡ f`cjkl{|`c\k\Q`c\kl'jQ\R`|{|PS_^TH´c²kbHjQsuT |´o{Qgh\,l'_aTSq/jQTS_,\Q`Hjklt®8gc]al`c\,l>_I Nonoz,`ceNQPAl:T[q/jm jQ\R`cRTS\He {Q`c\Q\QZH´QzkgHlOzQ_^j,l{|T {|TSj|³suTSq/j º eTAl $6 zFTjQHT\/eflTeus`HjQcTSs{Qgh\,l_agq/jQTSjQT {|TSlsTAqHj º eTAl 76 TefzkgHlzQ_ajklf{ jQ\QT sTAqHj º eT .873 {Qgc\kl_igq/jQTjQT${|TSl .873 ¡F¼.T(eeT Nonoz,`ceNQPAl:T@\ TAlwed`csusTAdµeuTq/jQT l]_aT l:n|l:ePRT[®¯`c\,dµe]a`c\k\QT d(`H\/HT\kgcpQ_aTRT\/eS´oTeO\k`cjklzks`HjQcTSs`H\kl.q/jm T\
(143) T(4T(e[dh TSl:eO_aT dgHl¡ $ . &. +. &. ?ReqTakeD ?ReqTakeD. ?ReqTakeG ?ReqTakeG. ?ReqDrop ?ReqDrop. ?ServTakeD ?ServTakeD. ?ReqTakeD ?ReqTakeD. DropQueue DropQueue. TakeQueue TakeQueue ?ReqTakeG ?ReqTakeG. ?ServDrop ?ServDrop. ?ServTakeG ?ServTakeG. ?ServDrop ?ServDrop. ?ReqTakeD ?ReqTakeD. ?ReqDrop ?ReqDrop. ?ServTakeG ?ServTakeG. ?ServTakeD ?ServTakeD ?ServTakeG ?ServTakeG ?ServTakeD ?ServTakeD. ?ReqTakeG ?ReqTakeG. ?ServTakeG ?ServTakeG. ?ServTakeD ?ServTakeD. !ServDrop !ServDrop !ServTakeG !ServTakeG. ForkLive ForkLive !ServTakeD !ServTakeD !RepTakeG !RepTakeG. 0 ¦AÂ5,¿^ÂH¿aÄ kk
(144) ÂH¿^Ä ÀH Á4¨ */¥¦Á,ªiÀ(Äh©Kª8¦hÁ. (¦|¥¨ *o©K©Ç. [¿^(À kkµÀÂH ¥¦µ¾. !RepTakeD !RepTakeD. (©kÄ4; 1¿:Ã Ä |©Ç¦ Ä©Ç»Âc . . '($ .# " ËzQsZAl:TS\/ef\Q`cj,lfgc`H\kllz,ZAd(]^²kZ _aTSlfZ_aZRT\/eul{|T \k`hesuT ln|lweuPRTc¡ gc\kl_igzQs}geu]aq/jQTH´Qe`HjklfdTSl gcj|e`HRgeTAlmTe6dT.suZSlTSgcj@`c\/eZeZO{|TSlul:]a\QZAl TS\ j|eu]^_a]alugh\/e_K ZS{|]^eTSjQs tMX dT_ajQ]^Æd]HzQsu`|{|jQ]^eZSbHgc_^TSRUTS\/e {QTSl ²,d}NQ]aTs}l ¼OV{|T
(145) d}N,gcq/jQTZS_^ZSRUTS\/eS¡>¼.Tj|³oÇd(]Ol:`H\He¿áª¬Á ;hŵÀ TS\/esuTTj|³£TS\1jQ\1lTjk_'²,d}Nk]^TSs 6¼OV suTzksZAl:TS\He}gh\/ee`cjQeO_I ghsupQsTH¡ . . * . ÑÑ â. -/.0.102.
Documents relatifs
« On ne fait pas que des psychothérapies en clinique/…/On en parlait encore ce matin : est-ce qu’on a le temps de faire des psychothérapies, parce qu’on voit les gens
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
« La prophétie, ou interprétation et conférence des Écritures se fera par les ministres du Colloque, en l’assemblée où chacun dira la tête découverte ce que Dieu lui
Pendant six ans, jusqu’au premier janvier 1568, le clergé de France doit fournir chaque année au roi l’équivalent de quatre décimes, un million six cent mille livres tournois,
AMC PAPI : Spécificités du contexte torrentiel – Rapport de Phase 1 Page 18 sur 46 Dans le cas des laves torrentielles, on peut résumer les conditions nécessaires au
Gillard, “Combinaison de la DG-FDTD avec un mod` ele de substitution pour un calcul de dosim´ etrie locale dans un probl` eme variable et fortement multi-´ echelle”, dans 18`
Le jugement porté par les femmes lettrées sur leurs soigneurs doit donc être nuancé en fonction de la personnalité de chacune, de la gravité de la maladie,
3.3 Processus d’alimentation d'entrepôt de données : Nous devons extraire, transformer et charger les données à partir des sources précédemment citées, dans l'entrepôt de
