Using Rewriting and Strategies for Describing the B Predicate Prover
Texte intégral
(2)
(3) !"#%$&% (')*&+,&-#. 0/$-
(4) 21354,6#4)
(5) 6 )$,7 8 :9;<
(6) $=$>?< @&>#4+$=.ACBED.FHG IKJMLONQPORTSVUWRXLZY[PO\]N UW^TNS`_`\bacRTLedgf`h`\iL jlkcm*n oNh`_Vn#pm*n o q>r5sut LZS`\v_`SxwMNLe_`RThVyWJPONh`RXzuS>\ s{MqM|M|~} RX^T^T\iLZY# ^\i Y[ pNh`dUW\ _`\ t LONh>d \ IKJMLONPZRTS:UWRTLeYePZ\]N t UW^NS`_>\avRXLZdgf`h>\ Li^XJMLZRTN>L * `[eg5 :5+i [¡¢£#¤Q¢¤Q¥-¦[§¨W©ª¥-ª«l#¬¦5§e¥¥-©®W¡,¤5®5©¯°«§¨±¡®Q²³¥´©¨3¦5¢µ:¡O¶l·§¥´ª´ «§¸²[§¹§[µº§©ª»©®5¼Q½¾5e¡¢£#¤5¢¤Q¥¿¡®Q²³®5«® ²[ª»[§¨3©®Q©¥´ª»©£º#«i¨W¦Q¤ª¡ª»©«®Q¥¹¡i¥`µe¢¢ ¡¥:ª5[©§[«¨³À5©®¡gª»©«®uÁ ®ª5©¥l¦Q¡¦[§Z½Qµ¦5§e¥»[® ªºª5¨Ã¡©®v#«i¨W¦«®Q[® ª¥ «¯³ª»5Ä [¡¢[¤5¢¤Q¥¡®Q²VµÄ¼©Å~¡Æ¯°¤Q¢¢Ç·Q§¸¥´ª´«§¸²[§
(7) ¦5§»Z¥´e® ª¡gª©«i®V«¯ª»5©£¥ §»eµº§»©ª»©®5¼Ç[¡¢[¤5¢¤¥-¤¥´©®5¼.¡®³#¬¦5¢©[©ª¿¥»¤5ÀQ¥´ª»©ª»¤ª©«i®W¥»#ª»ª»©®5¼Q½e¡¢¢Z²@]È`½gªQ¡gª ¼e®5[§¸¡¢©Éee¥Çª5¾È [¡¢£#¤Q¢¤Q¥eÁv:5
(8) ÀQ¡¥»©*¦5§»«i¦e§´ª©Z¥.«¯ºª5K®Q«®#¬¦5¢©[©ª ¡®Q²Ê#¬¦5¢©£#©ª@¥´¤5À¥ª©ª¤ª»©«®~Åe§¥»©«®Q¥<¡§3¦5§»Z¥´e® ª»e²Á³ËÄ3ª»5e®E²#ª¸¡©¢¹5«gµ ª»«c¤Q¥»3ª»Q* [¡¢[¤5¢¤Q¥Çª»«c¼i©Åiá®~«¦[§¸¡gª©«i®Q¡¢¿¥»[¨Ã¡® ª©e¥<ª»«cª5ç»eµº§»©ª» §»¤Q¢Z¥:«¯>ª»5*ÌMÍgÎ,ÏE¢£¡®Q¼¤Q¡¼Á Ð ÑÒWÓ>Ô¹ÕKÖv×ØÓ`Ù#ÕWÒ Ú@Û%Ü,Ý5Þ´ßgàáâßgãá°ãäå°ä¿à@ßgàáâßgãá°ãä¹æç%ÜOèMéuá°åâßgåëê¹ì#Ügíì[å°ê Ü,ì[ãáëÜ,à]éuéuá°å°ßgà]ê#åëæ5î*ê#Ûà]êãuîåëçTæì[ïváëð åâîQê Ügñì[à]ê Üä@ê#Û%Ü*òìeä ê¸Þæì[ó%Ügìàîó"Ûåëñ5Û%Ügì Þæìeó%ÜgìßOæ5ïcéuã%ê#à]ê#å°æ5îEéuà]ì[àóå°ñ5ïvägô õ Üßgàãuä Ücê#Û%Üä Üê´í<æEéuà]ì[àóå°ñ5ïvä³à]ì[ÜåâîóåëöMå°óãàáâáëðvÜOèMê ì#ÜïcÜáëð"à]ê ê ìeàßOê#åëöÜvàîó ÛuàöÜ÷ãä ÜgçãáßOæ5ïcé-áëÜïcÜîê#à]ì#ðøçTÜà]ê#ã%ì#Üägù@àúáëæêÄæç*à]ê ê ÜîQê#åëæ5îÛuàäbû`ÜgÜîó%Ügöæê Üó ê æüê#Û%ÜÊä#ê#ãó%ðýæç.ê#Û%ÜåëìKßOæ5ï
(9) ûuå°îuà]ê#åëæ5î¹ùÜä é`Üßgå°àá°áëðýå°î÷ê#Û%ÜÄá°àä êó%Üßgàó%ÜôÆÚÛåâä*Ûàä û`ÜgÜî±àóóì#Üä#ä ÜóþÜåëê#ÛÜgìcûðxÜî%ì[å°ßeÛå°î%ñòì[ä#ê¸Þæì[ó%Ügìcì#Ügíìeåëê#å°î%ñí@åëê#ÛþÛåëñ5ÛÜgì Þæì[ó%Ügì ßgà]é-à]ûuå°á°åëê#å°ÜäæìÊûð±àóóå°î%ñ÷ê æ±ÿMÞ´ßgàáâßgãá°ãävàá°ñÜgûì[àå°ßEçTÜà]ê#ã%ì#ÜäÄàá°áëæií@å°î%ñ÷æ5îÜ"ê æ óÜàáuí@å°ê#ÛvÜ ãàá°åëê»ðbå°îbàîÄÜ bßgå°ÜîQê<í<àðô ¸îbê#Û%ÜWòì[ä#êßgàä ÜùMí<ܳòuîuóvê#Û%ÜWíæì ä<æ5î
(10) á°æ é âù .àîóýæê#Û%ÜgìÛåëñ5Û%Ügì#Þæì[ó%ÜgìÃì#Ügíìeåëê#å°î%ñEä ðMä ê Üïvä ! åë"é æí àîu$ó #lì#ÜÛ%æçTÜgì%ù & ù³å°îCê#Û%Üýä ÜßOæ5îóßgàä Üýê#Û%Üýí<æ'ì äÄæ5î ßOæ5ï
(11) ûuå°îà]ê#åëæ5îæçÿ%Þ ßgàáâßgãá°ãäcí³åëê#Û±ê Ügì[ï ì#Ügíì[åëê#åâî%ñ !( ]àóàM)ù &+* õ ì#Ü-à ,ã%Þ´ÚàîîÜî¹.ù &&+* /Ãàá°á°åëÜgì àîuó õ ì#Ü-à ,ãMÞ´Úàîî%Üî¹0ù &+*21æ5ãuàîîàãóüàîó ( ]àóàM3ù 54 ê æÄïcÜîê#åëæ5îüæ5îáëðEà çTÜgí*ô6 ÜßOæ5ïcÜã%éí@åëê#Ûàî%æê#Û%Ügìºé`æ5å°îê:æçuöMåëÜgíþû`Üßgàãä ÜÇæç-æ5ãìéuì#Ügöå°æ5ãäíæ'ì Mä:æ5î ê#ÛÜßOæ5îê ì#æ5áæç%ê Ügì[ïHì#Ügíì[åëê#åâî%ñ åëì[ßeÛî%Üg ì 2-7°8ù 9+*-:3åëê ê Ü >;ù =<>* õ æì#æiö àîu?ä ð @ .
(12)
(13) â ù & ô ¸îó%ÜgÜó÷í<Üvì#Üàáâ7å ,gÜó÷ê#Ûà]ê
(14) ê#Û%Üvê ææ5álî%ÜgÜó%ÜóVê æ"ßOæ5îê ì#æ5álì[Ügíì[åëê#å°îñ [ä Û%æ5ãá°óû`Üïvàó%Ü@ÜOèéuáâå°ßgåëêºàîóvßOæ5ãáâócû`Ü@åëê#ä Üáëç>îà]ê#ã%ì[àáâáëð
(15) ó%Üä[ßOì[åëû`Üócãä#å°îñÃì#Ügíì[åëê¸Þ åâî%ñ%ô.ÚÛå°äá°Üàóä@ê æÊê#Û%ÜKÝQÞ´ßgàá°ßgãá°ãuä*uê#Û%Ü
(16) ì#Ügíì[å°ê#å°î%ñvßgàá°ßgãáâãä.í@Ûåâß[Û"åâä@àbßgàáâßgãá°ãä æçÜOèMéuá°å°ßgåëêÇì[ãuáëÜÃà]ééuá°å°ßgà]ê#å°æ5î¹ô îxê#Ûå°äßgàá°ßgãáâãäKê#ÛÜ~à]éuéuá°å°ßgà]ê#åëæ5îúæç@àì[ãá°Ü ä#à ð Kê æ÷ê#Û%ÜÄê æéøáëÜgöÜá æçÇà~ê Ügì[ï áâ7å Üê#Û%ÜvßOæ5îä ê#àî ê Wå°ä3ì#Ügéì#Üä#ÜîQê Üó àä*ê#Û%6 Ücæ
(17) û ÜßOêÃæçê#Û%Üvßgàáâßgãá°ãä 3í³Ûå°ß[ÛVÜgö àáâãà]ê ÜäKê æüê#Û%ÜÊä[å°î%ñ5áëÜgê æ5 î 5ô Û%Üîúê#Û%Übà]éé-á°å°ßgà]ê#åëæ5î÷æç àÊì[ãá°ÜKçàå°á°äWá°7å Ü
(18) åâî û`Üßgàãä#Ü ÆóæÜä3î%æê3ïvà]ê#ß[Ûýê#ÛÜßOæ5îuä ê#àîQê ù`ê#Û%Ü ÜOèMéì#Üä[ä#åëæ5îúÜgö àá°ãuà]ê Üäcê æýê#Û%Ü~Üïcéê´ðxä Ügê ô ( ç³ßOæ5ã%ì[ä Ü~ö]à]ì[å°à]ûuáëÜäïvàðúà]éé`Üà]ì åâîýì#Ügíì[åëê Übì[ãáëÜäÃá°å Ü 3ê#Ûuà]ê*Ügö àáâãà]ê ÜäKê æ !"5ô ¸î÷çTàßOê
(19) í@Û%Üî Ügö]àá°ãà]ê#åâî%ñ÷ê#Ûå°äÜOèMéì#Üä#ä[åëæ5î¹ùlê#ÛÜEö à]ì[åâà]ûuáëÜ å°ävû>æ5ãuîóxê æ Vûðxê#Û%Ü"ïvà]ê#ßeÛå°î%ñ ïvÜß[Ûàîåâä#ï2àîó÷í<ÜbÛàöÜÊä#Ûæí@îúå°î õ æì#æö]àî?ä $ð @ -7°ù & Û%æií àEì[Ügíì[åëê Ü ìeãáëÜÇßgàîcû`ÜÇßOæ5îuä#å°ó%Ügì#Üócàälà3çTãîußOê#åëæ5îí@åëê#Ûcïvà]ê#ßeÛå°î%ñ*àäºê#ÛÜ.éuà]ì[àïcÜgê Ügì,é-àä#ä#å°î%ñ ïvÜß[Ûàîåâä#ïEô # ÿMÞÜOèMéì#Üä[ä#åëæ5îÿ %$& ßOæ5ãá°óCû>Üüì#Ügéì#Üä#ÜîQê ÜóàäÄê#Û%ÜüìeãáëÜ & àîóCê#Û%Ü ' Þì#ÜóãßOê#åëæ5îæç*ê#ÛÜì[Üó%ÜOè ÿ %$&)( Êå°äbÜOè%àßOê#áëðCê#Û%Üýì#ÜóãßOê#åëæ5îCæçKê#ÛÜüÝQÞê Ügì[ï & ( KåâîQê æê#Û%Ü~Ý5Þê Ügì[* ï & ,+( -5ô ( ç³ßOæ5ã%ì[ä Üù,ê#ÛÜÄä#ãûuä ê#åëê#ã%ê#å°æ5îVïcÜßeÛà Þ îuå°ä#ï ä[Û%æ5ãá°óúéì#Üä Ügì[öÜÊê#Û%Ü~ßOæì#ì#ÜßOêcö]à]ì[å°à]û-áëÜbûuåâîóå°î%ñ5ä*öå°à"ê#Û%ÜEà]ééì#æéuì[å°à]ê /Ü .¿Þ ßOæ5îöÜgì[ä#å°æ5î¹ô ¸îÆæì[óÜgì³ê æ~ïv-à Üê#Ûå°ä@é>æ5åâîQê@ßgá°Üà]ìWàîóàä3å°îåëê#åâà]ê ÜóÆå°î 10 æiíÜ âù 9 ù+íÜvïvà ÜvàEä#ê ì#æ5î%ñEóå°ä ê#åâîßOê#åëæ5îû`Ügê´í<ÜgÜî ä#ã%ûuä#ê#åëê#ã%ê#åëæ5î í@Ûå°ßeÛê#-à Üä ßgà]ì[ÜÃæç+ö]à]ì[å°à]ûuáëÜWûuå°îuóå°î%2ñ ,àîóÄñì[à]çXê#åâî%ñ ê#Ûà]ê.é`Ügì#çXæìeïvä<ì#Ügéuá°àßOÜïcÜîê.óåëì#ÜßOê#á° ð eô æxû-àä#å°ßüÝ5Þ´ßgàá°ßgãáâãäÄæ
(20) û ¸ÜßOê#ä"à]ì#Üýûuãå°áëêÊçXì[æ5ï!ê#Û%Ü÷ä#åëñ5îà]ê#ã%ì[Üù@ê#Û%Ü÷à]ûuä ê ìeàßOê#åëæ5î æé`Ügì[à]ê æì !àîóEê#ÛÜ*à]ééuá°å°ßgà]ê#å°æ5î~æé>Ügìeà]ê æì eô # î%æê#ÛÜgì@å°ïcé`æì#ê#àîêÇçXÜà]ê#ã%ì[ÜÃæçê#Û%ÜÃÝQÞ´ßgàá°ßgãá°ãuä<åâä.åëê#ä.à]ûuå°á°å°ê´ðvê æbÛuàîóáëÜ3î%æ5îMÞ óÜgê Ügì[ïvå°îåâä#ï å°î~ê#Û%ÜKä Üîuä ÜÃæçºä Ügê#äæçì#Üä#ãá°ê#ägô,ÚÛå°ä.åâä.àß[ÛåëÜgöÜóüöMå°àê#Û%ÜÃÜOèMéuá°å°ßgåëê Ûuàîóá°å°îñæçºì[ÜóãßOê#åëæ5î"ì#Üä#ãáëêä#Ügê#ägù>åâîßgá°ãóåâî%ñ
(21) ê#ÛÜKÜïcéê»ðÆä ÜgêWê#Ûà]ê@ì#ÜßOæìeóä@çàå°á£Þ ãì#ÜvæçÇì[ãáëÜvà]éuéuá°å°ßgà]ê#åëæ5î¿ô »ê
(22) àá°áëæí³äKãäÃê æïv-à ÜÊãuä Übå°î àîVÜOèé-á°å°ßgåëê*àîóVóåëì#ÜßOê íÇàðüæç,î%æ5îMÞê Ügì[ïbå°îà]ê#å°î%ñÊæìWîæ5îMÞ´ßOæ5 î 3uã%Üîê Ü ãà]ê#å°æ5îà4á ì#Ügíì[åëê Ü
(23) ä ðä#ê Üïväg6ô 5%æì ÜOè%àïcéuá°Üåëçlê#Û%Ücä ðï
(24) û`æ58á 7 å°ä3àä#ä#ãïcÜóê æ~û`ÜcßOæ5ïvï
(25) ãê#à]ê#åëöÜcê#Û%Üî÷à]ééuá°ðå°îñvê#Û%Ü ìeãáëÜ 79 ê æÃê#Û%Ü.ê Ügì[: ï ;7<<ì#Üä#ãáëê#ä:å°/î !>=?!³ä#å°îußOÜ<ê#ÛÜgì#Ü@à]ì#Ü.ê»íæKóuAå @>Ügì[ÜîQê íÇàðMäê æÊà]ééuáëðÊê#Ûå°äÇì[ãá°Ü*ïcæóuãáëæßOæ5ïvï
(26) ãê#à]ê#åëöå°ê´ðô # çTê Ügìå°îê ì#æMóãßgå°îñ<ê#ÛÜ,Ý5Þ´ßgàá°ßgãuá°ãä¿àîó
(27) åëê#ä¿ïvàåâî*å°îê Ügì#Üä ê¿çTæì+ê#Û%ÜßOæ5ïKûuåâîà]ê#åëæ5î æç`òìeä ê,àîóvÛå°ñ5Û%Ügì Þæì[ó%Ügì,ßOæ5ïvéuã%ê#à]ê#åëæ5îäùQê#Û%Ü.éuãì#é`æ5ä ÜÇæç>ê#Ûuå°äºéuà]é`Ügì,å°äºê æ
(28) ó%Ügòuî%Ü àîuóÊä ê#ãuó%ðcàîbÜOèMéuá°å°ßgå°êlä#ã%ûuä#ê#åëê#ã%ê#åëæ5îvßgàáâßgãá°ãälçXæì<ê#Û%ÜWÝ5Þ´ßgàá°ßgãáâãälàîóbê æéì#æöMå°ó%Ü àKçTãuá°áä ê#å°áâáä#å°ïcé-áëÜä Üïvàîê#å°ßgäçXæì<ê#Û%Ü@ì[Ügíì[åëê ÜìeãáëÜälãuä Üóbå°îvê#Û%Ü B,CEDGF áâàî%ñ5ãà]ñÜô î ÜßOê#å°æ5 î HíÜÆòuì[ä êå°îQê ì[æóãußOÜÄê#ÛÜÆä ðîê#à èþæç³ê#Û%ÜEû-àä#å°ßÄÝ5Þ´ßgàá°ßgãuá°ãäàîó í<Übñ5å°öÜbÜOè%àïcéuáëÜäKæçåëê#ä*ÜOèMéì#Üä#ä[åëöÜî%Üä#ägô~ÚÛ%ÜÊó%ÜóãßOê#åëæ5îVì[ãáëÜäKà]ì#Übê#Û%ÜîVéì#ÜOÞ ä#ÜîQê ÜóÄê æñÜgê#Û%Ügì.í@å°ê#ÛÊßOæ5îä[å°ó%Ügì[à]ê#åëæ5îuä,æ5îÄê#Û%Ü3ïvà]ê#ß[Ûåâî%ñïvÜß[Ûàîåâä#ï àîuóbæ5îÊê#Û%Ü à]éuéuá°å°ßgà]ê#åëæ5îæç<ê#Û%Üvä#ã%û-ä ê#åëê#ã%ê#åëæ5îuägô # êÃê#Û%ÜcÜîuóýæçê#ÛåâäÃä ÜßOê#åëæ5î÷í<ÜcÜOèé-á°àå°îê#Û%Ü ä#ê ì[à]ê Ügñð~ñ5ãå°óå°îñ
(29) ê#Û%Ü*óÜóãßOê#åëæ5î~ì[ãuáëÜäÇê#Ûà]êä#Û%æ5ãuá°ó~û`Ü3ãuä ÜóEå°î~æì[ó%Ügì.ê æbæûê#àå°î àßOæ5 î 3uãÜîQêÇßgàá°ßgãá°ãuäg3ô î ÜßOê#åëæ5î ùMíÜÃó%Ügò-î%ܳàîó~ä ê#ãuó%ðvà
(30) ßgàáâßgãá°ãäæç¿ÜOèMéuá°å°ßgåëê ä[ã%ûuä ê#åëê#ãê#åëæ5îägùi2Ý I:ùê#Ûà]êñÜî%Ügì[àá°å ,gÜäê#ÛÜ<ä ê#àîuóà]ì[óc"ÿ I~ßgàá°ßgãáâãägô+ÚÛÜ<ä ðMîê#à è
(31) àîó ê#ÛÜ
(32) ó%ÜóãußOê#åëæ5îEì[ãá°Üäà]ì#ÜKéuì#Üä Üîê Üó"å°î"ê#Ûå°äî%ÜgíHßOæ5îQê ÜOèMê3àîóÆê#Û%Üä#àïcÜßOæ5 î 3uãMÞ ÜîußOÜì#Üä#ãá°ê#ä,àälå°îê#ÛÜ@î%æ5îMÞÜOèMéuá°å°ßgå°ê:ßgàä#ܳà]ì#ÜçTæ5ãîó¿ô ¸î ÜßOê#åëæ5î <*íÜWó%Ügê#àå°áÛæí. H.
(33) ê æ*ãuä ÜÇê#Û%Ü.Ý5Þ´ßgàá°ßgãuá°ãäê æÃñ5åëöÜàîæé`Ügì[à]ê#åëæ5îàá%ä#ÜïvàîQê#åâßgä:ê æ*ê#Û%ÜB,C D Fáâàî%ñ5ãà]ñÜô Ú@Ûå°ä<é`Ügì[ïvåëê#ä.å°î~é-à]6 ì#ê#å°ßgãá°à]ì.ê æbñ5åëöÜ*àcçãá°á`àßgßOæ5ãîê@æç B CEDGF ä³ä ê ì[à]ê ÜgñðEæû
(34) ÜßOê#ä àîuóüæçê#Û%ÜåëìÃãä Üô ÜvßOæ5îßgá°ãó%Üûð"éì#æiöåâóå°î%ñÊì#Üä Üà]ì[ßeÛ÷óåëì#ÜßOê#åëæ5îuä³ê#Ûuà]ê3à]ì[Üæç ïbàå°î÷å°îê Ügì#Üä êKå°îýê#ÛÜbßOæ5îQê ÜOèMêKæç B,CEDGFàîó÷ïcæì[ÜvñÜî%Ügì[àá°á°ðüæç<ì#Ügíì[å°ê Ücûuàä Üó áâàî%ñ5ãà]ñÜäWá°7å Ü # 587 0 5 ö]àîó%Üî õ ì[àîó -7âù 54 ù ,ù "àãóÜ áâàöÜá -7âù &æì à]çXÜ ( õ 1 5ã%ê#à]ê#ä[ã%ñ5å+àîó à ]à]ñ5àíÇàMù ô ÚÛå°ä@éuà]é`ÜgìWó%æÜäWî%æêWßOæ5îê#àå°îýàá°áê#Û%Üê Üß[Ûîåâßgàáó%Ügê#àåâá°ä³àîuóüä ÜgöÜgìeàá:éì#ææçTä ê#Ûuà]ê@ßgàîÆû`Ü3çXæ5ãuîóEå°î å°ì[ä ê Üàcàîó å°ì[ß[ÛîÜgìù & ô
(35) Ø #Ø,× [ × Ú@Û%ÜÃÝ5Þ´ßgàá°ßgãuá°ãä.å°ä.ó%Ügò-î%ÜóEûðÊòöÜ*ßOæ5ïvé>æ5îÜîQê#ä 5:åëì[ä ê.åëê#ä.ä ðMîê#à èÊê#Ûà]êïv-à Üä@éì#Üßgå°ä#ܳê#Û%ÜÃçTæì[ïvà]ê#å°æ5î~æç+ê#Û%ÜÃê Ügì[ïbä.ïvàîåëé%Þ ãá°à]ê Üócûðê#Û%Üßgàá°ßgãá°ãuäºàäºíÜáâá%àäºê#Û%Ü@ä#ãûuä ê#åëê#ã%ê#å°æ5îä+ê#Ûuà]êlà]ì#Ü@ãä#Üócóã%ì[å°îñ ê#Û%ÜvÜgö]àá°ãà]ê#åëæ5îúïcÜß[Ûuàîå°ä#ïEô î ê#Û%Übßgàä ÜÊæç<ÝQÞ´ßgàá°ßgãá°ãuägù¿ê#Û%ÜÄßOæì#ÜvæçÇê#Û%Ü ê Ügì[ïçTæì[ïvà]ê#å°æ5îEì#Üá°åëÜäÇæ5îÆì#Ügíì[åëê Ü3ì[ãuáëÜä.àîóEì[ãuáëÜÃà]ééuá°å°ßgà]ê#å°æ5î¹ô ÚÛ%ÜÇó%Üä#ßOì[å°éê#åëæ5î
(36) æçê#Û%Ü.ä#ã%ûuä#ê#åëê#ã%ê#åëæ5î
(37) à]ééuá°å°ßgà]ê#å°æ5îKæ5îê Ügì[ïväôÚÛuå°äóÜä#ßOì[åëé%Þ ê#åëæ5îxå°ä*æçTê ÜîVñ5å°öÜîúà]êê#Û%ÜÊïvÜgê#à Þ´áëÜgöÜá ùºÜOè%ßOÜgéê
(38) çTæìÜOèéuáâå°ßgåëê*ä#ã%û-ä ê#åëê#ã%ê#åëæ5î çXìeàïcÜgíæì äÃá°å Üê#ÛÜæ5îÜí<Üvó%Üä#ßOìeåëû`Üå°îàEá°à]ê ÜgìÃéuà]ì[êWæçê#Ûå°äWéuà]é`Ügì.ô ¸î ê#Û%Ü@ßgàä ܳæç`Ý5Þ´ßgàá°ßgãáâãägùQä#ãûuä ê#åëê#ã%ê#å°æ5îä:à]ì#Ü@Ûåëñ5ÛÜgì Þæì[ó%Ügìlä[ã%ûuä ê#åëê#ãê#åëæ5îä:àîó î%æêñì[à]çTê#å°î%ñ%ô ÚÛ%Üvïvà]ê#ßeÛå°î%ñüàáëñæì[åëê#Ûï ãä Üóýê æ"û-å°îóö à]ìeå°à]ûuáëÜä3ê æüê#Û%Üåëì*àßOê#ãàáà]ì#ñ5ãMÞ ïcÜîê#äg0ô îÊê#Û%ÜWßgàä ܳæç+Ý5Þ´ßgàá°ßgãáâãägùQê#Ûuå°älå°äå°îvñÜîÜgì[àá`Ûåëñ5Û%Ügì Þæìeó%Ügìlïvà]ê#ßeÛMÞ å°î%ñàîó
(39) å°îÃéìeàßOê#å°ßgàá5ßgàä Üäéuà]ê ê Ügì[î "åâá°áëÜgìù ; ùiÜ ãà]ê#åëæ5îuàá 1æ5ãuàîîàãó àîó å°ì[ß[ÛîÜgìù ; æì³ä#ðîê#àßOê#å°ß*ïvà]ê#ßeÛå°î%ñ%ô ÚÛ%Üýì[ãá°ÜäÄóÜä#ßOì[åëûuåâî%ñVê#Û%ÜýíÇàðê#Û%Ü ßgàá°ßgãáâãäbæé`Ügì[à]ê Üäô êEå°ä~ê#Û%Üýñ5á°ã%Ü û`Ügê´í<ÜgÜîCê#ÛÜüéì[Ügöåëæ5ãuäbßOæ5ïcé`æ5î%Üîê#ä~àîó ê#ÛÜä#åâïcéuá°å°ßgå°ê´ðþàîóCßgáâà]ì[åëê´ð±æç ê#Û%Üä Ü*ìeãáëÜä.à]ì#Ü*çãîóuàïcÜîQê#àá`çTæìê#Û%Ü
(40) ßgàá°ßgãá°ãä.ãuä#à]ûuå°á°å°ê´ðô ÚÛ%Ücä ê ì[à]ê Ügñðýñ5ãåâóå°î%ñÄê#Û%Üvà]ééuáâå°ßgà]ê#åëæ5îæçê#ÛÜcì[ãáëÜägô 0 Ügé>Üîuóå°î%ñÄæ5îýê#Û%Ü ä ê ì[à]ê ÜgñðEÜïcé-áëæðÜóEí<ÜKßgàî"æûê#àå°îÆóå @>Ügì#Üîê.éì#æé`Ügì#ê#å°ÜäçTæì@ê#ÛÜ*ßgàá°ßgãá°ãäô Ú@Ûå°äÇä ÜßOê#åëæ5îüïv-à ÜäÜOèMéuá°å°ßgå°êÇàáâá`ê#Û%Üä ÜKßOæ5ïcé`æ5î%Üîê#äçTæìê#Û%ÜÃÝQÞ´ßgàá°ßgãá°ãuägô . !#"%$&('*)*+-,/.0+1$324$3,$325%"6&7"08:9;&<$3=?>/2"/@ 6. ÜÃßOæ5îä#å°ó%Ügì<à
(41) ä#Üg0ê NPORQ STN S æç¿ì[à>î ÜóÊçãîßOê#åëæ5îÄä ðMïKû`æ5á°ägù í³Û%Ügì#Ü å°äbê#ÛÜýä[ã%ûuä ÜgêÄæç*çãîßOê#åëæ5îä ðMïKû`æ5á°äÊæç
(42) à]ì[å°ê´ðVU÷ùWàîó W àþä ÜgêÊæç ö]à]ì[å°à]û-áëÜägô Üüó%Üî%æê ÜEûðYX N=ZW/ê#Û%Ü"ä ÜgêcæçWòì[ä#ê¸Þæì[ó%Ügìvê Ügì[ïbäcûuãå°á°êKæ5îYN ãuä#å°î%ñê#Û%ÜEö]à]ì[å°à]ûuáëÜäå°î[WÆô±ÚÛ%ÜEä ÜgêcæçWûuàä#å°ßÄÝQÞê Ügì[ïvägùÇó%Üî%æê Üó\N]5ù ßgàî±û`Ü åâîóãßOê#åëöÜá°ðbó%Ügòuî%Üó~ûðÄê#Û%Ü*çTæ5á°áëæí³å°î%ññì[àïvïvà]^ì _a`cbedgf & hiO kj & = $$$ = & j & = $$$ = & j & & j& & í³Û%Ügì#Ü l Wàîó l N~ô ACB?DEFHG1FJI<E KL4M N S 6. .
(43) 6. ÜWàó%æéuêà
(44) öÜgì#ðcñÜî%Ügì[àá>óå°ä#ßgå°éuá°å°î%Ü<çTæìê#Û%ܳì[ãáëÜ@çXæì[ïbà]ê#åëæ5î¹ùMàîóví<ܳó%æî%æê ÜîçXæì[ßOÜÆàîðxæç@ê#Û%ÜÆä ê#àîuóà]ì[óþì#Üä ê ìeå°ßOê#åëæ5îäãä Üóþí³Û%Üîþó%Ügòuîå°îñüê#Û%ÜEì[Ügíì[åëê#å°îñ ì[Üá°à]ê#åëæ5î áâ7å Üüî%æ5î%Þö à]ì[åâà]ûuáëÜ"áëÜgçTê¸Þ´Ûàîó%Þ´ä#å°ó%6 ÜäcæìÄæMßgßgã%ì#ì#ÜîßOÜæçÃê#Û%Üüì[åëñ5Ûê¸Þ´ÛàîóMÞ ä[å°ó%ÜÆö]à]ì[å°à]ûuá°Üäbå°î ê#Û%ÜüáëÜgçTê¸Þ´Ûàî6 ó%Þ´ä#å°ó%Üô Ü÷àá°ä æxàá°áëæí ì[ãá°ÜävßOæ5îQê#àåâîå°î%ñúì[ãáëÜä àäí<Üá°á<àäì[ãáëÜ~à]ééuáâå°ßgà]ê#åëæ5î¹ô ÜÆßOæ5îä#åâó%Ügì
(45) ê#Ûuà]êcê#Û%ÜÄä#ðï
(46) û`æ5á°ä -Eàîuó üû`æê#Û ì[Ügéì#Üä Üîê.ê#Û%Ü*Üïcéuê´ðEä Ügêgô ÚÛ%ÜÊïbàå°îúåâîQê#ãå°ê#åëæ5î÷û`ÜÛå°îó ê#Ûå°ää ðîê#à èúå°ä
(47) ê#Ûà]êà"ì[Ügíì[åëê ÜÊì[ãáëÜbåâä
(48) àîxà]û%Þ ä#ê ì[àßOê æìù@ê#ÛÜáëÜgçTê¸Þ´Ûàîó%Þ´ä#å°ó%ÜÆæçKí@Ûå°ßeÛ ó%Ügê Ügì[ïbå°î%ÜäÊê#Û%Üüû`æ5ãîuóøö]à]ì[å°à]ûuáëÜäÊàîó ä#æ5ïcÜbßOæ5îê ÜOèê#ãàá<å°î%çTæì[ïvà]ê#å°æ5î¹ô ³àöå°îñ"î%Ügíö]à]ì[å°à]ûuá°ÜäÃå°î÷ê#6 Û%Ücì[å°ñ5ÛQê¸Þ´ÛàîuóMÞ´ä#å°ó%Ü åâ;ä #ãä êê#Û%Üà]ûuå°á°å°ê´ðÄê æÊÛàöÜ
(49) çTì#ÜgÜKö]à]ì[å°à]û-áëÜä@å°îÆê#Û%Ü
(50) ßgàá°ßgãuá°ãägô Ü
(51) í³å°á°á¹ßOæ5ïcÜûuà'ß ê æê#Ûåâäá°à]ê ÜgìÇûuãêgùå°îÊæì[ó%ÜgìÇê æcä#ã%éué>æì[ê,ê#Û%ÜÃå°îê#ãåëê#åëæ5îbæç¿ê#Û%ÜWì#Üàó%Ügìù%áëÜgêÇãäÇïcÜîMÞ ê#å°æ5îþê#Ûà]êcê#Û%Üüÿ%Þê Ügì[ï ÿ %$ 9 ßOæì#ì#Üä#é>æ5îuóäê æ÷ê#Û%ÜEÝ5Þê Ügìeï 9 àîó ê#Ûuà]êÊä ê#àîóuà]ì[ó±òì[ä#ê¸Þæì[ó%Ügìvì#Ügí@ì[åëê ÜEì[ãá°Üä 0 Ügì[ä#Û%æií@åë?ê ,üàîuó 1æ5ãàîuîàãó¹ù ;* õ ààó%ÜgìWàîó åë8é æií*2ù &:à]ì[Ü*ßgáëÜà]ì[áëðÄÜïKû`ÜóóÜóEå°î~ê#Û%ÜKßgàá°ßgãuá°ãägô
(52) BkKL4M æ5ïcÜ*ïcæì#ÜKÜOèMàïcé-áëÜäÇæç:Ý5Þê Ügì[ïvä³à]ì#Ü 9 *uàäÜOèMé`ÜßOê Üó¹ùí<Ü*í@å°áâá-ä ÜgÜ
(53) á°à]ê Ügì@í@ÛðÄê#Û%ÜÃì#Üä#ãá°êå°ä 9 5ô 9 *¹àbïcæì#ÜßOæ5ïcéuá°åâßgà]ê ÜóÆÝ5Þê Ügìeï ä[å°ïvå°á°à]ì.ê æÊê#Û%Ü ÿMÞê Ügìeï ÿ %$ ÿ %$ ÿ $ 9/ eô 8
(54) *>àcÝ5Þê Ügìeï í@åëê#Û%æ5ãêßOæì#ì#Üä é`æ5îóåâî%ñcÿ%Þê Ügì[ïEô # ä:å°îcÿMÞ´ßgàáâßgãá°ãägù .¿Þ´ßOæ5îQöÜgìeä#åëæ5îvä#Ûæ5ãá°ó*û`ÜÇãä Üóå°î
(55) æì[ó%Ügì:ê æ3æûê#àå°îà³ßOæì[ì#ÜßOê ä[ã%ûuä ê#åëê#ãê#åëæ5îüßgàáâßgãá°ãä3àîóýê#Û%Ücòuì[ä ê3æì[ó%Ügì*ä#ãûuä ê#åëê#ã%ê#å°æ5î ßgàá°á°Üó÷Û%Ügì#Üñì[à]çTê#å°î%2ñ åâä.î%æê@óåëì[ÜßOê#áëðÊä#ãuåëê#à]ûuáëÜ3çTæìæ5ã%ì@ßgàá°ßgãuá°ãägô æ5ïcéuã%ê#åâî%ñ"ê#Û%ÜEïvà]ê#ßeÛå°î%ñ÷ä#ãûuä ê#åëê#ã%ê#å°æ5îä*çTì#æ5ï àÝ5Þê Ügì[ï & ê æýàýÝQÞê Ügì[ï & åâävàî å°ïvé>æì[ê#àîQêcéuà]ìeàïcÜgê ÜgìÄåâî±ê#Û%ÜÆÜgö]àá°ãà]ê#åëæ5î ì[ãáëÜäæçÃê#ÛÜÆÝ5Þ´ßgàá°ßgãuá°ãägô 5%æì à"ê#Û%Ügæì#ð à ?8!#"$÷å°äàÆçTæì[ï
(56) ãuá°àÆæç.ê#Û%ÜÊçXæìeï &&%()' & ù:í@Û%Ügì#Ü & àîuó & à]ì#ÜÝ5Þê Ügì[ïbägô # ä#ã%ûuä ê#å°ê#ã%ê#åëæ5î Ixå°äWàÊä#æ5á°ã%ê#åëæ5î"æç,ê#Û%Ü Þ´ïvà]ê#ß[Û%ÞÜ ãà]ê#å°æ5î &*%()' & åë+ç jO I & #O & ô # & ,$.-0/213/ 4Hå°äà
(57) ßOæ5î #ãîßOê#åëæ5îÊæ5ç Þ´ïvà]ê#ßeÛMÞ Üãà]ê#åëæ5îuägô # ä#ã%û-ä ê#åëê#ã%ê#åëæ5îúå°ää æ5á°ã%ê#å°æ5îVæç@6à 6 Þ´ïbà]ê#ß[Ûå°îñýä#ðä ê Ü8 ï 7 åëç@å°êå°äà ä#æ5á°ã%ê#åëæ5î"æç,àá°á+ê#Û9Ü Þ´ïvà]ê#ßeÛMÞÜ ãà]ê#åëæ5îä3å°6î 7cô Ücó%Üî%æê Ü
(58) û6ð :;;à Þ´ïvà]ê#ß[Ûuå°î%ñ ä#ðä ê Üïí@åëê#Û%æ5ã%êä#æ5á°ã%ê#åëæ5î¹ô å°îßOÜÇå°î
(59) ñÜî%Ügì[àáíÜ.ßOæ5îä[å°ó%ÜgìºÛåëñ5Û%Ügì#Þæì[ó%Ügìê Ügì[ïvä:àä:íÜáâáàäºà]ì#û-åëê ì[à]ì#ðÃÜ ãà Þ ê#å°æ5îàá¿ê#Û%ÜgæìeåëÜäg<ù Þ´ïvà]ê#ß[Ûuå°î%ñ~å°ä@å°î"ñÜî%Ügì[àá:ãîóÜßgå°óà]ûuáëÜùuÜgöÜîüí³Û%ÜîÆì#Üä#ê ì[å°ßOê Üó ê æbòì[ä ê¸Þæì[óÜgìÜ ãuà]ê#åëæ5îàá`ê#Û%Ügæì[å°Üä 1æ5ãuàîîàãóEàîó åëì[ßeÛî%Ügìù ; ô # 6 Þ´ïvà]ê#ß[Ûuå°î%ñä ðä#ê Üï å°ä<ßgàá°áëÜó !=>,?@ -5í³Û%Üîbàá°á>ä#ã%û-ä ê#åëê#ã%ê#åëæ5îuäºà]ì#ÜWä#æ5á°ã%ê#åëæ5î æç-åëêgô Ü.ó%ÜgòuîÜlê#Û%ÜçTãîußOê#åëæ5;î A<"B>!#"$Ãæ5î
(60) Cà Þ´ïvà]ê#ßeÛå°î%ñ3ä ðMä ê ÜE ï D÷àä+ì#Ügê#ãì[îå°î%ñ ê#ÛÜWä Ügê<æç+àá°Fá Þ´ïvà]ê#ßeÛ%ÜäÇæç Dþí@Û%ÜGî D±å°äî6 æêê ì[å°öå°àá-àîó IHKJWí³Û%Ügì#CÜ HJå°älê#Û%Ü åâó%ÜîQê#å°ê´ðÆä#ã%û-ä ê#åëê#ã%ê#åëæ5îÆí@Û%Ü6î D å°äê ì[å°öå°àáô ÛÜîüê#ÛÜïvà]ê#ßeÛå°î%ñÄàáëñæì[åëê#Ûuï çàå°á°ä A+"-B>!#"$bì[Ügê#ã%ì[îä.ê#ÛÜÃÜïcéê´ðEä Ügê eô ( î%Üßgàîýê#Ûå°> î Æà]êÃãä#åâî%ñÊßOæ5îä#ê ì[àå°îê#äWàä3å°îýßOæ5îä#ê ì[àå°î%ÜóÛåëñ5Û%Ügì#Þæì[ó%ÜgìWì#Üä æ]Þ áâã%ê#åëæ5î Wã%Ügêgù 54- æìcßOæ5îä ê ì[àåâî%ÜóVó%ÜóuãßOê#åëæ5î åëì[ßeÛî%Ügì )-âù åëçÇæ5î%Ü <.
(61) Çí àîê#äºê æ*ãä ÜÇãîó%Üßgåâóà]ûuáëÜ<ïvà]ê#ß[Ûåâî%ñ3ê#Û%Ügæì[åëÜägô õ ã%ê:í<ÜÇà]ì[Ü.éì[å°ïvà]ìeå°áëðÃå°îê Ügì#Üä ê Üó ÛÜgì#Üvå°îê#Û%Übó%Üßgåâóà]ûuáëÜßgàä ÜäKàîuóýíÜvì[Üä ê ì[å°ßOêÃæ5ã%ìeä ÜáëöÜäÃá°à]ê ÜgìKåâîýê#Ûå°ä3éuà]é`ÜgìÃê æ #ãä êßOæ5îä#åâó%Ügì[å°î%ñüä ðîê#àßOê#å°ß~ïvà]ê#ßeÛå°î%ñ%ô ¸îxê#Ûå°äßgàä Ü~íÜEàä#ä#ãuïcÜÊê#Ûuà]êê#ÛÜ~á°ÜgçXê ïvÜïKû`Ügì[äÇæç:ïvà]ê#ß[Ûuå°î%ñcÜ ãà]ê#åëæ5îäà]ì[Ü*ßOæ5ïcé`æ5ä Üó~æ5îáëðÊæçòìeä ê¸Þæì[ó%Ügì.ê Ügì[ïbä å ô Üô îæêbßOæ5îQê#àåâîå°î%ñ ä Ügê#äùÇà]ì[ì#æí@äbæìÊà]éé-á°å°ßgà]ê#åëæ5îä eô æê#å°ßOÜüê#Ûà]êbê#ÛÜ"á°àä êcÝQÞê Ügì[ï éuì#Üä Üîê ÜóÆå°î ºè%àïcéuá° Ü Hô *ó%æÜäî%æê@ä#à]ê#åâä çXðÄê#Ûå°äÇì[Üä ê ì[å°ßOê#åëæ5î¿ô . H. 8/,0= $25%" , <+. /ÃåëöÜîüàÄì#Ügí@ì[åëê Ü*ì[ãuáë Ü
(62) Mù>åëê#äWà]ééuáâå°ßgà]ê#åëæ5îÆê æ~àÊê Ügì[ï & ó%Üî%æê Üó
(63) & Oß æ5îuä#å°ä ê#ä.æçì#Ügéuáâàßgå°î%ñê#Û%ÜÃê Ügì[ï & ûð<I
(64) Mù%í@ÛÜgì#ÜI å°äÇê#Û%Ü*ä#ãûuä ê#åëê#ã%ê#å°æ5îÊæûuê#àå°î%Üó ûð Þ´ïvà]ê#ßeÛå°î%ñ æ5î & àîóI
Documents relatifs
To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed
Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à
Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine
En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages
Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur
A time-varying respiratory elastance model is developed with a negative elastic component (E demand ), to describe the driving pressure generated during a patient initiated
The aim of this study was to assess, in three experimental fields representative of the various topoclimatological zones of Luxembourg, the impact of timing of fungicide
Attention to a relation ontology [...] refocuses security discourses to better reflect and appreciate three forms of interconnection that are not sufficiently attended to