Control Problems with State Constraints for the Penrose-Fife Phase-field model

Texte intégral

(1)Control Problems with State Constraints for the Penrose-Fife Phase-field model Werner Horn, Jan Sokolowski, Jürgen Sprekels. To cite this version: Werner Horn, Jan Sokolowski, Jürgen Sprekels. Control Problems with State Constraints for the Penrose-Fife Phase-field model. [Research Report] RR-2491, INRIA. 1995, pp.22. �inria-00074184�. HAL Id: inria-00074184 https://hal.inria.fr/inria-00074184 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. 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 établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Control Problems with State Constraints for the Penrose-Fife Phase-field model Werner Horn, Jan Sokołowski, Ju¨rgen Sprekels. N˚ 2491 Fevrier 1995. PROGRAMME 6. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5) !"# $ &%'()"

(6) *" ,+.-/0%12

(7) 3" 4+6578 9:;"98. < =6>$? =@>"ACBD>E?4F GIH.?JIBLKIBDMNB.O"PK#Q1R1FGDS >$TL=6?JIU>$=6KI=6VWP X4YZ.[\YE]6^7^7_a`Cb cd]'egf$hDejif0kl_nmDokqpr.hI_.s ^7ZItDu$eqkgi]6oklZ.mv_noelZ.[6kgf0kl_$e8mLhI^7unYwkxr\hI_ X,YZ.y_nozhI^{]|o} ~]6IZ.Y0o(tD_"Y_1f0}I_nYEf0}I_m| |bI_nDYkl_nY"1\.b.C]6[._1i. n1'6."}Dkxi]6Yokgf0el_a[6kl._1i]6mZ.Iokl^{]@ekloiiwo_n^WZ.Y]f$Z.mDoYZ6e IYZ. Del_n^¢¡klo} iwoE]6o_ f$Z.miwoYE]'klmDoEi£Z.Y(]X_nmIYZLi_n¤¥¦kq£_"^7ZItD_$e£Z.YI}].i_CoYE]6mi§kloklZ.mi©¨ ª¬«L®¯°6±.²ioE]|o_³f$Z\mioYE]'klmDoEinsDZ.Iokl^{]@eklo iIio_n^ sDI}].iw_"oYE]|mi§kloklZ.m¨. ´Wµ¶·¸1¹8¶4º4»¼·¾½N¿1À Á¥Â£ÃEÄ$Ã0ÅÆ¦ÇÉÈ¾ÊË\Ì ÍnÎNË@Ï0Ë1ÊÐ$Ì ÑlÒ. Unite´ de recherche INRIA Lorraine Technoˆpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE` S NANCY (France) Te´le´phone : (33) 83 59 30 30 – Te´lećopie : (33) 83 27 83 19 Antenne de Metz, technopoˆle de Metz 2000, 4 rue Marconi, 55070 METZ Te´le´phone : (33) 87 20 35 00 – Te´lećopie : (33) 87 76 39 77.

(8)

(9) 94 2(4a $

(10) , . 2C9 9¢

(11) *" ( 4+.- %' m3unoht\kl_ tD_1iIYZ. De n^7_1itD_ f$Z\mLo!Y 6el_/]'._1f tD_1ivf$Z.mDoYE]'klmDo_1i{iwhIY7e " unoE]|o #Z.hIY7tD_1ia^7ZItDu$el_1i"mIZ\m eqklmIu1]'klY_1i7tD_oL#_{X_nmIYZLi_n¤¥¦kq£$_ #1X,}].i_n¤Np_$egt #.%¨ m tDunYkl._tD_1i f$Z.mt\kloklZ.miat " Z.Iokl^{]'eqklou"#Z.hIYel_1iIYZ. De n^7_1i tD_ f$Z.mDo&Y 6el_.¨ ' °#1n®) (* f$Z.mDoYE]'klmDo_1iihIYe " unoE]|o1sf$Z.mt\kloklZ.m t " Z.Iokl^{]'eqklou.s#oYE]6mi¾k¼owk¼Z\m tD_"I}].i_.

(12)

(13) ! " # $ " &% ''

(14) ()*,+.- %*/

(15) 0"1+3245 76#86 5 :9. "9 =§m o0}Dkxi4]|Yokgf0el_d¡_8f$Z.mi¾kxtD_nYZ.Iokl^{]'eIf$Z.mLo0YZ6eLIYZ\ De¼_nî[.Z6._nYmI_1t Dao}I_WZ6eqelZ6¡klmI[³iwio0_n^ Z68r\h].i§kl¤Neqk¼mI_1]|Ya]6YE]6 #Z6eqkxf_1r.h]|oklZ.mins ;. <. >(?A@. BDCFEG>#HJI,KL1M>ON&HQP M >ON R HVU C EXWY H P M>ON> ?([J\] RGZ. 1T. S. T Z.m_^ @a`cbdMe ]gf R*N s¡}I_nY_ àhci jk kxia] Z\hImtD_1t tDZ.^{]'klmv¡klo} ]{ihlf0k¼_nmDoel i^7ZDZ.o} #Z.hImtI]6YJm ` ¨ I L tD_nmIZ.o_1iC]tDZ.hI Del_{¡_$eqed#Z.o_nmDokg]'e¥¨Gn _ e¼_noGm ^ @ m òbdMe ]gf R N s]6mt kl^7#ZLi_"o0}I_a£Z6eqe¼Z6¡klmI[ Z.hImtI]|Y f$Z\mt\k¼owk¼Z\mi m(R @aHVrsM R HJt/N 9T Z.m mq^ mqp S m > @ue Z.m mq^ ] $ T mqp S ]6mt¬o}I_ klmDklokg]'e,f$Z\mt\k¼owk¼Z\mi >OMv ] eNw@u> L Mv N ] R Mv ] eNw@ R L MvxNzy T S }I_1iw_{_1r\h]6oklZ.miC]6Ykgi_klm ]^7ZtD_$eWZ\YaI}].i_7oY$]6mi§kloklZ.mi klmDoYZItDhf$_1t D X_nmIYZLi_]6mt ¦kq£|_ {l5 }~§&¨ =¥mo}Dkgi8iw_nooklmI'[ R3tD_nmIZ.o_1i4o0}I_(]6 iZ6elhIo_ o_n^7#_nYE]6ohIY0_.sL]6mt > ] mIZ\mI¤¥f$Z.mi_nY._1t Z.Y$tD_nY¤£]6YE]6^ _no_nY1¨ _n._nYE]'e]6#_nYEi4}]'._]6I#_1]6Y_1tCklm{f$Z\mImI_1f$oklZ.m{¡k¼o0}7o}I_F_ Dkgio_nmf$_(]6mt hImDkxr\hI_nmI_1iiZ6 iZ|e¼hIowk¼Z\mi8o0Zao}Dkgi8iIio_n^].i¡_$eqe ]\iZ.o}I_nY8]6m]'elDokgfn]'e ]\i_1f$oEiZ| o0}DkxiiIio_n^]6mtCY_$eg]6o_1t iIio_nîn8¨ n _7Y_$£_nY"o0}I_ Y0_1].tD_nY"o_Z {Ls4 9 s Is`Dws Ls5 ~4£Z.Y"iZ.^7_7i#_1f0kqpfoY_1]6o^ _nmLoEi©'¨ ^7Z\Y_a[._nmI_nYE]'e4t\kxi0f$hii§klZ.m Z6jiIio_nîZ64o}DkgioL#_ fn]6m #_a£Z.hImt klJm {É1 ~§¨ n _{¡keqe(^1] ._{i§kl^kqeg]6Y{]\iihI^7IoklZ.miklm o}Dkgi]6Yokgf0el_ ].iklo m {.s 9 ~¥sm]6^7_$el.s£Z.Yo}I_ L I #Z.o_nmDokg]'e ¡_a¡kqeqe8].iihI^7_ao0}]6o_$klo}I_nY I L' k1M.i jN ]6mt¬o}I_nY_"F_ DkgioEi ]{f$Z\mioE]6mDo e iwhf}vo}]6o I 0KKL M >&N H £Z.Y ]'eqe > i j ¨ Z.Y z I L @u> 4> [ M Y H_>ON$M Y H_>ON ¨ hIYo}I_nY^7Z\Y_.sI¡_(¡keqe4^{1] ._ao0}I_ WZ6eqelZ6¡klmI[ i¾k¼^ Dekq£.klmI[ ].iihI^7Iowk¼Z\mi R ? @. & Ë *,. S.

(16) . F5 z " w

(17) 0 5!q 5 3 [ s'£Z.Y8] ZDi§klokl._(f$Z.mio$]6mLo ¨4Z"i¾k¼^ Dekq£7mIZ.oE]|oklZ.mi¡_¡kqeqe sD¡klo}IZ\hIo @ 0> P M>ON elZLiiZ64[._nmI_nYE]@eklo.s#hi_ @ Y ]6mt @ue sk ¨ _.¨4hi_ P M>ON@u> ¨ ¥= mvo}I_a Z.hImtI]|Y f$Z.mt\kloklZ.mi¡d_ el_no r @ Y ¨. ¦ Z7ioE]6o_ ]6m{_FDkgio_nmf$_aY_1iwhDe¼o¡_ }]1\_oZ"^]1 ._aiZ.^7_Y0_n[.hDeg]6Yklo{].iihI^ IoklZ.mi]6mt{f$Z\^7¤ ]6owk¼ Dkqeqklo/f$Z.mt\kloklZ.min¨ =¥mv]6Yokgf$hDeg]6Y ¡_a}]1\_. H I L K M> L N [ +"* [ E > L, MvxN@ue ]'& v m `y > L M `N!#"%$ MvxN@ue '] & v m `( $ ) V * + k M ` N0R / MvxN@ * MvxN [ R L Mv N e ]'& v m `1 R L Mv N e ]2& v `/y .- R L. %$. ¦klm]'eqel.sI¡_k¼mDoYZItDhf$_aiZ.^7_43]6m].f0}{i].f$_1i,¡}Dkgf} ¡kqee #_¡kgtD_$el7hi_1t o}IYZ.hI[.}IZ\hIoo}Dkgi ]6Y0okgf0e¼_.¨ 5 C @ M6 e ]f 2R 7 M`NN8 C M 6 e ]gf 9R 7 ;: M`NN8 <: M6 e ]f R27 = : M`NN ] 5 : @ M6 e ]f R 7 k M`NN8 C M 6 e ]gf R 7 C M`NN8 > : M ^ N ] ? @ : Me ]f R = : M`NgN@8 C Me ]f R : M`NN ] A @ : Me ]f R CBD M m `NgNzy E(i§klmI[o}I_1i_"f$Z.mt\kloklZ.miZ.mI_fn]6mIYZ6._ao}I_ £Z6eqelZ@¡k¼mI[F_ Dkxiwo_nmf$_"Y_1iwhDe¼o S f0¨ {Ls 9 ~T FC1H° G°# IlJ IxL° K NM%!$1*PORQTS"6UOVXWYS" !" 2z6[Z]\O0 05 ^1!"_M0(a`#M0 7g" x*8D bM0 M> ] R N 5 Cb 5 : !08 `JM" $O2QTS!c@OdWYS 0D!M6 " e f 6 $gOih SjckOal#S[Z -mMF0F8 058%^ *" f *" (NnF? Á e!M f s" R M v ]gf Npo nF? Á %* 8" wMv ]gf N ^ V" (6 J f "1 z 05 D%^ * f *" ( eqr ? Á q ? Á q Y M f 0" ? 4 Á s >OMv ]f N s ? Á % " xMv ]f N ^ Z =¥m _1f$oklZ.m/ Z68o}Dkgi ]6Yokgf0el_¡_"¡kqeqe,iwoE]6o_Co}I_"Z.Iowk¼^]'ejf$Z.mDoYZ6eIYZ. Del_n^ ¡k¼o0} iwoE]6o_ f$Z.miwoYE]'klmi]6mt*t\kxi0f$hiik¼o'!¨ =¥m _1f$oklZ.m 9 ¡_{¡keqeklmL\_1iokl[L]6o_ o}I_{Y0_$ex]|o_1t Z\ i_nY@]|oklZ.m Z.#_nYE]6oZ\Y"]6mtvIYZ6._akloEiCt\uk t_nY_nmDokg]6 Dkqeqklo¾ k¼m o}I_7i_nooklmI[Z6 _1f$oklZ.m I¨"¦klm]'eqel.s¡_ ¡keqe tD_nYkl._Co}I_"mI_1f$_1i0i]6Yf$Z.mt\kloklZ.miWZ.YZ.Iokl^{]'eqklo7klm _1f$oklZ.m Z64o}Dkgi]6_nY1¨ v w " $

(18) }I_ ioE]6o__1r\h]6oklZ.mi S 1 Tx S T[|k¼\_Ykgi_oZi_n._nYE]@eIk¼mDo_nY_1iwoklmI["Z.Iokl^{]@ef$Z.mLo0YZ6eIYZ. Del_n^{i©¨ =§mo}Dkgi]6Yokgf0el_¡_¡]|mLooZ f$Z.mDoYZ6eo}I_ iwoE]6o_ M> ] R N D hi¾k¼mI[*o}I_ iZ\hIYEf$_o_nY^ \ k¼m T]|mt*o}I_{ #Z.hImtI]6Y o0_nY^ t klm $ T"].if$Z.mDoYZ6eginP¨ yZ6¡_n._nY1s¡_¡]6mLoCoZ IhIoelZfn]@e Sf$Z.miwoYE]'klmDoEiZ.mo}I_"iwoE]6o_"].i¡d_$eqe¥¨ S z{ mza|.

(19) .

(20) ! " # $ " &% ''

(21) ()*,+.- %*/

(22) 0"1+3245 76#86 5. =¥mZ\YEtD_nYoZvWZ.Y0^ hDeg]6o0_o}DkgiIYZ. Del_n^ k¼m3]vIY_1f0kgi_ ^{]|mImI_nY7¡_mI_n_1t oZvklmLo0YZtDhf$_ iZ\^7_"].tIt\kloklZ.m]'e4mIZ.oE]6owk¼Z\m¨ n _ ioE]|Yo8 D tD_$pmDklmI[{o}I_f$ZLio£hImf$oklZ.m]'e C M> ] R \] t/N @ r >OM f R N&H>& M f R N : D [ r : R H

(23) R : D . `T ? Á S [ r k \ : D [ r tM f N : D fz]. £Z.Y[6kl._nmvoE]6Y[\_no8£hImf$oklZ.mi > A/. @. t. . A. 5 C. L ]6mtR 5 : ¨z_FIoel_no. tMv ] eNO@ R / MvxN ] & v m `( t/Mv ]gf No ] t ? Mv ]f N q ] & Mv ]f N m ^. . . !]. ¡}I_nY0_ R*/ kgio}I_£hImf$oklZ.m k¼mDoYZItDhf$_1t L S y T]6mt ]6mt ]|Y_(ihDkloE]6 Del{f0}IZLi_nm ZLi§klokl._ f$Z.miwoE]6mDoEin¨wn _"hiw_ao}Dkgi(i_nooZCk¼mDoYZItDhf$_ B @ ? b A/. }I_i_no"$#&% Z|j].tD^kgii§kl Del_{f$Z.mDoYZ|exi,kgi ]7f0elZLi_1t s f$Z.mL\_F¬]6mt #Z.hImtD_1t iwhI i_no(Z| B ¨ Z ioE]6o0_o}I_elZIfn]'eiwoE]6o_ f$Z.miwoYE]'klmDoEi¡_ hi_vo}I_ f$Z.mioE]|mLoEi e q B#CPq B : 6] mt B k q B o0Z tD_$pmI_. '$#(% *@ ) M> ] R. . +. N 5 Cb 5 : B#C s R Mv ]gf N s B :. !]. B k s >&M v ]gf N s B ]'& Mv ]f N ^. T. S o}I_i_noZ64].tD^kgii§kl Del_7ioE]6o_1i©¨jzZ.o_.so}]6oo}Dkgi(iw_no}].i]mIZ\mI_n^7Io7klmDo_nYklZ.Y1¨ n _"fn]6m mIZ6¡ ioE]|o_ao}I_aZ.Iokl^{]@e¦f$Z\mLoY0Z6eIYZ. Del_n^ hImtD_nYaf$Z.mi§kgtD_nYE]|oklZ.m¨ , G¦J I (.-CL° K1'° ( F"'° (x« - F8 /¬k¼mDkl^1k 0n!_ M> ] R \] tN hImtD_nY(o0}I_ WZ6eqelZ6¡klmI[ f$Z\mt\k¼owk¼Z\mi .¨ M > ] R N i]6okgi§p_1io0}I_dioE]|o_4_1r.h]|oklZ.mi S 1 Tx S T]6mtao0}I_4klmDklokg]'e ]6mt Z.hImtI]|Y f$Z\mt\k¼owk¼Z\mi S 9 Tx S T$¨ I¨ M \] tN "$#(%I¨ 9 ¨ M > ] R N '$#(%L¨. « *32. & Ë *,.

(24) `. F5 z " w

(25) 0 5!q 5 3. c4el_1]6Yel"o0}I_4klmDklokg]'e6]'elhI_1i M> L ] R L N ^hio]'egiZai]6okgi§£ao}I_f$Z.mioYE]@k¼mDoEi B C s R MvxN s B : ]6mt B k s > L MvxN s B £Z.Y(]'eqe v ` ¨ }I_7]6hIo}IZ.Y$iZ6 {ln1 ~4f$Z.mi§kgtD_nY_1t ]i§kl^kqeg]6Ya IhIoa¡_1]1 ._nY(f$Z\mLoY0Z6eIYZ. Del_n^ ¨=§m/]|Y¤ okgf$hDeg]6Y1sIo}I_nt\kgtmIZ.oIhIoelZfn]'e4f$Z.mioYE]@k¼mDoEiZ.mo}I_"iwoE]6o_.$¨ /vZ.Y_nZ6._nY1s\o}I_$klY(o0Y_1]6o¤ ^7_nmDo£Zf$hiw_1iZ.mvo}I_a£hImf$oklZ.m I KL M >&N@o>!HJ> k 4¨ yZ6¡d_n\_nY1sIo}Dkgieg]6oo_nYY_1ioYkgf$oklZ.m fn]6m #_"_1].i¾kelvY_n^7Z6._1t]6mt¬o}I_$klY³]6Y0[.hI^7_nmDoF_ o0_nmtD_1t o0Z7o}I_ fn]\i_1i Td]6mt 3T klmL._1iwokl[L]6o_1t }I_nY_ S i_n8_ {É5 ~¥s\WZ.Y]" i \_noEf}Z6o}Dkgi]6Y[.hI^ _nmLo T$&¨ n _afn]6moS }I_nY_$£Z.Y_ S hi_ o}I_$klY(Y0_1ihDeloEi¡}I_nmI_n._nY o}I_n]6Y_"]6IDeqkgfn]6 Del_.¨ =¥m7o}I_ iohtDZ6o0}I_(f$Z.mDoYZ6eIIYZ. Del_n^ cdX Tklo4kgi,hi_$WhDe oZ klmLo0YZtDhf$_ o}I_Z\ i_nY@]|oklZ.m Z.#_nYE]6oZ\Y d¨4¦Z{tDZ7o}Dkgi¡d_"tD_$pmI_Co}I_"iS ].f$_CZ6Z. iw_nY@]6owk¼Z\mi D @ M M63e ]gf R 7 : M `NgNgNb M M6 e ]f R 7 : M`NgNNzy T S zF_ o tD_$pmI_ B T S M \(] t/NAM > ] R N ] }T S k¥¨_.¨ ].ii§kl[.mioZ7_n\_nY]'klY M \] tN B o}I_"]'klY M> ] R N ¡}Dkgf0} iZ6el._1i S 1 Tx S TWZ.Yo}I_ [6kl._nm \ ]6mt t ¨ klmf$g_ 5 Cb 5 h ]6mt D.klYo0hI_ Z|,X,YZ.ZDi§kloklZ.m "o}DkgiZ._nY$]6oZ.Y kgiC¡_$ee(tD_$pmI_1t ;¨ E(i¾k¼mI[ o}DkgiCZ.#: _nYE]6oZ.YCZ.mI_{i_n_1iCo}]|o"o}I_{f$ZDioa£hImf$oklZ.m]'e M> ] R \] t/N tD_n#_nmtIi Z.mDelZ.mo}I_"f$Z.mDoYZ6egi \ ]6mt t k¥¨ _.¨4¡_"fn]6m Y0_n¡Yklo_ klo(].i . M \] tNw@. M> ] R \] tN. " > +.

(26) > y. =¥mo}I_4£Z6eqelZ6¡klmI["i_1f$oklZ.m¡_4¡kqeeiwohtD"o}I_IYZ.#_nYokl_1iZ6Io}DkgiZ._nYE]|oZ.Y ¨&=¥m _1f$oklZ.m 7o0}I_1i_"IYZ\_nYokl_1i¡keqe4 _Chi_1toZ7tD_nYkl._Co}I_"mI_1f$_1i0i]6Yf$Z.mt\kloklZ.miZ6jZ\Iokl^{]'eqklo¾.¨ 7« 3 24 klmf$_ o}I_]6hIo}IZ.Y$iZ6 {ln1 ~t\kgtmIZ.o8f$Z.mi¾kxtD_nYioE]6o0_df$Z.mio0YE]'klmLo$ins6o}I_n f$Z\hDext hi_]Ceg]6Y[._nY i].f$_aZ64Z. i_nY6]6oklZ.mi¡k¼o0}/]7f$ZL]|YEi_nYoZ.#Z6elZ.[..¨ 0 % ¦ w 0a w { n _CmIZ6¡ ohIYmvZ.hIY(]6oo0_nmLoklZ.mo0Z7o}I_"Z\ i_nY@]|oklZ.m Z.#_nYE]6oZ\ Y tD_$pmI_1t¬k¼m Tx } TE¨}Dkgi Z.#_nYE]6oZ\Ykgiv¡d_$eqel¤¥tD_$pmI_1t s7]6mt x ]'egiZ tDhI_ o0ZX4YZ.#ZLi§kloklZ.m ; x3o}I_nY_ S F_ DkgiS o ZLi§klokl._ f$Z.miwoE]6mDoEi r ]6mt ihf}o0}]6o .1 T S > R M[ v ]g f RNo D s re ] ] & & M M v \(]g] f t/N N ^ " y #(% ] 1 T S. z{ mza|.

(27)

(28) ! " # $ " &% ''

(29) ()*,+.- %*/

(30) 0"1+3245 76#86 5 . /vZ.Y_nZ6._nY's#k I L M>ON kgiaZ6o}I_ WZ.Y0^²[6kl._nm lk m fn]\i_ s o}I_nY_7_FDkgio f$Z\mioE]6mDoEi ? Á q Y ihf}vo}]6o ? Á4s >OMv ]gf N s ? Á ] & Mv ]f N ^ y. . e;q ? Á q. 9T =¥m Z.YEtD_nY oZ7IYZ6._"t\kbt_nY_nmDokg]6 Dkqeqk¼o Z|jo}I_CZ. i_nY6]6oklZ.m Z.#_nYE]6oZ.Y Z\mI_"}].ioZpYEiwo kl^7IYZ6._Co}I_7ioE]6 DkqeqkloY_1ihDeloaZ6 {ln 1~¥¨¦ZtDZ{o}Dkgi¡_ael_no M> ] R N@ M \ ] t N ] @ Y ] ]6mt M \ ] t N "$#(%I¨wn _dtD_$pmI_ >@u> C$H'> : s R @ R C$H R : s \ @ \ C H \ : s.]6mt tc@utVC H't : ¨ E i§klmI[{o0}I_1i_"mIZ.o$]6oklZ.mi¡_a}]1\_ao}I_ WZ|eelZ6¡klmI[Y_1ihDelo1¨ FC1°HG°#IlJ IxL° K - \&05 '^1'" f *" e!M f !0" ?Á L ? ? Á W > ? M f N : [ >OM f N : B [ R : D [ R ? M f N : D Z [ L > ?? M f N : f ?Á [ W > ? M f N : [ R ? M f N : n $T f M \(] t N ]. . L. w05. . . . . Z. s. L ? Á ) tV? M f N : D [ \ ? M f N : [ \ M f N : , f : : \ MeN : [ t L > ? Á

(31) D . [ L ? ? Á tM f N D y. }I_nZ.Y0_n^ I¨l Z6V{ln 1~¡_ DmIZ@¡3o}]|oo}I_nY_a_FDkgioEi ]7f$Z.mioE]|mLo o}]|o ?Á : : : L ? ? Á W > ? M f N [ >OM f N B [ R Z [ L W > ? ? M f N : [ R ? M f N : Z f ?Á [ W > ? M f N : [ R M f N : f M \$] tN ] FC1° °EIY0Z.^. ¡}I_nY0_. S. M \] tN@ [. L. S. . DZ s ?Á M \$] tN@ L \ M f N : f&[ t : L > ? Á

(32) D . y . 1 T ihf0} e. S. . S. 1`T. 1 T aiklmvo}]6o]6_nY R&i]|okgi§p_1io}I_ £Z6eqelZ@¡k¼mI[ eqklmI_1]6Ya]6YE]6 #Z6eqkgfa Z\hImtI]6Y@]'elhI_IYZ. Del_n^ ¨ R ?&HJE ) R , @ > C > ? >#H_> : > ? [ \$] T S m R [ R @ t ] R Mv ] eNw@ue ] & v ` ] y 1 T mqp S. . & Ë *,. S.

(33) F5 z " w

(34) 0 5!q 5 3 . ¡}I_nY0_ @oM R C R : N C ¨ i_nY._o0}]6o8¡_}]'._ = M ^ N ]6mt ? = : M ^ N s6 _1fn]6hi_ Z6 o}I_Y_n[.hDeg]6YkloIYZ._nY0okl_1i4Z6&R £YZ.ô}I__FLkgio_nmf$_a]6mthImDkgr\hI_nmI_1iiY_1ihDeloEi S f0w¨{.s# 9 ~TE¨ n _fn]6mmIZ6¡ oE]1 \_(o}I_aowk¼^ _ tD_nYkl@]|okl._"Z6 T,]|mt 1T4oZ7Z\ IoE]'klm S S ) , }T R ? ?&HJE R ? @ >qC > ?? >#Hd> : > ?? [ > ?: [ \ ? ] S @ ] I1 T S m R ? [ R ? . T @ tV? ] y m p S Z.Yo}I_ klmDklokg]'e4@]'elhI_1i Z6 R ? Z. i_n Y._ ) E ) R , [ > C ? > [ > > ? , M v ] eN [ \ Mv ] eN > :. R ? Mv ] eN @ @. \ Mv ] eNFy. hIYo}I_nY^7Z\Y_.sI¡_(Z\ i_nY._ao}]|o L ? Á &M f N : f s nC M \$] tN [ L ? Á \ ?.M f N : fz] D o0}I_IY_n.klZ.hi Y_1ihDeloEin¨ ¦Z f$Z.mDoklmLhI_¡klo} Z\hIY7IYZDZ6(¡_^hDe¼owk¼Del S }Ta L klmDo_n[.YE]6o0_ao}I_aY_1ihDeloklmI[_1r\h]6oklZ.mZ6._nY ` oZ{]|YYkl._"]6o Y R ? M f N : [ f . . R ?. m ) MfNR MfN, ? H v R ? M f N 6 $T m p S C : s. &M f N : [ Y C R ? M f N ÉijklmI_1r.h]'eqklo.¨d}I_@]'elhI_ Z6 C ¡kqeqe #_³tD_no_nY0 ^klmI_1teg]6o_nY'¨. R ? M f N ) M f N R M f N , ? v. ]'£o_nY]6IDel.klmI[ S 9 T]|mt

(35) 4Z.hImI[ " zF_ o¡d_aZ\ i_nY._ao}]|o. . . 9T ]6mt S. . R ? M f N ) M f N R M f N , ? v. @. @. @. . . R ? M f N ) ? M f N R M f N [. . . M f N R ? M f N : v [. . . [. . [. . ? M f N . . . R ? M f N R M f N . . . v. . . R M f N R ? M f N ? M f N v. . R ? M f N R M f N v. M f N R ? M f N : v [. . M f N R ?.M f N ,. . . . MfN v. C MfN [. : MfN [ k MfN z{ mza|.

(36)

(37) ! " # $ " &% ''

(38) ()*,+.- %*/

(39) 0"1+3245 76#86 5. _ fn]6m7_1iokl^{]|o_o}I_o_nYîZ.m7o}I_Ykl[.}Do8Z6 o}Dkgieg].ioklmI_1r\h]'eqklo¾ klmt\kl.kgtDh]'eqel ].i¦£Z6eqe¼Z6¡(i©¨ n. s. R M f N ? M f N 1. : : s : R ? M f N [ Y ?.M f N : R M f N ] R ? M f N R M f N : ? M f N 1. : : s k R ? M f N [ Y ? M f N : R M f N D 1 ] R ? M f N R ? M f N k M f N 1. : : s R ? M f N [ Y M f N : 1 R ? M f N y. : MfN s. . C5M f N . k MfN s. R ?MfN. . =§m. _1]\f}CZ6o}I_1i_,k¼mI_1r\h]'eqklokl_1i4Z.mI_fn]6mC_1iokl^{]6o0_4o}I_k¼mDo_n[.Y$]'eLZ6._nY f Z6o}I_i_1f$Z.mto_nY^ Z.m o}I_CYkl[.}Do.kg] M \ ] tN ¨}I_a@]'elhI_1i£Z.Y ¡kqeqej #_ tD_no_nY^ k¼mI_1t¬eg]6o_nY'¨8IZ.Yo}I_a Z.hImtI]|Y. o_nY0^¢¡_aZ. i_nY._ao0}]6o H. . . R ? mf m. m )R , m p. . v @. R ? m ) ) t H R , , v m f H R ? m ) R : M R C M t : H R : N [ R : MtVC H R C,NgN , v m f R ?: v H R ? ) tH R , ? v8H R ? t ? v [ R ?: ) : M R C Mt : H R : N [ R : MtVC H R CNN , v [ R ? R ) : M R COMt : H R : N [ R : M.tVCH R C,NgN , ? v R ?: v [ C5M f N [ [ k M f N [ M f Nzy H. @. @ n. . _fn]6m ]6[L]@k¼m_1iwokl^{]6o_ao}I_ao0_nY^{iklmt\kl.kgtDh]'eqeg ].idWZ6eqelZ6¡(in¨. C5M f N . : M f N k M f N & Ë *,. . [ :.

(40) R ?.M f N D [ n R ? M f N : D s :. R ?.M f N D. s s s. n n W tM f N : [ t? M f N : D ] : . R ? M f N [ n R. R M f N : Z ? : ] . ?MfN : ].

(41) }. F5 z " w

(42) 0 5!q 5 3. M f N s. . [ Y R : ) : M R C Mt :. R ?.M f N D. : : H R : N [ R : Mt C H R C N N , ? . y. YZ.^2o}I_oYE].f$_Co}I_nZ.Y_n^ 6] mt¬o}I_ Z. Z|e¼_nvkl^ _1tIt\klmI[ o0}I_nZ.Y_n^ S i_n_.s£Z.Y(_F]6^7Del_.s {lF~ £Z.Yo}I_ Z\ Z6el_n o0}I_nZ.Y_n^ £.Z YWY$].f$oklZ.m]'e_FIZ\mI_nmLoEi*T8¡_a}]1\_ao}I_a£Z6eqelZ@¡k¼mI[f$Z.mDoklmLhIZ\hi kl^ _1tIt\klmI[Li \ \ @ C M`N D M m `N = M m `Nzy . T S E i§klmI[ o0}Dkxi ¡_ fn]6m #Z.hImt o0}I_ okl^7_¬k¼mDo_n[.Y$]'egiZ6ao}I_/i_1f$Z\mt o_nYîZ.m o}I_vYkl[.}Lo L M \$] t N G¨ Wo0_nY"f}IZDZLi§klmI[ o}I_ "Éiaih l f0kl_nmDoel i^{]@ee¡_{f$Z.^ DklmI_{]'eqedo}I_ _1iokl^{]6o_1ioZ [._no ]'Wo0_nYklmLo_n[\YE]6oklZ.mZ6._nY f. . . 1 I. ? Y R ? M f N : [ n L R ? MI)N :. . s s. . . C M\ ] t N [ Y R ? MeN : : M\ ] t Nzy. }I_CY_1ihDelomIZ6¡3kl^7^7_1t\kg]6o0_$e¼¬WZ|eelZ6¡(i£YZ.^ _$eqeqklIokgfY_n[.hDeg]6Yklo_1iokl^{]|o_1in¨ =¥m Z\YEtD_nYoZC£Z.Y^hDeg]6o_ao}I_amIF_ IoY_1ihDelo ¡_ k¼mDoYZItDhf$_"o0}I_"i_noEi B M \] tNO@ ) M

(43) ] (N ? b A P e ihf0}o}]6o M \ P ] t P (N "$#(% ] .`T S £Z.Y M \(] t/N " #(%I¨ FC1H° G°# IlJ IxL° K NM%!$1*<ORQTS " (6gO1W SV0 6" (6M \(] t/N " #(% Z \&05|V0F" $ " . B >. ]. . 0")D" 6 f " 6 F5" #M

(44) ] N@ M \(] t/N'd0!6 f B M

(45) ] (NYZ#-LMg+ 05z8 %|" M \] tN@ M > ] R N9 !6 f (" 6 5z"5 M ] N 5 C8b 5 : s0 M `JM8 b M0 %'08 (z" " "0 f " +ggM0(6 " e" bM q 0 w?&H_E @ WY H_I KKL M>ON H > 0] R Z R : ? H_E W @ M.> N ? [ ] R :Z m @ce ] m [ @ ] m ` ] m p m p Me ] v Nw@ue ] VM e ] vxN @ ` \& f z i 6 [ ,Y M (0 61$% 0V6 f (" 6 5z " 5! > M \] tNw" (M \] tN 6 f

(46) M ] (N B M \(] t/YN Z. . . . z{ mza|.

(47) \.

(48) ! " # $ " &% ''

(49) ()*,+.- %*/

(50) 0"1+3245 76#86 5. FC1° °EaiklmJ{ln 1~¡_ el_no. M> ] R N@. . M \[ P ] t [ P (Nzy. hIYo}I_nY^7Z\Y_.sI¡_(hiw_"o}I_amIZ.o$]6oklZ.mZ64o}I_aIY_n\klZ.hi(X,YZ.#ZLi§kloklZ.m/]|mt e¼_no >@u>H_> . R @ R H R . . @. RR. Y y. ¦ klm]'eqel.stD_$pmI_ @ >#H P @ R H P y =§o4kgi8f0el_1]6Yo}]6o4o}I_eqklmI_1]6Y]6YE]| Z6eqkgfiIio_n^ k¼m o}I_(ioE]|o_n^7_nmDoj].tD^ k¼o$i8] hImDkgr.hI_aiZ6elhIoklZ.m M

(51) ] N 5 Cb 5 ¨ ¦Z f$Z.mLowk¼mDhI_ihIIZLiw_{o}]|o M

(52) ] (N B M \] tN ]6mt*ihIIZLiw_o}]6o o}I_nY0_akgi] P e i: hf0} o0}]6o M \[ P ] t [ P (N "$#&% ] & P Me ] P N ¨ n _"}]'._aoZ7i}IZ6¡ M ] N @M P N ] ].i P e y T S E i§klmI[aZ.hIY4mIZ.oE]|oklZ.m ]6mt Z. i_nY0._8o}I_,WZ|eelZ6¡klmI["iIio_n^ Z6IeqklmI_1]6Y8]6Y$]6 Z6eqkgf Z.hImtI]|Y 6]'elhI_ IY0Z. Del_n^{in¨ > > ?&HJE @ I KL M>ON&HJI KL M> N H P I KKL M>ON

(53) [ R H R : [ R R : H > R S T : F?&H_E W @ >(? [ > ? [ > > ? H_E R . T R :Z R. S m @ue m [ @ce 9 }T Z.m m ^ mqp m p S e @ Mv ] eNw@Mv ] eN 9 1 T S n _CIYZ6._ Tklm/i_n\_nYE]'ejio0_nin¨ o_n S =¥J m {xn1 ~o}I_"]6hIo}IZ\YEii}IZ6¡ o}]6o ?Á ) ) : : : : : , f [ f [ M N M N L ? ? Á L ? MI)N [ MI)N [ M I1N D , I s P ] 9 T S

(54) ). £Z.Y8]aihDkloE]6 Del_(f$Z\mioE]6mDo Q e w¨ n _f$Z.mDoklmDhI_WY0Z.^&o0}I_nY_ L^hDeloklDe¼\klmI[ S . T L + D , ? ¨ Wo0_nYklmLo_n[\YE]6oklmI[7o}I_CY_1ihDeloklmI[_1r.h]6owk¼Z\mZ@\_nY `cb_6 e ]f 7 ¡_aZ. IoE]'klm. L ? F? : I R . & Ë *,. [. . W m W v I R : Z ? m p ? R : Z v IH L ?R kR ? v I ]. ? : Y W MfN H L R :Z ? ? ? @ L W H R R : R k Z. . S. S. 9 9 T 9 $ T.

(55) 1. F5 z " w

(56) 0 5!q 5 3. ¡}I_nY0_ gk i[6kl._nm D. :. R. >? [ > ? [ > > ? H_E. R . y. YZ.^ X,YZ.ZDi§kloklZ.m "]6mt¬o}I_a_1]6Yeqkl_nY(_1iwokl^{]6o_1i¡_"i_n_ao0}]6o ? Á OMI)N : I C ]. . L. s. £Z.Y(]7iwhDk¼o$]6 Del_ f$Z.mio$]6mLo C ¨ IhIYo}I_nY0^7Z.Y_.sD¡_(}]'._ ? Á R ? MI1N : I. R. L. k. . P. s :P]. tDhI_CoZ7_1]6Yeqkl_nY _1iokl^{]6o_1i©¨jZ.Yo}I_a #Z.hImtI]6Yo0_nY^¢¡_aZ. i_nY\_ }I_nY0_$WZ.Y0_a¡d_a}]'._. L ? . m W W R : Z ? mqp R : Z. m W @ W t H YZ y m p R : Z R : R. v I . @. s s. =§mo}I_eg].io. s. L ? W W H t v I R :Z ? R : Y R Z nC M f N : R : ? [ n: L : W t v I R Z ? : n C W R : M f N Z [ n k M f N : . ? t [ n : L MI1N : W R Z ? I ? : nC W R : M f N Z [ n P [ n L MI1N : I . . qe klmI_ Z6ao}Dkgi7_1iwokl^{]6o_¡_hi_1t S \TE¨c8Z.^ DklmDklmI[ o}I_1iw__1iokl^{]6o_1i©s8hi§klmI[ 4Z.hImI[ "ÉiklmI_1r.h]@eklo/]|mtf}IZDZLi§klmI[ iwhl f0kl_nmLoel i^{]'eqe¡_aZ. IoE]'klm. : [ ? Á F? : W f M N L ? ? Á R : Z L R I s k P y z{ mza|.

(57)

(58) ! " # $ " &% ''

(59) ()*,+.- %*/

(60) 0"1+3245 76#86 5 9 =§okl^7^7_1t\kg]6o0_$e¼£Z6eqelZ6¡(i . L ? ? Á. ?Á. F? : I. 9 T. s Py. S. o_n $ =¥m o0}I_amI_Fo(iwo_nsI¡_aoE]1 ._ o}I_tD_nYkl@]6okl._CZ6 T4¡klo}Y_1iw_1f$o oZ f 0o Z7[._no S ??&H_E ?w@. ) I KL M>ON H_I KL M> N H I KKL M>ON

(61) , [ W H > [ > R : H > R y ? P R R : R Z ?. _CZ. i_nY\_ao}]6o n. . . : [ L. M f N. C >? . 9 ` T S. ) I KL M >&NwH_I KL M>N H I KKL M>ON

(62) , ? P >(? ) IKKL M>ON H_IKKL M> N H_I,LKKK M >&N > , [ I,LVKKK M>ON>(? [ I KKL M >&N ? [ ) I KKL M>N H_I KKL M>ON , > y . @. . s. . E i§klmI[{o0}I_a^7_1]6mI¤£@]@e¼hI_o}I_nZ\Y_n^¢Z.mI_a_1].i¾kel i_n_1io}]6o. L?Á. . . C > ? MI1N : I s n P ]. . £Z.Y(]7iwhDk¼o$]6 Del_ f$Z.mio$]6mLo n 8¨ z_FIo¡_aZ. i_nY._ao0}]6o. > R R k ? H. >(? : > H R R ?R : R R : R : R : R R : [ > R R ? [ > R : ?&H > ? R H > R ? H > R ? R R klmf$_ Z.o0} > ? ]|mt!R ? ]|Y_a_$el_n^7_nmLo$iZ6 M 6 e ]gfR 7 C M`NgN ¡_"i_n_ao}]6o ?Á 9 T : > ? MI1N : I s n P ] L S £Z.Ya]ihDkloE]6 Del_{f$Z.mio$]6mLo n ¨ ZkqZ.mI_^ hDeloklDeqkl_1i S 9 `T L ? ]|mtklmLo0_n[.YE]6o_1i o0}I_"Y_1ihDelo Z6._nY ` b_6 e ]gf 7 Z.mI_a[._noEikl^7^ _1t\kx]|o_$el. : >? @. ? H R ? H > ? [. . n. . . . F? [. . . L ? ? Á ?.M f N : [. >. 9 T S. L?Á. ?.MI)N : I. _fn]6mmIZ6¡&]6IDelo}I_"io$]6mtI]6YEt_$eqeqklIokgfY_n[.hDeg]6Yklo_1iokl^{]6o_1ioZ[._no L ? ? Á M f N : D s P y & Ë *,. S. 9 T S. 0}T. s P.

(63) n . F5 z " w

(64) 0 5!q 5 3. hIYo}I_nY^7Z\Y1sD¡d_"fn]|m^ hDeloklDel S 9 ` Tj D ?? Ds klmLo_n[\YE]6o_ o}I_aY_1ihDelo Z6._nY 9 T8]6mt 9 T8]6[L]'klmoZ[._no S S ?Á : ? [ L ? ? Á L ? ? MI1N : I s P ] £Z.Y(]7iwhDk¼o$]6 Del_ f$Z.mio$]6mLo ¨ o_n 9 Z{f$Z\mLoklmDhI_"¡_aoE1] \_(o}I_aowk¼^ _ tD_nYkl@]|okl._"Z6 S . Tjo0Z Z\ IoE]'klm ?? HdE W. ¡}I_nY0_. . k >? @. . R :Z ?. ` b_63e ]gf 7. ]6mt¬hi_. k > ? Mv ]gf N ] @. R. > ? [ > ? [ > > ? HJE. 1T S. S. :. R ?. LT. y. s#¡}Dkgf}v}].io}I_i]6^7_aIY0Z._nYowk¼_1i ].iI¨ n _ E ) R : , ? @ R ? E R [ R R ? [ R ? R [ R E R ? [ R R ? [ R R ?.E [ R : ? [ ? R E R [ R R ? [ R : E ?gy E i§klmI[{o0}I_"Y_1ihDeloEiZ68X4YZ\ZLi§kloklZ.m*.sI¡_"fn]6mv Z.hImt R M f N D L n P £Z.Y(]ihl f0kl_nmDoel eg]6Y[\_"f$Z.mioE]6mDo n ¨4hIYo}I_nY^7Z\Y_.sD¡d_ DmIZ@¡3o}]|o R3}].io}I_a i]6^ _(Y_n[\hDex]|Yklo¾].i C ¡}Dkgf} ¦ Z i¾k¼^ Dekq£ mIZ.o$]6oklZ.mi¡_ klmLo0YZtDhf$_ Z. iw_nY._ao}]6o. @ +. _nm]6 Del_1i hio0Z7 Z.hImt¬o_nY^{iZ64o}I_ £Z.Y^ ? Á R : I ] ]6mt L. . D. L ? ? Á R ? M f N. D f$Z.mioE]|mLoEi©¨4c8Z.^ DklmDklmI[{o0}I_1i_"IYZ\_nYokl_1i¡_"i_n_ao}]6o ? Á E ) R : , MI)N : I nC L L. . ?. . £Z.Y(]7iwhDk¼o$]6 Del_ f$Z.mio$]6mLo nC L w¨ =§o£Z6eqelZ@¡ io}]6o L ? Á k > ? MI)N : I . s. s n CgC P : y. P. . . :. S. 9T. z{ mza|.

(65)

(66) ! " # $ " &% ''

(67) ()*,+.- %*/

(68) 0"1+3245 76#86 5. n. '. _C^hDe¼owk¼Del S DT4 L ? 6] mt klmDo_n[.YE]|o_ao}I_aY_1ihDelo Z6._nY `cb_6 e ]f 7 oZ7[._no ?Á ?Á Y F?gM f N : [ L F? W v IVH L F? m W v I R :Z ? m p R : Z ? D ? Á D ?Á ? MI1N : I F? MI1N : I nC k ] s. L. . . k>. L. . . s. :P. £Z.Y(]7iwhDk¼o$]6 Del_ f$Z.mio$]6mLo nC : w¨ n _CmI_FoZ. i_nY._ao0}]6o L ? Á F? W v I @ L ? Á F? W F? H R ? v I R :Z ? R : R k Z ? Á : F ? @ L MI1N I ? Á R ? H L F? W R [ R v I R k R k Z ?Á R ? [ ? W 8R H 8R ? v I. . L. R . R k. Z. mI_{iw_n_1i o}]6o o}I_^k_1t o0_nY^{iZ.m o }I_Ykl[.}Lo"fn]|m/ #_oY_1]6o_1tv\kg] 4 Z.hImI[ "ÉiklmI_1r.h]'eqklo.s ]6mt¬o}]6o¡_"fn]6mhi_Co}I_ ]\f$oo}]6o L ? Á : D I s nC ] P ]6mt¬o}I_aZ.o}I_nY_1]6Yeqkl_nY(_1iowk¼^]6o_1iZ.m 8¨ ¦klm]'eqel¡_aZ. i_nY\_ L ? Á F? m W v I @ L ? Á F? W Y m F? H F? mR v I m p R : Z ? R : m p R k m pZ ? Á [ L F? W R ? m(R H R ? m H m(R ? v I R mqp R k m p R k m p8Z ? Á : ( m R @ H L ? W Y [ Y v I R : R m p Z ?Á H F? W R ? [ mR ? H R ? m(R v I. =§m o}I_ pYEiwoo_nY^¢¡_aZ. iw_nY._ao}]6o Y [ & Ë *,. L. RY. . R k. m(R = M Nzy m ^ Rmqp. m p. R : m p Z.

(69) 1`. F5 z " w

(70) 0 5!q 5 3. =§m o}I_"i_1f$Z\mto_nY^. E i§klmI[{o0}Dkxi¡_a[._no ? L Á . F?. Z.mI_a}].i. ? W R ?([ m(R H R k m p. i_nY0._"o}]|o. R ? m(R = : M e ]gf R = M m `NgNzy R : m p Z. Y W R ? [ m(R ? H R m p R ? m(R R : m p Z. v I s . ?Á L F? : : I R D D . D. M f N : D s C L y P }Dkgikl^7Deqk¼_1i o0}]6o¡_"]6Y_ el_$£ooZ7oY0_1]6o_1iokl^{]6o_aZ|jo}I_ £Z.Y^ L ? Á F? : Iy R D . y. _tDZ7o}Dkgi D{hi¾k¼mI[ L ? Á MI)N : D I s L ? Á MI1N : I [ L ? Á MI)N : I ] . £Z.Y{] iwhDk¼o$]6 Del_/f$Z.mio$]6mLo ¨ n _ fn]|m mIZ@¡2f$Z.^ Dk¼mI_ ]'eqe(o}I_1i_v_1iokl^{]6o0_1i7]6mt*hi_vo}I_ IYZ\_nYokl_1iZ6 R oZ{f$Z.mf0elhtD_ ?Á . $T L ? ? Á F? M f N [ L F? : I s CgC P k ] S £Z.Y ]vihDkloE]6 Del_ f$Z.mio$]6mLo CgC ¨vIYZ.^!_$eqeklIokgf¬Y_n[.hDeg]6Yklo _1iokl^{]6o_1ikloa£Z6eqelZ6¡(inso}]6oCo}I_ i]|^7_a_1iokl^{]6o0_a}IZ6egtIi£Z.Y L ? ? Á M f N : D y }DkgipmDkgi}I_1i o}I_aIYZDZ64Z6jo0}I_aIYZ.ZDi§kloklZ.m¨ w " $ 0 49 n _Y_nohIY0m oZ o}I_Z.Iokl^{]@ef$Z.mDoYZ6eIYZ. Del_n^ cdX T(Z6 _1f$owk¼Z\mI¨ n _7klmDoYZItDhf$_1t*o}I_ mIZ.mI¤NeqklmI_1]6YaZ. iw_nY@]6owk¼Z\mZ._nYE]|oZ.Y S Tx S }TE ¨ Sn _"fn]6m¡Yklo_ k¼m f$Z\^7Z.mI_nmDoEi M C ] : N ].idWZ6eqelZ6¡(in¨ C,M \] tN > M \(] t/N&@ @ L T M \] tN R S n. . . . :. z{ mza|.

(71)

(72) ! " # $ " &% ''

(73) ()*,+.- %*/

(74) 0"1+3245 76#86 5 ) . X,YZ.ZDi§kloklZ.m 9 i oE]6o_1io}]|odo0}DkxiZ.#_nYE]6oZ\Y8kgia]6o_1]6ht\kut_nY_nmDokg]6 Del_"¡k¼o0}a]6o_1]6h tD_nYwk¼¤ 6]6okl._ C5M \] tNM

(75) ] $N ] M \] tNM

(76) ] (N&@ @ L` T S : M \] tNM

(77) ] $N [6kl._nmv Lo}I_ £Z6eqelZ@¡k¼mI[iIio_n^¢Z|eqklmI_1]6Y1k 0n_1tv_1r.h]|oklZ.mi > 0] w?&H_E @ W Y H_I KKL M>ON H $ T R Z R : S ,? H_E W @ M.>N ? [ ] 0 T R :Z S m @ce ] m [ @ ] Z\m m ` ] L T m p m p S Me ] v Nw@ue ] VM e ] vxN @ Z.m ` }T S m ]6IDeqkxfn]|oklZ.m Z|8o}I _ ]6[.YE]|mI[._"^hDeloklDeqk¼_nYYhDel_kl^7Deqkl_1iCo}]6o o}I_nY_F_ DkxiwoEi P ooe ]6mt 3Z.Y_$e^7_1].ihIY_1i C ] : ] k ] sI¡k¼o0}o}I_"IYZ\_nYokl_1i B N@ue ] @ Y ] ] M() M v ]gf N ^ R M v ]gf N@c I1 T S B N@ue ] @ ] ] M() Mv ]gf N ^ >OMv ]f N @u . T S ihf0} o0}]6o P [ C 5[ : 5[ k ,[ e ] ¡}I_nY0_ ] @ Y ] yyy ] ] tD_nmIZ.o_1io}I_amIZ.Y^¢Z|jo}I_a^ _1].ihIY _ ¨ }I_{f$Z.mio$]6mLo$i B ]6Y0_7o}I_Z.mI_1ia[|k¼\_nm klm o}I_{io$]6o_7f$Z.mioY$]'klmLoEi S TE¨"¦Z/f$Z.mDoklmDhI_.s ¡_"tD_nmIZ.o _ @ CH : ]

(78) @ k H ¨ }I_{]6 io0YE].f$oaZ.Iokl^{]@eklo iIio_n^²£Z.Yao}I_f$Z.mLo0YZ6e4IYZ. Del_n^;hImtD_nY f$Z\mi§kgtD_nYE]6oklZ.m kgi [6kl._nmv _$elZ6¡& D M N ]6mt M N ¨}I_apYEiwof$Z\mt\k¼owk¼Z\m/o$1] ._1io}I_ £Z.Y^ & M ] N ' . M N. . . M H R N [. . M H_>ON

(79) s e ]. ¡}I_nY0_ M > ] R N!@ M \(] t/N kxi]*iZ6elhIoklZ.m3oZ*o}I_ ioE]|o__1r.h]|oklZ.mi WZ\Y{Z.Iowk¼^]'ef$Z\mLoY0Z6egi M \(] t/N " #(% ¨ IZ.Yo0}I_ i_1f$Z.mt f$Z.mt\kloklZ.ms ¡d_Y_1fn]@ee4o}I_CmIZ.oE]6oklZ.m¨n _ tD_nmIZ.o_C L M> ] R \(] tN o}I_ f$ZLiwo"£hImf$oklZ.m]'e¥sk¥¨ _.¨ M \(] t/N@ M CFM \(] t/N ] : M \] tN \] t/N s#o}I_nm*o}I_{[\YE].t\kl_nmLoZ6 o}I_ f$ZLiwoWhImf$owk¼Z\m]'e¥s¡klo}vY_1i#_1f$ooZ7o}I_"f$Z\mLoY0Z6egioE]1 ._1io}I_ £Z.Y^ M \] tN ] M

(80) ] (N @ [ [ & Ë *,. GC M > ] R \(] t/N ] 8C M > ] R N M

(81) ] (N : M > ] R \(] t/N ] : M > ] R N M

(82) ] (N k M > ] R \(] t/N ] [ M > ] R \] tN ] y.

(83) . F5 z " w

(84) 0 5!q 5 3. }I_i_1f$Z.mtZ.Iowk¼^]'eqk¼o f$Z.mt\kloklZ.mvkgiZ64o}I_ £Z.Y^. M \(] t/N ] M H \] 'HdtN [ 6 : M \(] t/N 7 R M

(85) GH \(] HJt/N 7 ] [ 6 ,C M \] tN 7 R M

(86) H \] 'HdtN 7 ]

(87) o e ] £Z.Y(]'eqe M ] (N "$#&%s¡}I_nY_ 6 M \] tN 7 R tD_nmIZ.o_1io}I_"].t'yZ6klmLoo0Z 6 M \(] t/N 7 ] @ Y ] ¨ @ ¨Q=¥m)o}I_ ³iiwhI^klmI[o}]6oo}I_ eg]6o_nY f$Z.mt\kloklZ.m3kgi i]|okgi§p_1t s ¡d_ fn]6m3oE]) ._ M N. P. IY_1iw_nmLo{fn]\i_{o0}I_ eg]6o_nYf$Z.mt\kloklZ.m M N 7^ _1]6mins,o}]6oo}I_nY__FLkgio$i ]|m P .Z Iokl^{Y ]'ef$Z.mLo0YZ6e M

(88) L ] L N "$#(%7ihf0}o}]6o£Z.Y]'eqe Mv ]gf N ^7s. . BDC q R Mv g] f N [ 6 : M \] tNgM L H (\ ] L HJt/N 7 M v g] f N q B : B k q >OMv ]f N [ 6 C M \(] t/NgM

(89) L H \] L _ H t/N 7 Mv ]gf Nq B . . hIYo}I_nY^7Z\Y_.sL]6m7].t'yZ6klmDodioE]|o_4kgiklmDoYZItDhf$_1tklmZ.YEtD_nY4oZ"i¾k¼^ Dekq£7o}I_eg]6o0o_nY4Z.Iokl^{]'eqklo f$Z.mt\kloklZ.m¨¦Zo}Dkgi_nmt s¡d_aY0_n¡Yklo_"o0}I_ eklmI_1]6Yw k 0n_1t _1r.h]6owk¼Z\miklm o}I_ £Z.Y^ ¨ CgC5M

(90) N [ 4C : M N@ce ] 9T S 6$ T : C M

(91) N [ :9: M N@ ] S ¡klo}vmIZ.mI}IZ.^7Z\[._nmI_nZ.hi #Z.hImtI]6Y f$Z.mt\kloklZ.m m [ @ ] Z\m m ` ] . T m p S ¡}I_nY0_"¡_"tD_nmIZ.o_ CgC M

(92) Nw@ ? HdE_H W'Y H_I KKL M>ON ] .` T R Z S > ] C : M N@ T R : S T : C M

(93) Nw@aH M.>VN ? ] S . T :9: M N@ ?&HJE W R : Z y S }I_nY0_$WZ.Y0_.sDWZ\Y(]6mDWhImf$owk¼Z\mi M ] N ? b ? kloWZ6eqelZ6¡(io}]|o . . . . . . . M4CgC5MVN [ C : M N ] N u @ e ] M : C M VN [ :9: M N ] N o @ M ] N ]. 6] mto}I_veg]6oo0_nYo_nY^ s L3]6m]6IDeqkgfn]6oklZ.m Z6"o}I_ ].i0iZf0kg]6o0_1t Y_n_nmWZ\Y^hDex]s(fn]6m3 _ ¡Ywk¼o0o_nmklm o0}I_ WZ.Y0^ M :9: M N ] N @ GM 0] N H 'W m [ ] ` }T m p Z S . . . . z{ mza|.

(94)

(95) ! " # $ " &% ''

(96) ()*,+.- %*/

(97) 0"1+3245 76#86 5. ¡klo} ]6m ]6IIYZ\IYkg]6o_ DkeqklmI_1]6Y £Z.Y^ i#_1f0kqp_1t _$elZ6¡"¨=§m ]6Yowkxf$hDeg]6Y'sDWZ\Y . . $. M ] N s.]6mt] #Z.hImtI]6Y £Z.Y^ 1 M ] N [ u @ e klo£Z6eqelZ6¡(io}]6o. '. s6¡}Dkgf0} ¡kqeqe _. M :9: M N ] N @ M ] NVy. y_nmf$_.so0}I_"iiwo_n^¢ _1f$Z\^7_1i. MCgCMVN [ 4C : M N ] N u @ e ] M : CM VN ] N [ GM 0] No @ M

(98) ] N [ 1M ] Nzy =¥m Z.YEtD_nYaoZ kgtD_nmLowk£ o0}I_ #Z.hImtI]6Y¬WZ\Y^ 1M ] N sI¡_"mI_n_1t (Y_n_nm¬WZ.Y0^ hDeg]6_C£Z.Y o}I_ ihI iw_1r.hI_nmDo(o0_nY^{iklm o0}I_"ifn]'eg]6YIYZItDhf$o Z6o}I_i ].f$_ = : M ^ N ¡}Dkgf} ]6Y_a[6kl._nmv _$elZ6¡"¨ ?Á ]> ] > ]> fz] H WE W @ W W H L W m W R :Z Z D R :Z m p R : Z Z D Z D. . . . . . . ]6mt sk¼mv.kl_n¡ Z64o}I_a Z.hImtI]|Y f$Z.mt\kloklZ.minskloWZ|eelZ6¡(io0}]6o H. W m W ]> m p R : Z Z D. @ W M H. . . (N R Y : ] > Z D H m. . m Y ]> qm p R : Z D. . HQW cR Y : ] > Z D y. @ W W Y H Y ]> R : mqp R : Z Z D. kl^kqeg]6Yel.s. 1. ] .M >ON H W W EXW Z D R : ZZ. ]6mt HoW EXW E W. & Ë *,. W. . R : ZZ. ]E >. . Z D. @. @. W E W. . R :Z. ] EG>. 1. Z D ]m > H WE W R : Z m p Z D. ] . y. ] M EG>ON W W E W R : ZZ Z D ]E > H W m E W Z D mqp R :Z.

(99) } n. F5 z " w

(100) 0 5!q 5 3. _C}]'._³]@exiwZ{o}I_ £Z6eqelZ6¡klmI[{Y_$eg]6owk¼Z\mZ.m o}I_a #Z.hImtI]6Y!m ` s S f0¨{l15~TEs. : [ m W [ m W ] R :Z R :Z m p R : Z m p : R : Z kgiCo}I_ ¦]6Deg].f$_ x 3_$eloYE]6^k Z._nYE]|oZ.Y"Z\m @ m ` ]6mt ¡}I_nY_ tD_nmIZ\o_1iCo}I_ t\kl._nY[._nmf$_ Z6 o}I_(mIZ\Y^{]'e._1f$o0Z.Yp_$egt7Z.m4s\k ¨ _.¨ @ ps6klmo}I_mIZ.oE]|oklZ.m E W. @uE!W. . . ¡}I_nY0_ E oE]|mI[._nmLowkx]@e Z6V {l15 ~¥¨ }I_{].t'yZ6klmLoioE]6o0_ 1_ r\h]6oklZ.miC]6Y_klmDoYZItDhf$_1t klm*o}I_£Z6eqelZ@¡k¼mI[ ¡]'.¨8³i0ihI^7_o}]6o o}I_WhImf$owk¼Z\mi M ] N ? b ?i]6okgi§£o}I_a£Z6eqelZ@¡k¼mI[ @]6Ykg]6owk¼Z\m]'e_1r\h]6oklZ.m M CC M N ] N . M C : M N ] N #[ M : C M N ] N [ M 9: : M N ] N @ C M > ] R \(] tN ] [

(101) [ : M> ] R \(] tN ] [ S ] Ì1T £Z.Y7]'eqe³ihl f0kl_nmDoeli^7ZDZ.o} WhImf$owk¼Z\mi ] i]6owkxi¾W\klmI[ }IZ.^7Z.[\_nmI_nZ.hik¼mDklokg]'e"f$Z.mt\kloklZ.mi [. . . ]6mt¬o}I_a}IZ.^7Z\[._nmI_nZ.hi #Z.hImtI]6Y f$Z.mt\kloklZ.mi m @ue ] m [ @ue$y 6 ] m t `.T m p mqp S E i§klmI[o}I_ k¼Z\mi IYZ.y_1f$oklZ.m o0}I_nZ.Y_n^ siw_n_"_.¨ [¨{x15~£Z.Y(] @]6Ywkx]|mLoZ|8o}Dkgio}I_nZ\Y_n^ s#Z.mI_ fn]6m i}IZ6¡3o}]6oo}I_1iw_ WhImf$oklZ.mi ]6Y_ahImDkgr\hI_$el/tD_no_nY^ k¼mI_1t ¨ }I_"iIio_n^ S `1 T8fn]6m _CY_n¡Ykloo_nmklmvo}I_a£Z.Y^ M4CC5M N ] N . @. [. M 4C : M N ] N [ M : C,M N ] N [ GM ] N GC M > ] R \(] tN ] [

(102) [ : M > ] R \(] tN ] [. . ]. ¡}I_nY0_"o}I_a #Z.hImtI]6Y f$Z.mt\kloklZ.m $

(103) [ @ce kgikl^7#ZLi_1t t\klY_1f$owe¼¬klm o}I_a_1r\h]6oklZ.m¨ =£4¡d_aY0_nDex]\f$_ ] D ] s6klo£Z6eqe¼Z6¡(io}]6o GC M > ] R \(] t N ] [ @ @ @. : M > ] R \(] t/N ] [ [

(104) M4CCM

(105) N ] N [ M 4C : M N ] N [ M : C,M

(106) N ] N [ M4CCM

(107) N ] N [ M 4C : M N ] N [ M : C,M

(108) N [ :9: M N ] N [ 1M ] N M

(109) ] N [. . . M ] NVy. E(i§klmI[o}I_"]6 #Z@\_"f$Z.mioYhf$owk¼Z\msIklo£Z6eqelZ@¡ io}]|oWZ\Y P @ Y f$Z.mt\kloklZ.miafn]|m _"Y0_n¡Ykloo_nmklm o0}I_ WZ6eqelZ6¡klmI[7£Z.Y^v¨. . M ] N. o}I_"mI_1f$_1i0i]6YZ.Iokl^{]'eqklo z{ mza|.

(110)

(111) ! " # $ " &% ''

(112) ()*,+.- %*/

(113) 0"1+3245 76#86 5. . «D°'« FYM8D" f (6 M N' |" 2z6 Z;\&_05 !^ ]

(114) " (6 0 " 6* *" M ] NVM f 0" 0DYq8" eGe5*5o% 0 f ( q 0 5 f uM6 , 0 " D `JM" V0#" 6 " D `JM" V" (6 0 f (6 M N9"1G "1G0. % 7 f (6 . k M> ] R \(] tN ] /H \ [. "$#&% Z %18 4. % '" M ] (N . {x~"~a¨$¨$atI]6^{ins . [. M

(115) 8H \ ] N M> ] R \] t/N ] H_t [. . . . M 8Hdt ] No e. .Z #Z6el_n ].f$_1ins ³fn].tD_n^ kxfCX4Y_1i0insz_n¡ 4Z.Yg S 1 | $TE¨ { 1~Ry"¨5 ^{]6mImsLzZ.mI}IZ.^ Z.[._nmI_nZ.hi eqk¼mI_1]|Y]|mt r\h].i§kqeqklmI_1]6Y8_$eqeqklIokgfa]6mtC]6YE]6 #Z6eqkgf Z.hImI¤ tI]6Y@]'elhI_CIYZ. Del_n^{insIIY0_nIYklmLo1s1. 9 ¨ { 9 ~ ¨Dcd]\i].in!s 3Z.hImtI]6Y0 f$Z\mLoY0Z6eZ|¦iw_n^kqeklmI_1]6Y_$eqeqklIokgfa_1r\h]6oklZ.mi4¡k¼o0}7Z6klmDo¡kgi_³iwoE]6o_ f$Z.mioY$]'klmLoEi©s = /

(116) I¨ c8Z.mDoYZ|e Iokl^ ¨ls 9 S 1\ 9 TEsD. 9 x5 } }.Ì¨ { ~"X¨ c8Z6eqeqk¥ s I¨ IY0_ ._$egins m ]{X_nmIY0ZLi_n¤¥¦kqW_C^7ZItD_$e¡klo} 0n_nY0Z7klmDo_nY¥].f0kg]'e_nmI_nY[.el_1]6¤ t\klmI["oZ"]aX,}].i_n¤Np_$egt{iwio0_n^Z6Y_$eg5] I_1t o_$¥]6moL#_. s mIm¨ / ]6o}¨6X4hIY$] (IDe¥¨ S $ TEs oZ7]6I_1]|Y1¨ { 1 ~n!¨ yZ.Y0ms / ]6o}I_n^{]|okgfn]'e ³iw_1f$oEi,Z6o}I_ X_nmIYZLi_n¤¥¦kq£_(X4}].iw_n¤Np_$ext^ ZtD_$e¥s#c8Z.mDoYZ6e ]6mtvc8D _nYmI_nowkxfni©s 4Z6e¥¨ 9 sIzZ¨D s` %x`. }Is#1.6 #¨ { 1` ~n[¨ yZ.YmsIX4}¨ ]6hIY0_nm $Z.o1s I¨ IY_ ._$egins elZ. ]'e iwZ6elhIoklZ.mioZ] X_nmIY0ZLi_n¤¥¦kqW_ I}].i_n¤ p_$egt ^7ZItD_$ehImtD_nY h Z.hImtI]|Y f$Z.mt\kloklZ.miC£Z.Y"o}I_ k¼mD._nYEiw_{o_n^ _nYE]6o0hIY_.sihI I¤ ^kloo_1t ¨ {~nL¨ yZ.Y0ms I¨ IY_ ._$egins ¨ }I_nmI[#s elZ. ]@e ^7ZLZ\o} iZ6elhIoklZ.mioZ o0}I_{X_nmIYZLi_n¤¥¦kq£_ /vZtD_$e£Z.Y =¾i¾k¼mI[ £_nYYZ.^{]|[.mI_noEins atD¨ / ]6o0}¨ f0k¥(¨ (IDe¥¨lsoZ{]6I#_1]6Y1¨ {31~"z"¨ _nmI^7ZIf}Dk¥s / ¨'zkl_ 0n[ Lt 6]Is Iio_nîZ6mIZ\mDeklmI_1]6Y4]|YE]6 Z|ekgf_1r\h]6oklZ.mi¦£Z.YI}]\i_ f}]|mI[._aIYZ. Del_n^{ins ³tD ¨ / ]6o}¨ f0k¥$¨ IDe¥¨ S '. 9 |$ TE s .# x .1 L¨ { 1 ~"X4}¨ ¦]6hIY_nm $Z.o1s Z6elhIoklZ.mio0Z ] X_nmIYZLi_n¤¥¦kq£_a^7ZtD_$eZ6jI}]\i_n¤Np_$egt oD_.s ¨ / ]6o}¨ (m]@e ¨ (IDe¥¨ '.6$ TEsD.`.# xI 1 ¨ S. & Ë *,.

(117) .. F5 z " w

(118) 0 5!q 5 3. "¨dX_nmIY0ZLi_.sX¨c ¨8¦kqW_.s }I_nY^7ZItDLm]|^kgfn]'eqe¼ f$Z.mi¾kxiwo_nmLo^7ZItD_$egiZ6"I}].i_n¤Np_$egt oL#_ WZ.Yo}I_ .klmI_nokgfniZ64I}].i_"o0YE]6mi§kloklZ.mins#X4}Di§kgfn] 9 S 1.}T . jx`.I¨ {l\~ I¨ Z \Z lZ@¡ i .k¥s ¨ IY_ ._$egins c8Z\mLoY0Z6eX,YZ. Del_n^{iC£Z.Y }]6_ /v_n^7Z.Y_eqelZ@Ii ¡klo} c8Z.mio0YE]'klmLo$iZ.m{o0}I_ }I_1]6Y oYE]'klms _1f$ohIY0_³zZ.o_1ijk¼m X,hIY_(]6mt IDekl_1t //]|o}I_n^{]6¤ okgfnins 4Z6e¥¨'`. S 1\6$ T / ]6Y$f$_$e _ ._nY1s ¨ a]7X4Y$]6oZs 4¨¦hI ]6YZ S 8tIFi T$s5 .6¤1.`¨ {l'1 ~ I¨ Z .Z lZ6¡( i \k¥s I¨ xX¨ Z6el_1i§klZs ( 6!M f 8(0" q8 *" IYklmI[._nY 4_nYwex]|[ 1.\ TE¨ S {l 9 ~ I¨ IY_ \_$exi©s ¨ }I_nmI[s e¼Z\ ]'e i^7ZDZ.o} iwZ6elhIoklZ.mi o0Z ] o}I_nY^7ZItDLm]|^kgfn]'eqe¼ f$Z.mi§kgio_nmDo^7ZtD_$e Z6"I}].i_n¤Np_$egtoL#_klm}Dkl[.}I_nY i]\f$_ Dt\kl^7_nmi§klZ.mi©s I.¨ / ]6o}¨ (m]@e (IDe¥¨1 @ÌsI }}#x. 9 sI1. 9 ¨ {l© ~ I¨ IY_ ._$egins ¨ #}I_nmI[s Iowk¼^]'e c8Z.mDoYZ|e"IYZ. Del_n^{iv£Z.Y ]o}I_nY^7ZItDLm]|^kgfn]'eqe¼ f$Z.mi§kgio_nmDo"^ ZtD_$eZ6dI}].iw_n¤Np_$ext*oD_£Z.YaI}].iw_7oYE]6mi¾k¼owk¼Z\minws ³tD ¨ klm / ]6o}¨ f0k¥¨ ]6m#t IDe ¨xs 4Z6e¥¨\szZ#¨ S 1.. TEs. 9 x1.¨ {l'1 ~"]|].i / 3] 0nhI^{tI]6Y1s (_nmI_nY$]'eq k 0n_1t IYZ\y¾_1f$oklZ.m o}I_nZ\Y_n^ ]6mtv¡_11] mIZ.mf$ZD_nYEf0kl._7_n\Z.¤ elhIoklZ.m IYZ\ De¼_nîklm ykqel _nYo"i]\f$_1ins I¨ / ]6o0}0¨ m]'e¥$¨ IDe¥¨ L` S 1 1 TEsn 9 x1 ` ¨ {l5}1~. z{ mza|.

(119) Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex 1 Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. E´diteur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399.

(120)