Intraprocedural Pointer Analysis for Container-Centric Applications
36
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Intraprocedural Pointer Analysis for Container-Centric Applications Albert Cohen — Peng Wu — David Padua. N° 4289 Octobre 2001. ISSN 0249-6399. ISRN INRIA/RR--4289--FR+ENG. THÈME 4. apport de recherche.
(3)
(4)
(5)
(6) . ! #"$ $&%'
(7) )(*
(8) +,(* . ! - . / 0
(9) -$ 1 2436587:9-;=<,>58?. ∗. @BA 5C?DFEHG. †. @JI.KMLNPOQARKO G K. †. S TVU0WYX Z[]\M^_Wa`Vbdc'ef^hg8i-X0ejglkmef^hWY^dnocpeo^_gli q X nsrmnseoU:W=Xtnu g8W=kvbhX0wMXtn xByfgpz{X e}|~ jcpkvkg8yse q X yfX:uTVX:yfuTvXi ZC ll[Ru eoglvyoX p8V}[~8 akvcllX:n. :0'Vp8 |}nRkVyfgl8yfclWYW=X:yfn b_gMgl glyf cpy q efg q X:no^h8iV^hivTV^_lTkX0yoglyfWcpivu0XcpkvkVbh^du0cpeo^_glivn}^efTg8mz{X:u es glyf^hX:i8efX q WYg q X0bdn0¡u0glWYkV^_bhX:yfnYW`vn{e ns`Vkvkg8yseTV^_lTvX0yoPb_X0¢8X0bcpivclbhrmnoX:ncli q glkmef^hWY^_£:c'ef^hg8ivn:¤xgl^_iCeoX0yclivcpb_rmns^dn=gly-u gliCecp^_iVX0yo u X:iCeoyf^_u=cpkVkvbh^du0cpeo^_glivn^_nRg8iVXglBeoTvX:noXl¥R^e/X wmkVb_gl^hefn/cpn{efyfc8u#eRnoX0Wcli8ef^_u:nRgp6u0gliCefcl^hiVX:yRnseoyf`vu eo`VyfX:n=¦X8¤ ¤h¡§b_^_nsefn:¡§efyoX:X:n:¡ clnfnogMu0^_cpeo^_¢lXWcpkvn¨ kVyog'¢M^ q X q Mran{ecpi q cpy q b_^hvyfclyo^_X:ncpi q efgCg8bhM^hefn:¤ ©BwCefX0i q ^hiVnoTvclkXcpicpb_rMno^dn glyf Mr=\mcll^_¢,¡pX0kvn cpi q-ª ^_b_TVX0b_W.¡vXu0cpkVeo`VyfXcpb_^_c8ns^_iVYkVyfglkX0yoeo^_X:nefTVyog8`VlT q X q ^du0c'efX q kgl^_i8en{PeogY8yfclkVTvn:¤¬«Vg8yoWcpb_^_£:c'ef^hg8i-^_icpvnseoyclu e ^_i8efX0yfkVyfX efcpeo^_gliclbhb_g'X q `vnRefg-kvyog'¢8XeoTvX=clvn{efyfc8u#ef^hg8i¯® nRcpi q eoycpin{X:y`vivu#ef^hg8ivn0®§nfc'X0e{rl¤ ª XYyfclieoTvX=clivcpb_rmns^dn}g8i noWYclbhb§X0wVcpWYkVb_X:n:¤ ° e}c8uTV^_X0¢lX q kvyoXtu ^dnsXRWYX0WYglyfr q ^dnoclWaV^_l`c'eo^_glin6`nsX0`Vb§eogYkvclyfclbhb_X0b_^_£:c'ef^hg8i-cli q g8kmeo^_WY^h£tc'ef^hg8i¯¤ ±²C³,´oµa¶ '· 8 kgl^_iCefns4efg=8yfclkVT¯¡mcpn{efyfc8u#eju g8i8ecp^_iVX0ye{rMkXl¡vclvn{efyfc8u#e ^hiCefX0yfkVyoX0efcpeo^_gli¯¡Vclbh^dcln cpi q noTvclkX cpicpb_rMno^dn. ∗ †. ¸¹6º»½¼¾4¿{ÀÂÁsÃpÄŠƯÄǸÈƯ¼:À{É0ÊË¿{ÌËÀ{¼#ÊË»Á ÍJÎ¯Ï Ã'ÐÌËÑ Ò ¿{»4Ó4Ñ ÁÇÔ}¼ÕVÄÇÖ×Ö×Ñ×Ì˼#Ñ×ÓØfÁ л4ÙËØÌ'ØfÚ Î,Û ØÜÝ'ØÑ×Þ#Ì. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.
(10) ! #"$ . .
(11) 0a $
(12) . . . # . . -- .
(13) a! $ 0 6
(14) $. $
(15) --$. Xtn}kvyog8lycpWYWYX0`Vynn0® ^_i8 e
(16) 0yfX:nfnsX:iCe q Xakvbh`vnX0i kVb_`vncl`mw.W=g q U:bhXtn}g8yo^_X0iCe
(17) :nsPg8mz{X enkg8`VyRb_c-u gliu X0kVeo^_gli q ® cpkVkvbh^du0cpeo^_glivnTcp`mefX:nkX:ysg8yoWcpiu X:n,bhXtn/u glWYkV^_bdc'eoX:`Vyn q g8^h¢8X0iCeRcl^hins^ y
(18) tcpb_^_noX0y q Xtnclivcpb_rmnsXtn}X0e q XtnRglkmef^hWY^dnocp eo^_glin q XkVb_`vn Tvcl`meiV^_¢lXtcp`¯¤}iVX q Xu0X:n clivcpb_rmnsXtn n0® ^hiCe
(19) 0yfX:nfnsXcp`Vwkg8^hiCefX0`Vyn q clivn/bhXtncpkvkVbh^du0cpeo^_glivn/WcliV^hkv`Vb_cliCe q Xtn}u g8iCeoX0ivX0`Vyn ¥X0b_bhXX0wmkVbhg8^efXbdcn
(20) :WcpiCeo^ C`VXacpn{efyfcl^efX q X:nn{efyo`vu eo`VyfX:n q Xu0gliCeoX:iVX0`Vyn¦½bh^dn{efX:n:¡clyoVyfX:n:¡mecpVb_X:nclns nogMu0^_cpeo^_¢lXtn0¤_¤h¤×¨Jkvyog8kgCn
(21) :X:nBkcpy q X:nV^_Vb_^hgleoTVU 8`vX:nX e q X:ng deoXt n agl`mef^hbdn n{ecpi q cpy q ¤8©¬ i
(22) 0eoX0i q cpiCe b4® cpivclbhrmnoX q XglyfWYX ¦ ! " $#% &(') +* ˨ q X/\Vcpl^_¢,¡CjX0kvnX e ª ^_bhTvX0b_W ¡mivgl`vn q
(23) tu yf^h¢8glivn¬bhXtn6yfX0bdc'ef^hg8ivn q ® clbh^dcln b4® cp^ q X q X8yfclkVTVXt,n ! -*.#0/1 32 / no0k
(24) tu 5^ 40C`VX:n:6 ¤ }iVX kVyoX:`V¢lX q X u0glyfyoXtu#ef^hg8i q X:n=cpvnseoyclu eo^_glivnaX e q X:naglivu eo^_glivn q XeoycpivnsX0yoe=7 c
(25) e
(26) -y
(27) tcpb_^_n
(28) 0X q cpivnb_X glyfWcpb_^_noWYX q Xb4® ^_i8efX0yfkV y
(29) efcpeo^_gliYcpvnseoycp^heoX8¤ ® cpivclbhrmnoX8 c
(30) e
(31) X0wm0k
(32) :yo^_WYX0iCe
(33) :X no`Vy q Xju gl`vysenX wmX0WYkVb_X:n:¤p©Bb_bhX}kX:yoWYX e q X n
(34) 0kvclyoX:y kV y
(35) :u0^_n
(36) 0WYX:i8eb_X:n y
(37) 9
(38) 0yfX0iu X:n :W
(39) 0WYgl^_yfXl¡ËWYX esecpiCeBcp^_ivno^CX:i
(40) :¢M^ q X:ivu X `VivXkcpycpb_5b
(41) :bh^dnocpeo^_gli X0e q X:nglkVeo^_W=^dnfc'eo^_glin ^_i8 e
(42) 0yfX:nfnocliCeoX:n:¤. ; ¶ : ´ =< F glyfWYX. lycpkVTVX>!?-$*.#. /@ +2 / -'¡ e{rMkX-cpn{efyfcl^e. q X u0gliCeoX:iVX0`Vyt¡^_iCeoX:yokVy
(43) ec'ef^hg8iFcpvnseoycp^heoX8¡ cpicpb_rMnoX q ® cpb_^dclnX e q X.
(44) (*
(45) $.
(46) 7; % $ %!"$ 4 '& ( ?< $ %*- $ 54 ,+ . 01- 31 <@<1 8 465 76< 11 1 $ . 9 <: <; >= # ,; < A@ /B C < @ /B !) = <@ F E @ /B @ /BG <; @ H J K I / F JJ 54 JJ L & 6. JJ 01 M -. . : ¶ · p ¶ ² . ²Cµ. ¶ Zv¤_ Zv¤× . t ´ ¶ ' S TVX }g q X }cpWY^_iV\muTVX:W=X¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ X viV^heo^_gligl xgl^_iCefns4efg RyfclkVTvn¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤. ¶ m¤_ m¤× m¤ ~ m¤ Z. m¤ m¤. t ´ ¶ ³ 4 |ji.°ÂiCeo`v^ef^h¢8X« bdcË¢lg8y gpefTVX|jicpb_rMno^dnF¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ \Cefyog8iV j`Vb_bh^ u:c'eo^_gli.gl Bcpyf^dcpVb_X:n ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ jg q X c'eoX:yo^dcpb_^_£:c'ef^hg8i ¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ S yfclivn{X:yj«V`Viu#eo^_glin ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ m¤ Zv¤_ S TVX 6bdclnfno^_u:cpb,xJcpyoe ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ m¤ Zv¤× ° efX0yc'eog8y}kX:yfcpeo^_glivn¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ m¤ Zv¤ ~ 6g8i8ecp^_iVX0y}kX0yc'ef^hg8ivn ¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ X:yo8^hiVY© q lX:n ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ 6glyfyfX:u#efiVX:nfn°{nono`VXtn¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤. V¤_ V¤× V¤ ~ V¤ Z. 0:ËV ² ² ^dnse 6glkMrM^hiVYcpi q jX0¢lX:yfnfcpb¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ \M cpkVkv^hiVY©Bb_X0WYX:i8enY¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ °Âim xBbdclu X 6g8iCefcp^_iVX:y jgpefcpeo^_gli glyjX:¢lX:yfnfcpb ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ jXtn{efX q S yfcË¢8X0ynoclb_n¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤. . ½V. . ·. ¶ . ² t. 0 ² ³ ½= ¶ *¶ V¤_ 6g8nsej°ÂWYkVyfg'¢lX0WYX:i8enY¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ V¤× xByf:X u0^_no^hg8i-°ÂWYkVyfg'¢lX:WYX0iCefn)¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ² 4m ² · *¶ . . ¶. ¶. *¶ . . ½. ·. ². ½ ² l ¶. ¶ . . :0'Vp ² ² :m ¶ ¶¯¶ R¤h 6glWViVXtnoncli q 6g8WYkvcpyf^_nogli ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ \M^_WYkVbh^ u:c'eo^_glin ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ ~ ^_nseoyf^hv`meo^_¢M^e{r cpi q xJcpyoeo^dcpb ^_nseoyf^hv`meo^_¢M^e{r ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ Z cpesef^_u0X 6glWYkVb_X eoX:iVX:nfn¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ /cpb_gl^dn 6gliviVX:u eo^_gli ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ gmu:cpb\mcpX e{rF¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ R¤ X:yo8^hiVY© q lX:n ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤. ON!PQSRST. ÆÆ!Ì. . ² ¶ ·. ½ ² l ¶ :0'Vl ¶ 6gliviVX:u eo^_glivncli q ^_yoXtu#ef^hg8ivn&¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤ |jn{efyfc8u#ej°ÂiCeoX:yokVyfX ec'ef^hg8igly ^_yoXtu#eo^_glin ¤ ¤/¤ ¤R¤ ¤/¤ ¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤R¤ ¤/¤ ¤/¤ ¤/¤ ¤ ¤/¤ ¤R¤ ¤/¤ ¤. ². ~V¤_ ~V¤× . ². ¶. #. . !). . . t Ë t~ t~ t~ :Z. /1 2 # . t t l V . ? . l~ pZ. D ? 3 #. l l l 8~ 8~ v~ ~C .
(47) ,
(48) - B
(49) mz{Xtu#es glyf^_X0iCeoX q-q Xtns^_likvb_cËrmncpi^_ivu0yoXtclno^hiVYyfglb_X ^hikX0yoglyfWcpivu0X Âu yf^ef^_u:cpb§u g q Xtn0¤ S TVXanoTV^hÇejeog' cpy q TV^_lTVX:yjbhX:¢lX:b q tX ns^_li WYg q X0bdnX:ivcpVb_X:nnsglÇe{clyoX.yfX0`vnoXl¡ lX:iVX0yf^du-kvyog8lycpWYWY^hiV¡6cli q cp^ q nYefTVXu g8ivnseoyf`vu#ef^hg8i gl b_clyo8X.nogpÇe{ cpyfX norMnseoX:Wn0¤ ª TVX0i q Xtcpb_^hiv ^heoT 8X0iVX:yfclb kV`Vyfkg8noXkVyfgl8yfclWn0¡clyoycËrmnnoTVg8`Vb q noTvclyoX=eoTvX0^_ykVyfX0X0WY^_iVX0iu X^heoT WYglyfX lX:iVX0ycp b
(50) u0glWYkg8iVX0iCen0¡,ns`uTclnbh^dn{en0¡Tvc8nsTmPefclVb_X:n:¡noX efn:¡,cpi q nogg8i¯¤}S TVXtnsX8X0iVX:yfclb kV`Vyfkg8noXu gliCecp^_iVX0yn q cË¢'c \Cefcli q cpy q cpyfXgpÇefX0iYkVyfg'¢M^ q X q Cr=n{ecpi q cpy q b_^_Vyfclyo^_X:n:¡lno`vuTcln \Cefcli q cly q S X0WYkVbdc'eoX ^_Vyfclyor-¦4\mS ¨Jcpi X0¢lX:bhg8kVWYX0iC e /^ea¦P\ ¨#¤ S TV^dn 6g8yo/cp^_Wn cpe efTVX cp`mefglWc'ef^_u6yoX0eoyf^hX:¢'cpbCgpvkgl^_iCeoX0y kVyfglkX0yoeo^_X:n ^hieoTvXu0gliCeoX0wCegpu gliCecp^_iVX0y u bdclnfnsXtn0¤ 6Xtns^ q Xtn u bdclnfno^_u:cpb,kg8^hiCen{Peog=yoX:b_cpeo^_glivn:¡mX/clyoXRX:nokX:u ^dcpb_b_r^hiCefX0yfX:nseoX q ^hi efTV X +-# # " / *1-#X e{X0X:i u0gliCefcl^hiVX:yfn cli q efTVX0^_yX0b_X WYX0iCefn:¤J\MX0¢8X0ycpbm^_i8ef`V^heo^_glivn¬6X:yoX glyfyog'X q yog8 W × p ~ ¥ kgl^_iCeoX:y¬cpivclbhrmno^_nnoTVgl`vb q iVgle¬bh^_WY^e6^ensX:beo8 g ! -*.#0/ " 32 + ? ) 3*.#"!p¡ ^P¤ X8¤h¡ yoXtu `Vyns^_¢lX q X0yfX X:yoX:ivu XtnRgp¬efTVXYglyf$ W #&%'#)(+*-,/."0 ¦^_i cË¢'c nsrMiCefcpwV¨ ¤°Âi q X0X q ¡¯glVz{X:u#eoPg8yo^_X0iCefX qq X:no^h8iefX0i q n eog TV^ q Xns`uTeoXtuTViV^du0clbh^heo^_X:nRX0TV^_i q -$# / *.# "1 + cpi q *./ " $/ -2 + efTvc'e/eoycË¢lX:yfnoX efTVX0W.¤|}befTVgl`vlT^_WYkVb_X0WYX0iCefcpeo^_glivn gp}u0gliCefcl^hivX0yau0b_c8nonoX:nu0gl`Vb q X¢8X0yfrÈu0glWYkVb_X w§¡X:nokXtu ^dcpb_bhrÈ^efTFTvcli q glkVeo^_W=^_£:cpeo^_glivncpi q 8X0iVX:yo^duu0g q ^hiVCn0¡ efTVX0r gpÇefX0i X wmTV^_V^he-u b_X:cli nsX:WYcliCeo^du0n=eoTvyog8`VlT eoTVX:^hykVyog8lycpWYWY^hiv ^_iCeoX0yo½clu0X:n:¤S TM`vn:¡6g8yc X0esefX0yclivcpb_rM£:cpv^hb_^e{rgp glVz{X:u#eoPg8yo^_X0iCefX q u0g q X:n:¡MeoTVX 8X0r^dneogX0wmkVbhg8^ejnoX0WcpiCef^_u:n gpJu yf^ef^_u:cpb§u bdclnfnsXtn ^hi.u g8WYkV^hb_X0yn:¤ S TVX kvclkX:yjkVyfX:noX0iCefn}cYkg8^hiCefnsPeogcpivclbhrmno^_ng8y}u g8iCefcp^_iVX:y eoycË¢lX0ynfcpbdn0¤BS TVX kvyoXtnsX:i8ec'ef^hg8i `nsXtn cË¢'cYnorCiCec'w-cli q q 3 X0b_b X:TvcË¢lX q 5 kgl^_iCeoX0yn¨#¡vv`mejeoTvXlX:iVX0ycpb,ycpWYX0glyf^dniVgle}bh^_WY^efX q efg noX0WcpiCeo^du0na¦ cË¢Ëc=yfX X:yoX:ivu XtnjcpyfX/^hi q X0X 4 cË¢Ëcv ¤ 6 \Cef` q rM^_iVyoXtcpbhPglyfb q lX:yoiVX:b_n:¡¯XnsTvg' eoTc'egl`vy/eoX:uTviV^ C`VXc8uTV^_X0¢lXtn/c-¢8X0yfrTV^_lT kVyfX:u0^_no^hg8i c8nnsgMg8iÈc8n u g8iCefcp^_iVX:y efyfcË¢8X0ynoclb_nX wmkg8noX6X:iVgl`V8TyfX08`Vbdcpyf^e{r8¤«Vg8yBnsg8W=XgpeoTVX8X0yfiVX0bdn:¡ËeoTVXnfcpWYX kVyoXtu ^dns^_gli=u0cliViVgpeJXcluTV^_X0¢8X q Mr u0b_c8nono^du0cpb¯eoX:uTviV^ C`VXtnclkVkVb_^hX q eog cpiX C`V^_¢'cpb_X0iCe}kgl^_iCeoX0yoÂuTvclno^hiv=^_WYkVb_X0WYX0iCefcpeo^_gli¯¤S TVXayfX:no`Vbhe}gpJefTVXacpicpb_rMno^dn u0cliX^_iCeoX0yfkVyfX efX q clnRnoTvcpk X _lp¡ :7 P¡¯clbh^dcl8 n ~m¡§ Jg8yu g8iViVXtu#eo^_¢M^e{9 r _: ¤/S TVX:noXakVyfglkX0yoeo^_X:nRu0cli.`VyoeoTVX:yR^_WYkVyfg'¢lX cpicpb_rMnoX:n no`vuT.cln q X:kX:i q X0iu X/eoXtn{enjcpi q ¢'cpyf^_gl`vnglkVeo^_W=^_£:cpeo^_glivn:¤ ª X6cpbdnog}c qVq yoXtnon u g8nse ^dnfns`VXtn¯glvns`vuTcjTV^_lTm kVyfX:u0^_no^hg8i cpivclbhrmno^_n:¤¯°Âi½c8u#et¡tTvX0iaX :u ^_X0ivu0rRWcpeseoX:yfn:¡ËgliVX¬WYcËr nseo^_bhb X=¢8X0yfrkVyfX:u ^dnoX=clg8`meu gliCecp^_iVX0yRglkX0yc'ef^hg8ivnRTV^hb_XcpkVkvbhrM^_iV-^_iVX0wMkX0ins^_¢lXYyf`VbhXtnRgliÈgpeoTvX0y/kg8^hiCefX0y clnfns^_livW=X:iCefn:¤ S TV^dnR^_n/c u b_X:cpyRX0iVX 4Vegp¬`ns^_iV.n{ecpi q cly q u gliCecp^_iVX0yn}c8ng8kVkg8noX q efg-Tcpi q yf^eoeoX0i kg8^hiCefX0yo uTvc8ns^_iV^_WYkVb_X0WYX0im efcpeo^_glivn:¥BTVX:`Vyf^_nseo^du0nju:cpi.XWc q Xau0glivnfu ^_gl`n gp eoTVXb_X0¢8X0b¯glJkVyoXtu ^dns^_gli yfX C`V^_yoX q ¡V^heoTVg8`mec qvq ^ef^hg8ivcpb 3 TV^_iCefn 5 yfglW eoTvX kVyog8lycpWYWYX0ygly efTVX 3 vbh^_i q 5 q X08yfc q c'ef^hg8igp bh^_WY^ef^hiV¤ \MXtu#eo^_gli -kVyoXtnsX:iCefneoTVXYWYgpef^h¢'cpeo^_gli glyReoTV^dn/kglyf.cli q ^hiCeoyfg q `vu0X:neoTVXYWcp^_i u gliu X0kVefn:¤Y\MXtu#ef^hg8iZ q X:nfu yf^_Xtn eoTvX}kgl^_i8en{PeoglycpkVTcli q TVg' eog=cpvnseoyclu eBeoTvXu g8iViVXtu#eo^_gliX e{X0X:icau0gliCefcl^hivX0y¬cli q ^hefn6X0b_X0WYX0iCefn:¤JS TVX}kgl^_iCefns4efg cpb_lg8yo^heoTvW^_n8^h¢8X0ia^_i\MX:u eo^_gli m¤ glyfX lX0ivX0ycpbMcpb_^_c8n cli q nsTvclkXclivcpb_rmns^dncpkVkVb_^du0c'ef^hg8ivncpyfX6kvyoXtnsX:i8efX q ^hi\MXtu#eo^_gli M¤ \MXtu#eo^_gli clkVkVb_^hXtnJgl`VyBeoX:uTviV^ C`VX efg^_bhb_`vnseoyc'eo^_¢lX X0wmclWYkVbhXtn0¤J\MXtu#eo^_gli q ^dnfu `vnfnsXtnJkg8nfns^_Vb_X^hWYkVyfg'¢lX:W=X:iCefn:¤ ª XeoTVX:i u g8WYkvcpyfX gl`Vy¬clkVkVyfg8c8uTa^heoTgpefTVX0yn^_i\MX:u eo^_gliV¤J\MX:u eo^_gli.: u0glivu0bh` q X:nBcli q ns8X euTVX:n `mef`VyfXj6g8yo,¤ |jb_bVeoXtuTViV^du0clb kVyfgMgp½n TvcË¢8XX0X:i WYg'¢8X q eog\MX:u eo^_gli ^_i eoTVXclkVkX:i q ^hw§¤. . . . *1. <>= = )? ;. * <-.
(51) % A@ CB. <J. ' . J. D@-
(52) . S TVXclivcpb_rmns^dn6efcpyflX0efnu0gliCefcl^hiVX:yfn6efTvc'e}u:cpi X/efyfcË¢8X0ynsX q cln b_^_iVX:clybh^dn{en0¡vXl¤ v¤_¡mbh^dn{enjcpi q ¢8X:u#efglyn0¤ ª X gliVb_r-nseo` q ^hX q canoWcpb_bnoX e gp¯vc8ns^duju0gliCefcl^hiVX:y¬g8kX:yfcpeo^_glivn:A ¥ EGF HGI 0JLK}cli qNMO I 0JLK}8X0iVX:yfcpeoXtnBciVX: ^efX0yc'efgly6cpesecluTVX q eogefTVX/u gliV efcl^hivX0y OPQO *SR
(53) ,TJKcli q H,/0"H-, O 0JLKW=g'¢8XcpiY^efX0yc'efgly 2U-,
(54) 0JLKM¡ #"V"0JLKM¡FW*GI
(55) ,/H"0JKcli qXP , M ,/0-,DJLK `Vk q c'efX Ypclu0u0X:nfnsXtn cu g8iCefcp^_iVX:y6efTVyfgl`V8T cli ^heoX:yfcpeog8y:¤BS TVXnorMiCefc'w-gp eoTVXtnsX g8kX:yfcpeo^_glivn ^dnglyfyog'X q yfglW&eoTVX cË¢'c RX0iVX:yo^du ^_Vycpyfr ¦ ¨ ¤ Z S TvXnsX:WYcliCeo^du0n ^dnnsb_^h8TCeob_rns^_WYkVb_(^ 4vX q ¡VX8¤ ¤h¡miVgY^_WYkVbh^du ^he}^heoX:yfcpeogly WYg'¢lXR^_i.u0gliCefcl^hivX0yclu:u X:nfnoX:n:¤. X0e:® n¬u0glivno^ q X0yJefTVX}X0wmclWYkVbhX^_i« ^_l`VyfX }cpi q ns`VkvkgCnsXefTvc'e M F/I70yfX X:yfnBeogac #%-#02 *[ \1] &5 2 b_^dn{et¤ ª X}gl`vb q b_^h8X q ^ cpyfXaclbh^dclnoX q cpeRkgl^_iCe v¤ S TV^_ngl`Vb qq X:kX:i q g8ie{g-u0gli q ^heo^_glin0¥TVX0eoTVX:y/^efX0yc'eog88 eog ^_imX0yRTVX efTVX0y O cli _ y F q q ^_i ^du0c'efX:n ^_nseo^_ivu e¬kgCns^heo^_glin¬c'eBkgl^_iCefn cpi q 0Z Ccli q ¡CTVX efTVX0y q ^_nseo^_ivu#eglmz{Xtu#enBcpyfXjc'eoefcluTvX q eog q ^_nseo^_ivu#ekgCns^heo^_glin ^_ivns^ q X M FI70¤BS Tv8 X 4vyfnse}u g8i q ^heo^_gliu0cli-X q Xtu ^ q X q Mrefyfc8uM^hiV 3 W=g'¢8X:n 5 gpJcpi.^heoX:yfcpeoglyt¤BS TVXnoX:u0gli q u g8i q ^heo^_gli.^_n yfX0bdc'eoX q eogYeoTvX 3 noTvcpkX 5 gpJcu g8iCefcp^_iVX:y:¤B| u0gliCefcl^hivX0y ^_nN c `8a=TVX:c i b* 3/ *.#G / " &5"d:" # /@ 7 " / /
(56) + ?"b $/b* 3/@*.#S / ! -) 3*./@*1-$#? # ¤ ef"`ga/h h^dnefTVXu g8iCefcp^_iVX:yu gl`vi8efX0yfkvcpyoegp u bdclnfno^_u:cpbjnoTvcpkXc'eoeoyf^hv`meoXtn0¡ Xl¤ v¤_8 ¡ & * 3/@# "3 + g8y /i " " #%" + #¤ q ^ clyoXa`Vivcpb_^dclnoX q ^_i « ^h8`VyfXa8^h¢8X:n}gleoTX0wVcpWYkVb_X:ngp M FI70-kgl^_iCeo^_iVefg-j c -2dXk=g8y # -/l+-7dkYu g8i8ecp^_iVX0yt¥ O cpi _ eoTvX 4vyn{e¬8yfclkVT¯¡Ccpi q clbh^dclnoX q ^hieoTVX}noX:u0gli q g8iVXl¤ g8yoX:g'¢lX0yt¡pc'ÇefX0yBX0wmX:u `Veo^_iV FD(+#"V"0JmfKM¡'gliVXgl`Vb q b_^h8X eogyfX0kVbdclu0X. &. *&. 1. -. 2Q 2Q. n oqp rsrtut Ó Û ¼#ÊtÖ vÙp¿JÝp¼#ÓPÓ4Ñ×ÙËÖ׿JÊËÓPÑ×ÌtÞxw§¿{Ö×Ö Ú[y0Ì˼zwÌ}ÁP¿{À Û ÌtÑ×É:ÊË¿{Ó|{ } ~tà W} à \[ ¸ÝtÁP¿{»4¼Ì˾½Ó4¿{Ñ×¼#ÀÂÁ ÌRÕhÁP»4¼¼#Ü Ùt¾½¿{À{Á Ï Ý'ØÀ{¿#ÃpÓP¿{¿T1 qzqzz L \i. ÄŠƯÄǸ.
(57) >. 1 2 3 4 5 6.
(58)
(59) "!#%$!&('*) ! &+,- %%!.'0/
(60) , !1'23456
(61) 7, 89!.'0/
(62) , !1';:<7= . $!&5. -. $!&5. . ! >. m. >. !. ACBD EF?I $!&5 !.';:<?@ ACBD EFHG $!&5. O. ! . . . !. « ^_l`VyfXYl¥ gleo^_¢'c'eo^_iVYX wVclW=kvbhX eoTvXX0b_X0WYX0iCeyfX X0yfX0iu X q Mr F-^efTÈeoTVXg8mz{X:u e yoX0X0yfX0ivu0X q Cr m¤S TV^dn ^_W=kvbh^_X:n M^_bhb_^_iV eoTVXu0gliVivX:u#ef^hg8i X e{X0X:i M FI 0cli q eoTVX g8mz{X:u ejyoX0X0yfX0ivu0X q Mr ^ ¤ °ÂiefTV^_nkvclkX:y:¡Mu g8WaVivX:nfnB^dn¬`vnoX q clncpi^_iCeoX0yfWYX q ^dc'efX}kVyfglkX0yoe{rgly6u:cpkmef`Vyf^hiVkg8^hiCen{Peog¡Cclbh^dclno^hivacpi q u gliviVX:u eo^_¢M^e{r=yfX0bdc'eo^_glin0¤ jX:¢lX0yoeoTvX0b_X:nfn0¡8^eW=^_lTCe6clb_nog XcpkvkVbh^_X qq ^hyfX:u eob_raefgkvclyfclbhb_X0b_^h£tc'ef^hg8i ¦4u glWV^_iVX q ^heoT q X0kX0i q X0ivu0X cpicpb_rMno^dnf¨ × p ~ cpi q.q cpefcnseoyf`vu#ef`VyoX bdcËrlg8`meglkmef^hWY^_£:cpeo^_glivn:¡vno`vuTclng8mz{X:u ej^hiVb_^_iV^hiv 7 ¦½u0glWViVX:nfn^dnjno^hb_^hWcly eognog q 3KJ c'eoeoX0iv^hiV 5 gl cË¢'cclyoycËrml u0clbhb_X q ¡mgliVX04efgp gliVX 4vX0b q n¨ cpi X n × lW ¤ ¢lX:yfclbhbP¡eoTvXcpivclbhrmno^_n^_nYclnoX q gli cÈ8yfclkVTyfX0kVyfX:noX0iCec'eo^_gliFeoTvcpeclvnseoyclu#e=eoTvXkg8^hiCefnsPeogÈyoX:b_cpeo^_gliX e{X0X:i kgl^_i8efX0yn0¤j`VyefX:uTViv^ C`VX^dnjnseoyfgliV8bhr-^hi J `VX0iu X q Mr\mcp8^h¢,¡vjX0kvncpi q ª ^_bhTVX:bhW.® n}noTvcpkXaclivcpb_rmns^dngly q X:nseoyf`vu#ef^h¢8X `Vk q c'ef^hiv _:7 P¤°Âi.c qVq ^heo^_gli¡Mu0gliCefcl^hivX0yo nokXtu 5^ 4uj^_img8yoWc'ef^hg8i^dnX0ivu0g q X q ^_iCeogeoTVX/8yfclkVT¯¡Mns`vuT cln^heoX0yc'efgly c'eoefcluTV WYX0iCe:¡u g8WaVivX:nfn cpi q u g8iCefcp^_iVX:y kgCns^heo^_glivn:¤«vgMu0`vno^hiV.g8iÈkvyoXtu ^dns^_gli¯¡eoTVXclivcpb_rmns^dn/^dn J g' ÂnsX:ivns^heo^_¢lXcli q Tcpi q b_X:n q Xtn{efyo`vu eo^_¢lX/`Vk q c'efX:ngl efTVX/glyfW Q ( E % *V M"M ¦Çg8yjlX:iVX0ycpb,kgl^_iCeoX0yn¨gl y FD( P , M ,/0-,DJLK=¦Çglyu gliCecp^_iVX0ynf¨ ¤ ª Xclb_nog ^_i8efyog q `u XYciVX:*nfuTVX0WYXeog.cpvnseoyclu eX0b_X0WYX:i8e/yfX eoyf^_X0¢'cpb eoTvyog8`VlT U-,/0JLKC¤/° e/^_n clX:iVX0ycpb_^h£tc'ef^hg8igp\Vcpl^_¢,¡§X0kvn cpi qª ^_bhTvX0b_W ® g n d> / " 3*1 & *ML / *1-# _: ¤. "$. N. @-QP #¬
(63) O. SR $¯ aB 0
(64) . S TVX.kgl^_i8en{Peog cpicpb_rMno^dnivX0X q n=eogÈW=g q X:bjkVyfX:u0^_noX0b_r eoTVXu0gliViVXtu#ef^hg8iX e{X0X0i u g8iCefcp^_iVX:yfn=cpi q eoTvX g8mz{X:u efn=efTVX0r nseoglyfXl¤JS TV^dnnoX:u#ef^hg8i.^hiCeoyfg q `vu0X:n6eoTVXb$*[ " / *1-#Ècpvnseoyclu eo^_glieogu0clkmeo`vyoX/kVyfglkX0yoeo^_X:ngpJno`vuT u0gliVivX:u#ef^hg8ivn:¤ TVUW. XY[Z\Z^]`_.a bY[ZdcfegZ\hjikbKl ]m_.a-bY[Zdc. `Vykgl^_iCefns4efgÈ8yfclkVTvn=`vnoX:nnokXtu ^dcpbju0gliCefcl^hiVX:yYX q 8X:n=eog WYg q X0bjeoTVXb_^hivFX0e{6X:X0i u g8iCefcp^_iVX:yfn=cpi q efTVXglmz{Xtu#en c'eoefc8uTVX q ¤ ª Xau0clbhbeoTVX=u g8ivu yfX efXn{ec'eoXcpvnseoyclu eoX q Mr.ns`vuTu0gliCefcl^hivX0yX q lXac_1/LW "M¤°Âikvclysef^_u0`Vb_cly:¡glmz{Xtu#en cpn{efyfc8u#eoX q Mr efTVXnogl`Vyu X7YtecpyflX e=iVg q X:ngp}efTVXX q lXcpyfXu0clbhb_X q eoTvX -2] z+" +-#0/ $*.#%" + Y / 7 !=" /-
(65) k*n " /@ gpReoTvX u g8iViVXtu#eo^_gli¤|u0gliVivX:u#ef^hg8i-Tclne{g=^_WYkg8ysecpiCekVyfglkX0yoeo^_X:n:¡MeoTVXb=-7d> *.# cli q eoTVX>*.#
(66) n "\ / *po *./ ''¡ S TVXcb -2d: $*.#Qgl c u0gliVivX:u#ef^hg8i q X:nfu yf^hX:nc'eTV^duT kgCns^heo^_glinYeoTVXefcpyflX0eglmz{Xtu#engpReoTVX u gliviVX:u eo^_gli cpyfX c'esecluTVX q cpej^enjnsg8`Vyu X/u gliCecp^_iVX0yn0¤ q S TVX *.#n " /@*po*./@'gp§c u g8iViVX:u eo^_gli=eoX:bhbdnJTVX0eoTVX:y¬XtcluTefcpyflX0eBglmz{Xtu#eBglefTVX}u g8iViVXtu#eo^_gliY^dnBc'eoefc8uTVX q c'e6c no^_iVlb_X kgCns^heo^_gli gp eoTVXnogl`Vyu X u0gliCefcl^hiVX:yfn:¤ q. ª X`vnoXsr/ 7h/eog q X:nfu yf^hX/eoTvX q lg Wcl^hicli q ^hi'z{Xtu#ef^h¢M^he{r glBcu gliviVX:u eo^_gli¯¤°Âi.eoTVXkg8^hiCen{Peog8yfclkVT¯¡mefTV^_n}^_n yfX J Xtu#eoX q clnJbdcpX0b_^_iVau g8iCefcp^_iVX:yBX q 8X:nJMr q ^_yoXtu#eo^_glin0¤« ^hyn{et¡8b_X e6`vn q X 4viVXdti `g Mu1^r iLW " h8¡lX0wmclWYkVbhXtn¬clyoX8^h¢8X0i ^_i.« ^_l`VyfX m¤ q :X nfu yf^hX:ncliCr^_i'z{Xtu#eo^_¢lXu0gliVivX:u#ef^hg8i-Tvg8noX q glWcp^_i-^dn efTVX: 3*.#! &5" kg8no^ef^hg8i-gl ¦½^hi q ^_u:c'efX q Mrm¨ F q Xtnou0yo^_XtncpiMr^_i'z{X:u eo^_¢lX u g8iViVXtu#eo^_gli TVgCnsX q g8WYcl^hi!G "\+"b " /eoTVX kg8no^heo^_gli gpF Ci q Xtnou0yo^_XtncpiMr^_i'z{X:u eo^_¢lX u g8iViVXtu#eo^_gli TVgCnsX q g8WYcl^hiwv -&.& -x efTVX kgCns^heo^_gli gpF Bi q Xtnou0yo^_XtncpiMru g8iViVXtu#eo^_gli TVgCnsX q g8WYcl^hi ^dnX0WYkme{r i. ∅. ON!PQSRST. ÆÆ!Ì. .
(67) $!&5. ¦^Ǩ. !. $!&. ¦½^h^Ǩ. . i. !. $!&. ¦^_^h^Ǩ. Ci. !. Bi. « ^_l`vyoX m¥ 6g8iViVXtu#eo^_glin q X:nfu yf^hX q MrkVyf^hWY^heo^_¢lX q ^_yoXtu#ef^hg8ivn ∗. q X:nfu yf^hX:ncliCr^_i'z{Xtu#eo^_¢lXu0gliVivX:u#ef^hg8i¯¤. S gYclvnseoyclu#e WYglyfX/kVyog8kX:ysef^hXtngp u0gliVivX:u#ef^hg8ivn:¡m6X q X 4viVXwr iLW Xt" \hzh " h8¤J| r/ t" \hzh =u0cpi X ckVyf^_W=^heo^_¢lX q ^_yoXtu#eo^_gli¡g8y}^heRu0cliXaV`V^_bhe}yfglW!eoTVXagl`VyRglkX0yc'efglynnskX:u0^(4X q X0b_g' ¤}°ÂiefTVXg8bhb_g'^_iVv¡6X=nocËr c u g8iViVXtu#eo^_gli $/@* "3 c q ^_yoXtu#eo^_gli^h^he u:cpiX q X:nfu yf^hX q Mr=eoTvX q ^_yoXtu#ef^hg8i¯¤©JwVcpWYkVb_X:n6gp q ^_yoXtu#ef^hg8iX wmkVyfX:nfns^_glinBcpyfX l^_¢lX:i-^_i« ^h8`VyoX/~V¤. q X:nfu yf^hX:ncpiMr u g8iViVX:u eo^_gli efTvc'eYnocpeo^dn 4vXtnagpefT cpi q 0 ¤ kX0yc'efgly ^dnu:cpb_bhX q eoTVX `g glkX0yc'efglyt¤ e e · ª TVX0iu b_X:cly gp eoTVXu0gliCeoX0wCet¡ ^dn bhX0Çejgl`met¤ · q e / e0 q X:nfu yf^_XtncliMrYu0gliVivX:u#ef^hg8iefTvc'eju0cliX nskVb_^he ^_iCeoge{6g=u g8iViVX:u eo^_glivn:¡mns`uTeoTc'egliVX/nfc'eo^dn4vX:n e cpi q eoTvX gpeoTvX0yjnfc'eo^dn 4vX:n 0 ¤6kX0yc'efgly ^dnu0cpb_b_X q eoTVX/V^_ivclyor `g glkX0yc'eog8y:¤ e / q e q e0 q Xtnou0yo^_X:n cpiMru g8iViVXtu#eo^_glieoTvcpeju0cpi-XnokVb_^e^_iCeoge{6gYu g8iViVX:u eo^_glivn^heoT b* pn -*.#0/efcpyflX0eg8mz{X:u efn no`vuT eoTvcpe g8iVXnfc'eo^dn 4vX:n cli q eoTVX gleoTVX:yjnocpeo^dn 4vXtn 0 ¤6kX0yc'efgly ^_nju:cpb_bhX q efTV X " aglkX0yc'efglyt¤ e e q q e/ q Xtnou0yo^_XtncpiMru0gliViVXtu#ef^hg8i-TVgCnsX q g8WYcl^hinfc'ef^_n 4vX:n e ¤6kX0yc'eog8y / ^dnu0clbhb_X q eoTvX `Vivcpyfr `8 g8kX:yfcpeoglyt¤ q e · e0. $!&5. !. $!&5. . . $!&. ¦½^h^Ǩ. !. !. $!&. . . ¦^_^_^d¨. Ci · Bj. $!&. $!&. !. $!&. Ci q B j. ¦^Ǩ. « ^_l`vyoX ~V¥J©BwmclWYkVbhXtn gp. !. . . ¦½^h¢V¨. !. Ci / B j. !. . C/i. ^_yfX:u#ef^hg8i-©BwMkvyoXtnono^hg8ivn. « ^hicpb_bhr8¡ b_X e
(68) XefTVX-noX egp}cpb_b q ^hyfX:u eo^_gli X wmkVyfX:nfno^hg8ivn0¤ ª X q X 4viVX cpiFX8`v^h¢'cpb_X0iu XyfX0bdc'ef^hg8i g8i
(69) Â¥ ≡ q q h ^ } p c i 8 g V i h b È r h ^ o e V T. X o n l c = W X s n 0 X e p g } 0 u l g V i v i : X # u f e h ^ 8 g v i n f n ' c f e _ ^ s n r l c i È ¤ j | F i X 8 v ` h ^ ' ¢ p c _ b 0 X i u X 0 u _ b 8 c o n / n 8 g y d ^ a n u:cpb_bhX q c 0 e ≡ e0 e ≡ r iLW m¤JS TVXnoX ejgl cpb_b q ^_yoXtu#ef^hg8ivn0 ¡ {¡m^dn efTC`neoTV X ] -/ *1" #0/6 gl e Cr ¡m^P¤ Xl¤_¡
(70) ¤ q X q `vu X q yog8W q ^hyfX:u eo^_gli |u0u0gly q ^_iV=eogefTVXacpg'¢lX q X 4viV^heo^_glivn:¡v^_i'z{Xtu#eo^_¢M^e{r gpBu0gliViVXtu#ef^hg8ivnju0cli.≡ X^hi q `vu#ef^h¢8X0b_r / ≡ X wmkVyfX:nfno^hg8ivn0¤ glyfXkVyfX:u0^_noX0b_rl¡,c q ^_yoXtu#ef^hg8i^_nRc 1`ga^hB^he q Xtnou0yo^_X:n *.#
(71) n " / *po)"u gliviVX:u eo^_glivn}gliVb_rl¤ 6glWaviVX:nfnjgl¬c q ^_yoXtu#ef^hg8i ¡Vyf^eoeoX0 i ! ¡u:cpi Xu0glWYkV`mefX q ^hi q `vu#ef^h¢8X0b_ryfglW&S cpvbhXY¦kvyogMgp ^hi\MXtu#ef^hg8i R¤_t¨#¤. -. d. J. (d). " # !. !. $. (d · d0 ) = (d) ∨ (d0 ) 0 ¬ (d / d ), (generalcase) $ ¬ (d/ ), (generalcase) " # !. $. (d q d0 ) =. " # !. (d) ∧. !. (d0 ). . S cpvbhXYl¥ 6g8WaVivX:nfn6gl q ^hyfX:u eo^_gli X wmkVyfX:nfns^_glivn ÄŠƯÄǸ.
(72) . 6glWViVXtnongp q ^_yoXtu#ef^hg8ivn^_WYkVyfg'¢lXJefTVX6kvyoXtu ^dns^_gliglmeoTVXkgl^_i8en{PeogRcpivclbhrmno^_n:¥,yfglW eoTVX^_i'z{X:u eo^_¢C^he{r/gpu0gliVivX:u#ef^hg8ivn:¡ glivXBWcËr q X q `vu XBeoTVX ! "¬glVcju g8i8ecp^_iVX0yt¤ i/eoTvXBgpefTVX0y Tvcpi q ¡:X¬cpbdnogiVX0X q eogefX0b_blTVX0eoTVX:y cpi/g8mz{X:u e^_n c'eoefcluTvX q c'e}cYkcpyoeo^du `Vbdcpyju0gliCefcl^hiVX:ykgCns^heo^_gli¤ mecp^_iV^hivYeoTVX bdc'eoeoX0y}^himg8yoWcpeo^_gli.^hiM¢8glb_¢lX:n u0glWYkvcpyf^_iV=eoTVX q glWcp^_ivngl e{g u g8iViVXtu#eo^_glin0¤JS TVX:yoX0glyfXl¡M6X q X 4viVXRefTVX/glb_bhg'^_iVYyfX0bdc'eo^_glin6g8i q ^hyfX:u eo^_glivn:¥. . h " " \hzheoX0b_bdnTVX efTVX0y e{g q ^_yoXtu#eo^_glin q X:nfu yf^hX u g8iViVX:u eo^_glivn ^heoT q ^dn½z{gl^_i8e q g8Wcp^_ivn ef" /L r/L/L6efX0b_b_nJTvX eoTvX0ye{g q h^ yfX:u eo^_glivn q Xtnou0yo^_X u0gliVivX:u#ef^hg8ivnTVgCnsX q g8WYcl^hin clyoX 3*.#! &5" 2:d "kgCns^heo^_gli¤. q q. . $.
(73).
(74). / -$#? TVg8b q. ^_iVReoTvX. S cpVb_XY q X 4viVX:n/kvyoX q ^_u:c'efX:n!" =cpi q }TV^duTefX:nseefTVX:noXYyoX:b_cpeo^_glivn:¤ jgleo^du X }^_nRiVgle/eoTVXu g8W= kVb_X0WYX0iCeagl " p¤«vgly^_ivnsefcpiu Xl¡8^h¢8X0i cpi q 0 ¡iVX0^heoTVX:y iVg8y d = (i Cj ) / k d = i q (k Bj ) (d, d0 ) q v T l g b ¤ 0. .
(75) (d, d ). (d, d (d, (d, dd. . ( , )
(76) (C , ),
(77) ( , B ),
(78) (C , B ) . .
(79) (d, d · d ) =
(80) (d, d ) ∨
(81) (d, d ) ·d )= (d, d ) ∨ (d, d ) .
(82) (d, d q d ) =
(83) (d, d ) ∧
(84) (d, d ) qd )= (d, d ) ∧ (d, d ) .
(85) (d, d / d ) =
(86) (d, d ) ∧
(87) (d, d ) / d) (d,= d ) = (d, d) (d,∧ d ) (d, d )
(88) (d, d ) =
(89) (d, d ) . . . . . . 1. 2. . 1. 2. . 1. . . / 2. i. . . 1. . 1. . 2. . . i. . . . . . . 2. . 2. . 1. . . . . i. . 1. 2. . 1. 2. 1. 2. 2. . . i. . . . . i. . 1. . . 2. . 1. . . 2. / 2. 2. . . i. . i. . . 1. i. 2. 2. S clVb_X V¥ 6gl^_ivu ^ q X:ivu X cpi q-q ^dn½z{gl^_i8efiVX:nfn gp q ^_yoXtu#ef^hg8ivn. \ca-l eg_.a6Z[a-](ldl ]?a-eHa bKY[Z Y. TVU. . l. ikbKl ]m_.a-bY[Zdc.
(90) . ª R X `nsX>
(91) k 3/i / / *.# / "1 !S " / $/@*1-$# 7 efgYX0ivclVbhX/norMnseoX:Wc'eo^dukVyogMgl½n6clg8`me q ^hyfX:u eo^_glivn:¤ ^_nc 4viV^heoX noX e gp^heoX:yfcpeog8y ¡TVX0yfX Wclkvnu g8i8ecp^_iVX0y kg8no^ef^hg8ivn6eog ¢'cpyf^_clVb_X:n:¤ «vglyfWYclbhb_rl¡VcYu0gliViVXtu#ef^hg8i^dnckcp^_ygp WclkVkV^_iV8n eoTvXg8mz{X:u efnJcpesefc8uTVX q c'eeoTvXkg8no^heo^_glivn:¡lcpi q W(µ, cpkvnν)^heoX:yfcpeog8y ¢'clµyo^d:cpNVb_→ X:neoNgRefTVX kgCns^heo^_glivn efTVX0ra^hi q ^_u:c'eoX8¤. X0e " X/eoTvXnsX0e glclbhb¯u0gliVivX:u#ef^hg8ivn:¤ ν : → N.
(92) . . « ^_yn{et¡CX q X 4vivX}`Viu#eo^_gli gly q ^_yfX:u#ef^hg8iX0wMkvyoXtnono^hg8ivn:¡8cln8^h¢8X0i^_i S cpvbhXR~V¤ X C`V^_¢ËclbhX:ivu X u0b_c8nonoX:ngp
(93) γ :gly efTVX/→gl2b_b_g'^hiV=yfX0bdc'eo^_gli¥. q. !"$#%#. &('*).
(94) . ^_yfX:u#ef^hg8ivn cpyfX. : e ≡ e0 ⇐⇒ γ(e) = γ(e0 ). «VyfglW efTV^dn}yfX0bdc'ef^hg8i¯¡vXau0cli q X iVX eoTvX S1 ML `vivu#ef^hg8i ¤}S TvX0i¯¡eoTVXabh^_iV.^efTeoTvX ^hiCeo`v^ef^h¢8X q X viv^ef^hg8i gl q ^hyfX:u eo^_glivn^dn efTVX glb_b_g'^hiV¥Jcu gliviVX:u eo^_gli¯γ¡ : ¡vnocpeo→ ^dn 2X:njc q ^_yfX:u#ef^hg8i¯¡ ¡^Bcli q gliVb_r^h c d ¤ c ⊆ γ(d). 4. 4. ∀e, e0 ∈. . ª X/efTVX0i q X v4 iVX c!? 2 3/@*1 $& -7 \b " 3*.#!. q. @. +-# " / * $/ -$#. g'¢8X0y. 4. !"+#,#. Â¥. &'*). d @ d0 ⇐⇒ γ(d) ⊂ γ(d0 ).. iVX/WYcËrX:clno^_bhruTVXtueoTvX/glb_bhg'^_iV=gly q X0yf^hiv8ngli q ^_yoXtu#eo^_glin0¥ d00 v d · d0 =⇒ d00 v d ∧ d00 v d0. d q d0 v d00 =⇒ d v d00 ∧ d0 v d00 .. |}n c=yoXtns`Vbhe:" ¡ u:cpi-X nseoyf`vu#ef`VyoX q c8n cu0glWYkVb_X eoXRbdc'esef^_u0X/gly q X0yfX q Mr ¤JS TVXVn -*.# cpi q d:"+" /6g8kX:yfcpeoglynBgl eoTVX bdc'eoeo^du X cpyfX cpi q ¡vyoXtnskX:u eo^_¢lX0b_rl¤ ª X kVyfg'¢lXeoTVXu0glWYkVb_X eoX:iVX:nfngp eo@ TVX bdc'eoeo^du X ^_i.\mX:u#ef^hg8i ¤ Zv¤ q · X
(95) k 3/i / / *1-#`Vivu eo^_gli ^_n V`v^hbhejyfglW ¤ R^_¢lX:i " C¡ ^dn q X 4vivX q cln:¡ q « ^_ivclbhb_rl¡MefTV α:2 → γ C⊆ α. &. !"+#,#. α(C) = min d ∈. . @. S TVXWY^hiv^hW`VW X wm^dn{enjX:u0cl`vnoXeoTvXabdc'esef^_u0Xagl ^_nefTVX¦^_i 4viV^heoX˨ WYX0X0ejgp clbhb q ^hyfX:u eo^_glivn6efTvc'e. ON!PQSRST. ÆÆ!Ì. : C ⊆ γ(d) .. B^dn}u0glWYkVb_X efXl¤}°Âi. C. nocpeo^dn 4 X:n:¤. . J. q X0X q ¡cliX C `V^_¢'cpb_X0iCe q X v4 iV^heo^_glig8y. α(C).
(96) *$
(97) . . (µ, ν) | (µ). (µ, ν) | (µ) = ∅ F (µ) = {ν( )} (µ, ν) |. # F (µ) (µ, ν) | ∀p ∈ # (µ) : p < ν( F ) ∧ (µ, ν) | ∀p ∈ (µ) : p > ν( ) ∧ (µ) 0 γ(e) ∩ γ(e ) (µ ) ∩ (µ, ν) | ∃µe , µe0 : (µe , ν) ∈ γ(e) ∧ (µe0 , ν) ∈ γ(e0 ) ∧ e # 0 (p) ∧ ∀p ∈ (µ) : µ(p) = µ (p) ∨ µ(p) = µ e e γ(e / e0 ) = (µ, ν) | ∃µe , µe0 : (µe , ν) ∈ γ(e) ∧ (µe0 , ν) ∈ γ(e0 ) # ∧ ∀p ∈ (µ) : µ(p) = µe (p) ∨ µ(p) = µe0 (p) . # # γ(e/ ) = (µ, ν) | ∃µe : (µe , ν) ∈ γ(e) ∧ (µ) = (µe ) γ(∗) γ(∅) γ(i ) γ(Ci ) γ(Bi ) γ(e · e0 ) γ(e q e0 ). = = = = = = =. . % $
(98) % $
(99) . . . . . (µ. e0 ). =∅. . S clVbhX ~v¥ 6glivu0yoX0eo^_£:c'ef^hg8i`Viu#eo^_glin gly q ^_yfX:u#ef^hg8i-X0wmkVyoXtnono^_glivn. α. S gX:ivns`vyoX cli q kVyfX:noX0yf¢lX}eoTVX yfX0bdc'ef^h¢8XkvyoXtu ^dns^_gli-g'¢lX0y noX efn gl u0gliViVXtu#ef^hg8ivncpi q q ^_yoXtu#ef^hg8ivn0¤ ª X/kVyog'¢8X}efTvc'e cli q clyoXRWYαgliVgleog8iVγ^_uRg'¢8X0y ¥ γ. ∀C ⊆. . @. " . : C ⊆ C 0 =⇒ α(C) v α(C 0 ). ∀d ∈. . ¦{˨. : d v d0 =⇒ γ(d) ⊆ γ(d0 ). °Âi.c qVq ^heo^_gli¡MeoTVXRglb_b_g'^hiVX C`vcpeo^_gli-nfcËrmn6eoTvcpe ^dncnfc'X/cpkvkVyogËwm^_WYcpeo^_glicli q eoTvcpe ^dneoTVX/^_iM¢lX0ynoX}^_WYcllXRgp ¡ γ α X0ins`Vyf^_iV=eoTvcpejiVgY^himg8yoWcpeo^_gli ^_n b_g8nse q `Vyf^hiVu0glγivu0yoX0eo^_£:c'ef^hg8i¯¥ ∀C ⊆. . . J 0. : C ⊆ γ(α(C)). ∀d ∈. . ¦P l¨. : d = α(γ(d)). xByfgMgp¯gp¬¦P l¨¬u0cpiXgl`Vi q ^_i-\MX:u eo^_gli R¤ m¤JS TVX}glb_bhg'^_iVayfX:no`Vbheno`VWYWcpyf^h£:X:nJefTVX:noX}kvyog8kX:ysef^hXtnB^_ieoTvX`Viv^(4vX q WYg q 0X b¯gl 6g8`vnsglejcpi q 6gl`vnogpe §g8ykVyog8lycpW clivcpb_rmns^dn0¤. . . 0. - " /@ - g -$ # # "\k +/ /*1 - /#? / *1/ --># /9 ? $"#Gb &5 +/ /-* #S "1 -" g/ * b$ $*[ /@"*1-$ /# *1-# ]
(100) #G / *1-#? ²M¶ ². Kv. v. Kv. ML. v. α. $#Gb. γ. b. " # " . &. /cpb_gl^dnu0gliViVXtu#ef^hg8i v -7d. /9 ?" &5 / /@* +". ª X `vnsX/efTV^dnjyfX:no`Vbej^_i eoTVXcpkVkX0i q ^w-eogkVyfg'¢lX/kVyfglkX0yoeo^_X:n gl efTVX q ^_yoXtu#ef^hg8i.clvnseoyclu#ef^hg8i ¦½Xl¤ v¤_¡cpb_lX:Vycp^du}kVyfglkV X0yoeo^_X:n=glglkX0yc'efglynf¨ ¡¬cpi q eog kVyfg'¢lXeoTVXclivcpb_rmns^dnYnocpX e{r ¦^P¤ Xl¤_¡6^heu glWYkV`VeoX:ncÈu g8yoyfX:u eYclkVkVyfgËwm^hWc'ef^hg8i glyYXtcluT u g8iCefcp^_iVX:ybdcËrlg8`me¨ ¤
(101) $,+m
(102) ! _@-$. ^UW. ^]. Y hd]. e. b,Z V_ ^] . ]. °Âikgl^_iCefns4efg8yfclkVTvn:¡TVXtcpk glmz{Xtu#efnRcpyfXayfX0kvyoXtnsX:i8efX q Mr t 2 r\h=ivclW=X q cln H ¥ ¡eoTvX "! LiL/L h1W#¡,TVg8b q n ¢'cpyf^_clVb_X:n6eoTvcpejcpyf X 3*[d ] & / #%"+-2] +&('=kgl^_iCeo^_iVYeog=efTVX/glmz{Xtu#efncpe eoTV^dnWYglWYX0iCeVcpi nq X ¡MXeoTvX# / hL
(103) %$ h1W#¡myfX:u0gly q n6clbhb ¢'cpyf^_clVb_X:nefTvc' e "o"1 !?-$*.# / "\befg eoTvXjglmz{Xtu#enBc'e6noglWYXkvc8n{e6X wmX:u0`meo^_gli¯¤|jWYg8iVTVXtcpkYH iVg q X:n:¡C6X `VyoeoTvX0y q ^_nseo^_iVl`v^_noT X e{X0X0i "a l
(104) r/h-cli q h
(105) &
(106) `g` 7'$
(107) -r\h8¥cpi g8mz{X:u eaiVg q X-clvnseoyclu#enc 3*.#! &5" -/k;n " /acpi q Tclnac #%-#02"1d !%/ ' yfX X0yfX0iu XnsX0e RcÈno`VWYWcpyfriVg q Xclvnseoyclu#enc !?--&-Kv -
(108) k*n " /@ cpi q Tclncli "d !%/ ' yoX0X0yfX0ivu0XnsX0e:¤ mz{Xtu#ecli q q *-, a¡ yfX:nokXtu#eo^_¢lX:bhr8¤°ÂiCeo`v^ef^h¢8X0b_rl¡g8mz{X:u eaiVg q Xtn lX:X0k no`VWYWYclyoriVg q X:ncpyfX q ^_nseo^_iVl`v^_noTVX q MrkvyoX q ^_u:c'efX:) n ( cpi + kVyfX:u0^_noX^hiVglyfWYcpeo^_gliFclg8`meno^hiV8bhXglmz{Xtu#efn:¡ eoTM`vn:¡ X:ivcpvbhX 3 M^hb_b_^hiV 5 g8iFclnfns^_livW=X:iCefn/efgglmz{Xtu#e 4X0b q n0¤\m`VWYWYclyor iVg q Xtn0¡,glieoTVX=gpefTVX0yRTvcpi q ¡,kVyog'¢M^ q XcWYX:uTvcliV^_noW!eog-lyfgl`Vkg8mz{X:u efn}eog8lX efTVX0yt¡TV^_uT^_nRiVXtu X:nfnfcpyfrefgWcp8XeoTvX lycpkvT 4viV^heoX8¤¬| qVq ^heo^_glicpb§yfX0Wcpyfmnclg8`me eoTV^dnivclWY^hiVnfuTVX0WYX cpyfXl¡. %. q. 354. S TVXiVg q XivcpWY^_iVnfuTVX0WYXa`ns^_iVyfX X:yoX:ivu XanoX enj cln 4vyfnse^_iCeoyfg q `vu X q Mrj_:7 P¤}S Tv^_n^_n`vnoX q efg q X0eoX0yfWY^hivX eoTVXN"`\t" a /. 0$ gp¬TvX:cpkiVg q X:n:¥je{giVg q XtnclyoX"`\t" a1. Y^BefTVX0rWcËr 3*[d ] &(/ $#%"+-7] 3& 'cpn{efyfc8u#e¦½iVglim X0WYkme{rnsX0efn6gpf¨BTVX:clkglVz{X:u#et¤B\M^hiu XcliMr¢'cpyf^dcpVb_XjWcËrYiVgpe ns^_Wa`VbhefcliVX0g8`vnobhr=kg8^hiCe6eogaW`Vbheo^_kVbhXRTVXtcpkg8mz{X:u efn:¡ iVg q X:n H cpi q H 0 ^heoc T b* 2 "1 " # /v`me -o" 3&5 !=!%*.#!yoX0X0yfX0ivu0XnsX0efn¦½^4¤ Xl¤_¡ ¨ u0cli # -/ 0 0 nX. nX 0. X 6= X ∧ X ∩ X 6= ∅. ¼ ÓPÑ×ÜÝËÖ×Ñ ÕÔÁ Û ¿Õh¼#»4ÜjØÖ×Ñ×Ó4Ü/Ã Û ¿sØÝR¼#Ùt¾½¿{ÀÂÁPÓ ØÌ vRÀ{¼#Ì Á ØÑ×ÌË¿{» Ýl¼#Ó4Ñ ÁPÑ×¼#ÌtÓ Ø»½¿BÖ ØÙp¿sÖ׿ vÙ0Ô}Ñ×Ì ÁP¿{Þ#¿{»4Ó ÄŠƯÄǸ.
(109) i qBi Cj. i /Bi Cj. x nl,i,j l,i,j −−−−→ n∅. C. nl,i →i nx∅ l,i −. x nl,i,j l,i,j −−−−→ n∅. nx∅. $. . !. . $. !. ! $. . « ^_l`VyfX/Zv¥ 6gliCecp^_iVX0y X q lX:ncli q q ^hyfX:u eo^_gli b_clX:b_n. ny∅. nx∅. /B. y i i nl,i l,i −−→ n∅. nx∅. Ci. -. i / B i. « ^h8`VyfX V¥ `Vbheo^_kVbhXaX q 8X:n. +*[d ] & / # " -2] 3& '-clvn{efyfc8u#ejTVXtcpkg8mz{X:u efn:¤j°ÂigpefTVX0y6g8y q n:¡VefTVX0rclyoX iVgleRu0glWYkvc'ef^hvbhX8¤°Âicno^hWY^_b_cly} cËrl¡ nH X pc i q H 0 ^efT cli q 0 cpyfX #%-$/}u g8W=kc'eo^_Vb_XaX:^efTVX0yt¤ }g q X=u0glWYkvcpeo^_V^hb_^he{r.u:cpi^_WYkVyfg'¢lX nX 0 X = X 0 6= ∅ H = 6 H eoTVXjclivcpb_rmns^dn0®ËkVyfX:u0^_no^_gli=Xtu0cp`nsX X q lX:n efTvc'e¬u0gliVivX:u#eJ^_ivu g8WYkvc'ef^hVb_XiVg q XtnJcpyfX nokV`Vyf^_gl`vnJcli q u:cpiYXyoX:W=g'¢8X q yog8W eoTVX 8yfclkVT¯¤ ª X ^_iCeoyfg q `vu X/kVyfX q ^_u:c'eoX$ ! ¬efgu g8W=kv`meoX no`vuT.^himyfglWcpeo^_gli¯¥
(110) (nH , nH ). !. 0. X. X0. 8$.
(111). &'*). ⇐⇒ (X = X 0 ∧ H = H 0 ) ∨ X ∩ X 0 = ∅.. j^dn{efglyfrnoX efn6Wcp8Xgl`Vy6iVg q XjivclW=^_iVanfuTVX:W=X q ^,X0yfX0iCe6yog8W*efTVX}g8yo^_l^_ivcpbvgliVXjkvyog8kgCnsX q ^_i _: §cpi q `VysefTVX0y X wMeoX:i8ef^hg8ivnBkvyog8kgCnsX q ^_i _:m¡M pm¡CZ2 ¤°Âi q X:X q ¡CTV^dn{efglyfr=noX en¬cpyfX`vnoX q efgau yfX:cpeoXjWYg8yoXjg8mz{X:u eYpns`VWYWcpyfriVg q Xtn0¡ kVyoXtnsX:yo¢M^_iV`vnoX `vbu0gliCeoX0wMe^_imglyfWc'eo^_gli¤/S Tv^_nR^dnRno^_W=^_bdcpyeog gpeoTvX0yRTVX0`Vyf^dn{ef^_u:n _:V¡§ lm¡,Z7 ¡§TV^_uT yoXtnsg8ysenefg cpb_bhgmu0cpeo^_gli ns^heoXtn gly q cpefce{rMkXtn eogcluTv^hX:¢lXeoTVXnfcpWYX/lgCcpbP¤ q S TVX kg8^hiCen{PeogYlycpkvT q Xtnou0yo^_X:nc !? 2 3/@*./ *1-# -Kvgd:"d:-2 3''¤¬°Âi ½clu e:¡mg8yjcpiMr8^h¢8X0i yo`vi8ef^hWYX/kVyfgl8yfclW kg8^hiCe:¡c TVX:clkglmz{Xtu#e6u:cpig8iVbhr=Xcpn{efyfc8u#eoX q Mr -$#%"TVX:clkiVg q X^hiYefTVX8yfclkVT¯ ¤ jg'X0¢lX:y:¡leoTVXiVg q XjivclWY^hiV=nouTvX0WYX ^_n 3/ -2 " 2 &5"3 + #¡'WYX:cliV^hiv}efTvc'eJiVg q Xtn ^_ickgl^_i8en{PeogRlycpkvT q g #%-/ q X:nfu yf^_X c "\b kvcpyoeo^heo^_gligpvWYX0WYg8yoqr Y'nseog8yoX8¤ °Âi gleoTVX:y}gly q n:¡mTVX efTVX0yRcpi.glmz{Xtu#e}^dn}clvnseoyclu#efX q Mr cYiVg q Xagly}cliVgpefTVX0y q X:kX:i q ngli eoTvXkVyfgllycpW&kg8^hiCe:¤ S TV^_nnseog8yoX0Pb_X:nfn cpkVkvyogCcluT^dnju yf^heo^du0cpb,g8y eoTVX kvyoXtu ^dnsXRTvcpi q bh^_iVgl ycpi q g8W&u g8iCefcp^_iVX:y`vk q cpeoXtn0¤. q. ^U. i. ] ZdbKa-bY[Z. Y. . . ª X q X v4 ivXckgl^_iCefns4efgYlycpkVT q V. q N. Y[b,Z[a c
(112) a-Y
(113). l e. dc. G = (V, N, R, E, C) 7dSo 2
(114) k #¤. ^dn efTVXnsX0egp !G -\!2 ) 3*1 ^dneoTVXnoX ejgl, " +! # L- b="3 #¤. clng8bhb_g'jn:¤. &5"3 . %. ( ^dn/efTVX-noX egl u\ 7
(115) a .
(116) rG\h8¤-° eaTvglb q n q ^_yfX:u#efX q X q l X:ngp eoTVXglyfW Q d ] 3/6kgl^_iCeeog=eoTvX: +*.#"!$& "g8mz{X:u eclvnseoyclu#efX q Cr -
(117) k*n " / Vi g q X ¤ ^hi q ^_u:c'eo^_iV=eoTc'ej¢'cpyf^_clVb_X (o)}. q R ⊆ V × {o ∈ N |. . Q. − →o. ¡. o. d^ neoTVXjnoX e6gp/
(118) . r8
(119) rG\h8¤ ° eBTvglb q nJbdcpX0b_X qYq ^_yoXtu#eoX q X q 8X:ngp,efTVX glyfW.¡ 0 ¡l^_i q ^du0c'ef^hiv & bNEgpJcpi glmz{Xtu#ejcpvnseoyclu eoX q Mr d: $'!?-$*.# // -Ycli.glmz{Xtu#ejcpvnseoyclu eoX q Mr 0 ¤ o −→ o. q E ⊆ N × × N. eoTvcpe". o q C ⊆ N × × N ^dn efTVXnoX egp1
(120) /Lrfhl¤-° eTVglb q n bdcpX0b_X q ^hi q ^_u:c'eo^_iV-eoTvcpe 5o u gliviVX:u eo^_gliÈX0e{6X:X0i c-u0gliCefcl^hiVX:y cpvnseoyclu eoX q. nocpeo^dn v4 Xtn. $. d. ¤. " " 3'. . o. q ^_yoXtu#efX q X q 8X:n gl6efTVXg8yoW.¡ d ¡ →o Mr cli q cpiÈglmz{Xtu#ecpvnseoyclu eoX lq − Mr l. o. cpi q yoX:kVyfX:noX0iCe kvTCrmno^_u:cpbmkgl^_iCeoX0yn:¡pTVX0yfX:c8n g8iVbhr=cpvnseoyclu efn b_gll^du0clbmu gliviVX:u eo^_glivnX jgleoXeoTc'e:¡8X q 8X:n^_i E e{X0X0iu gliCecp^_iVX0yn cli q efTVRX0^_yX0b_X0WY X0iCefn:¤« ^_l`vyoX6Zcpi q 8^h¢8X¬X0wmclWYkVbhXtn gpvu Cg8iCefcp^_iVX:y bdcËrlg8`mefn cpi q eoTVX u g8yoyfX:nokg8i q ^_iV u g8iCefcp^_iVX:yX q lXtn0¤ S g-yfX Âc qVq yoXtnon}eoTVXivg q XYu0glWYkvcpeo^_V^hb_^he{rcpi q eoTvXkvcpyoeo^heo^_gli kVyog8kX:yse{r8¡« ^h8`VyfX l^_¢lXtne{6g X wVcpWYkVb_X:n/TvX0yfX . q WcËr.kg8^hiCe/eog efTVXnoclW=Xbhgmu:c'eo^_gli gly/iVgle:¤S TvXae{g-TvX:cpk b_cËr8gl`mennfc'ef^_nsrefTVXYkvcpyoeo^heo^_gli kVyog8kX:yse{r,¥jX:^efTVX0y cpi q gly/iVg q X:n x,y cpi q y cpn{efyfc8u#e q ^_nseo^_ivu#e iVg q X x,y clvnseoyclu#enclig8mz{X:u e/no^hW`VbhefcpivX0gl`nsb_ryoX0X0yfX0ivu0X q Mr .cpi nx ny glVz{X:u#enn0x,y ¤ S g=X:ivno`VyoXRefTVX lycpkVT-^_ n 4iV^efXl¡ve{6g=^hWYkglyoefcli8e}nseoX:kvncpyfX cpkVkvbh^_X q c'ÇefX0yX:c8uT-kgl^_iCefns4efgYlycpkVT-`Vk q c'eoX8¥. . 1. | 8clyovcllX0 u0glb_bhXtu#eo^_gli=nouTvX0WYXjyfX0WYg'¢lXtnJcpiMrivg q Xa¦½clbhg8iV^heoT^hefn6c q sz c8u X0iCe¬X q lXtnf¨JTVX0i^he6^dnBiVgle6yfX:c8uTvcpVb_X yog8W&cpiMr¢'cpyf^dcpVb_Xivg q Xl¤ 6gliCecp^_iVX0y X q lX:n bdcpX0b_X q cpyfXyfX0WYg'¢lX q 8c n 6X:bhbP¤ q. ∅. ¸ Às¼#Ì ÁPØÑ×ÌË¿{»¬Ìt¼LvË¿ÀoØÌ Û Ø{Ò ¿ ÜÊtÖ ÁPÑ×ÝËÖ׿¬¼#ÊtÁ4Þ#¼#Ñ×ÌËÞR¿ vËÞ#¿{Ó Á Ø»½Þ#¿ÂÁPÑ×ÌËÞvtÑ×Ó4Á4Ñ×ÌËÀÂÁJÌ˼vË¿{Ó + żÁPÑ×À{¿Ø̼#Ùt¾½¿{ÀÂÁ¬ØÙËÓ4Á4»PØÀÂÁ4¿ vYÙ0Ô »½¿sÉ0ÊËÑ×»½¿ vRÁP¼Ùp¿BØÌ¿sÖ׿{Ü¿{Ì Á¯¼ÕvÁ Û ¿JÀ{¼#Ì Á ØÑ×ÌË¿{» . ON!PQSRST. ÆÆ!Ì. y. n∅. Ñ×ÓÌt¼Á.
(121) kgl^_i8en{PeogY8yfclkVT-cpe kgl^_iCe 1 8
(122) 9 5 5, 2 3 5! )7 P 4 # 5 7, 5. .. . nx,y x,y. x,y nx. kgl^_i8en{PeogY8yfclkVT-cpejkg8^hiCe. 5. nyy. 1 2 3. f!1'0/ 7 . .. x,y nx,y. .'0/ 7 nxx. F. 1 $. 3. . i j i i,j j y ni,j ny ∗ n∅ ∅. « ^h8`VyfX v¥ jg q X u g8WYkvc'ef^hV^_b_^e{r SgX:ivns`vyoXefTvc'ec4viv^efX6noX e¯gpm^heoX:yfcpeogly§¢'clyo^dcpVb_X:n,8X0iVX:yfcpeoXJc #0*./ " #f]dXk+" ¬gp q ^_yoXtu#ef^hg8ivn0¡tbdcpX0bdn¯cpyfXBns^_WYkVb_^(4vX q clu0u0gly q ^_iVefgÈX C`V^h¢'clbhX:ivu X.gp q ^_yoXtu#eo^_gli X wmkVyfX:nfno^hg8ivn0¤ S TVX.glyfWcpb yo`vbhXtncpyfX-8^h¢8X0i^_i eoTVX|}kVkX:i q ^hw§¤ | clyoXyfX0kvb_c8u X q Mr / ¤JS TV^_n6n{efX0ku:cpiX}nsX:X0ic8nBc 3 ^ q X:iV^_iV 5 nskX:u0^_clbvu0c8nsX^dnJefTvc'e q ^hyfX:u eo^_glivnBgp,eoTVX}glyfW eoycpivnsglyfWc'eo^_gli¡TV^duTFu g8ivnsX:yo¢'cpeo^_¢lX0b_r q yfglek/ne^_i'z{X:u eo^_¢lXkVyfglkX0yoeoe^_X:naTVX0i efTVX0r clyoX`Vivbh^_lX:bhr eogvyo^_iVcliCr kVyoXtu ^dns^_gli-^hWYkVyfg'¢lX:WYX0iCe:¤ gmu:cpb§nocpX e{rkvyogMgp½n ^_i\MX:u eo^_gli R¤ v¤ q. J 1.
(123) $,+m
(124) . ! #"$ $. S TVX6kg8^hiCefnsPeog}clivcpb_rmns^dn§efg}X¬kVyfX:noX0iCeoX q ^_n ^_i8efyfcpPkvyogmu X q `VycpbpX0wVu X0kVe¯gly eoTVX q X q ^_u:c'eoX q ^_i8efX0yfkVyfX efcpeo^_gli glvu gliCecp^_iVX0yo yfX0bdc'eoX q WYX0eoTVg q n:¤. . VUW. Z. Z. adbKa-b[]
(125) e [Y l. . Y sa d ]. . Zde ^c6b,c. X0eR`n 4vynse^_bhb_`vnseoyc'eoXeoTvXkgl^_iCefns4efgcpivclbhrmno^_n^_ieoTVXglb_b_g'^hiV-X wVcpWYkVb_XefTvc'e/yfX0¢lX:yfnoX:n}cb_^_nse:¤ ª Xgl`Vb q b_^h8Xefg ^_imX0yefTvc'e efTVXH-, Q ,/HGI
(126) ,DJLKRWYX eoTvg q kVyfX:noX0yf¢lXtn u glWViVXtnon:¤ &
(127) !4!53 4
(128) &
(129) 7! "! f36 "!#9.'2$&7 %3('*) ! & , !$ =!.'2 / ! , 5 59!.'*/ 7,- ';:< @ '2346
(130) 7,- !.'0 ,- . 1 2 3 4 5 6 7 8 9. . . . « ^h8`VyfX q X:nfu yf^hX:n¬eoTvX 4yfnse6e{ga^heoX:yfcpeo^_glivn6gpeoTV X ! F M ,abhgMg8k¯¤J«VglyX:c8uTyf`VimPeo^_W=XRkVyfgl8yfclW kgl^_iCe:¡m^he 8^h¢8X:n6c u g8ivu yfX efXTVXtcpkbdcËrlg8`mej^hikvcpycpb_bhX:b^heoTefTVX=kg8^hiCefnsPeog8yfclkVTu glyfyfX:nokg8i q ^_iVYeogeoTVXb_cËr8gl`met¤j°ÂiV^heo^dcpb_bhr8¡Xc8nono`VWYX eoTc'e R cli q4P kgl^_iCe¬eog q ^dn{ef^hiu#eu gliCecp^_iVX0yn0¡leoTvcpe R ^dn cau g8Wa¯¡mcli q eoTc'e P ^dn6X0WYkme{rl¤J°ÂieoTVXX:l^_iViV^_iVv¡CefTVX8yfclkVT TVg8b q nRefTVyfX0X=iVg q X:n:¥/glmz{Xtu#e iVg q X:n c cpi q d TV^duT cpvnseoyclu e/u0gliCefcl^hiVX:y/glmz{Xtu#efnRyfX X:yoX:ivu X q Mr R-cli qjP ¡ cpi q c no`VWYWYclyoriVg q Xl¡ ∅ ¡TV^duT cpvnseoyclnu cefn/X:bhX:W=nX:diCefn/gp c ¤S TVXu0gliCefcl^hivX0y/X q 8XX0e{6X:X0i c cli q ∅ ^_n bdcpX0b_X q ¡ nc nc n∅ ∗ q Xtnou0yo^_V^_iVcpi ^hi'z{nXtu#∅ef^h¢8Xu gliviVX:u eo^_gli¯¤. . S TVX# ! F M ,bhgMg8kF^_nX0iCefX0yfX q g8yaefTVX 4vynseaeo^_WYXl¤È° eoX:yfcpeoglyNF ¦yfX:nok¯¤ ¨^_n=c'eoefcluTvX q efgeoTvX-u g8iCefcp^_iVX:y oy X041X0"yfX0ivu0X q Mr ¦½yoXtnsk¯¤ ¨#¤S TVX:noXu g8i8ecp^_iVX0yiVg q XtnBcpyfXyoX:ivcpWYX q eog c,i cpi q d,j eog/yfX J Xtu#eeoTVXjcpesecluTVWYX0iCen d nc,i nd,j gpefTVX ^heoX0yc'efglycn0¤ . ¶. . ¶. ¶. . m % FA(U-,/0JK S TVXg8mz{X:u ec'eoefcluTvX q c'eefTVXkg8no^ef^hg8i gp F^dnivg' clnfno^h8iVX q eog ¢'clyo^dcpVb_X m¤ \M^_ivu0X ^ ef5X01yc'$ eog8yF^dn}c8nonogmu ^dc'" efX q ^efT c,i ¡eoTV^dnjg8mz{X:u e}Wa`vnse}Xclvn{efyfc8u#efX q Mr ∅ ¦½X0b_X0WYX0iCefn}gp c,i ¨ ¤jS TVX0i¯¡eoTvX n n n glmz{Xtu#e/^_n 3 Wc'eoX:yo^dcpb_^_£0X q"5 ht Jyoc,i g8W ns`vW=WclyoriVg q X ∅ ^hiCeogc-iVX0 glmz{Xtu#∅e iVg q X8¤S TV^dn/iVX0c,i glmz{Xtu#e/iVg q Xl¡ n iVg' kgl^_i8efX q eogMN r m¡m^dnivclW=X q o ¤BS TvXu gliviVX:u eo^_gli-∅ yog8W c,i efg o ^dnu0clkmeo`VyfX q Mr ¤ no. nc,i. no. i. ^efT u0gliCefcl^hivX0y iVg q X d,j ¡ o ^dnu g8iViVXtu#eoX q eog d,j Cr c (+#"V0J\mfK \M^_ivu X^heoX:yfcpeog8y ^_naclnfnsgmu0cl^efX q 61 $ nd,j no nd,j " q q u gliCecp^_iVX0y X lX/b_clX:bhX ¤ j. ÄŠƯÄǸ.
(131) R. n∅ ∅. ncc. 3. R. R F. !. . !. n∅ ∅. noo. F. . R. n∅ ∅. !. P . 3. F. j. . . . . Bi. noo. ∗. m. Cj . . . . i. m. noo. ∗. Bi. n∅ ∅. . Cj. d,j. nd,j. R P . m. noo. n∅ ∅. nc,i c,i. . no∅. i ∗. nd,j d,j. R. noo. nc,i c,i. . . n∅ ∅. F. . P. 3. . nd,j d,j. . !. nc,i c,i. . . no∅. 41 . P. 3. m. noo. d,j. noo. i ∗. nd,j. . n∅ ∅. . . n∅ ∅. R. 3. . 51. . noo. nc,i c,i. . P. 3. n∅ ∅. . . nd,j d,j. . !. . n∅ ∅. 61. . ∗. 42. noo. . . . 52. n∅ ∅. . P. 3. nc,i c,i. F. . . F. nc,i c,i. no∅. i ∗. Bi n∅ ∅. nd,j d,j. . noo. . . . m 62. !. . ndd. n∅ ∅. . 1. n∅ ∅. P. . ∗. j. . no∅. Cj. . . . . « ^_l`vyoX M¥xgl^_iCefns4efgcpivclbhrmno^_n6glyH-, Q ,/HfI
(132) , . ¶. . ¶. ° eoX0yc'efglyFY¦yfX:nok¯¤ ¨^dnBWYg'¢lX q v cluM cpy q ¦yfX:nok¯¤lglyfcly q ¨ X g8yoXX:i8efX0yf^hiv/eoTVXiVX wMe¬^heoX:yfcpeo^_gli¯¤ |u0u g8y q ^hiV482bh"r8¡MeoTVX q ^hyfX:u eo^_gli b_clX:b_nclyoX/`Vk q c'fe X q ¥ ^dnyfX0kVbdclu0X q Mr ¡ ^dnyfX0kVbdclu0X q Cr ¤ i. Bi j. Cj. m % FA(U-,/0JK « ^_yfnse:¡mX 3 M^hb_b 5 eoTvXRg8`meo8gl^_iV=X q 8X:ngp ¡m^4¤ Xl¤_¡myfX0WYg'¢M^hiVeoTvXRX q lXRyfglW mYeog o ¤BS TV^_n o cpbd5ns2g-$ ^hiM¢lg8bh¢8X:n}yoX:W=g'¢M" ^_iV m yog8W eoTVX=yoX0X0yfX0ivu0X=noX e/gp o ¤a|}n. cyoXtns`Vbhe:¡ o Xtu g8W=Xtn/cno`VWYWYclyorivng oq X o ¤ n o ª X}u:cpb_bno`vuTc/kVyfgmu X:nfn # -L=b " ]d d> 7 3*ML / *1-#¤BS TVX0i¯¡8eoTvXjglmz{Xtu#e6cpesecluTVX nq o c'eBefTVXjkg8no^ef^hg8igplFRiVX0X q nJefgn∅X. $. X wMeoyclu eoX q yfglW eoTVXX:bhX:WYX0iCefngl c,i ¤ }gpeoX/efTvc'et¡gpefT cpi q o cpyfXc'eoefc8uTVX q c'e c,i ¤ jg'X0¢8X0yt¡Vns^_ivu0X q c,i eoTVX/X q lXefcpyflX0esef^hiV o ^_nbdcpX0b_X n cln ¡mTV^duT-^dn q ^dnz{g8n^hiC∅e ^efT n∅ ¡MeoTVX g8mz{X:u e u:cpi iVngpc,i e Xclvnseoyclu#efX q Mr niv∅ B glimz{Xtu#eiVg q X ^dn ivcpWYX q i B ¤ S V T 0 X f y X 8 g o y 8 X m ¡ 6 / X l g h b r W p c o e 0 X f y _ ^ : £ p c _ b _ ^ 0 £ X o y 8 g W B ¤ j | C p c _ ^ ¯ i m ¡ f e V T. X V i 0 X Q ∅ o o¤. n∅. ON!PQSRST. ÆÆ!Ì. n∅. no.
(133) ¶. . 8$. ¤ jgleoX efTvc'et¡efTVXag8`meo8gl^_iVX q lXtnjgp d,j cli q c,i clyoXbdcpX0b_X q Mr (+#"V0J\mfK eoTvXnfcpWYXacln ¶ nd,j nc,i ^hi'6z{2Xtu#$ ef^h¢8X q ^hyfX:u eo^_" glivn:¡mWYX:cpiv^hiV=efTvc'ejgp6ef1T.u0gliCefcl^hivX0ynclyoX/u g8Wa¯¤. «V`vysefTVX0y-^efX0yc'eo^_glinYglb_bhg' cFno^_W=^_bdcpykc'esefX0yfi¯¤ | 4vwMX q kg8^hiCe ^_n-clu#ef`vcpb_b_r yfX:c8uTVX q c'eeoTVXeoTV^_y q ^efX0yc'eo^_gli¤ S g u g8ivu b_` q XeoTV^dn=X wVcpWYkVb_Xl¡Xgl`Vb q b_^h8XefgX0WYkVTclno^h£:XeoTvyoX:XlX:r kVyog8kX:ysef^hXtngleoTVX.cpivclbhrmno^_neoTvcpe=WcllX`vn no`vu0u0X:nfn{`Vb_b_r q X efX:u eeoTVX kVyfX:noX0yf¢'c'ef^hg8igpJu g8WaVivX:nfn0¤. $. jg q XWcpeoX0yf^dcpb_^h£tc'eo^_gli TVX:bhknefgyfX:nseoglyfXkVyfX:u0^_noXkgl^_iCefns4efg^hiVglyfWYcpeo^_gli TVX:icpiglmz{Xtu#e=clvnseoyclu#efX q Mr c ns`VWYWcpyfriVg q X ^dnclnfns^_livX q eogc=¢Ëclyo^dcpvbhX¦X8¤ ¤h¡qm % FD(U-,/0uJLKp¨#¤ q. J. 6Xtu0cl`vnsXgl§TV^_nseog8yorYnoX efn:¡Mc'ÇeoX:yBefTVX 3 C^_b_b 5 gp§¢'cpyf^dcpVb_X m¡ o[ TV^duTcpvnseoyclu efnefTVX 3 efcl^hb 5 0X b_X0WYX0iCefn¬gp c,i[ ^_n no nc,i ns`VWYWcpyf^_£0X q ^hiCefg o ¡VcË¢lg8^ q ^_iVYnskv`Vyo^_gl`nu gliV`vns^_gli ^heoT 3 Tv:X c q"5 X0b_X0WYX0iCenjcpvnseoyclu eoX q M r ∅ ¤ q. . 6glWYkvcpyf^_iV q. . . VU. a-l Y Z. i. . cli q. b. n∅. . Bi. eoTVyfgl`vlT. _ eHa bKY[Z. Y.
(134) ( , B ) cË¢8gl^ q nWYcpeoX:yo^dcpb_^h£tc'ef^hg8iyfglW #e l be K]mc . . i. i. no∅. n∅. ¤. "-. | {n efyog8iVaiM`Vb_bh^54u:c'eo^_gli¡8g8yckgl^_i8en{PeoglycpkVT¡CWYXtcpivn¬eoTVX 3 C^_b_b 5 ¦½^4¤ Xl¤_¡MyoX:WYg'¢Ëclbd¨Bgpkgl^_iCefns4efgX q lXtn0¤ g8yoXRnskX:u0^(4V u0clbhb_rl¡'cjnseoyfgliviC`vbhb_^(4u0c'ef^hg8i gpm¢'cpyf^_clVb_X:nY4vX:b q nY'u0gliCefcl^hivX0ynu0glyfyoXtnskgli q efgeoTVX6yoX:WYg'¢Ëclbpgpm¢'cpyf^dcpVb_X Y)4vX0b q Y'u0gliCefcl^hivX0y X q lX:n:¡VyfX:nokXtu#ef^h¢8X0b_rl¤¬S TVXcpV^_bh^he{refg 3 M^_bhb 5 ^_n8X0reogYeoTvXTV^_lT.kVyfX:u ^dno^hg8i-gl efTV^dnjcpivclbhrmno^_n:¤ ª X q X 4viVXacli.cl`mwm^hb_^dcpyfr 3 C^_b_b 5 `Vivu eo^_gliefg^_W=kvbhX:W=X:iCeefTVXnseoyfgliViM`Vb_b_(^ 4u:c'ef^hg8igp^ o 7 3*1
(135) k &5" #¤RS TVX 3 M^_bhb 5 `Vivu#ef^hg8ivn}gly 4X0b q n}g8y}u g8iCefcp^_iVX:y kg8no^ef^hg8ivncpyfX/^hWYkVb_X0WYX0iCefX q.q ^_yoXtu#eob_r^_iCeog=eoycpivnsX0y `vivu#ef^hg8ivn0¤ R^_¢lX0i ckgl^_i8en{Peog-lycpkVT¡ ¡
Documents relatifs
R´ esum´ e : On pr´esente des r´esultats autour du probl`eme suivant: pour un point mat´eriel dont l’acc´el´eration est born´ee par une constante donn´ee, et pour un
Ensuite, pour déterminer lesquelles des voix créées pouvaient être qualifiées d’« androgynes », nous avons fait un test de perception dans lequel nous avons demandé
Toutefois, des améliorations sont à prévoir car bien que la protection induite par ces glycoconjugués soit significative, elle n’est cependant pas optimale pour mettre
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
Venant compléter les nombreux guides spécialisés qui informent le touriste gay sur les différents lieux et structures qu’il pourra fréquenter s’il recherche son
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
[…] Chez nous, le parterre […] est composé communément des citoyens les moins riches, les moins maniérés, les moins raffinés dans leurs mœurs ; de ceux
But on another hand, increasing q at constant operative pressure results in decreasing the equilibrium pressure, by decreasing the operative temperature (Figure 9), and finally, it
