A Revised Presentation of the CENA Method
32
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A Revised Presentation of the CENA Method Philippe LANGLOIS. No 4025 Octobre 2000. ISSN 0249-6399. ISRN INRIA/RR--4029--FR. ` THEME 2. apport de recherche.
(3)
(4)
(5)
(6)
(7) "!$#% &'( )+*-,/.0,/1-13254
(8) 687 9:4<;8=?>A@ BCEDGFIHJKMLONGPEQRH+SUTWVXQUY?QRHGS H?Z<Y?[\S]Y ^_Sa`cbdFefTWSUQ]gX^_H hjikT\lmH?ZonoikN?P_[WQRikH po[WqEqfTWirZ
(9) sEH+irHtYuCEH?iuYuCEHvPwWxXyXJXz:K|{OY}ZkTWeEikH+J\yWyXy+KMJW~Iq_[\VXHG` G? EWW BCEH(3nFH ZkCETs+Q]`[
(10) PEHG[\^ZkTWF[ZkQUY-FH ZkCETsZrTY TWikikHGY}ZZkCEH_iu`cZcTWiusH?iH?fHtY}Z TW TX[ZkQRP_V+qTXQRPZikTW^_P_sQUPEV+H?ikirTXik`jTWPZrC_HoirHt`c^_SZ(T\a[+Pd^EFH?ikQUYG[\S_[WSRVXTWikQZkCEF8n$_iu`mZ3q_irHt`cHGPXZu[ZkQRTXPITW ZkCEQ]`aFH ZkCETs+QU`qEikTWqfTX`rHGsOQRPZrCEHqEirHG dQRTX^_`ikH?qfTWirZpop¢¡W~XJW~£¤sHtY H?FeHGi¥t¦W¦X¦X§}aBC_H3Y ^EikikH?PZikH?qfTWirZ Y?TWFqESUH ZkHG`[\P_s¨ikH?qES][WY?HG`<ZrCEHqEikH? dQUTW^_`OTWP_HW©ªHC_[\ik«8e_[WYu«8ZkT ZrCEHqEikHG`rH?PZk[\ZrQUTWP¬TW3ZkCEH3<n FH?ZrCETs¨H CEQUeEQZkQRP_V P_H?"QUFqTXicZu[\PZ+[W`rqHtY}Zk`GI©¨HQUSRSU^_`cZriu[ZrHZrC_HIq_irT`m¢[\P_sY?TWP_`<T\3ZkCEHFH ZrC_Tds `rTWSU dQRP_V¬ZrikQ][\PEVX^ESU[WiSUQRP_HG[\i`rbd`cZrHGF`?BCEHt`cH8`cb`cZrHGF`I[\ikH®sEHG`rQRVXPEHGs¯ZkT¨VXH?PEHGik[\ZrH[ª`rQRVXPEQfY?[\PZkSRb QUP_[XY?Y ^_ik[\ZrHY?TWFqE^ZkHGsª`cTXSR^ZkQRTXPa©¨HIqEikTWqfTX`rH[PEH?"[WP_[\SUb`cQ]`T\ZrC_H[WP_[\SUTWVXb [WP_s¬sQ]`kY ikH?q_[WP_Y b efH Zm(H?HGPZkCEH+SUQRPEHt[\ioY?TWikirHtY}ZrQUTWP [\P_s Y TXFqE^ZrQUPEV
(11) QRZrC8H dZkH?PZrHtsqEikHGY?QU`rQUTWPa °5±²´³kµ¶ ·W n<^ZrTXF[ZrQ]Y(H?ikirTXi[WP_[\SUb`cQ]`G¸irTX^EP_sQUPEVOH?ikirTXiG¸ T[ZkQRPEVOqfTWQUPXZj[WirQRZrCEFH?ZrQ]Y\¸X[XY?Y?^Eik[XY bX¸ `cZk[WeEQUSRQRZmbW ¹]º»r¼½G¾»
(12) ¿ÀU¼Á/ à ãÝ+ÔÍÆuÌÄÔÍä ÑÐmÅEËÍǤÎ/ÆuÐmÌÎ0ǤÈßÈ0ÈoâÐmÇ3ÉuÉuÊ-ÊæUÜÈ0àËÍÔtÆÌÏé}ÎoÕìÚaÆuǤÔÍåcÐcÓ\ÖtÎ0ÐcÔÍèÆuÌÏÓtÇ0É}ÑÖÍÔ ËÇ0ÌÏæRÔtÒaçéÇ/ÆuÆuÎoËÍÔÍÌÏÓÍÑmÎ ÐrÉ}íèÔÍîÐOÆuÚjÔtÒî ÓIíËÍî ÒaÌÏïÕÏÐ<ÆuîtÎjë\È/ËtÐmätǤÐ+ÌÏÌÏÎ0ÉGÌ ÆuÈ/ÓÖtÌÏÔÍî È0é<ËÍÉ}È/Ç
(13) ËtÐÒaÆuê ÎoÐcëÍÆÆuǤ×
(14) È0×
(15) Ðm×(ÐmÔ?Ø\ÈÐmÇ(ÉuÊ ÉuÊÝ+È/ÆkËÍÈ/ÐOËÍÐmÙÛ×oÚ ÜÆkÈ0ÝÌÏÑmÙßÎ(ÞáÆkÈ3àdÈ/ÆuËtØWÐ É}Ç0ã ÆkÈ0ÔÍÉ}Ì Ç¤ä â ÐmǤÎ/ÆkÌ È
(16) ÈßâÈ/ËtÉuÐ Ê. Unit´e de recherche INRIA Rhˆone-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) T´el´ephone : 04 76 61 52 00 - International: +33 4 76 61 52 00 T´el´ecopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.
(17) %# ®
(18)
(19) ? & ( ® "!$#.
(20) [5FN?ZrCETsH <n Ht`mZ^EPEH PETX^E WHGSRSUH FN ZkCETsH[W^ZrTXF[\ZrQ]g^EH sH®Y?TWikirHtY}ZkQRTXPªsH S H ´H Zs TXiksEirH^EPIsEHG` H?ikirHG^Eik`s [\ikirTXP_sQXQRPZrikTs^EQRZrHt` q[\iS [\ikQZkCEFN ZkQUg^EH T\ZrZk[WPXZkHWoPEHqEikH?FQUD?ikH sEHG`kY ikQRqZkQRTXP+sH3S][FN ZrC_TdsEH3n¤[\QRZS TXelmH Z-s^+qEikNGY?NGsHGPXZ ik[WqEqTXicZp<p¡X~XJW~O£0sNGY?H?FeEirH<¥G¦W¦X¦X§ HqEikNG`rH?PZ+ik[WqEqTXicZY?TWFqESUD ZrHH?ZirHGFqESU[XY HSUHqEirNtY HtsH?PZG®oTW^`+irHG WHGPETWP_``r^EiS][ qEirNt`cHGPZk[ZkQRTXP sEHSU[ FIN?ZrCETsH3<n H?P5H?CEQRe[\PZY HGicZu[\QUP_`<[X`cqfHGY Zk`<QRFqfTWirZk[\PZu`-lm^_`kgX^_H S P_TWP¬sNtY ikQZu`?o<TW^_` QUSUSR^_`cZrikTWP`<SUHG`[Í [\PZk[WVWHt`
(21) H Z+SUHG`OSRQUFQZkHG`sHISU[®FN ZkCETsHq[\iOSU[®irNt`cTXSR^EZrQUTWP:sH`rbd`cZrDGFHG`SRQUPENG[WQRikHG` ZkirQ][\P_VW^ES][\QUirHt`?HG`
(22) `rb`mZkD?FHG`
(23) `rTWPZo`cqfNGY?QU[WSRHGFH?PZsEN _PEQ]`
(24) qfTW^Eiog^EHSUHG`
(25) `rTWSU^ZrQUTWP`(YG[\S]Y ^ESUN?Ht`
(26) `cTXQRHGPZ `rQUVWPEQRY?[\ZrQU WHGFIHGPZQRFqEikNGY?QU`rHG`G oTX^_`q_irTXqT`cTXP_` ^EP_H¨PETX^E WHGSRSUH¨[WP_[\SUb`cH¨sHG`8[\P[\SUTWVWQUHG` H Z5sHG` sEQ´N?ikH?P_Y?HG`HGPXZkirH+Y?TWikirHtY}ZrQUTWP®SRQUPENt[\QUirHH ZoYG[\S]Y ^ESaHGP®q_irNtY Q]`cQUTWP N ZkH?P_s^_HW "¶ t ³ n<P_[\SUb`cH+s H?ikikH?^Ei
(27) [\^EZrTWF[\ZrQ]gX^_HW¸dH?ikirHG^Ei
(28) s [\ikirTXP_sQ/¸d[WirQRZrC_FIN?ZrQ]g^EH T\ZrZk[WPXZkHW¸qEikNGY?Q `rQUTWPa¸E`cZk[WeEQRSUQRZrNW.
(29)
(30) !"$#&%(')+*,- .. ¡. / - 1 03 . BC_H irTX^EP_sQUPEV5HGirikTWiu`QRPZkirTs^_Y?HGs¯edb TX[\ZrQUPEV5qTXQRPZ[WirQRZrC_FIH?ZrQ]Y Y TXPZrikQReE^EZrHZkT5ZrCEH®QRP[WY?Y?^Eiu[WY b WT jY TWFqE^EZrHGs8ikHG`r^ESRZk`[\P_s ZkTZrCEHQRP_`cZk[WeEQUSRQRZmb®TWj`cTXFIH+Pd^EFHGirQ]Y?[WS [\SUVWTXirQRZrC_F`G2¢P8ZrCEQ]`oq_[WqHGiG¸H ÛTY?^_`TWPIZkCEH
(31) qEikTWq_[WVX[ZkQRTXPTWZkCEHG`rH
(32) irTX^EP_sQUPEV+HGirikTWiu`?-{<ZrCEHGij`cTX^EikY?HG`-TWfHGirikTWi`r^_YuC[W`jsE[\Zk[OH?ikikTWiu` [WP_sZkir^_P_Y?[\ZrQUTWP H?ikirTXik`[\ikHPETWZoY TWP`cQ]sH?ikHGs CEH?ikHWnsH Zu[\QUSRHts®[WP_[\SUb`cQ]`T\ ikTW^_P_sQUPEVHGirikTWiu`QRP®ZrCEH QUFqESUH?FH?PZk[\ZrQUTWP_`TW(S][\ikVWH[\SUVWTXirQRZrC_F`OQ]`Y TXFqESRH?¨[\Ps:ZkHGsQUTW^`?$ 3dT5[W^ZrTXF[\ZrQ]Y[\qEqEikTX[XYuCEHG`<K ZkC_[ZO^_`rH+ZrCEHIY TXFIq_^ZrHGi
(33) K|C_[Í WH+efH?HGP:sH? XH?SUTWqfHGs ZkT®Y TXFqESRHGFH?PZoZrC_HY S][W`k`rQUYF[\Pd^_[WS [WP_[\SUb`cQ]`? 4QRfHGirHGPXZkQU[WSFH ZrC_Tds_`o[\ikHHGSRSR/«dPET
(34) P®H E[\FqESUHG`TW`r^_YuC8[\^ZkTWF[ZkQUYOFH ZkCETsE`? 4Q´H?ikH?PZkQU[WS<FH ZkCETsE` ikH?SUb TXP ZrCEHªY TWFqE^EZk[ZkQRTXP T\ZrCEH:q_[\irZrQ][\S<sEH?ikQR [ZkQR XHG`TWZrCEH¬VXSRTXe_[\S ÛTXirC< [\iusHGirikTWiI
(35) QZkC irHt`cqfHGY ZIZkTªZrCEH5HGSRHGFIHGPZk[\ikbikTW^EP_sEQRPEVªH?ikikTWiu`? BC_H 657896:;<= >?A<@5D <F-E
(36) BA 5 Q]`ZrC_H5H?ikirTXiQUPZrikTdsE^_Y Hts edbHt[WYuC TX[\ZrQUPEV¯qTXQRPZ[WirQRZrCEFH?ZrQ]Y8TWqfH?iu[ZrQUTWP¸[\PsZkCEH 6<GHC JI;C>?K -BA6LMC< Q]`<ZkCEH[WYGY ^EF^ESU[\ZrHts¬H ´HGY Z+T\jZkCEHG`rHH?SUH?FH?PZk[Wirb8ikTW^EPsQRP_V®HGirikTWiu`oTXP ZkCEH_P_[WSirHt`c^_SZt N_TWiH E[\FqESUHW¸´SUH Z^_`Y TXP_`cQ]sHGi<ZkCEH TX[\ZrQUPEVqfTWQUPZOHG Í[WSR^[ZrQUTWP P O T\[irHt[\SÛ^EP_Y ZrQUTWP P [ZOZrCEH s_[ZkR[ QTSVU!WYXZ[[[YZ W:\:]
(37) CEHGirHQRPZrHGirFHtsQU[\ZrH Í[WirQ][\e_SRHt` W:O \F^_XZ[[[&Z W@O `a&XbZ[\ikH<Y?TWFqE^ZkHGsZkTbdQUH?S]s ZkCEH+ikHG`r^ESZ W@O `jBCEH+VXSRTXe_[\SfÛTXir[\ius HGirikTWi
(38) `k[ZrQ]`c_HG`
(39) C_H?ikH. WO `dc P UQe](Sgfih ckj hlZ. ` f h S m <\ ^_X pp q P O n U!Q,Z q ]lr q n Z no Q]`ZkCEH_iu`mZr/TXiksHGi
(40) [\qEqEikTÍQRFq [\ZrHOqT\ZrCEHVXSRTXe_q [\S´ikTW^EPsQRP_VH?ikirTXi(
(41) QRZrC8ikHG`rqHtY}Z
(42) ZkTZrCEH[We_`cTXSR^EZrHH?SUH FHGPXZu[\ikbikTW^_P_sQUPEVH?ikikTWiu` SVU \<^_X Z[[[Z ` ]VWHGPEH?iu[ZkHGsedbIZrCEHOY TXFIq_^Zk[\ZrQUTWP TWY TWikikHG`rqTXP_sQUPEV QU5sP-@ZrHG
(43) irF7tuHGsEQU[\ZrvH Í[WCirQ][\e_SRHt`? BC_H®S][W`cZZkH?ikF j áh QRP ZrCEH ZkCEH8VWSUTWe_[WS3ÛTXir[\iusH?ikikTWiikH?S][ZkQRTXP Q]`IZrCEH [W`k`cTY?QU[\ZrHGs
(44) QZkCwf h BCEH:irHGSU[\ZrQU WH5H?SUH?FHGPXZu[\ikb ikTW^EPsQRP_VH?ikirTXik` q nFx"y WO n?y [\ikH5eTX^EP_sHts
(45) QZkC ZrCEH TX[\ZrQUPEVqfTWQUPXZ q_irHtY Q]`cQUTWPalzoHGP_Y HX¸sQ´H?ikH?PZkQU[WSFH ZkCETsE`[\ikHoVWHGPEH?iu[\SUSUb^_`rHGsZrTY TWFqE^EZrH[_iu`mZr/TXiksHGi3efTW^EPsÛTWi ZkCEHVWSUTWe_[WS´ÛTWik([Wiks H?ikirTXi)U{ ¥?x| ¸&U{ ¥G¡b| ¸&{ ~b| (oz T(H? WHGi(`r^_YuC8Y TXFIq_^ZrHts®efTW^_P_sE`F[Íb efHZkTdTIS][\ikVWHZrT efH ^_`rH Û^_S}{ ¡</| ~N QRiu`mZr/TXiksEH?i+`mZu[ZkQU`cZrQ]Y?[WSjHG`cZrQUF[ZrHt`+T\(ZrC_H VWSUTWe_[WS-ÛTWik([Wiks¨H?ikikTWi+[\ikH [\S]`cT5sHGirQU WHts ÛikTWF [I`mZu[ZkQU`cZrQ]Y?[WSFTsH?SUQUPEVTWZrCEHHGSRHGFIHGPZk[\ikbIirTX^EP_sQUPEVHGirikTWiu`}Ï{ J\y/| ¸KU{ ¥tJu| ¸YR{ ¥t¡b| ¸@{ ~| ( T\ZrCZrCEHt`cH efTW^_P_sQUPEV[\Ps `mZu[ZkQU`cZrQ]Y?[WS[\q_qEirT[WYuCEHt`-PEH?VXSRHtY}ZjZkCEHoZkH?ikF`jT\aTXiksEH?ijCEQUVWC_H?ijZkC_[\PTXPEHo
(46) QRZrC ikHG`rqfHGY}Z ZkT ZrCEHH?SUH?FHGPXZu[\ikb¬ikTW^EP_sEQRPEV H?ikikTWiu`<QUP:ZkCEHVWSUTWe[\SÛTWik([Wiks¬H?ikirTXiG¸ -u ¸ZkCEHSRQUPEHG[WirQDG [\ZrQUTWP¨H?ikirTXi j -h ¢2 P5qEiu[WY ZrQ]Y HX¸_[\^ZkTWF[ZkQUYTXi<[\SUVWTXirQRZrC_FIQ]YsQRfHGirHGPXZkQU[\ZrQUTWP ZrHtYuCEPEQ]g^EHG`<qEirT dQ]sH+[VWHGPEH?iu[\Sa[WqEqESUQ YG[\eEQUSUQZmb[WP_s [\P8H6 Y QUH?PZ
(47) QUFIq_SRHGFIHGPZk[ZkQRTXP8T\ZkCEHG`rHsQRfHGirHGPZrQ][\SFH ZkCETsE` { b/| ©ªH+qEikHG`rH?PZoCEH?ikH+[IPEH?sQRfHGirHGPXZkQU[WSaFH ZkCETs®
(48) C_H?ikHZkCEH+H?SUH?FHGPXZu[\ikb ikTW^EP_sEQRPEVHGirikTWiu` q [\ikH P_H?QRZrCEHGieTX^EP_sHtsPETWijsHt`rY?irQUefHGsebI[`mZkTdYuC[W`cZrQ]YFTsHGS0¸XeE^Z) 8@>?
(49) lzoH?PY HW¸XHoY?TWFqE^ZknHZrCEH. Ú Ú Ô6.
(50) x. (?-5 F '. . ik`cZcTWiusH?iZkH?ikF T\ZrC_HVWSUTWe[\SaÛTXir[\ius H?ikirTXi
(51)
(52) QZkC:ikHG`rqHtY}ZoZkT ZkCEHHGSRHGFIHGPZk[\ikbikTW^_P_sQUPEV H?ikikTWiu` f O h S P U;f h ]?©¨HPET\ZkH P U f h ](ZkCEH TX[ZkQRP_VqTXQRPZY?TWFqE^Zu[ZrQUTWP5TWHf h `cQUPEVZkCEQU`<ZrHGirF [W` [Y?TWikirHtY}ZrQUPEV¤[WY ZrTWi(ZkTZrCEHY?TWFqE^ZkHGs irHt`c^_SZ W:O `¸E(H+sH?ikQR XHOZrCEH$ C6
(53) >?5s. W:` S P U W:O ` c f O h ][ 3d^YuCª[SRQUPEHG[Wi+Y TWikikHGY}ZkQRTXP5QU`q[\irZrQ]Y ^ES][\ikSRb8`r^EQZu[\eESUHI
(54) CEH?P¨ZrCEHIVWSUTWe[\S ÛTWik([Wiks5HGirikTWiQU`sTXFQ P[ZrHtsedbIZrCEH_iu`mZr/TXiksHGiZrHGirF`G¸WÛTXiH?E[\FqESUH<QUP ZrC_H 5 -K< 5 AB-! 8 (H<sH PEHQUP~3HGY}ZkQRTXP¡E ¡E. 3 WH?P8QR-Y?TWFqESUH ®[WSRVXTWikQZkCEF`
(55) [\ikHPET\ZoSUQRP_HG[\it¸dZrC_H[WY?Y?^Eiu[WY bTW-Y?TWFqE^ZkHGs8`rTWSU^ZrQUTWP_`F[Íb ikH?SUb TXP SUQUPEHG[WiOq[\irZk`T\ZrCEH[WSRVXTWikQZkCEF8IBCd^_`G¸a(HIYG[\P¯[\qEqESUb5ZkCEQU`+Y?TWikirHtY}ZkQRTXP¬ZrT _P[\SikHG`r^ESZu`OTWi`rH?P_`rQ ZkQR XHQRPZkH?ikFIHtsQ][ZrH [\ikQ][\eESUHG`OZkT5QRFqEikT WHZrCEH®[WY?Y?^Eiu[WY b5TWZkCEHikHG`r^ESZu`[\Ps:ZkCEH `cZk[\e_QRSUQZmb¨T\(ZrCEH [WSRVXTWikQZkCEF8 BCEQ]`<Y?TWFqE^ZkHGs SUQRPEHt[\i<Y?TWikirHtY}ZkQRTXPZkH?ikF[\S]`rT`r^´H?iu`ÛikTWF[IZkir^_P_Y?[\ZrQUTWP8H?ikirTXio[\P_s ikTW^EPsQRP_V HGirikTWiu`G BCEHirHGF[WQRP_QRPEVsQ´H?ikH?PY H<efH Zm(H?HGP ZkCEHY?TWikirHtY}ZrHtsirHt`c^_SZ W:`[\P_sZrCEHOH E[WY Z3ikHG`r^ESZ P U!Qe] Q]`(FHG[W`r^EikHGsedb [ C6
(56) <>5_C< ( NETWi(SUQRPEHt[\i
(57) [\SUVWTXirQRZrC_F`G¸HY TXFIq_^ZrH[\P [\e_`rTWSU^ZrHOefTW^EP_ s
(58) TWZrCEQ]`irHt`cQ]s^_[WS_H?ikikTWijZkC_[Z(qEikT Q]sHt`j[Y?TWPsEH?P_Y?HoZrC_irHt`cCETXSUs[X`r`rTY Q][ZkHGsIZrTZrCEHY TXirikHGY ZrHtsikHG`r^ESRZG ©ªH+C_[Í XH y W@` c P U!Qe] y
(59) [ ©ªHP_[WFHZrCEQ]`I[\qEqEikTX[XYuCªZrCEH #&%(') 8 - ª3n Q]`+ZkCE1H N_irHGP_YuC[WY?irTXPbdF%T\ #(C M F6 %C>?
(60) H' >?86> )CK ¸XZrC_[\ZjFIHt[\P_`(TWikirHtY}ZrQUPEVo^EFHGirQ]Y?[WSEp
(61) TW^EPsQRP_V+jirikTWiu`G QRP_P_[\QUPEF[W[IC_[X`qEirT XH?P®ZrC_[\Z
(62) ZrCEHik`cZcTWiusH?i
(63) [WqEqEikTÍdQUF[ZkQRTXPT\ZrC_H+VWSUTWe_[WS´ÛTWik([WiksH?ikirTXi(Q]`o[WP H Y QUH?PZZkTdTWS(ÛTWiIH qfH?ikQRFH?PZu[\S[\P_[WSRb`rQU`T\oZkCEH P^_FIHGirQ]Y?[WS(`cZk[WeEQUSRQRZmbT\[WSRVXTWikQZkCEF$` {U¥G¡ |/BCEH <n$FH?ZrCETsH?ZkH?P_s_` QUPEP_[WQRP_F[X[ `jHGirikTWiSUQRP_HG[\ikDQ G[ZkQRTXPFIH?ZrCETsq_irT dQ]sQRP_VZrCEH<Y?TWFqE^Zu[ZkQRTXP TW-[Y?TWikirHtY}ZkQRPEVI¤[XY}ZrTXi
(64) ÛTWioZrCEH+VXSRTXe_[\SÛTXir[\ius®H?ikirTXi[WP_s8[eTX^EP_s ÛTXi
(65) ZrCEHirHt`cQ]s^_[WSaH?ikirTXiT\-ZrCEH Y?TWikirHtY}ZkHGsikHG`r^ESZtBCEQU`(Y TXirikHGY ZrQUTWPQ]`3e[W`rHGsTXPZrCEHOPd^EFH?ikTW^_`ikHG`r^ESZu`3TXP H?SUH?FHGPXZu[\ikbHGirikTWi(Y TXF q_^Zk[\ZrQUTWP¯TWeZu[\QUPEHGsªefH Zm(H?HGPA¥GF¦ z ´¥G¦ Wzedb¨`rH? XH?iu[\Sj[\^EZrCETXik`G¸q_[WicZkQUY?^ES][\ikSR,b 4H?«d«XH?9i {Ïbz | ¸ +[WC_[\Pa¸ Pd^Zke C { ¦ |[\P_s®hjQ]YuC_[Z {U¥ b| [\PEVXSRTXQU`
(66) [WP_s®[ZkQR XH?SaC_[Í XHVWQU WH?P8[\P QUPXZkirTs^Y}ZrTXirb®sHG`kY ikQRqEZrQUTWP T\ZrCEQ]`o[\q_qEirT[WYuC®QRk P {U¥Gby |£¤QRP N_irHGP_YuC§[WP_ks {R¥X¥ |BC_H[\QUFTWZkCEQ]`oq_[WqHGioQU`oZrTqEikHG`rH?PZ<[ Y?TWFqESUH ZkH[\P_s5sH?_PEQRZrQU WHsEHG`kY ikQRqZkQRTXP TW ZkCEHI3nvFH ZkCETs `cQUPEV ©AQUSR«dQUP_`rTWP `ir^_PEPEQUPEVH?ikirTXio[\P_[WSRb`rQU`G¸(H9[\@S]`cT<s HGirQU WHCEHGirH[PEHG sEbP[\FQUY eTX^EP_s¯ÛTXiZrC_H irHt`cQ]s^_[WS3HGirikTWiZkC_[ZIQRFqEikT WHt`ZrCEHqEirHG dQRTX^_` irHt`c^ESRZVXQR XH?PQUP {U¥Gy |/ BCEHq_[\qfH?iQ]`aTWikVX[WPEDQ ?HGs+[X`ÛTXSRSUTo`? 2¢P+ZrCEHPEH dZ`cHtY}ZkQRTXPJ¸ÍH(sQ]`rY?^_`r`QRPZkirTs^_Y ZrTXirbOH E[\FqESUHG` YuC_TX`rH?P ZrT QRSUSR^`mZkik[\ZrH5ZkCEH¨q_irT` [\P_sáY TWP` T\+ZkCEH:FH?ZrCETs £ÛZrCEH¨H E[\FqESUHG`®[\ikH:sH Zu[\QUSRHtsAQUPAZrCEH n<qEqfH?P_sQR_§}ABCEH5F[\QUP `cHtY}ZrQUTWP T\ZrCEH5q_[WqHGiQU` 3dHtY}ZkQRTXP ¡ª
(67) CEHGirH8(H®qEikHG`rH?PZZrC_H q_irQUP_Y QUqESUHG` TWjZrC_H3n FIH?ZrCETs¸SUQUPEHG[WiO[WSRVXTWikQZkCEF`<[\Ps5ZrC_HIY?TWFqE^Zu[ZrQUTWP¨T\jZkCEHIirHt`cQ]s^_[WS HGirikTWieTX^EP_s ¬TWikH3ZkHGYuCEPEQ]Y?[WS[W`rqHtY}Zk`-[WirH(qEikHG`rH?PZrHtsQUPZkCEHPEH dZ-ZmT`rHGY}ZkQRTXP_`xO[WP_sz
(68) ZkC_[ZF[Íb+eH
(69) `r«dQRqEqfHGsI[Z ZkCEHik`cZikHG[XsQRP_V_BC_HG`rH`rHGY}ZkQRTXP_`oikHG`rqfHGY}ZkQR XH?SUb sEHG[\S
(70) QRZrC¬ZkCEHY TWFqE^EZk[ZkQRTXP5T\ZkCEHHGSRHGFH?PZk[Wirb ikTW^_P_sQUPEV¨HGirikTWiu`I[\P_s ZrCEH8q_[WicZkQU[WS
(71) sH?ikQR [\ZrQU WHG`ITW<ZrC_H¬Y TWFqE^EZrHGs ikHG`r^ESZ
(72) QRZrC irHt`cqfHGY ZZrTªZrCEHt`cH HGSRHGFH?PZk[Wirb+ikTW^EPsQRP_VOHGirikTWiu`Ga©¨HoZrH?ikFQRP[ZrH
(73) `r^EFF[\ik7Q GQRPEVOZkCEHo[\SUVWTXirQRZrCEF"T\_ZkCEHO3n FH ZrC_Tds QUwP 3dHGY ZrQUTWMP E Ù"!ÚaÙßÞ.
(74)
(75) !"$#&%(')+*,-. z. ® " v ® "!$# &'( 'Í / - 10 +M!
(76)
(77). 60( ©ªH3QUSUSR^_`cZriu[ZkHZrC_H3VWHGPEH?iu[\SWeHGC_[Í dQRTXiaT\ZkCEH3nFH ZkCETs`rTWSU QUPEV
(78) Zm(ToQUSRSY TXP_sQRZrQUTWPEHtsZrikQU[WPEVW^_SU[Wi SUQUPEHG[Wi`cb`cZrHGF`G <`rQRP_JV 2¢jj \z\x T[ZrQUPEVqfTWQUPZ [\ikQRZrCEFH ZkQUY:[\P_s ZkCEH5ÛTWik[\ius TXi e_[XYu«[\ius `r^Ee_`cZrQRZr^EZrQUTWP$[\SUVWTXirQRZrC_F ¸((H¬Y TWFqE^EZrH5ZkCEH:`rQRPEVXSRH5q_irHtY Q]`cQUTWP `cTXSR^EZrQUTWPA[\P_s ZkCEH?PAQRZk`®Y TXirikHGY ZrQUTWP
(79) QRZrC ZrCEH+3<n FH ZrC_Tdsa©ªHY?TWFq_[WirH
(80) ZkCEQ]``rQRP_VWSUHoqEikHGY Q]`rQRTXPY?TWikirHtY}ZkHGs [\SU^EHo
(81) QRZrCZkCEH`cTXSR^ZkQRTXP Y?TWFqE^ZkHGs
(82) QRZrC ZrCEHsETW^EeESUHqEikHGY Q]`rQRTXPa BCEHY S][W`k`rQUY`c^Ee`mZkQZk^ZrQUTWPª[\SUVWTWikQRZrCEF Q]`e[WYu«d([Wiks8`cZk[WeESRHX 2ZOQ]`HGSRSR/«dPET
(83) P¬ZrC_[\ZZkCEHVXSRTXe_[\S ÛTXir[\iusHGirikTWiQRZ VWHGPEH?iu[ZkHG`IQU` ^_`c^[\SUSRb XH?ikb`cF[WSRSoHG WHGP ÛTXiQRSUS<Y TXP_sQRZrQUTWPEHts ZrikQU[WPEVW^ES][\iSUQRP_HG[\i `rb`mZkH?F` { u|¯BCEH ÛTXSRSUT
(84) QRP_V5ZmT:ZrikQU[WPEVW^_SU[Wi`cb`cZrHGF`I[\ikHYG[\ikH Û^ESUSRbsH?_PEHts¯ZrT¨VWH?P_H?iu[ZrHSU[WirVXH ÛTXir[\ius HGirikTWiu`QRP8eEQUP_[\ikb T[ZrQUPEVqfTWQUPXZ<[WirQRZrC_FIH?ZrQ]Y (HsHG`kY ikQUeHOZrC_HG`rH`rb`mZkH?F`QUP8n<qEqfH?P_sQR . "!#%$'&)(%+*-,./0&12 34%&5! # BC_Hik`cZSUQUPEHG[Wi-`rb`mZkH?FvQ]` 6"7 W~S9Í8 ¸W
(85) CEH?ikH6 7 ¸W[WP^_qEqHGi-ZrikQU[WPEVW^_SU[WiF[ZkirQRT\TWiusH?i;:¸WsHGqHGP_sE` TXP8ZrCEHQRPZrHGVWHGioq_[\iu[\FH?ZrH?i=3< on<SRS H?PZrikQRHt7 `
(86) QUP>6a7 ¸08 [\PsMW¨[\ikH+QUPXZkH?VXH?io [\SU^EHt`? 4QU[WVWTWP[\SaHGPXZkirQUHG` QUP?67[WirHTXPEHG`j[WP_s`cTXFH
(87) T\ZrC_H?iu`[\ikH=@BA BCEH
(88) F[ZkirQRC6 I7 QU`3QRSUS_Y?TWP_sQRZrQUTWP_HGs8£¤`rH?H<n<qEqfH?P_sQR dU¥ ÛTXisH Zu[\QUSU`u§} BC_H a&X([W^EH?ir 3d«WHGH?SY TXFIqf7 TWP_H?PZm
(89) QU`rHY TXP_sQRZrQUTWPªP^_FefH?iTWZkCEHF[ZrikQRD6 7 `k[ZkQU`c_HG` Y?TWP_sYUE6 7 ](S'F y 6 7 yDy 6 7 y FHG SJI UK:A ]6[_BCEH`rTWSU^ZrQUTWP T\ ZrCEQ]`o`rbd`cZrHGF Q]`ZrCEH+^_PEQZo XHGY ZrTWi W~S UFL ZML Z[[[6ZHuL ]OHN [ ©ªH `cTXSR XH?6 7 W SP8
(90) QRZrC¯e_[XYu«:`c^_e_`mZkQZk^ZrQUTWP¸ -u ¸W UKQ ] SR8 USQ ] cT U\ o V ^_X 6 7 US
(91) Q ZXW ]W UYW ]}¸)Q S : Z[Z c LM\ ZHFL [Í©ªHYuC_TT`cH [\SU^EHt`ÛTWi5< `r^_YuCIZrC_[\ZYG[Zu[W`cZrikTWqECEQ]Y(Y?[\PY H?SUS][ZrQUTWP`[WqEqfHG[\iQUPZrCEH
(92) qEikH? dQUTW^_`. `r^EFF[ZkQRTXPal 2Z(Q]`(PET\Z
(93) `c^_irqEikQ]`cQUPEV+ZkC_[ZZrC_HOY?TWFqE^ZkHGs`rTWSU^ZkQRTXP_`3QUP$2¢3j \zx`rQRPEVXSRHO[\P_s®sTW^_eESRH q_irHtY Q]`cQUTWP`r^´H?iÛikTWF S][\ikVWH<ÛTWik([WiksHGirikTWiu`G-TWFqE^EZrQUPEV
(94) QRZrC5`rQRP_VWSUHTXi(sTX^EeESUHqEirHtY Q]`cQUTWPbQUH?S]sE`. W1O SVUS]"Z^]"Z[[[Z_]"ZHLFZHLu]ON(Z
(95) C_H?PikHG`rqfHGY}ZkQR XH?SUbW¸5<a`Acb[\P_s-<d`ef"[ BCEH_iu`mZ+£ÛPE¢JX§3HGPZrikQRHt`3TWZrC_HOY?TWFqE^ZkHGs `cTXSR^ZkQRTXP_`(C_[W` P_T `rQRVXPEQRY?[WPXZsQUVWQRZG 2ZQU`O(TWirZrC¨PET\ZkQRPEVZrC_[\Z+eTWZrC¬ZkCEH`cQUPEVXSRH[\P_s¨sTW^_eESRHIqEikHGY?QU`rQRTXP:`rTWSU^ZrQUTWP_` `r^´H?iÛikTWF"[O`cQUFQRS][\iÛTXir[\ius+H?ikikTWieE^Z-ÛTWisQRfHGirHGPZZkCEikHG`rCETWS]s [\SU^EHt`? ¢2 P_Y ikHG[X`cQUPEV<ZrCEHqEikHGY?QU`rQRTXP QUP ZrCEQ]`
(96) Y TXFqE^Zk[\ZrQUTWP8Q]`PET\Z<`r^? Y QUH?PZZrTbdQUH?S]s ZkCEH+H E[WY Z
(97) irHt`c^ESRZG. n<qEqESUbQUPEV8ZkCEH 3n FIH?ZrCETsªZkT8ZrCEHqEikH? dQUTW^_`+`rQUPEVWSUHqEirHtY Q]`cQUTWP¯Y TXFqE^Zk[\ZrQUTWPa¸ HqEikT dQUsEH ZkCEH¨Y?TWikirHtY}ZkHGs ikHG`r^ESZ W$ZkTWVWH?ZrCEHGi®
(98) QRZrC [\Pá[We_`cTXSR^EZrH¬efTW^EPs
(99) T\+ZkCEH¨ikHG`rQ]s^_[\SH?ikirTXiG¸ -u ¸ y W c BW CEyH Y?TW
(100) ikir HtjY}Zk HGs ikHG`r^ESRZ
(101) QU` W~S ULFZML Z[[[6ZHLu]ONHZ ÛTXi[\SUSo[WY?Y?H?qZu[\eESUH8 [\SU^EHG`TWg <¸ -u ¸ZkCEH5 [\SU^EHG``r^_YuC ZrC_[\ZZrCEH¬Y?TWikirHtY}ZrQUTWP qEirTY?HG`k`IsETHt`PET\Z T XH?i T+ { WH?i T [\q_qHt[\iu` ÛTXi [WSR^EHt` SU[WirVXH?i ZkC_[\P eTWZrC ZrCEHªqEikH? dQUTW^_` `cQUPEVXSRH¯[\P_s sTW^_eESR7 H q_irHtY Q]`cQUTWP8ZkCEirHt`cC_TWS]sE`?TWikirHtY}ZrQUPEVZkCEHI`rQUPEVWSUHqEikHGY?QU`rQRTXP5irHt`c^_SZObQUH?S]sE` WeS W¨
(102) C_QRSU H < LhL[e¬i£ A Ú Ú Ô6.
(103) (?-5 F ' . . T XH?i To`+
(104) CEHGP < ` L A QRP 2¢jj `cQUPEVWSUHq_irHtY Q]`cQUTWP§ BCEH?ikH ÛTXirHZkCEH H qHtY}ZkHGs `cTXSR^ZkQRTXPJW QU` ikHGY?T WHGirHts Y TXirikHGY ZrQUPEVZkCEH`rQRPEVXSRHqEikHGY?QU`rQUTWP®Y?TWFqE^Zu[ZkQRTXP7 ÛTX\io[ SU[WirVXHiu[\PE VXHTW< [WSR^EHt`? BCEHI[\e_`rTWSU^ZkHY TXFIq_^ZrHts5eTX^EP_s
(105) VXirTo`<[W`=I UXA ]
(106)
(107) C_H?ikH sEH?PETWZrHG`<ZrC_HqEikHGY?QU`rQRTXP TWZrCEH Y TWFqE^EZk[ZkQRTXPae 3dT¬ZrCEQ]`Y?TWFqE^Zu[ZkQRTXPirH?Zr^EikP_`SU[WirVXH Í[WSR^_HG`[WP_s¯F[Íb¨T XH?i T+M 2¢PZrC_QU` H?E[\FqESUHW¸aZkCEH Y TXFqE^ZrHtsªeTX^EP_s
(108) Q]`+ WHGirb5qfHG`k`rQRFQ]`mZkQUY`rQRPY HZrC_HirHt`cQ]s^_[WSH?ikirTXiOQ]`[XY}Zr^[\SUSRb y W c W y SJ]"[. i. ) %!#%$'&)(% 4% .;
(109) .;# ! #"> # & 3 <Tá(HY TXP_`cQ]sHGiZkCEH+ZkirQ][\PEVX^ES][\i
(110) `cb`cZrHGF%$ 7 W~SJ8 7 ¸E
(111) CEHGirH&$ 7 QU`o[ISUTHGiZrikQU[WPEVW^_SU[Wi(F[\ZrikQTW TXiksEH?i2:BCEHY TdH6 Y?QRHGPXZu`(T\ZrCEHF[ZkirQR'$ 7 [WP_s ZkCEH+ikQRVXCXZr/C[\P_s®`cQ]sH 8 7 sH?qfH?Ps®TXP [WP®QUPZrHGVWH?i q[\iu[\FH ZkH?i;< £¤`rH?HnoqEqfH?P_sEQ dÏJÛTWisH?Zk[WQRS]`k§ ©ªH
(112) YuCETdTX`rH 5< `r^_YuCZrC_[\ZPET+sE[\Zk[H?ikirTXiH?dQ]`cZk`QRP($ 7 [WP_s 8 7 ¸ -u ¸[WSRSY TWFqfTWPEHGPZk`-[\ikH
(113) `cQUPEVWSUHqEikHGY Q]`rQRTXP T[ZrQUPEVOa&X qTXQRPZjPd^EFeHGik`GBC_HY?TWFqfTWPEHGPXZm
(114) Q]`rH Y?TWP_sEQZkQRTXP:Pd^EFefH?iTWjZrCEHF[ZkirQR)$ a7 ¸aY TXP_s&U*$ 7 ]S F y $ 7 yDy $ 7 y F G ¸VWikTo`<H?qTXPEH?PZrQ][\SUSUb
(115) QRZrC :BCEHI`cTXSR^ZkQRTXPwWªQU`O`c^YuC5ZrC_[\ZOTXPEHTW3QZu`Y?TWFqfTWPEHGPXZu`<Q]`PET\Z+[_PEQRZrHGSRb5ikH?q_irHt`cHGPXZu[\eESUHeEQUP_[Wirb TX[ZkQRP_VqTXQRPZPd^EFeHGi£W_UObL ] S "] [ ])ÍL §}
(116) n<`<ZrCEHF[\ZrikQUY?HG`$ 57 [WirHQUSUS Y TXP_sQRZrQUTWPEHts5H? XH?P ÛTWiO`cF[WSRS [WSR^EHt`TW á: [WP_s < ¸`rTWSU dQRPEV+$ ?7 W S 8 7
(117) QRZrC ZrC_H `r^Ee_`cZrQRZr^ZkQRTXP [WSRVXTWikQZkCEF bQUH?S]sE``rQRVXPEQfY?[\PZkSRb
(118) . S][\ikVWHÛTWik[\ius H?ikikTWiu`?BCEH+irHGSU[\ZrQU WHÛTWik([WiksH?ikirTXiT\ZkCEHY TXFqE^ZrHts8`cTXSR^ZkQRTXP W¬O `k[ZkQU`c_Ht` N) U WYO ](S-X2,/1 V . 1K0 \ y WO UKQ y] W c UKQ ] W_y UKQ ] y S y WlO UK: y ]W UKc : ]W_y US: ] y [ £m¥t§ ©ªH<`rTWSU WHZrC_HZrikQU[WPEVW^ES][\ij`rb`mZkH?F3` $ 7 W1S 8 7 ¸XÛTW i < SJA Acb+[\P_ssQUFH?P_`rQUTWP_`-ÛikTWF¥
(119) ZrT¥tyE©¨H `r^EFF[\5ik7Q G4 H
(120) QRZrMC NQRVX^EikH¥ZrCEH+ikHG`r^ESRZk`(qEikHG`rH?PZrHts CEHGirHt[ßZkH?i
(121) [\P_s ZrCEH+Y?SU[X`r`rQUYHG`cZrQUF[ZkHGs [WY?Y?^Eiu[WY b efTW^_P_s Y?TWP_s U*$ 7 ]} 687 4 aL[] <B; §}CEjHn`r`^Ee_H `cZrqQRZrHt^EY}ZrZkQUHGTWsP¬¸dZk[\CESUVWHTXÛirTWQRZrikC_(F [Wiks QU`H?ikikir`cTXZoi qNHG) icÛU TXW@O ir](FQUP_HtsY ikQUHGMP [X`c2¢Htj`3jH?q \TXz\PExH?P`rZrQUPEQ][\VWSUSUSUH+bqE
(122) ikQHGZkY C®Q]`rZkQRTXCEPªH+s£ QUFIHGP_`re?QRTX[ 9-P : : <T¬`cQUVWP_QYG[\PZsQUVWQRZQRP WO Q]`+irH?Zr^EikPEHts:
(123) CEHGDP :>= eE NETXi+H E[\FqESUHHC_[Í X9H N ) U WYO ] 7 LF[ f A ÛTWi :wS9eE @?A7 4 aL[] &BXCB CE§ HG PBZrC_C_HH Y `kTX[\FIFq_H ^ikZrHGHt`rsTWSU`c^TXZrSRQU^TWZkPQRTXQ]P¯`qQU`HGicsEÛH?TXPEirFTWZrHGHGs¯s
(124) DO 8QRZrC BCE2¢jHjÛTWik \z\[\x:ius:sHGTXir^EikeETWSUi+HQ]`qEikZmHG
(125) Y?Q]QUY `rQRH TXP$efH £ZrZrH?iZrC_[WLFP¯[ LhL ZrCEH q_irHG QUTW^` Y TXFIq_^Zk[\ZrQUTWP$eE^EZ®T\Y?TW^Eiu`rH¬H CEQUeEQRZk`ZrCEHª`r[WFIH¨eHGC_[Í dQRTXiY TXPZrikTWSUSRHts eb ZrC_H¨H?dqfT\ P_H?PZrQ][\S7 iu[ZrH¨T\4 ZrCEH¯a<Y ; TXP_sQRZrQUTWPáPd^EFeHGiGnoefTW^Z5C_[WSZkCEH[WYGY ^Eiu[WY?b QUP DO Q]` SRT`mZ ÛTWi : S e £ N) U DO ] A?[ 9 e LH] §}¸[\P_sZrCEH+ikHG`r^ESRZ
(126) C_[W`
(127) P_T`rQUVWPEQRY?[WPZ
(128) sEQRVXQZÛTWi :E=F9E ©ªHo[\qEq_SRbZkCEH<3<n FH ZkCETsY TWikikHGY}ZkQRP_VoZrC_H`rQUPEVWSUHqEirHtY Q]`cQUTWP W -BCEH
(129) Y TXirikHGY ZrHGsirHt`c^ESRZ WC_[W` [ efH ZrZrH?iI[WYGY ^Eiu[WY?b8ZrC_[WP¨ZkCEH `rQRPEVXSRHqEikHGY?QU`rQUTWPªirHt`c^ESRZ WO ¸eE^Z+ZkCEQ]`O QUFIq_irT XH?FH?PZQU`+P_T\Z^EPEQRÛTWikF
(130) QRZrC irHt`cqfHGY ZZrT ::©¨H sQU`cZrQUPEVX^EQU`rC¯Zm(T:`mZkH?q_`G, N_TWi : b_¸ZkCEH®Y?TWikirHtY}ZrHtsªirHt`c^ESRZ W QU`[\efTW^Z [X`[WY?Y?^Eiu[ZrH[W`QRZk``cQUPEVWSUHqEikHGY Q]`rQRTXP¨Y TXFqE^Zk[\ZrQUTWP¯[\SUSRTo `£¤HikHGY?[WSRSZkC_[Z+ZkCEH7 H E[WY Z4 `cTXSR^a<Zk;QRTX,P W `r^´H?iu`+ÛikTWF [\P^EP_[Í XTWQ]sE[\e_SRHikH?S][ZkQR XHH?ikirTXi+T\
(131) TWiusH?i § 5©¨H®C_[Í WH N) U WK] A"[ A LH] ¸ÛTWi :JS b_ NETXgi :G= e¸fZrCEHikH?S][ZkQR XH+ÛTWik([Wiks8HGirikTWi N) U WK]QRP_Y?irHt[W`rHG`<irTX^EVWCESUb8[W`ZrCEHÛTWik[\ius8H?ikirTXi TWaZrC_HsETW^EeESUHqEikHGY Q]`rQRTXP®Y TXFqE^Zk[\ZrQUTWPª!£ 2¢jjj WzxsTW^_eESRHOqEikHGY?QU`rQRTXP®[WirQRZrCEFH?ZrQ]Y<Q]`
(132) `cSUQUVWCZrSUbFTWikH q_irHtY Q]`cHOZrC[\P®Zm
(133) QUY?HZrCEH`rQRP_VWSUHOq_irHtY Q]`cQUTWP§ Ù"!ÚaÙßÞ.
(134)
(135) !"$#&%(')+*,- . 1e+15 Single Precision Double Precision Corrected Single Precision Relative Bound for Correction (Single Precision) x (Condition Number). Relative Forward Errors and Bounds. 1e+10. 100000. 1. 1e-05. 1e-10. 1e-15 1. 2. 3. 4. 5 6 Dimension. 7. 8. 9. 10. NQRVX^EirH¥3TWSU QUPEV/$ 7 1W SJ8 7 ¸ÛTXi%<eSJA Acb[\P_s sQUFH?P_`rQRTXP_` OL ZrT L[]®. BCEH
(136) Y?TWFqE^ZkHGseTX^EP_s
(137) ® [\SUQUs_[ZrHt` ZrCEHo[XY?Y ^_ik[XY bT\ZrCEH
(138) Y TXirikHGY ZrHtsikHG`r^ESZu`? ©¨H XH?ikQÛb+ZkC_[Z ZkCEHIirHGSU[\ZrQU WH [\SU^EH
(139) x"y W y eTX^EP_sE` N)U WK] ¸´ZrCEH[WY Zr^_[WSÛTXir[\ius8H?ikirTXioT\3ZrCEHY TXirikHGY ZrHGs8ikHG`r^ESRZG n`+ÛTXi+ZrCEH ÛTWik([WiksªH?ikikTWit¸ZrCEH®4 eTX^EP_s
(140) QU`ZrQUVWCZÛTXi : b¸[WP_sªZrCEHGPT WHGicHG`cZrQUF[ZrHt`OZrCEH [XY}Zk^_[\SHGirikTWi(edb®[¤[WY ZrTWi
(141) TW;e LH]QUP ZrCEQ]`
(142) H?[WFqESRHX 2¢P:TWikTWSUS][\ikbJE¸HqEikT WHZrC_[\ZZrCEH`kY?[WSU[Wi`rTWSU^ZkQRTXP$W_USQ ]`r[\ZrQ]`m_Ht` W_USQ]dZ W_USQ] c
(143) (Z W UKQ ]
(144) \¸ZrC[ZF[Íb+qEirT dQ]sH[\P " ; Y TXPXZkirTXSXTW_ZkCEHPETWP¢Y TXirikHGY ZrHts+irHt`c^_SZ W_O USQ ]}lNETWi-H?[WFqESRH
(145) C_H? P : SJfE¸ WO Uif ] S A?[ ]h] ] A5L A 44 LH] aa Z W_Uif ] c
(146) S LF[ 99 9399 9 4 LH] a Zk[\P_s W_Uif ]
(147) S A?[ ]h] ]]h] ] A LH] Z q_irT XH<ZkC_[ZZrC_HÛTW^EioS][W`cZosQUVWQRZk`T\ W_O iU f ] [WirHPETWZ
(148) [XY?Y?^Eik[\ZrHX©AC_H?P : S d¸ WlO U F] S e"[ A e 9 e : A 4 4 L[] Z aYX W U F] c
(149) S c A"[ ]
(150) hecb 94 L[a&] X Zr[WP_s W U F]
(151) S [ b b e 9hb Acb L[] Z bdQUH?S]sªZrC_[\Z W_O U <]C[W`+PET¨`cQUVWPEQRYG[\PZsQUVWQRZk`G BCEQ]` 9b ; Y?TWPZrikTWSj[WVWikH?Ht`
(152) QZkC¯ZrCEH [WY}Zk^_[\S. ikH?S][ZkQR XH+ÛTWik[\ius8H?ikirTXi<T\ZkCEHIQRPEQRZrQ][\SUSUb¬`cQUPEVWSUHq_irHtY Q]`cQUTWP¬Y?TWFqE^ZkHGs:`rTWSU^ZkQRTXP5ÛTWiZrCEHY TXP_`rQUsHGirHts [WSR^EHt`T\ :. Ú Ú Ô6.
(153) ~. (?-5 F ' . . J! 4 !O # . BC_HG`rHoZm(TH?[WFqESRHt`3H?CEQRe_QZ(ZrCEHF[\QUPq_irTXqHGicZkQRHt`3TWaZrCEH3n FH?ZrCETs®
(154) CEH?P®QZQU`[WqEqESUQRHtsZrT Y?TWikirHtY}ZZkCEHj_P[\SirHt`c^ESRZTW_[oY TXFIq_^Zk[\ZrQUTWP+QUP[oVXQR XH?PqEikHGY Q]`rQRTXP £ÛCEHGirHX¸GZkCEHH2¢3jª`rQUPEVWSUHjqEikHGY?QU`rQRTXP§} BCEH<_iu`mZ3H?E[\FqESUH
(155) QRSUSR^`mZkik[\ZrHG`jZrCEHOY?[X`cHt`
(156) CEH?P Y?TWikirHtY}ZkQRPEVZkCEH<`rQRP_VWSUHoqEikHGY Q]`rQRTXPIq_irTY Ht`r`jbQUH?S]sE` ZkCEHH E[WY Z+irHt`c^ESRZ
(157) CEH?ikHG[X`<ZkCEHsTW^_eESRHqEikHGY?QU`rQUTWP¨Y?TWFqE^Zu[ZkQRTXPª`cZrQUSRSikH Zk^EikP_`QRP[WY?Y?^Eiu[ZrHirHt`c^_SZu`? BC_QU`
(158) «dQUP_s8T\-H E[XY}Z<Y TXirikHGY ZrQUTWP8sH?qfH?PsE`<`cZrikTWPEVXSRbTWP8ZrC_HY TWFqE^EZk[ZkQRTXP5TWiusH?it¸dZrC[Z<Q]`o[VWHGPEH?iu[\S ¤[XY}ZÛTWi TX[ZkQRP_V®qfTWQUPZ+Y?TWFqE^Zu[ZkQRTXP_`?9 3d^_YuCª¤[Í XTWiu[\eESUHY?[X`cHt`H EY HGqZrHts¸ZkCEHVWH?P_H?iu[\S-6H Y QUH?PY b TWZrCEH 3n FH?ZrCETs5Q]`OH?FqEC_[X`cDQ ?Hts5
(159) QZkC¬ZkCEHI`rHGY?TWP_s8H?E[\FqESUHWBCEHH Y QUH?P_Y?b TWjZrC_HI`rQRP_VWSUH q_irHtY Q]`cQUTWP Y TWikikHGY}ZkHGsqEirTY?HG`k`QU`
(160) Y?TWPZrikTWSUSRHtsedb efT\ZkC ZrCEH`rQRP_VWSUH[WP_sZrCEHsTX^EeESUH+qEikHGY Q]`rQRTXP_`? ©ACEQUSUH+ZrCEHirHGSU[\ZrQU WH[WYGY ^Eiu[WY?b T\ZrC_HsTW^_eESRHqEirHtY Q]`cQUTWP5Y?TWFqE^ZkHGs irHt`c^_SZ<Q]`o`rF[\SUSRHGi
(161) ZrC_[WP8ZrCEH `rQUPEVWSUHq_irHtY Q]`cQUTWPa¸dZkCEHirHGSU[\ZrQU WH[WYGY -^Euiu [WY?bITWZkCEH`cQUPEVXSRHOqEikHGY Q]`rQRTXPikHG`r^ESZoY?TWikirHtY}ZrHts ikHG`r^ESRZQ]`T\ ZrCEH TXiksEH?iTW(ZkCEQ]``rQRPEVXSRHqEirHtY Q]`cQUTWP¸ ¸IZrCEH®eHt`mZqfTX`k`rQReESUH[XY?Y ^_ik[XY b¬ÛTXi[¬Y?TWFqE^Zu[ZrQUTWPQUP `rQRP_VWSUH q_irHtY Q]`cQUTWPaBC_HIiu[\P_VWHTW`r^_YuC:efH?C_[Í dQUTWiOT\Y TW^_ik`rHsHGqHGP_sE`TXP¬ZrC_HY?TWP_sEQZkQRTXP:T\ZrCEHIqEikTWeESUH?F8 ©AC_H?P¯ZrC_H qEikTWeESUH?F%QU``rT5QUSRS(Y TWPsQZkQRTXPEHGs¨ZkC_[ZZkCEH ikH?S][ZkQR XH[XY?Y?^Eik[XY b¬TWZrCEHsETW^EeESUHqEikHGY?QU`rQRTXP Y?TWFqE^ZkHGsªikHG`r^ESZQ]`+(TWiu`cHIZkC_[\PªZrC_H`cQUPEVXSRHqEikHGY?QU`rQUTWPa¸ZrCEH Y?TWikirHtY}ZrHts¨`rQUPEVWSUHqEikHGY Q]`rQRTXP¨ikHG`r^ESRZQU` [WeTX^Z([X`<£¤QRP§c[WYGY ^Eiu[ZkH[W`3ZrC_QU`(sTW^_eESRHqEikHGY Q]`rQRTXP Y TWFqE^EZrHGsirHt`c^_SZt_ 2¢P®eTWZrCYG[W`rHG`G¸WZkCEHY?TWikirHtY}ZrHts ikHG`r^ESRZ
(162) QU`FTWikH+[WYGY ^Eiu[ZkH<ZkC_[\P ZrC_H+QRPEQRZrQ][\SUSUbPETXPY?TWikirHtY}ZkHGsikHG`r^ESRZG BCEHGirH?ÛTWikH<ZkCEH+Y TXirikHGY ZrQUTWP qEikTY Ht`r`QU`VXSRTXe_[\SUSUb`rQUFIQUS][\i(ZrTsTX^EeESUQRPEVZrC_HOq_irHtY Q]`cQUTWP®T\ QUPZrHGirFH sEQU[\ZrHY?TWFqE^Zu[ZkQRTXP_`?oHG WHGicZkCEH?SUHG`k`?¸fZkCEHIY?TWikirHtY}ZkHGs5[\SUVWTXirQRZrC_FQ]`<P_T\ZH E[WY ZrSUb Htg^EQR [WSRHGPXZZrT®ZrCEH QUPEQRZrQ][\S3[WSRVXTWikQZkCEF q_irTY Ht`r`rHGs¨QUPsTW^Ee_SRHqEikHGY?QU`rQUTWPa 2¢PZkH?ikFIHtsQ][ZrH Y?TWFqE^ZkHGs¯ [\SU^EHt`+QRPªZkCEHY TXic ikHGY ZrHts[WSRVXTWikQZkCEF"[\ikHPET\ZZm
(163) Q]Y H
(164) FTXirH
(165) [WYGY ^Eiu[ZkH(ZrC_[WPZkCEHoQUPEQRZrQ][\SUSRbIY TWFqE^EZrHGsITXPEHG`
(166) £ÛZrCEHGbI[WirH
(167) `cZrQUSRS Y?TWFqE^ZkHGs8QUP8ZrCEHIY ^EikikH?PZoqEikHGY Q]`rQRTXP§}o{PESUbZkCEHQUPEQZkQU[WSRSUb8Y TWFqE^EZrHGs P_[\S irHt`c^ESRZ<Q]`oFTsQR_HGs8edb ZkCEH`r^EFF[ZrQUTWP8TWZkCEHY?TWikirHtY}ZrQUPEVIZrHGirF f O h 3TZrCEHIY TWikikHGY}ZkHGs®irHt`c^_SZu`
(168) F[ÍbefHsQRfHGirHGPXZT\-ZrCEH ikHG`r^ESRZk`aY?TWFqE^ZkHGs+
(169) QRZrCH dZrHGP_sHGsq_irHtY Q]`cQUTWPa BCEHj_iu`cZH E[\FqESUHQUSRSU^_`cZriu[ZrHt``r^_YuC[¤[Í XTWiu[\eESUHY?[W`rHW BCEH¯Y TXFqE^ZrQUPEV H?ikirTXiefTW^EP_s
(170) " [\SUQUsE[\ZrHt` ZkCEHª[XY?Y?^Eik[XY b T\ZkCEH¯Y TWikikHGY}ZkHGs ikHG`r^ESRZ [\Ps F[Íb8qEikT dQUsHI[\P " ; Y?TWPZrikTWST\3ZrCEHQUPEQZkQU[WSRSUb¬Y TXFqE^ZrHts¬ikHG`r^ESRZGBCEH`rHGY TXP_s5H?[WFqESRH QUSUSR^_`cZriu[ZkHG`OZkCEHG`rHZmT8qEikTWqfH?irZrQUHG`G BCEHikH?S][ZkQR XHIHGirikTWiefTW^EPs
(171) xy W y [\VXirHGHG`O
(172) QRZrCªZrCEH®[WY}Zk^_[\S [XY?Y?^Eik[XY bIT\aZkCEHY TWikikHGY}ZkHGsikHG`r^ESRZ ©ªH+[\S]`cT^_`rH<ZkCEHOY?TWikirHtY}ZkHGsikHG`r^ESRZ W5[\P_s ZrCEHOefTW^EP_ s
(173) ¬ZrT q_irT XH<ZkC_[ZZrC_HY TWFqE^EZrHGs ikHG`r^ESRZ W:O ([X`QUP_[XY?Y ^_ik[\ZrHW <H? WHGicZkCEH?SUHG`k`G¸_ZkCEQU`efTW^EP_s_``r^´H?iu`
(174) ÛikTWF ZrCEHHGSRSR«P_T
(175) P5SRQUFQZu[ZrQUTWP`<TW[W^ZrTXF[ZrQ]Y+ÛTXir[\ius HGirikTWieTX^EP_sE`G©ªHsEHG`kY ikQRefHQUP 3dHGY ZrQUTWP8¡E xZrC[ZZrCEH+Y?TWFqE^Zu[ZrQUTWP T\
(176) ¨F[\QUPESRbikH?SUQUHG`(TWP®ZrCEH Y?SU[X`r`rQ]Y©AQRSU«dQRP_`rTWP `+ik^EPEP_QRPEV:H?ikirTXi[\P_[WSRb`rQU` {ÏJ¥ |w 3dT¬qfHG`k`cQUFQU`cZrQ]YT XH?ikHG`cZrQUF[\ZrHt`TWZrCEH [WY}Zk^_[\S HGirikTWiF[ÍbOeH3irH?Zr^EikPEHGsa¸GÛTXiQUP_`cZk[\PY Hj
(177) CEHGPZrCEHqEikTWeESUH?F QU`QRSUSdY TWPsQZkQRTXPEHGsTXia
(178) CEHGPZrCEH([\SUVWTWikQRZrCEF Y?TWFqE^ZkHG`IQUPXZkH?ikFHGsQ][ZkH g^_[WPXZkQZkQRHt`
(179) QRZrC [\e`cTXSR^ZkH® [WSR^EHt`S][\ikVWHGiZkC_[\P ZrCEH _P[\SirHt`c^_SZu`?BCEH ik`cZSUQRP_HG[\i`rbd`cZrHGF QRSUSR^`mZkik[\ZrHG`<ZrC_QU`OS][ZcZkH?i`rYG[\SUQRP_V H ´HGY ZGBCEHI`cHtY TWPs5H E[\FqESUH[WP_s¬[X`r`rTY Q][ZrHts NQUVW^EikH¥H CEQUeEQZ
(180) ZkCEH+H ´HGY ZoT\ ZrCEHY?TWP_sQRZrQUTWP8TWZrC_H`cb`cZrH?F8 ÖÍÎ/ÖÆuïaÕÏÕ ËÍâoÐÖtØWÔ GÉ}ÖtÔtÔÍÉrÒÓ Ô ÌÏÎ
(181) ÆuëÍëtÕÏÌÏÐcÓÆuÎoÆuÔÆuØÍÎ0É}ÕÏÖtÈ/ÐOØWÉ}ÖtÔÍÓÈ0ÉÈ0ËÍÐÑcÉ}ǤǤÐcÑ¢È0ÐmÓ8Ç0ÐmÎ0ÖÍÕ ÈoÎ/ÌÏÔÍÑmÐ<È/ËÍÐOÐ tÆuÑ¢ÈoÎ/É}ÕÏÖtÈ0ÌÏÉ}Ô ÌÏÎ . .
(182) . . Ù"!ÚaÙßÞ.
(183)
(184) !"$#&%(')+*,- . ¦. "!á#% &'( 3.&)!#%$ !# &F"
(185) g4&5.&5! # C. H ZAefH[5`cH?ZT\ T[ZrQUPEV8qfTWQUPXZP^_FefH?iu`
(186) QZkCqEirHtY Q]`cQUTWP 4 jSUH?FHGPXZu[\ikb T[ZkQRPEV8qfTWQUPZTWq HGik[\ZrQUTWP_`ZkC_[Z Y TXirikHG`rqfTWP_s¯ZkT[\ikQZkCEFH ZrQ]Y TWqfH?iu[ZkQRTXP_`MU Z c Z Z x Z ][WirH8sH PEHGs TWP av©¨H [X`r`r^EFHIZrCEH®4 `mZu[\P_sE[Wiks¨FTsH?ST\ TX[\ZrQUPEV5qTXQRPZ[WirQRZrCEFH?ZrQ]YQU``r[\ZrQ]`m_Hts { |MNETWiRW Z D a¸
(187) [\Ps
(188) Z c Z Z Z ¸jH8sH?_PE H S W [WP_s S P U!W ]}3 Í[WSR^[ZrHts H?qEirHt`r`rQUTWP_`[\ikH sE H?PETWZrHGs eb P UCx r ] ¸d[WP_sY TXFqE^ZrHtsg^_[WPXZkQZk QRHt`3D Y?SU[X`r`rQUYGO [\SUSRbHt[\i( [D C_[\ZG-©AQZkC ZkCEH`cZk[WP_sE[\iusFTsH?S TW T[ZkQRPEVqfTWQUPZ<[\ikQZkCEFH ZrQ]Y\¸ RO S@UOL F]6Z y y Z £0JW§ [WP_s `cQUFQRS][\ikSRbX¸ O S x UL ]Z y y [ £¤¡X§ H Z P eH®[ Û^EP_Y}ZkQRTXPT\ : irHt[\Sj [\ikQ][\eESUHG`+[WP_s P U P ] S P O ¸ QRZk`+Pd^EFHGirQ]Y?[WSjH? [\SU^_[\ZrQUTWP¯TW P a N_TWi`cQUFqESUQUY?QZmbX¸H[W`k`c^_FIHZrC_[\Z P QU`[ ikHG[WSÛ^_P_Y}ZkQRTXP¬K [ XHGY ZrTWiÛ^EP_Y ZrQUTWP¨
(189) QRSUSeHY TXP_`rQUsHGirHts Y?TWFqfTWPEHGPXZm
(190) Q]`rHW BC_HoY TWFqE^EZk[ZkQRTXPTW: W@` S P U!Qe] ikH Zr^_irP_` W@` ÛTWi Q SVU!WKX<Z[[[YZCW:\]efH?SUTWPEVXQRP_V ZkT aoBCEHVWSUTWe_[WSdÛTWik([WiksH?ikirTXiQ]` W:O ` c P U!Qe] BCEHoY?TWFqE^ZuO [ZkQRTXPTWfHt[WYuCIQRPZrHGirFHtsQU[\ZrH [\ikQU[WeESUH WO n QRPZkirTs^_Y?HG`[\P£¤[We_`rTWSU^ZrHͧH?SUH?FH?PZu[\ikbikTW^EP_sEQRPEVHGirikTWi q n 4 ÛTWi $S : JLFZ[[[YZ NETWi WO V ¸ WO U [WP_s WO n QRP `c^YuC®ZkC_[Z L Q W ¸_[WP_s
(191) Z c Z Z x Z ¸ . WO n S P U WO V WO U ] S WO V WO U q n £Ûx§ S Wn qnZ £0zW§
(192) C_H?ikH WO U SJ ]I
(193) CEH?P S x ¸E[\Ps WO V S]Z WO U =]
(194) C_H?P S 3dT¸_ZkCEHPd^EFHGirQ]Y?[WSH? [WSR^_[\ZrQUTWP5TW P U!Qe] TXP! Q]` P O U!Q,Z q ]}¸fZkC_[ZOQU`G¸f[Û^EP_Y}ZkQRTXP:TWZkCEHs_[Zk[$Q [WP_sªZrC_H H?SUH?FH?PZu[\ikb:ikTW^EP_sEQRPEV5HGirikTWiu` q S U q \<^_X<Z[[[6Z q ` }] 5n ik`cZcTWiusH?i[WqEqEikTÍQRF[ZkHT\ZrCEH VXSRTXe_[\S´ikTW^EPsQRP_VIHGirikTWi(
(195) QRZrC8irHt`cqfHGY Z
(196) ZrTIZrC_H+H?SUH?FH?PZk[WirbirTX^EP_sQUPEVIH?ikirTXik`(Q]` ` p PO m f h S \<^_X pq n U!Q,Z q ]lr q n [ £X § no n` P U!Qe](S P O U!Qw^Z ] ] ¸ZrCEHVXSRTXe_[\S´ÛTXir[\ius ikTW^EPsQRP_VHGirikTWiQ]` P O U!QwZ q ] c P U!Qe]S fh ckj hlZ £ \§
(197) C_H?ikH j h Q]`ZrCEH 5s-@
(198) 7tuvC [W`k`cTY?QU[\ZrHGs
(199) QZkCwf h . Ú Ú Ô6.
(200) ¥ty. (?-5 F '. i. . . !#= !C g3O > C&)( " * > &5( 8. B iu[WsQRZrQUTWP_[WSPd^EFHGirQ]Y?[WS´[WP_[\SUb`cQ]`(eTdTX«d`(^_`rHOZrCEH T[ZkQRPEVIqfTWQUPXZo[WirQRZrCEFH?ZrQ]YFTsHGSj£0JW§([WP_s¨£0¡X§3ZrT efTW^_P_s¯ZrC_H®[\e`cTXSR^ZkH H?SUH?FHGPXZu[\ikb¨HGirikTWiu` q n QRPikH?S][ZkQRTXP$£§OK [\P_s`rT¬efTW^EPs y fih y ¸j[\P_sªZkCEH?P P_H?VWSUHGY Z j h¯ZkTsHGirQU WH[ _iu`mZr/TXiksHGioefTW^EP_s¬T\ZrC_HVWSUTWe[\SikTW^_P_sQUPEV H?ikikTWi { x<|¸l{R¥t¦b|/©¨HqEikTWqfTX`rH C_H?ikHZkTY TWFqE^EZrH fiO hMS P UfihY]ZrT sEH?ikQR XH[ C6
(201) >?5s P UQe]sH?_PEHGs [W` P UQe](S P P O U!Q,Z q ] c f O h [ £¤~X§ ©ªHY?TWFqE^ZkH f O h HG Í[WSR^[ZrQUPEVikH?S][ZkQRTXP¬£ §jQUP T[ZrQUPEVqfTWQUPZ[WirQRZrC_FIH?ZrqQ]Y\BCEHq_[\irZrQ][\SfsH?ikQR [\ZrQU WHG` [WirH
(202) Y?TWFqE^ZkHGsI
(203) QZkC[\SUVWTWikQRZrCEFQ]Y(sEQ´H?ikH?PZrQ][ZkQRTXPa3SRHGFIHGPZk[\ikbHGirikTWiu` [\ikH
(204) Y TWFqE^EZrHGsI^_`rQUPEVZrCEH ikH?S][ZkQRTXP_`qEirHt`cHGPZrHGs:QRPªPEH?ZB[\eESUH8¥WIBCEHG`rHZm(T «QUP_sE`TWY TXFqE^Zk[\Zrn QUTWP_`[WirHIHGSRSR«P_T
(205) P¬eE^Z FHGirVXQRPEVZrC_H?F qEikT dQUsEHG`[IeH?ZcZrHGi
(206) C_[\PsSRQUPEVTWP®ZrC_HOikTW^_P_sQUPEVHGirikTWiu`3ZrC_[WPZkCEHY S][W`k`cQ]Y<_ik`cZcTWiusHGi efTW^_P_s BCEHY TXirikHGY ZrHts5irHt`c^_SZ P U!Qe]<`c^´H?iu`ÛirTXF ZrCEHZrik^EP_YG[ZrQUTWP¨H?ikirTXi j h[WP_s:[®Y TXFIq_^ZrQUPEV H?ikirTXi j BCEQ]`Y?TWFqE^ZkQRP_VoH?ikirTXiaY TXFIHt`´ÛikTWF ZrCEHPEQZkH3qEikHGY?QU`rQUTWPOH? [\SU^_[ZkQRTXP+T\dZrC_Hjq_[\irZrQ][\SXsH?ikQR [\ZrQU WHG` [WP_sZkCEHHGSRHGFCH?6P Zk [W>irb<5 ikTW^ECP_sE QRPEVH?ikirTXik`aQRPirHGSU[\ZrQUTWP£ X§}¸\[WP_s+ZkCEH_P_[\S`r^EeZkik[XY}ZrQUTWPQRPZrCEHY TXirikHGY ZrQUTWP £0~X§ H 3dTIZrCEH eH?ZmHGH?P®ZrCEHY?TWikirHtY}ZkHGs ikHG`r^ESRZo[\P_s®ZrC_H+H E[WY ZikHG`r^ESRZ
(207) QU` P U!Qe] c P U!Q ]lS c U j h j H]6[ £¤¦X§ BC_H`rF[\SUSRHGiZrCEH+ikHG`rQ]s^_[\SHGirikTWi(Q]`?¸ZkCEH+FP TWikHH Y QUH?PZ
(208) ZrCEHY?TWikirHtY}ZkQRPEVIFH ZkCETs®Q]`G B TWVXH ZrC_H?i
(209) QZkCªZrCEH Y?TWikirHtY}ZrHts5ikHG`r^ESZ UQe]}¸ZkCEH®3n FIH?ZrCETsE`q_irT dQ]sHG`[ eTX^EP_s¨T\(ZrCEH Y?5s-TW@F
(210) qER^Zk<QR5 P_A V<H?--ik?8irRTXi j
(211) BCEQU`efTW^EP_s
(212) efTW^_P_sE`
(213) ZkCEHikHG`rQ]s^_[\S H?ikirTXio
(214) CEHGP j heS ]_¸_ZkC_[ZOQU`oÛTWi ¸f[q_[\irZrQ]Y ^ES][\i
(215) Y?SU[X`r`(T\[\SUVWTXirQRZrC_F`((H+sH _P_H+QRP ZrC_H+PEH dZo`cHtY}ZkQRTXPa . >(% !#%. "! .&)!O #P* ) ./# !#%. F 3O$ ! &)(. . z<QRVXCEH?i<ZrC_[WP¬_iu`cZcTWiusH?ioH?fHtY}Zu`<TWZrCEHIH?SUH?FH?PZu[\ikb®ikTW^EPsQRP_V H?ikirTXik`oF[Íb5Y?TWPZrikQRe_^ZrH+ZkT ZkCEHQUP. [XY?Y?^Eik[XY bTW[Y TXFIq_^ZrHts®ikHG`r^ESRZG ! H?Z P O XefHZrCEHH? [WSR^_[\ZrQUTWP T\ P U!W_Z D Z ]S W c D c
(216) QRZrC5n<SRVXTWikQZkCEF ¡E ¡E WKXS W Z W S D Z W S W " S WKX vW W$# S WKX c4 W W B S W " 4 W%# W$& S W W W ; S W B}c W & P O X U!W Z D Z ]lSgW ;. Ù"!ÚaÙßÞ.
(217) ¥X¥.
(218) !"$#&%(')+*,-. poH?S][ZrQUTWP¯£0zX§(bdQRHGSUsE`. P O X U!W_Z D Z ] c P U!W Z D Z ]lS q " U!W c D ] q # UW D ] q B c q & q ; q " q # [ BC_H?Pa¸_Y?TWFqE^ZkQRP_V P XU A # ZHLFZ^A # ](S c LUQ P12¢j3 Wzx `rQRP_VWSUHOq_irHtY Q]`cQUTWPª£ SJA <a " (§ VWQU WHG` P O XUiA # ZML Z^A # ](SJ]"Z [X` q " S c L Z q # S L [WP_s q B S q & S q ; SJ]"[. £c¥GyX§. 2¢P:ZrCEQ]`Y?[X`cHX¸fefT\ZkC:ZkCEH_ik`cZ+[\P_s¬`rHGY?TWP_s/TXiksHGioZkH?ikF`OQUP:ikH?S][ZkQRTXP £m¥tyX§o`rQUVWPEQRY?[WPZrSUb8Y?TWPZrikQUeE^ZrH ZkTIZrCEH+VXSRTXe_[\S´ÛTXir[\iusH?ikikTWit BCEH+TXiksEH?io[\PsZkH?ikF`(ZrC_[\Z<[\ikH`rQUVWPEQRY?[WPZQUP ZrCEHsH? XH?SUTWqEFH?PZ
(219) T\ZrC_H+VWSUTWe_[WS´ÛTWik([WiksH?ikirTXi
(220) QRZrCªikHG`rqHtY}ZOZrT ZrCEHHGSRHGFIHGPZk[\ikb8irTX^EP_sQUPEV H?ikirTXik`sH?qfH?Ps¨TXP¬ZkCEH[\SUVWTWikQRZrCEF [WP_s5ZkCEHsE[Zu[En VXH?PEHGik[WSY?irQRZrHGirQUTWPÛTXi
(221) C_H?P ZkTI`cZrTXq®Y?TWFqE^ZkQRPEVICEQUVWCEHGiTXiksEH?ijZkH?ikF`Q]`s7Q Y?^ESRZZkTIsH?_PEHX-BC_H K YuCETWQ]Y HTW-[IF[QUF[WSaTWiusHGi`r^_YuC ZrC[ZoCEQUVWCEHGi
(222) TWiusH?i(ZkH?ikF`<[\ikHOP_T\ZoY TXP_`cQ]sHGirHtsF[Íb SUHG[Xs ZkT8PEH?VXSRHtY}Z`rQRVXPEQfY?[\PZOZrHGirF`ÛTXiZrCEHVXSRTXe_[\S-ikTW^EP_sEQRPEV8HGirikTWit 3^_YuC:ZkH?ikF`[\ikHC_H?ikHZu[\«XH?PªQRPZrT [XY?Y?TW^EPZQRP ZrC_H+SRQUPEHG[WirDQ G[\ZrQUTWP®H?ikirTXi j h¨sH?_PEHts®edb ikH?S][ZkQRTXP¨£ \§} n<P¬[WY?Y?^Eiu[ZrHOefTW^EP_s TW j h¨Q]`
(223) [\S]`cTs7Q Y ^ESRZ
(224) ZrT Y?TWFqE^ZkHWjoHG WHGicZkCEH?SUHG`k`?¸dZkCEHÛTWSUSUT
(225) QRPEVSUQRP_HG[\i [WSRVXTWikQZkCEF``r[\ZrQ]`m_Ht`(ZrCEH+QUPZrHGirHt`mZkQRPEVIqEikTWqfH?irZmb j h S]_ ± 4 ¤¶ <SU@QUPE 9HG[W
(226) > i [\MSUVW!"TWik<QR ZrCEF TX P w <5 AB-! 8 -i<5 = :;<-" M-,
(227) "C.
(228) Z c Z Z x Z b=98i>?5 K5 P U WO V 4 WO U ] < 6 WO V SgW V WO U SgW U
(229) <@ b=$ -u P U WO V;x WO U ] 6< WO U SgW U
(230) <@ b= 6><CRC< P WO U 6< WO U SgW U [ QRPEHt[\i[\SUVWTXirQRZrC_F`-[WirH(`c^_YuCZrC[Z-ZrCEHQ]sH?PZkQ_HtsITWqfH?iu[\P_sE` W `r^´H?iÛirTXF PETOqEikH? dQRTX^_`irTX^EP_sd QUPEVH?ikikTWitTWP_`cZk[WPZk`-[\P_sIsE[\Zk[OT\´[\PdbQUFIq_SRHGFIHGPZrHGsI[\SUVWTXirQRZrC_F O n [\ikH`r^_YuC WO n -n
(231) Y?Y?TWiusQUPEV<ZkTOZrCEHGQRi Pd^EFHGirQ]Y?[WS Í[WSR^_HW¸X`rTWFHoY?TWFqE^ZkHGsg^_[\PZrQRZrQUHG`jF[Íb[\S]`cT+`k[ZrQ]`cÛb WO n SgW n -j XH?PQRfZkCEH_P_[WSEikHG`r^ESZ W@O `"Q]`PET\ZY?TWFqE^ZkHGs5
(232) QRZrC¨[ SUQRPEHt[\iO[\SUVWTWikQRZrCEF8¸`rTWFHQUPZrHGirFHGsEQU[\ZrH [\ikQ][\eESUHG`
(233) F[Íb eHirH?Zr^EikPEHts edb SUQUPEHG[Wi
(234) q_[\irZk`TWZrC_H[\SUVWTWikQRZrCEF8 d3 TXFHIe[W`rQUY[\SUVWTXirQRZrC_F`ÛTXi`kY QUH?PZkQYY?TWFqE^ZkQRPEV5[WirHISRQUPEHt[\i[\SUVWTXirQRZrC_F`G_N TWiH E[WFIq_SRHX¸aH FHGPXZkQRTXPIZrCEHoP[Zr^_ik[WSETWiusH?ij`r^EFF[ZkQRTXP [\SUVWTWikQRZrCEF TW :®ikHG[WSEPd^EFefH?iu`?¸WZrCEH<QRPEP_H?i3q_irTs^_Y ZjT\´Zm(T XHGY ZrTWiu`([\P_s ZrCEHGirH?ÛTWikHFTX`cZ
(235) T\aZkCEH n 3 ikTW^ZkQRPEHt`?¸dZkCEHqTXSRbdPETXFQU[WSfHG [\SU^_[ZkQRTXP^_`rQRP_Vi<z TWikPEH?i `. FH?ZrCETs8[\P_sZrC_H`c^Ee`mZkQZk^ZrQUTWP5[\SUVWTXirQRZrC_F ZrT`rTWSU WHZrikQU[WPEVW^ES][\iSUQRP_HG[\io`rb`mZkH?F`G £¤Y TXPZrQUP^_HGs_§ O©ªHY TWFqE^EZrHZrCEHIqEikH? dQRTX^_`
(236) Û^_P_Y}ZkQRTXP P UW Z D ZB]o
(237) QZkC¬ZrC_HÛTXSRSUT
(238) QRP_V SUQUPEHG[Wio[\SUVWTWikQRZrCEF ZkC_[ZoikH Zk^EirP` P O [ ©ªH+C_[Í XH q q q q q P P O UW Z D ZB] c U!W_Z D Z ]S }" c. Ú Ú Ô6. #. . B. c. &. . ;. [.
(239) ¥ÍJ. (?-5 F '. . WKXS W Z 4 W S D Z W S W " S WKX 4 WYX W$# S W W W B S W " c4 W%# W$& S W W W ; S W B}c W & P O U!W Z D Z ]lSgW ;. B C_HVWSUTWe_[WSÛTWik([Wiks:H?ikirTXi+T\(ZrCEHSRQUPEHG[Wi[\SUVWTXirQRZrC_F P O Q]`[8SUQRPEHt[\i+Û^_P_Y}ZkQRTXPT\(ZrCEH GH SRHGFH?PZk[Wirb ikTW^_P_sQUPEVHGirikTWiu`GBCEQ]`
(240) qEikTWqfH?irZmbCETXSUsE`(ÛTXio[\SUSSRQUPEHt[\io[\SUVWTXirQRZrC_F`G ±d¶ ± 6\ W@O ` E
(241) $- <8}K>?;
(242) ,C6
(243) >?5s P U!Qe] E=ew5s-@
(244) 1<5 AB-! 8 6 < Q S. UWKX<Z[[[YZ W@\] @)AF57 E<5F 6GH<C 9>?@ <-BA16C< OW:` c P UQe] 95 -K<
(245) >? <e !" 578 =9>?@ <-BA~6
(246) }q SVU q \<^_XZ[[[Z q `)] . . ¶a¶ I*,- ;@ L _~ 578 =e
(247) "C< < <@ JSP: LFZ[[[Z GHR@C<bME= -K > <$!"< !"A<57 E
(248) 5>?@ <-BAi6 - WO n 5 -K<
(249) >? 1 -)578
(250) = >?@ <-BA C<
(251) q KU : 9L
(252) "] @ 5 -@
(253) < @C
(254) "A < < !" 657896:;<= C>?K - AC(q 89=R
(255) F<G_6 W )<@ !"R GH~6@ R$8i>?5 K5
(256) !"i -u 6<i $ <- < !" 6@ ~ O 9 >C <; < - 8i>?5 @5 < <k<@ : 9L
(257)
(258) WO n S WO 4 WO 6 4 q n 6 6 S U!W q ] U!W 6 q 6 ] q n 6 S W n qn q W q W q q [ &C<8 !"16 5 -K<15 A <--?8 F (:- <
(259) GH~
(260)
(261) >?89) 6~ 8@571!"< q
(262) S ]"[ @~@< 5 -K< 8 q q C
(263) K i- A<57 E
(264) 5KC>?K - A96C< WO n c W n )5 -K<\ G-!1C6 l q 6 <@ q n KR-K > <e -:- <5 7tu
(265) - R!" F<; Q S+U!W X Z[[[YZCW \ ] @9 -u JK 9 >C < b 6 C -8-57<K KC
(266) 9- 6. N_TWi+[VXQR XH?PªY TWFqE^EZk[ZkQRTXPa¸a[®SRQUPEHG[Wi+[\SUVWTWikQRZrCEF qEikT dQUsHt`[®SUQRPEHt[\iOVWSUTWe_[WSÛTWik([Wiks8HGirikTWit{< ?Y TW^Eiu`rHW¸ÍZrC_QU`3VWSUTWe_[WSXÛTXir[\iusHGirikTWi-Q]`PETWZjPEHGY?HG`k`r[Wirb`rF[\SUSRHGi-ZrC_[WPZkCEH
(267) H?ikikTWi-qEikTdsE^_Y Htsedb[WPET\ZkCEH?i P_TWPSRQUPEHt[\i
(268) [\SUVWTXirQRZrCEF8 ®£¤Y?TWPZrQUPd^EHGs_§ BC_HZmTOqEikH? dQRTX^_`-Y TXFIq_^Zk[\ZrQUTWP_`-TW P O X[\Ps P O `r^´H?i-ÛikTWFvZkCEHo`r[WFH ÛTXir[\ius HGirikTWiÛTWi UW Z D ZB](SVUiA # ZML Z^A # ]6[ <Tá(HsQU`kY ^`r`(ZkCEHY TXirikHGY ZrQUTWP TWSUQRP_HG[\io[WSRVXTWikQZkCEF`?. Ù"!ÚaÙßÞ.
(269) ¥t¡.
(270) !"$#&%(')+*,- . >(%. . ". . g4&)!# $'* ) ) P.;# ! & D 4=#.
(271) . !# .; G 3$ !O&5(. . .
(272). (%# ". ) )0&)!# $. . BC_HY TWikikHGY}ZkQRTXP P U P O f O h ]Q]`
(273) qfH?irÛTWikFIHtsQUP T[ZrQUPEVqfTWQUPXZ<[WirQRZrC_FIH?ZrQ]Y+[\P_s8`rTQRPZkirTs^_Y?HG`PEHG ikTW^_P_sQUPEV¬H?ikikTWiu`?ªBCEc QU`IY TXFqE^ZrQUPEV¨H?ikirTXi j
(274) Q]`sH PEHGs eb¯ikH?S][ZkQRTXP$£¤¦X§ BCEH Zm(T¬ÛTXSRSUT
(275) QRP_V Y?TWikTWSUSU[WirQUHG`Y?TWP_`rQUsEH?iZrC_QU`®Y TWFqE^EZrQUPEVH?ikirTXi
(276) CEH?P ZkCEH¬ikHG`r^ESZu`T\+[¯SUQRPEHt[\i[WSRVXTWikQZkCEF [WirH5Y TXic ikHGY ZrHtsn<`
(277) SUQRP_HG[\io[WSRVXTWikQZkCEF``r[\ZrQ]`mÛb j hMSJ]E¸dZkCEHG`rHirHt`c^ESRZk`
(278) sEH?ikQR XHÛikTWF irHGSU[\ZrQUTWP¯£¤¦X§ ¶ ¶ ¤ ² " P U!Qe] 8@>? G-! 5 -K
(279) w5 AB-! 8
(280) - C ;
(281) C6 >?5 P U!Qe] <5 = >
(282)
(283) C8 - <8}K>? - A1C j
(284) Q0 HW
(285) . . . . P U!Q ]lS P U!Q ] c j
(286) [ ¶ ¶ ¤ ² 6
(287) E
(288) R1E
(289) >?@ } 6 j
(290) !"<H j
(291) K"iB C 6
(292) >?5s P U!Qe] <@ !" C ;
(293) C >?5 P U!Qe] 95s-@
(294) <5 AB
(295) -! 8 C
(296) y > y - P U!Qe] ,S Z P U!Qe] c
(297) (Z P UQe]
(298) \;[ . . BCEH
(299) efTW^_P_s8T\-ZrC_HikTW^EP_sEQRPEVHGirikTWiu`QUPXZkirTs^Y HGs edb®ZrCEHIY TWikikHGY}ZkQRTXP®q_irTY Ht`r`oqEirT dQ]sHG`
(300) [ Y?TWPfsH?P_Y?HIZrCEikHG`rCETWS]s:ÛTWiZrC_H Y TWikikHGY}ZkHGs:irHt`c^ESRZ P U!Q ]u H?Z^_`[W`k`r^EFHI^_PXP ZkQRS3PEH dZ`cHtY}ZkQRTXP¨ZkC_[Z
(301) ¸[WP_s¬C_H?P_Y?HZkCEHIQRPZrHGir [WS 3¸a[\ikHIY?TWFqE^ZkHGsiNEikTWF%TXirTXSRS][\ikb8JE¸ U!Qe]<efH?SUTWPEV`<ZkT £¤eE^ZoQ]`^EPE«dPET
(302) P§ BC^`?¸dZkCEHY TXirikHGY ZrHGs [\SU^EH P U!Qe]([\Ps ZkCEH+Y TWPEsH?PY HOZrCEikHG`rCETXSUs
(303) ªY TX^ES]s efH3^`cHtsZrT<Y?TWPZrikTWSWZrCEH([WYGY ^Eiu[WY?b<T\dZkCEHTXirQUVWQUP_[WSWY TXFIq_^ZrHts+irHt`c^_SZ WO ` jTWFq_[WirQUPEV WO ` STP O UQwZ q ]
(304) QRZrCIZkCEH ik[WPEVWH(F[ÍbqEikT Q]sH[\PIHG`cZrQUF[ZrH
(305) TW_ZkCEH
(306) Pd^EFefH?iTW´Y?TWikirHtY}ZsQRVXQZu`-QRPIZkCEHoY TXFIq_^ZrHts ikHG`r^ESRZG 5£0Y TXPXZkQRPd^EHts_§}-©ªH[WqEqESUbZkCEHY?TWikirHtY}ZkQRPEV+q_irTY Ht`r`jZrT+ZkCEH<q_irHG QUTW^`jSUQRPEHt[\i([\SUVWTWikQRZrCEF P O jBCEH+Y TXirikHGY ZrHts ikHG`r^ESZoQ]` . . . P UXA # ZML Z^A # ](S c LS P UXA # ZML Z^A # ][ ©ªHY?TWFqE^ZkH<ZkCEHOeTX^EP_s
(307) ¬
(308) QRZr C noSUVWTW<a ik QR" ZrCE7 F ¡EÏz+s4 Ht`rY?ira<QUef; HGsQUP ZkCEH<PEH?dZ`rHGY ZrQUTWPa-©AQRZrC$2¢3j Wzx`cQUPEVXSRHqEikHGY?QU`rQRTXP®[WirQRZrCEFH?ZrQ]Y£ S A e?[ 9: L[] §}¸_HVWH?Z
(309) wS [ L[e A 4 LH] a%& [ N_irTXF TWikTWSUS][\ikbJI[WP_s P iU A # MZ L ^Z A # ](S c LF[ ]"Z ZkCEH+H E[WY Z
(310) irHt`c^ESRZo`r[\ZrQ]`mHG` P iU A # MZ LFZ A # ]HS c LF[ ]@ [ L[e A 4 L[] %a & [ 3TI(HqEikT WHZrC_[\Z
(311) ZrCEH+QUPEQRZrQ][\SY?TWFqE^ZkHGs® Í[WSR^_H P O FXU A # MZ L ^Z A # ](JS ]"[ ]E¸C[W`PET`rQRVXPEQfY?[\PZosQUVWQRZG ¢2 P ZkCEH5ÛTWSUSUT
(312) QRPEV`rHGY ZrQUTWPa¸(H¬sEH?ikQR XH¬[\PA[\SUVWTXirQRZrCEF ZrTY TXFqE^ZrH¬ZrCEH5efTW^EPs
(313) ÛTXiZrCEH Y?TWFqE^ZkQRP_VIHGirikTWi
(314) j . Ú Ú Ô6.
(315) ¥Gx. (?-5 F '. . >. =4&)!_#%$ &)( D 4=#. ".
(316) . . . . ©ªH
(317) ikQRZrH+ZkCEHY TXFqE^ZrQUPEV®H?ikirTXi j
(318) S j Z
(319) CEH?ikH j sH?PETWZrHt`
(320) ZrC_HirTX^EP_sQUPEV HGirikTWiu`QUP5ZrCEH Y?TWFqE^Zu[q ZkQRTXP T\ZkCEHOY?TWikirHtY}ZkQRPEV¤[WY}ZkTWi f O h [\P_s Q]`3ZrCEHOirTX^EP_sQUPEVH?ikirTXi3QUPZrCEH_P_[WS`c^EeEZriu[WY}ZkQRTXP P U P O U!Q,Z ] c f h ] BCEQ]`S][W`cZOikTW^EPsQRP_V®HGirikTWi `r[\ZrQ]`mHG`OirHGSU[\ZrQUTWP £0JW§<T\ZrCEH`cZk[WP_sE[\ius¬FTsHGSTW T[ZkQRPEV qfTWQUPXZ [WirQRZrC_FIH?ZrQ]Y\¸ -u ¸ £c¥W¥t§ y y y P U!Q ] y [ BCEH¨T\ZkCEH?i8Y TXFIqfTWP_H?PZ j S f O h c f h ¸OY TWFHt`ÛikTWF ZrCEH TX[\ZrQUPEVqfTWQUPZ HG Í[WSR^[ZrQUTWPATW ikH?S][ZkQRTXP q £ §}¸
(321) ZkC_[Z QU`G¸
(322) ZrC_H¨Y TXFqE^Zk[\ZrQUTWP$TWZrCEHªq_[\irZrQ][\SOsH?ikQU Í[\ZrQU WHt` p P O x pKq n ¸
(323) ZkCEH:HGSRHGFH?PZk[Wirb HGirikTWiu` [\P_s ZrCEH5QUPEPEHGiqEikTdsE^_Y}$Z fih+US: 'L e]} [WPEVWSUTWQ]`[\P_s <[\ZrQU WH?S
(324) q_irT dQ]sH [ ZkCEH?TXirH?ZrQ]Y?n [WS_[\qEq_irTÍQUF[\ZrHefTW^EP_sÛTWi j ZrC_[\ZsH?ik QU WHG`Û irTXF K @ < QRPEHtg^_[\SUQZkQRHt}` {U¥Gby | zoT(H? XH?it¸ ZkCEQ]`-eTX^EP_sI`c^´H?iu` ÛirTXFvZrC_HYuC[\iu[WY}ZkH?ikQU`cZrQ]Y(HG[W«P_HG`k`TW irHt`c^ESRZk` aZkCEH
(325) [WY Zr^_[WSHGSRHGFH?PZk[Wirb HKGirikTWiu`o [WirHPET\ZOZk[W«WH?P:QRPZrT [WYGY TW^_PXZ[W`O[\SUSZrCEHt`cHH?ikirTXik`[\ikHefTW^EP_sEHGs¬edb ZrC_H(TWiu`mZOTWPEHX+BCEH efTW^EP_s[WSU`rT8QRPY ikHG[W`rHG`
(326) QRZrC¯ZkCEH Pd^EFeHGiT\QUPXZkH?ikFHGsQ][ZkH Í[WirQ][\e_SRHt`+
(327) CEQ]YuC¯YG[\P¯efH WHGirb S][\ikVWH+QUP:[WqEqESUQUYG[ZrQUTWP`? 3dT¸_ZkCEHY?TWFqE^Zu[ZkQRTXP5T\-ZrCEQ]` K efTW^_P_s8ÛTWi j F[Íb®ikH Zk^EikP5SU[WirVXH efTW^_P_sE`
(328) [\Ps `r^´H?iÛikTWF T XH?i T+ ©ªHq_irTXqT`cHCEH?ikHoZkTY TXFqE^ZrH[`rC_[WirqfH?i(eTX^EP_s ÛTWiZrCEHY TXFIq_^ZrQUPEVHGirikTWi j ^`cQUPEV©AQUSU«QUP `rTWP `-ik^EPEPEQUPEVH?ikikTWi-[\P_[WSRb`rQU` {ÏJ¥ |-noSUVWTWikQRZrCEF"¡_ zOsHt`rY?irQUefHG`ZrC_HoY TWFqE^EZk[ZkQRTXPTW f O h ©¨HosEH?ikQR XH n<SRVXTWikQZkCEF"¡_ zZkC_[ZjqfH?irÛTWikF`-ZrCEH
Documents relatifs