Un modèle simplifié d'interaction fluide-structure

Texte intégral

(1)Un modèle simplifié d’interaction fluide-structure Dominique Chapelle, Miguel Angel Fernández, Patrick Le Tallec. To cite this version: Dominique Chapelle, Miguel Angel Fernández, Patrick Le Tallec. Un modèle simplifié d’interaction fluide-structure. [Rapport de recherche] RR-3703, INRIA. 1999. �inria-00072965�. HAL Id: inria-00072965 https://hal.inria.fr/inria-00072965 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)

(3) !#"%$!&%('*)

(4) +,!&!) $!&)-. 0. 113254!6!784. /.

(5) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Un modèle simplifié d’interaction fluide-structure Dominique Chapelle , Miguel-Angel Fernández-Varela , Patrick Le Tallec. No 3703 Juin 1999 ` THEME 4b. ISSN 0249-6399. apport de recherche.

(6)

(7)

(8)

(9)

(10) !#"$

(11) # %& ' )(* + & ", & -.0/2143514687:9<;=,>@?A9CB4BD9$EGF$HI1KJL759CBNMPO3JL9CB Q9CR

(12) 3$ST3:U59CVWMYX>TR

(13) 9CBZ>A[F \]>_^`R

(14) 14acbedf9hgi>TB4BD9Ca:j k)lTm

(15) noqp 0r sut nwv@xKycz t|{~} oz {W z t n t y'z t|{~} o @ zYm

(16) no , { n x|o

(17) o : {c o

(18) zq<i s qy T*{ Yz oYo l@o

(19) lTo }CcWr v t|} /

(20) ~W r / / y'Wo

(21) !2 }t } z¡ { v t zv } o x t }@¢ yc tK y'z t|{W}# oAxKy)£ { ¡nv@xy'z t|{W} ¤+¥ o 8¢c¦ v0y'z t|{~}0 oq§iy

(22) ¨ t o

(23) © s z {Wª o Lt }0 { n Yo Y«t0 x|o ¬ ¤0o { 0 x|m

(24) no0v tK o x t|}T¢ y t YoAy t }0«t{ 0 z¡o } v ov@z ®xKy zY¡ o)z¡Yv@v z t xz¡tKv@«¢5Yo *«{ {~v@} :z x o o

(25) z { t vz ° xKoycz Wo, o 08v _tK¢

(26) o©xy zY ¡o

(27) v n zYo vT} Yz o 0« {Wy } }0z, ycx xo { 8 ±y ! {WtK ¯ o x|}#o {_n ¢

(28) xyzYoA oycnvo n } z{c0 o }o L² v } o {~}0_t z t|{~}³ oiz of´«z¡µy }¶«@t µy'z t|{~}_·¸ x ²¹t } z¡o

(29) «£y o ¬ ,oizYPy`¨~y t x º{W}0 z t z¡v@o _{~}0 v }I Yo

(30) n t o

(31) ¢ x ¢ no } z o v z t¼»+ ycz t {W} zYl ¢

(32) { tK¦ v@o o o {W}0t z t {W}0L²¹t } z¡o

(33) «£y o ° { vTµy'nno } z o

(34) n x {'C¢ o o }< µy'z tK¦ v@o ¬ ¥ }<{ v@z¡Yo °Lt x:y 00{ v@z t z ¸ v }½ { 0 x|mno _{W} z xKy ¢c{ x v@z t {W} o z 0Tt o } n {Wt|}¶ {W¾ z¡o

(35) v o ¦ v@o o

(36) x|x o v { 0 x|mno t|}Tt z t y'x ¬ ¿ÁÀ¶Â`ÃµÄCÅD t } z¡o

(37) µy z t {W} 0v tK o© z¡Yv zYv@¡o ° §iy

(38) ¨ t o

(39) «© s z {Wª o º° ¤+¥ ° z¡µy }0«@t µycz t|{~} Ó,ß Ô@Ô@ÕDÕDÖYÖY×Ò×ÒØØÙ5Ù5ÚÜÚÜÛÛÝ8Ý8ÞÞ à Ý8á 1 á*ÚiÛ5â:á8ã

(40) ä 2cåçæ ØÕ4è å ÙDéAÔ@êëÕ å èKìDâ:êµícîcï å 2 Ø. Æ|Ç:ÈÉÊ|ËKÌºÍYÊ ÎuÏuÊ|ÐÒÑ. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) Téléphone : 01 39 63 55 11 - International : +33 1 39 63 55 11 Télécopie : (33) 01 39 63 53 30 - International : +33 1 39 63 53 30.

(41) 8

(42) ³

(43) u %& 'w(* + & ", & !

(44) "$ Â@ÄWÂC ½o o

(45) «£ { Yn yix t|} ocy' t

(46) ycz t|{~}{ £z¡l@oi¤+¥ £ { ¡nv@xy'z t|{W}{ £ t }0 { n Yo ¡ © t 0 x o§]y`¨ t o«© s z {~ª o o ¦ v0y'z t|{~}0¬ Ò} yG0v tK © z¡Yv z¡v@Yo t|} zYoµy z t|{~} { 0 x|o

(47) n l@oYo zYl@o tK« xKy o

(48) no } z { £z¡l@o z¡Yv zYv@¡o<y'¡o½y ¡ v@no z { 0 o nGy'x|x ° zYl tK ycx|x { z { {W}¶«tK o

(49) °,t|} zYlToG¶v tK2_{ n³y t }8° y<x t } ocyc { 0 x o

(50) n t|} l t l zYl@o zY¡v z¡v@µycx _tK © xKy o

(51) no } z y'¡o t n x y

(52) { v } z¡o £ { 02 o t¼»+ ³t|}c o z t {W}` v z t|{~} 00{ v }0 yc {W}¶_t z t|{W}¶ {~} zYlTo t|} zYo«£y o ¬ k)l tK tK zYlTo

(53) Yo£ { Yo#y Yo

(54) x t n t } y' zYl@o { Yoz tK y'x v z t¼» © y'z t|{~} £ { iz¡l tK z o { £ 00{ v }0 y' ½ {W}¶_t z t|{W}¶i { nn {W} x y ¨ { yczYo ht }h Py z tK o ¬ @v@Yz¡l@o

(55) Yn { Yo ° z¡l@o ¡o «{ x|v@z t|{~}{ £8zYlTo x t|} ocyc { 0 x o

(56) n t nwv lx|o ¡$ º{C z¡x zYl0y } zYl0ycz { £,z¡l@o { t t } y'x¤+¥ £ { ¡nvTxKy'z t|{~}8¬ 8Ã #À !W 0v tK © zYYv zYv@¡o t|} zYo

(57) Py z t|{~}8° §iy

(58) ¨ t o

(59) «© s z {Wª o º° ¤+¥ °ht|}c o z t {W} © v z t|{~}.

(60) .

(61) !#"%$!&%('*)

(62) +,!&!) $!&)-.. ! & "$

(63) # ¤0o zYo l }@t¦ v@o xy ¡«tK¦ v@o w o t nwv@xKycz t|{~}2} v@n ¢ t¦ v@o o l ¢

(64) }@{ nm } o +²¹t|} © zYo

(65) Py z t|{~} 0v tK o© zY¡v zYvTYo<Yo *{u o } z v@x|o º{ v xy'~o °) yc o ycx| { t zYl@no y © {~ t ¢c°L² v } ´ { o «{ x tK o ·¦ v t,«t nv@x ox o { n 0{ ¡zYo

(66) no } z oxKy z¡Yv z¡v@Yo «{ v_© n tK oiycv@wo +o

(67) z ,t|}0 v t z , y'Ax ² ¢c { vTx|o

(68) no } z L² v } o y'Yz ° o

(69) z L² ycv@zY¡o ycYz L² v } ´ { o 0v t o · y y 0 x|o o ¡o }0 ¡oho } { n zYo³x|o ¢

(70) xKy o

(71) no } z oxKy zY¡v z¡v@Yo 0 y t © }@¢ o y' x|o 0v t o ° o } ¢}@¢ µycx yc x|oin {' o }wL² v } oin {_¢ x tK y'z t {W} Ýyc 0@t zYPy t ¡o

(72) no } z xKycWµy } t o }@} oº©Òo

(73) vTx|o

(74) t o }@} o · ¤+¥ ¨ {~t ° p ¬ ,o zYo l }@t¦ v@o °c¦ v t0«{~} zAy y z ¢ o y'v@ y # oWPy }0T_¢ xKy o

(75) no } z q ox ²¹t } z¡o

(76) «£y o °8{W} zzY¡m º{W¾ z¡o

(77) v o o } z¡o

(78) n 0 o y'x v@x °f v £y t z vTYz { v@z v _{ n³y t } o¶v tK o ° y'y'v@ t G v@x|z ¢ct|} l ¢ Yo } zYo ¸ xKy «t nwv@xy'z t {W}½ v½0v tK o n { m

(79) x o i}@{W} ©x t }@¢ y t Yo ° o +o

(80) z oxy {~} ¨Co z t|{~}8° o

(81) z W¬ ² y Y{ v@z¡o } z °¸ l0y ¦ v@o y A oqzYo

(82) n ¶°C o n {_t »+ ycz t|{~}0,L²¹{ ¡o ¢

(83) { n ¢ zY tK¦ v@o)x t|¢ o y'v _¢

(84) xKy o

(85) no } z oxKy zY¡v z¡v@Yo ¦ v tf_{Wt ¨Co } z ® z¡Yo t o o }2 { n z¡o y }0 x ² o } © o

(86) n 0 x o v _{ nGy t|} o 0v t o ¬ sCt x|o A_¢

(87) xy ono } z oxKy zY¡v zYvTYo {W} z o o

(88) z t zYoycn x t zYv o v } on {_¢ x tK y`© tz {W} ¤+¥ o

(89) v@z ycµy zY¡o)o

(90) o ¡«t ¨Co ¬ § { v ± {W0{u«{W}¶ v } n { m

(91) x o$x t|}@¢ y t ¡o L² t|} zYo

(92) Py © z t {W} 0v tK o© zY¡v zYvTYo ¦ v tT oYno

(93) z o Yo }0 Yo o } { n zYo x o o +o

(94) z $ o xy zY¡v zYvTYo o } {W}¶ o

(95) ¡¨Wy } z v }h{ n³y t|} o 0v t o » o y }0 v }h y ¡o o o

(96) z t z )¢

(97) xKy o

(98) no } z : o x ² t|} zYo

(99) £y o ¬ ¤0o)n { m

(100) x|o,o z { 0 zYo } v y':x o$n {' o }L² v } o)x t|}@¢ yc t y'z t|{~} o 8¢c¦ v0y'z t|{~}0 o]§iy

(101) ¨ t o

(102) «© s z {~ª o !t }0 { n Yo ¡«t 0 x|o o } £ { ¡nv@xy'z t|{W} ¤+¥ ¬ ,o

(103) zYz¡o x t|}@¢ yc t y'z t|{~} o

(104) © no

(105) z,o } y'Yz tK vTx t o +²¹{ 0 zYo }@t o {~}0_t z t|{~}0 ycv@x t n t zYo 5 oiz _ o ´zYPy }0@t Py'z t|{W}· ¨ {~t ° _° ¦ v t Yo 0{u o } z v@ v } o v z t »+ y'z t|{~} z¡l ¢

(106) { tK¦ v@o ¬ }2t|} zY { v t z L² y 00{ x|o { 0 x m

(107) non ¢c y }TtK¦ v@ozYPy t z ¢ o } £ { ¡nv@xy'z t|{W} ¤+¥ o

(108) zo }0 v t z¡o {~} { m o ¸ xKy o Y t| z t|{W} o y³x t|}T¢ y' tK ycz t {W}8¬ ¤ ² y @ { l@owo zo © o } z t o

(109) x|x o

(110) no } z:£ { Yno

(111) x x|oio }< o o }0i¦ v ²¹{~}< v @0{C o º{W}0 zµy'nno } z ¦ v@ox o l¶y'n 0 o

(112) n x {cC¢c,«{W} z v ³ y'nno } z, ¢ Wv@x t o

(113) $0{ v@ ¦ v@ox|o ycx vTx y t o } z v } o }0¬ ³

(114) ")³ & {~}0«t_¢ {~}0 x ² ¢c { vTx|o

(115) nwo } z L² v } 0v t o¨ tY¦ v@o

(116) v@ycv@z { v@ L² v } o zY¡v z¡v@Yo _¢ © £ { ¡n³y 0 x o ¬ ¤+y zYYv zYv@¡o {

(117) v o)v } _{ n³y t|} o y }0: y {~}_» WvTµy'z t|{~} y z¡v@o

(118) x|x o ¬ iy }¶ xKy ycYz t o ¶v tK o {W}² t|} z ¢ ¡o Y o ¸ v } ¨ { x v@no o {W} zY Wx|o ,ycv@z { v@ oixy z¡Yv z¡v@Yo ° ¨ {Wt )xy » ~v@Yo / ¬ ¤0o { 0 x m

(119) no {W}0tK zYo ¸ ozYo

(120) ¡n t|} o ¸ l0y ¦ v@o t }0 zPy } z . . . . .

(121) . . . . . . . .

(122) . . . . . . ! ". #. %$. 113254!6!784. &'! ".

(123) p. % ) "8

(124) )

(125) +

(126) .8% !+ "%

(127)

(128) "" !$ " $. hxKy£ { Ynoozx ²¹¢ ¨ { x|vTz t|{~} oxy {W}» Wv@Py'z t|{W} l¶y'n 0 A o¨ t zYo ¡ o y }0 x o 0v t oo

(129) z xKy zY¡v zYvTYo ¬. !!#". ). *. & *. ). *. %. &. Üy t }0«tq¦ v@ox o . & ! ". &(' ! ". & ! " ). & ! ". *. . ! " $. ! " ). ! ".

(130) ,+-.+/ #$ ! &% $ !" ) 0+. ¤ ² ¢c¦ v t x t0 Yo v @ zYm

(131) no#o z y ¡ v@ ¢ y'#x|o i¢c¦ v0ycz t|{~}0 o {~}0 oY¨~y'z t|{W} oxy n³y ¡ o#o

(132) z v<n { v@¨Cono } z ycv@ ¦ v@ox|x|o ){W} µy Y{ v@z¡o °8¸ x ²¹t|} zYo«£y o ° v } o {~}0_t © z t {W} t|}T¢ n³y'z tK¦ v@o o º{W} z t|} v t z ¢w o ¨ t z¡o Y o ¬ t }0«t° y }0 x|o _{ n³y t } o0v t ox o { 0 x|mno oPy'nm } o ¨ {~t p ¸ ¢c{ v ¡o 0{ vT y }0 y }0 v@ / vT t ¢

(133) Yo o } z¡oxy o }0t z ¢ o£ { o#¨ { x|vTn tK¦ v@o x o zYo }¶ o

(134) v@ o {~} z¡µy t } z¡o o³Ay'v l ½ v 0v tK o xKy¨ t z¡o Y o <xKy ¡o Yt|{W} xy ¨ tY {u«t z ¢ xy¨ t zYo Y o,´ ¸ x ²¹t }_»0}@t · xKyi¨ t z¡o Y o oqxKy zYYv zYv@¡o ¸ x ² t|} zYo

(135) £y oAo

(136) z xy¨ t zYo ¡ o v0v t o ¸ x ²¹t }0 zPy } z t|}@t z t y'x ¬ ¤+y o Y t| z t|{W} v _{ n³y t } o ¨~y ® z¡Yo _{~}@}@¢ o ycv } oy @ x tK ycz t {W} v z _ o {W¯ qo zix o¨ { x|v@no o {W} zY Wx o *{ v@x|o0v tK o ¸ x ² t|}0 zµy } z t|}@t z t ycx ¬ } v T*{u o

(137) Py ¢ ~v@x t m

(138) Yo °8t }c o z t ¨Cowo

(139) zwy

(140) ¨Co °, oz¡o

(141) x|x o£y {W} ¦ vTo t ycx { 5Yo ¢c o } z¡o xy 0{C«t z t {W} v 0{Wt } z nGy'z ¢ t ox ¸ x ² t|}0 zµy } z ¬ x8 ¢c v@x|z¡o _{W}¶ W° o }³ y'¡z t v@x t o

(142) °¦ v@oz { v@z l0ycn o }h º{W}_» ~v@µycz t {W} y zYv@o

(143) x x|o o

(144) v@z ® zY¡oizYPy }0 £ { Yn ¢ o } v }h l0ycn ³ vT y'v³n {c o }³ oxyYo

(145) xy'z t {W} ! ". 1). . '

(146) . 687. . 6 : ! 9<;,=(>. !23"54. 7@?A7 C " B. ON. *. ". 7. B. 7KJ. 7. B. 7. & ! I" ' ) & ! L " '. B. 'L" C " B. & ! "I'. 9E;,=F>HG. 7. ;,=F>. 7. D. ! "L' & O" "LT *SR. ). M. 7 * P N. ". *. Q/N. 4UD. V. V 7KJ. V 7. G. 7. V. . 7. BXW5YKZ. 9A[]\_^. VY. 9<^. 7,Ùa V. [. M. 7 *. & ! ". 4. %cb. &. B. N. *. *R. &. *:dfe1g. & O" ". W8h. %$. p%. ). *. %. OklBnm,'Lo "L'. '. eji. PN. *. '%!. ;,q0rs^. ". *. %. t". u. KN. *. !. & ! ". & *. v ON * '. ! "wB. % v . PN *. '. ! "L'%! "I'. xy. 1zx. Û.

(147)

(148) !#"%$!&%('*)

(149) +,!&!) $!&)-. . xKy }T{ zµycz t {W}½¢ zµy } zqxKyn ® no 0{ vTix|o ] o

(150) v@ l0y'n ¶¬ ¥:zi ¢` t| {¦ vTo

(151) no } z °T l0y ¦ vTo l¶y'n #_¢»¶}@t@ v@ o

(152) v@z ® zY¡o)zYPy }0 £ { ¡n ¢ o } v }w l0y'n # v@ y':xy ¡o

(153) xKycz t {W} &. & ! ". *. % v . ON. *. '. ! "L'%! "B. " T v ON * '%! I. o xKy «{ ¡zYo ° o } ¡z µy }¶«0{ ¡zµy } z)x o { 0 x m

(154) no / 8o }w {~}_» ~v@µycz t|{~} » _o {~}{ 0 z t o } z xKy£ { Ynwv@xy'z t {W} ¤+¥ o Ü¢`¦ v0ycz t {W}0# o§]y`¨ t o«© s z {~ª o t|}¶ { n Yo ¡«t 0 x|o q v t ¨~y } zYo ¨ {~t ° p y }0.

(155) y }0 v@ v@ . #. . . 6. '

(156) K4. 7. 6. !. & *. 9<;,=(>. *. . 71?. 7. ". W. ;,=F> *. \. 7. ON. 7. *. `. B. ` a. B. ". 7. B. 7KJ. 7. B. D. *. 9E;,=F>. \. & * ). ). 'L" C " B. 7 * O N. ". *. Q/N. *. &. g. d!e. dfe. g. & *. g. '. {W¯ ¡o ¢` o } zYo<xy o

(157) t ¨ ¢ ozYo

(158) n 0{ Yo

(159) x x|o³o } {W}_» Wv@Py'z t {W} » o xKy2¨ t zYo ¡ o v ¨ { x v@no o º{W} zY ~x|o oz ¬ o

(160) n³yc ¦ v {W}¶L¦ v@o v@ xy y'Yz¡o o z _{W}T}@¢ o { nno

(161) «{ x|v@z t|{W}G o $¢`¦ v0ycz t {W}0AL²¹¢c¦ v t x t 0 Yo y }0 xKy y'Yz t o «{ x tK o ° zµy }¶_tKA¦ v@o vT x ² y © x t y'z t|{~} o zy' 0Tt zYPy t Yo ¬ ¥ }# µycz t¦ v@o °{W} o _{~}@} o { v@¨Co } z o }# {W}¶«tK¢ µy } z8x o ¨ { x v@no o {W} zY Wx o 0v tK o { nno)v } o zYYv zYv@¡o y }0 nGy Y o oz)y

(162) ¨Co v } oq t t_t z ¢ _{W}T}@¢ o ¨ {Wt / ¬

(163) ³ '

(164) # &

(165) h ¤0o { 0 x m

(166) no 0v tK o Ao } £ { ¡nv@xy'z t|{W} ¤+¥ o

(167) v@z ® zYYo ¢c t z { v xKy£ { Yno y }0 v@ Ò v@ 6. []\_^. V. !. 6. *. $. 7. `. 9. ^. *. V. B. ^. 7 ` a. *. %. V. ). *. B. ;,q0r. %. %. . z%. 6 %. G. B. B. 6. !. W2Y Z. 9. & *. %$

(168) . . . . 7. 7. 113254!6!784. 4. ". 'OYU'%. ON. *. 'L". & *. B. ". 7. B. 7 J. 7. B. ". ). B. ). 7 * O N. *. ". QN. *. dfe. '. g. &. *:dfe dfe. *SR. g. g. '. & *. '. '. '. . '. '. g. *SR. dfe. '. dfe. *. & *. ` a. G. .

(169) % ) "8

(170) )

(171) +

(172) .8% !+ "%

(173)

(174) "" !$ " $ . y

(175) ¨Co 7. 7. 6. " B. 'OYU'%. . ! 6. 9<;,=(>. " ` . . 7?. 7. *. W. . 7. ; =F> *. W. D. W. *. ;,=F>. \. G. . ` a. T. ` a. } Yo

(176) nGy' ¦ v@oio } x|v ¦ v ² o } ¡z µy }0«0{ ¡zµy } zix o ){W0¢ Py'z¡o

(177) v@ q o o } {W}_» Wv@Py`© z t {W} y zYvTo

(178) x|x o {~}h{ 0 z t o } z ¨ {Wt ° p p «{ x|v@z t|{~} o y

(179) ¨Co } t|} zY { v t zx ² ¢ zµycz o< ¢ £ ¢ ¡o }0 o ½o

(180) z { ¡Yo 0{W}0 y } z ¸ x ² ¢c { vTx|o

(181) no } zycv@z { v@ oxKy z¡Yv z¡v@Yo » o ¬ :x|v ¢` tK¢ no } z ° { nno <x o³¨ { x|vTno o º{W} zY ~x|o } o¨Wyc t o y y'v º{ v@ v zYo

(182) n 0 o

(183) zxy ¨ t zYo ¡ o ¸ x ² t|} zYo

(184) £y oqo z } v@x x|o ¬ o x|v °0 { nno . . '

(185) . 6U7. . 7. " B. 'OYU'%. \. !. 6. . 9<;,=(>. 7l?A7 z " W<D!W ; =F>. . ]%. B. 7. 'OY. *. . ". *. . T. ;,=(>HG. 7. %. 7. Z. $. Z. #. . B. 'PY *. ". ' Z *. B. 687 6. !. *. . . 9E;,=F> *. 7. "W<D. ?<7 *. * 7. ;,=(> *. W. . ;,=F> * G *. '. *. ° x ² ¢c¦ v¶y'z t {W} o ¢` v t z]y'vT

(186) y ¨Co ¢c¦ v0y'z t|{W}¶ o#§iy

(187) ¨ t o

(188) © s z {Wª o )t|}0 { n ¡o Y t 0 x o , v@ _{ nGy t|} o » o °0 o «{ YzYo ¦ v@o x|o { 0 x m

(189) no Ò o

(190) ¨ t o } z y }0 y }0 v@ v@ G *. B. W2Y. . 6U7 6. !. Z. *. 7. *. \ ^. 9E[. *. 9<^. . ` a. 7. *. *. 7. *. 'OY. *. ' Z. " B. & *. . *. . 9. ^. *. 7. ". *. 7. *. 9E^. *. Y. *. W. ;,=(> *. 7. ON. *. B. D. & *. dfe. B. ". & *. dfe. 7. B. 7 J. 7. B. ". 7. *. [. ". *. 7. *. 'I" C " B. ). ). 7 * O N. ". *. Q/N. *. *. &. *. '. g. dfe. dfe R. g. & *. '. g. g. . '. '. T. ¢`«{ ¡n³y t {~} v @0{C o

(191) µy ¦ vToxKy zYYv zYv@¡o v 0Tt z o n { v@¨Co

(192) no } z o o

(193) z t z¡o y'n x t z¡v o ° o ¦ v tq v Wz ¢ ¶v tK o oz¡µy v t z y }0w o o

(194) z t zYo 0v zYv0ycz t {W}0w v ¨ { x v@no o {W} zY Wx|o ¬ t|}¶«tÒ°{W} {~}0«t m

(195) Yo. y

(196) ¨Co ´ oz t z · oz {W} #. $. %$. & *. %. B. Z. 9. %. %. xy. 1zx. Û.

(197) .

(198) !#"%$!&%('*)

(199) +,!&!) $!&)-.. ² t|} z ¢ ¡o Y o ¸ o 0v z¡v0y'z t|{~}0. ycv@z { v@ ox ² ¢ zµycz °Lt|}¶ v t z¡o y'ixy o

(200) Yz¡v@ 0 ycz t {W} v<¨ { x v@no o º{W} zY ~x|o ° 0v zYv0ycz t|{~}0i¦ v@ox ²¹{~} $

(201) % . 5. oxy£y {~}< v t ¨~y } zYo «. y y }0}0 . . ¤+y n { z t ¨~y'z t {W} o Y o } z t ox|x|o o o

(202) z¡zYo _¢»0}@t z t {W}³ o. ¢`«tK o y }¶ x|o £y t z ¦ v@o ° { nno l0y ¦ vTo 0{Wt } z v<¨ { x|vTno o {W} zY Wx o v 0@t ziv } _¢

(203) xy ono } z v ¡¦ v ² ¸. qycv°8x t{Wo

(204) } v {~o }0«t m

(205) Yox o¬ § 0{ v z {W zY}¶v0 yco z }t {W}0o +io

(206) z yc¦ v@Po y °L@0t { Yz ¸. ° y'x { x|o ¡o

(207) xKycz t {W}0 . 7. Y". '. . $. %. u. . Y. 9. Z. 9. %. ". B. %. ". B. 7. *. Y. *. 7. *. 9E^. *. 9<^. %. *. Y. %. *. 9. %$. N. *. *. Y. ^. PN. %. 9. *. *. ". %. :N. 7. 'OY. *. ". *. . T. g. ". '. Y. *. ". . 7. g. dfe. *. . '. d!e. *. &. Y. ". *. &. 7. 9. 'OY. *. & *. 4. _Z. 7. 7. . . N. *. 7. *. 9A^. PN. %. 9. *. 7. *. ". %f'OY. *. *. & *. R. 9. . . _{W}T} o } z 0@t o }³¸ x ² { Yo/xKy _¢º»0}@t z t|{~} ¬ 0¤ o ¢c¦ v0y'z t|{~}0 x t }@¢ y t Yo y'z tK £y t z¡o y' o

(208) z «{W} z { 0 zYo } v@o o } Yo 0{ ¡zµy } z ° o

(209) z8o } o +o z¡v0y } z8v } _¢ ¨Co

(210) x {W@ o

(211) no } z0x t n t z ¢ |x o _¢»¶}@t z t|{W}¶ « y }0 W{ ¯ x ²¹{~}³}@¢ Wx t ~oix|o z¡o

(212) Yno )L² { Yo v *¢ t ov@ ¸ / ¬ t }0«t y }0 {~} ycv@µy . . . . 7. Z. " B "cB. %. 9. Y _ Z. %. 9. 7. *. Y. *. . Z. . Z. 9 9. %. ". %. ". 7. 9. '. Y8'. 9. . 7. . . . 7. " B3". 'OY8'%. Y. . & *. . *. *. 7. %. *. 7. 'OY. *. Y. *. %. *. Y8' Z. " B. %. ",T. }³ Yon t o

(213) _¢ ¨Co

(214) x {~@ o

(215) no } z ox ² ¢c¦ v0y'z t|{W}³ ¢c ¢c o } z¡o {W}@} o y'v ¡o

(216) n t o { ¡o. . . Y. 7. . 7. * 9. 7. *. 9E^. %f'OY. *. * 9. *. Y. 9. *. %. ' Z. 9<^. ". %. . . 7. 9. 'OY. *. ". ' Z. *. 7. 9. . . 7. 'OY. *. ". ' Z. *. Y]B. . " '. {W¯ o

(217) z ]¢

(218) }@{ z¡o } z Yo o z t ¨Co

(219) no } z:x o )t ¢ Yo } z t o

(220) x x|o : o h y' µy @0{ ¡z ¸ o

(221) z ¬ } ¨~y n {~} z¡Yo

(222) ¦ v@ox|o Yo

(223) n t o

(224) ,zYo

(225) ¡no o ¸ uy'v l@oo z } v@x ¸ x ²¹{ ¡o/ ¬ ¥ } o +o

(226) z ° ycv ¡o

(227) n t o

(228) { Yo {W} y ^. ^. 9. 9. . 9. 7. . . . . 7. *. 7. *. *. %f'OY. *. *. Y. *. %. ' Z. . ". %. . B. . 7. *. _Z. . "L'PY. %. . *. Z. . ² ycv@zY¡o y'¡zx o Yo

(229) xy'z t|{W}¶ p ° o

(230) zx|o { 0 x|m

(231) no ¨ ¢ t¼»¶¢ yc x t¦ vTo } z ¦ vTo 9<^. #. . 113254!6!784. 7. *. Z. . 9. %. 9<^. "L'OY *. Z. 9. . . 9. %. "L' Z. 9. . . 9. %. . " B. B " T. 7. *. 'OY *. ' Z. 9. " _Z. 9. "I' %. . %. 7. . Z 9 'OY *. ". *. ". %. "IT. t n©.

(232) % ) "8

(233) )

(234) +

(235) .8% !+ "%

(236)

(237) "" !$ " $ . ° {W} z o

(238) vTx|o

(239) no } z:v }h o }0)0{ vT x|o )0{Wt } z 0¤ o o

(240) Yo Y«t {W}0. °0 o o }¶ y } z o zqyc 0@t zYPy t ¡o

(241) no } z o

(242) z t z o

(243) z z¡o

(244) x ¦ v@o . _{W}¶ x|oPy tK{W}@} o

(245) no } z o z 0@t o } ¨Wycx t o y }¶ z { v@z ¬ } _¢` v t z#y t|}0tÒ°8¸ ycYz t o °+¦ v@o]xKy0v zYv0ycz t|{~}. y'z t £y t zqx ²¹¢`¦ v0ycz t {W}³ v t ¨~y } zYo y }0 . . ¤0o ycx v@x o _t ¢ Yo } z t o

(246) x|x o ,_{W}T} o 7. N. & *. *R. . *. jN. Z. *. ". %. 9. PN. %. 9. . 7. 'OY. . *. 6. B. . 6. 7 *. 'OY *. 7. 7. & *. Y". '. . 9. 7. 'OY. *. ". ' Z. *. Y:B. 4. & *. ". dfe. g. . T. 4. . 9<;,=(> *. 71?A7 *. ". Y]B. Y. *. ^. . 9E;,=F> *. 7 *. ;,=(> *. . ". ' Z. ". ' Z. *. %. . 7. !. 'OY. *. & *. R. 7. ". %. 9. . ". ' Z. *. 7. _Z. *. ". *. . . . Y. 7 " W. ? 7. . 7. *. [. W. *. [^. . ; =F> *. 7. ". '. T. ". ,o t8t n x t¦ vTo ¦ v@o]x ²¹¢`¦ v0ycz t {W} x t|}@¢ y t ¡o { Y¡o «0{W}¶ y'vT ¢c¦ v0y'z t|{W}¶ o#§iy

(247) ¨ t o

(248) «© s z {~ª o )t|}¶ { n Yo ¡«t 0 x|o x t }@¢ yc tK¢ o y'v@z { v@ ox ² ¢ zµycz . . 6 6. 7. !. 9. ^. *. " 7. 7. . * 9. 7 *. ^. *. . ". 7. W. 7. *. [. 7. *. 'OY. 9E^ ;,=F> *. "K4. *. *. 7. Y. B. ",' B. ",'. / . . y }¶ ¬ ¤0o , {~}0_t z t|{~}0 ycv@x t n t z¡o o

(249) z t|}Tt z t y'x o !0{ v@ {W} z { 0 zYo } v@o , o Ò ¸ ycYz t oxKy _¢»0}Tt z t {W} ¬ t|}0t v@ {~} y & *]dfe. g. . 7. . ). 7 J. *. &. 7. B. *. *. . 7. %. *. 7. '. y' Yo zYo » o#y'v { @v vzYo

(250) n 0 °_ o n³y t) v@ o 00{

(251) o z. ¦ v t8t n 0{C o v@ //. on ® no °C v@qx ² t|} zYo

(252) £y o {W} y 7. *. B. 7 J. %. #. 7. ). B. B. 9<^ ". . ). ". ). *. B. 7. *. *. 9<^. 7 *. *. &. 9. dfe. . %. . &. 9. g. . T. . 7 '. xy. 1zx. Û.

(253) .

(254) !#"%$!&%('*)

(255) +,!&!) $!&)-.. o

(256) z { nno v@ o 00 { . °@{~}<_¢` v t z xy {W}¶_t z t|{W}. . v@ t|} y'x|ono } z °Ç x ² t|}0 zµy } z t }@t z t ycx {W} y. y }0 °_t x8o } ¢c v@x|z¡o _{~}0 ¦ v@o y

(257) ¨Co o

(258) z 7. B. *. 7. B. 7 *. %. B. 7. Z. 3W. 7. B. *. 7. *. ^. 7. *. 9E^. %. ). *. %. *. . *. & *. 7. 9. / T. dfe1g. '. 7 *. B. *. ". :yc {~}0«¢c¦ v@o } z ° xy x t }@¢ yc tK y'z t|{W} o +o z¡v ¢ o v@:x o ±¢`¦ v0ycz t {W}0: o §iy

(259) ¨ t o

(260) © s z {Wª o t|}0 º{ n ¡o Yt 0 x o o } £ { ¡nv@xy'z t|{W} ¤+¥ _{W}T} o +² y Ym / D© / ]x|o { 0 x m

(261) no x t }@¢ y t Yo v t ¨~y } z. ON. 7. 'L". " B. *. ". Q/N. *. & *. R. 6. /. . /. . . . 6. . T. . . . z4. !. 7. 9. ^. *. 7. " 7. *. 9. ^. 7 *. " *. 7. ON 7. YW ". 7 B. ". 7 B. ". 7 B. 'L" C " B ". *. B. ;,=(> *. *. 9E^. W. [. . 7. *. y }0 y }0 v@ *. ^ Q N . & * & *. ) 7 *. *SR. g. dfe. g. vT *. &. '. dfe. dfe. g. '. %. & *. ºp. '. ). *. dfe g. . '. T. ' " & !

(262) # ¤0o { 0 x|mno)0v t o /ºp oYno

(263) z o ¡o }0 ¡o o } { n zYoqx|o o Loz ) o xy z¡Yv © zYv@¡oo }³ {~}0 o

(264) ¡¨~y } z v }_{ n³y t|} o 0v t o » o £ { Ynwv@xKycz t|{~} ov@x|o

(265) t o }T} o y }0 x|o y o o

(266) z t z )¢

(267) xKy o

(268) no } z : ox ² t|} zYo

(269) £y o ¬ }G«{ vTx t } o ¦ vToixKy£ { Ynwv@xKycz t|{~} ¤+¥ o } zYµy } o o n {t¼»+ ycz t {W}0i o i¢c¦ v¶y'z t {W}0¸ x ²¹t } z ¢ t o

(270) v@ v½¨ { x v@no o º{W} zY ~x|o ° v£y t z vhn { v@¨Co

(271) no } z oxy zYYv zYv@¡o ° zµy }0_t ¦ v@o y }¶ /ºp Az { vTzYo x|o q_¢

(272) o } © y }¶ o o } {W} zzYPy }00{ Yz ¢ o ¸ x ²¹t } z¡o

(273) «£y o ycx|own {c o }½ owxKy {W}¶_t z t|{W} y'v x t n t z¡o °C_t zYo oq´«z¡µy }0«@t µycz t|{~}_· D{ v +²¹t|}` o z t {W} ` v t|{~}8° ¨ {Wt °@ v t ¨~y } z¡o /. . v@ . . . . . '. . . $. . . %. . 7. 113254!6!784. B. 3W. ^.

(274) . *. 7. *. %. ). *. dfe. g. T. 4. .

(275) /. . % ) "8

(276) )

(277) +

(278) .8% !+ "%

(279)

(280) "" !$ " $. :y' {~}0«¢`¦ v@o } z ° x ² ¢ zµycz o

(281) zxKy0v zYv@zPy'z t {W} ¦ v t x|v t o z#y ¡«{ t ¢ o °. ° «{~} zqz { v x o o

(282) vT ycx vTx ¢c o }_{ n³y t } o » o ¬ . 7. 'PY. *. & *. *. ". . '. ". Y. & *. *. ! " ). ). N. N. *. *. PN %. 9. ! " '. *. *.

(283) ,++8 '*) 5 #" . # !"%$8. . 7. ). +. *. ² v } o,£y {~} l@ov@ t z t¦ vTo ° v } o {~}0_t z t|{~}w«t n t xy t ¡o ¸ / 5y ¢µ¸ ¢ z ¢ t|} zY { v t z¡o y }¶ _° _° ¬ k _@t¦ vTo

(284) no } z ° xKy {~}0_t z t|{~} o5´«z¡µy }¶«@t µy'z t|{~}_· o z { 0 zYo } v@o ¸ ycYz t L² v }h¢ ¨Co

(285) x {~@ o

(286) no } z:x t n t z ¢q oxKy¨ t z¡o Y oy'vTz { vT ox ²¹t|} zYo«£y o ° ¨ {Wt xy » WvTYo ° v@ /. } ¡o

(287) n³y' ¦ vTo ¦ v@o o _¢ ¨Co

(288) x {W@ o

(289) no } z x t n t z ¢ yv }½ o }0 v }@t¦ vTo

(290) no } z y }0 x|o y y'¡z t v@x t o

(291) {W¯ x|o0v tK oz¡µy

(292) ¨Co

(293) ox ² t|} zYo

(294) £y o °+ W² o z© ¸ © _t Yo °0¦ v0y }0 o z ¢»0}@t o v@ ¬ ¥ }³t n 0{u y } z xKy º{W} zYµy t z¡o t|}T¢ n³y'z tK¦ v@o o {W} z t } v t z ¢] o ¨ t z¡o Y o v@ {W} _¢c v t z o / AxKyx {~t oq´«z¡µy }0«@t µycz t|{~}_·. /. v@ ¤+y {~}0_t z t|{~} ¢c ¢c o } z¡o:o z5y'x { ¢

(295) }T¢ µycx|o

(296) no } z+y T x t¦ v ¢ o)ycv@ ¢c¦ v0y'z t|{W}¶!L² ¢c¦ v t © x t 0 Yo v0v t o y }0 x t }@¢ yc tK y'z t|{W}¬ t }0«t y }0 ° xKy ¡o

(297) xKycz t {W} / 8o z5zYµy }0 £ { Yn ¢ o y }¶ v } o)x {Wt o

(298) x tK ºt zYoo } Yo

(299) n xKy y } z8x|o,WPy _t o } z yc ° ¢ zµy } z o }@{ v_© ¨Cocy'v³x o l0ycn o¨ t z¡o Y o#y Y{ t|¢#¸ x ² ¢c { vTx|o

(300) no } z o

(301) ¡n³y } o } z ¬ ¤ ² t|} z ¢ z o }@{ zYYo y @ { l@oo z ¦ v ² o

(302) x|x oi£ { v@ }@t ziv }< Yo

(303) n t o

(304) ¢ x ¢ no } z o v © tz »+ y'z t|{~} zY® l ¢

(305) { t¦ v@o o i {~}0_t z t|{~}0i oz o´zYPy }0@t Py'z t|{W}· / °8¸ ycYz t L² v } zYPy t z¡o

(306) no } z:~x { 0 y'x ° o } x t|}T¢ y' tK y } z,z { v@z x o { 0 x m

(307) no L² ¢c¦ v t x t 0 ¡o$0v t oio

(308) z y v }@t © ¦ vTo

(309) no } zxKy {W}¶_t z t|{W}I¸ x ²¹t } z¡o

(310) «£y o ¬ :yc³y t x|x|ov@ º° o

(311) x|x o<y 00{ v@z t z ¸ v } { 0 x m

(312) no x t }@¢ y t Yo _{~} z:xy ¢c«{ x|v@z t|{~} o z!n {~t|}0 {~¾ zYo

(313) v o ¦ v@o o

(314) x|x o o ¢c¦ v¶y'z t {W}0 of§iy

(315) ¨ t o

(316) «© s z {~ª o ¬ #. . u.

(317). ). *. 7. _Z. " B. %. 9. 7. *. 9<^. 7. %. ). 1). *. 7. . Z. 9. ). . dfe. . T. g. 7. *. " B. %. *. *. ). dfe. '. g. . 7. B. 3W. ^. *. 7. %. *. ). dfe. g. . T.

(318). u. ^. . *. 7. ^. *. . 7. . *. 7. *. . xy. 1zx. Û.

(319)

(320) !#"%$!&%('*)

(321) +,!&!) $!&)-.. //. C ³") / @¬ k ¬ y'z t|} y ° ´ }¶ zYo`y _ o

(322) vTx|o

(323) ,y t £ {Wt x { x|vTz t|{~}0 v «t } v }0 z¡Yv z¡v@Yo _} ycn tK no l@o Z·P° %)-8 " ° 8° /

(324) W ° / /µ©

(325) / _¬ @¬ {~} ocy °:s0

(326) ¬ t v@x t y }@t°0@¬ ¬ y'x x|o

(327) vT ° ´¡ } y' 0@t z¡µyc xy'~µy } t y } ©o

(328) v@x|o t y } » © }Tt zYowo

(329) x o

(330) no } z no

(331) z¡l { £ { z¡µy }¶«t o } z __} y'n t 0v tK © zYYv zYv@¡o t } z¡o

(332) µy z t {W}0Ò·µ° ° 8° / ° % )% !

(333) % $ "% $. "% %

(334) !!

(335) © _¬ ¬ ¬ v LnGy }8° ¬ #¬ ho

(336) x ¨ t }8° ¬ ¬ ,{ v } ° ¬ k ¬0W{ l }0«{~}8°8@¬ ¥ ¬ v ¡«{ x|o

(337) z¡z tÒ° ¬ i¬ )t ozYo

(338) ¡n³y }8° ¬ ¤ ¬ t x|no ° Ý:µy z t y'x o «t } y }¶{W z t n t ycz t|{~}t } º{ n© v@zµycz t|{~} y'xL¶v tK@q_} y'n tK

(339) Ò·µ° "8 !5

(340) + ) "%$. % !. . $8 !

(341) "% % %!%" /W ¬ ¹p ¬ ¤0o]k!ycx|x|o W°W@¬ { v@ {@° ´ s zY¡v z¡v@Yo o } ~µy }0@)¢

(342) xKy o

(343) no } z 8 { v x ¢ o 5¸ o ¶v tK o o } n { v@¨Cono } z ·P#° " "8% %

(344) . $ ! $ $ " % &#' ° /W ¬ #¬ ho _tK W° )´ (:zYv o nGy'zYl ¢ n³y'z tK¦ v@o o n { mx|o y'v@wzYo }0«t {W}0, o] o _}@{ x @ o

(345) z t nwv@xKycz t {W}³} vTn ¢ t¦ vTo L²¹¢` { v@x o

(346) no } z zYv@ 0 v@x o } z i vT y' {Wt]» _o o

(347) zin { 0@t © x o Z·P° 5 # !# "%8 /W~ ¬ @*¬ ¬ o }@{ v ° ´ } o n ¢ zYl { o o

(348) v@x o

(349) t o }@} o 0{ v@<x o ycx v@x o £ { o ¶v tK oº© ¢ xKy z t¦ v@o Z·P° # # !# "%! /

(350) ~ ¬

(351).

(352). . H. . #. . . . . E. . . . .

(353). . #. l. . H. . ,+. . . . ,-.-.-0w. H. !. .

(354). . . .

(355). 8. . f . . .

(356). 8. 113254!6!784. 1. ! . . . ,+. .-. . .

(357) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. ´ Editeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

(358). . ISSN 0249-6399.

(359)