Finding an Ordinary Conic and an Ordinary Hyperplane

Texte intégral

(1)Finding an Ordinary Conic and an Ordinary Hyperplane Olivier Devillers, Asish Mukhopadhyay. To cite this version: Olivier Devillers, Asish Mukhopadhyay. Finding an Ordinary Conic and an Ordinary Hyperplane. RR-3517, INRIA. 1998. �inria-00073167�. HAL Id: inria-00073167 https://hal.inria.fr/inria-00073167 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. Finding an ordinary conic and an ordinary hyperplane Olivier Devillers — Asish Mukhopadhyay. N° 3517 Octobre 1998 THÈME 2. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5)

(6)

(7) !"# $%'&)(*&'+-,.+-(*&/%'%/+0,1325416&/16798;:5<=75>@?BADC7=E@AFE GIH=JLKNMOPRQTSLUWV)MX)YFZ[V)\LV)MLX ML]\_^0X)\L`WXbadcDKe5YFXfV)gh`=M i"jY0kdML]i"jdV)adKNM lm^0nWnYFjd]oWMTjMp\H=MLj\H=MUq"r[s@tvuwPyxm\L]YFeWjM!t_z[z[{P|zn*^0Z}Mpa ~p_- W}} QTVf}MLUw^=UWVf]MTaML]IY0bU=YFU@\pYFXfXfVfU=M_^0jn5YFVfUh]aIVfU3]dH=MmnWX/^0U=MT]dH=MLjMmM6@V)ad]a^XfVfU=M ]dH*^0]n*^FaaMpaT]dHWjYF`WZ[H;M6=^F\L]dXfc]Ywn5YFVfUh]a_!`=\H^3XfVfU=MV)a\_^0XfX)Mpo;^0UFdFF6w ¡¢L£ U M6¤!\LV)MLU]¥^0XfZ}YFjdVf]dHWK¦§YFjT\pYFK¨nW`W]dVfUWZwad`=\H©^!XfVfU=MI^Fa nWjYFn5Y[aMpoªehc«¬`WDH=YFn*^Fo@Hhch^_cML]¥^0X ® «ª£m¯mz}uv° ±U©]dHWV)aU=YF]MN²M!M6@]MLU=o©]dHWV)ajMpad`WXf]VfU;]Yªo@VfjMp\L]dV)YFU=a_w³©MN=jad]adH=Yv´H=Yv]Y¬`=aM ]dHWV)a^0XfZ}YFjdVf]dHWK´]Y\pYFK¨nW`W]M^0U[µFF6¶[=§¶_·}]dH*^0]¸V)a_·^T\pYFUWV)\n*^FaadVfUWZ]dHWjYF`WZ[H3M6W^F\L]dXfc =}MnYFVfU]a_·5^Faad`WK¨VfUWZ!]dH*^0]T^0XfXb]dH=MnYFVfU]a oWY!U=YF]XfV)MYFU¬]dH=Ma^0KNM\pYFUWV)\[ x `Wj nWjYY0¹Y0 M6@V)ad]MLU=\pMT^0U=o!]dH=Mm\pYFU=aMpg`=MLUh]^0XfZ}YFjdVf]dHWKºV)aIadVfK¨nWX)MLj]dH*^0U3nWjMLDV)YF`=aYFU=Mpa_³©Mm^0X)aYadH=Yv H=Yv»]YN\pYFK¨nW`W]M^0UYFjo@VfU*^0jdc3Hcn5MLjdnWX/^0U=MVfU¼]dHWjMpM^0U=owHWVfZ[H=MLjo@VfKNMLU=adV)YFU=a_ ½¼¾}¿5ÀÁÂ -Ã} \pYFK¨nW`W]^0]dV)YFU*^0XZ}MpYFKNML]djdc}. ÄÅÇÆÈÅÇÉÊmË0Ì_É0ÍÎFÏÐ-ÉpÑ_ÏµÑÆÒÅÔÓÖÕ×ÍØÚÙ'ÛFÐvÆ¡ÏÛTÙÛ-Å§Ü×ÆÝÜ×Ë-Ü×Þ"ÍÓßDÞµàÉ-Û0Í6áÈÍâÑpã ä¸ÏÛ-Î0Ë-Õæåçè6ç_édêvã}Ù'ÛFÐvÆ¡Ï_ëÔìÆÈÅÔí5ÍÕ×Ì íBÏÅbÐvÍ6Û0Þ"ÆÈÛ ÎFÏÕÇÜÔíÔÉ-ÆÒáÈÞ"É-ÞæíBÏÅÔî_ÆÈÅÇÆÝÜ×ÆÒÛ-âÙïðÙÄ¹ë. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.

(8) "5"5

(9) º

(10) » T"#

(11)

(12) ]^0Uh]oWYFUWU=S¥`WU¬MLU=aMLKeWX)MoWMTnYFVfU]aU=YFU¬^0XfVfZ[U=Spao=^0U=aX)MTnWX/^0UÔ·@VfXbM6DV)a]M `WU=Mo@jYFVf]M n*^Faa^0Uh]n*^0jM6=^F\L]MLKNMLUh]moWML`@¼oWM\pMpanYFVfU]a_ U=MT]MLXfX)M¥o@jYFVf]M¥Mpad]^0nWn5MLX)SpM!FdF¢Fµ[ F'¢L U=MKNSL]dH=YDoWM¨M6¤!\_^F\pMoWMoWSL]MLjdK¨VfU*^0]dV)YFU;o `WU=M]MLXfX)Mo@jYFVf]M¨^!SL]SnWjYFn5Y[aSpMn*^0j «`WDH=YFn*^Fo@Hhch^pc¼ML]^0X× YF`=aSL]MLU=oWYFU=a3\pM¬]dj^p[^0VfX o=^0U=a3oWML`@o@VfjMp\L]dV)YFU=a_ mYF`=aN`W]dVfXfV)aYFU=a3\pML]3^0XfZ}YFjdVf]dHWKNM n5YF`WjoWSL]MLjdK¨VfU=MLj¨`WU=M¶F= W¢¬FdF'F'¢L·¸!\ ÝMpa]µ "-o@VfjM `WU=M3\pYFUWV)g`=M3n*^Faa^0U]n*^0jM6=^F\6 ]MLKNMLU]\LVfU=g n5YFVfUh]a_·IadVX)MpaNn5YFVfUh]aU=M¼aYFUh]n*^FaN]YF`=aad`WjN`WU=M¼$K #LKNM\pYFUWV)gh`=M[% mYF]djM nWjML`W}Mmo ÝM6@V)ad]MLU=\pM ML]U=YF]djMm^0XfZ}YFjdVf]dHWKNMTaYFU]²aMLU=adVfeWX)MLKNMLUh]InWXf`=a²adVfK¨nWX)M g`=MX)Mpa]dj^p[^0`@ nWjSp\pSpoWMLU]a_& mYF`=aIKNYFUh]djYFU=a SLZh^0X)MLKNMLUh]m\pYFK¨KNMLUh]oWSL]MLjdK¨VfU=MLj `WU=(M 'h* )W¢6 ) [FdFFd¢ MLUw]djYFV)a o@VfKNMLU=adV)YFU=aML]nWXf`=av + Â _ À - , ¼ Z}SpYFKNSL]djdV)M^0XfZ}YFjdVf]dHWK¨V)gh`=M[.

(13) ¹F![µFF6¶[=§¶¨['h*)W¢6) [¢. r.

(14)

(15) bML] eM^äML]mY0 nYFVfU]aVfU]dH=MnWX/^0U=M[£º¶F=¢d¶ §'XfVfU=MY0 V)aT^XfVfU=M]dH*^0]n*^FaaMpa ]dHWjYF`WZ[H ^0]¸X)M_^Fad]¸]YY05Vf]a¸nYFVfU]a_"£Ú\pYFUWU=Mp\L]dVfUWZXfVfU=MV)aa^0V)o¨]Ye5M¥FdF'FV 5Vf]¸n*^FaaMpa ]dHWjYF`WZ[HM6W^F\L]dXfc ]²Y¨n5YFVfUh]aY0 GIH=MnWjYFeWX)MLKY0ÔMpad]^0eWXfV)aHWVfUWZ]dH=MM6@V)ad]MLU=\pM Y0Ba`=\H^¥XfVfU=MYFjdVfZ[VfU*^0]MpoNVf]dHwcXf}Mpa]MLj ® cDX/z[r-°·WH=Y¨nWjYFn5Y[aMpo ]dH=MTÇYFXfX)Y_VfUWZnWjYFeWX)MLK VfU;t_{[z[ r

(16) ±× ;nYFVfU]a VfUª]dH=MnWX/^0U=M^0jMad`=\H]dH*^0]^NXfVfU=Mn*^FaadVfUWZ3]dHWjYF`WZ[H©^0Uhc¼]Y Y0 ]dH=MLK n*^FaaMpaI]dHWjYF`WZ[H^]dHWVfjownYFVfU]_·=]dH=MLU¬^0jM]dH=M¥nYFVfU]a\pYFXfXfVfU=M_^0j Y aYFXf`W]dV)YFU©\_^0KNMÇYFjd]dH o@`WjdVfUWZ¼]dH=MU=M6D]TÇYFjd]cc}M_^0ja_±U9t_z hr@·b^3nY[aVf]dVf}M}MLjaV)YFU Y0]dH=Ma^0KNMnWjYFeWX)MLK¦²^FaTnWjYFn5Y[aMpoªehc ® j o [°·B^0U=oªVfUª]dH=MÇYFXfX)Y_VfUWZwc}M_^0j¥^!aYFXf`W]dV)YFU ecwQ¥^0XfX/^0V ® Q^0X [°^0nWn5M_^0jMpowVfU¼nWjdVfU]_ `We=aMpgh`=MLU]dXfcªYF]dH=MLjTnWjYDY0§a^0X)aYw^0nWn5M_^0jMpoB·BU=YF]^0eWX)MN^0KNYFUWZ HWV)\H ²MLjM]dH=MnWjYDY0Ça ec]MLVfUhe5MLjdZ ® ]M [°"^0U=o MLXfXfc ® «s[{0°GIH=MpaMjMpad`WXf]amadH=Y_²Mpoª]dH*^0] ]dH=M^0U=adMLjmV)amVfU ]dH=M^-¤NjdK!^0]dVf}MÇYFj jM_^0XænWjY0kdMp\L]dVf}MZ}MpYFKNML]djdcVfU]dH=MnWX/^0U=M[TGIH=MLjM6ÇYFjMV ]dH=Mn5YFVfUh]aTY0 »^0jMU=YF]m\pYFXfXfVfU=M_^0jT]dH=MLUª]dH=MLjMV)aT^0]X)M_^Fad]TYFU=MYFjo@VfU*^0jdc¬XfVfU=M[±U¼×^F\L]_· ® «s[{0°aH=Y_Mpo ]dH*^0]]dH=MLjM^0jM¥^0]X)M_^Fad] YFjo@VfU*^0jdcwXfVfU=Mpav £ aML]Y0nYFVfU]aV)aa^0V)o ]Ywe5M¬¶ µ¶F=Ç¶V ^0XfX¸]dH=MNn5YFVfUh]aXfV)MNYFU YFU=M!\pYFUWV)\[ ±U;]dHWV)a n*^0n5MLjIM^FoWo@jMpaa^KNYFjMmZ}MLU=MLj^0X}MLjaV)YFU Y0]dH=MmYFjo@VfU*^0jdcXfVfU=MmnWjYFeWX)MLK

(17) "Z[Vf}MLU¼âML]²Y0 n5YFVfUh]a]dH*^0] ^0jMU=YF]\pY0\pYFUWV)\[·@=U=o^¨\pYFUWV)\]dH*^0]n*^FaaMpa]dHWjYF`WZ[HM6=^F\L]dXfc!=}Mn5YFVfUh]av x `Wj3^0XfZ}YFjdVf]dHWK nWjY_DV)oWMpaw^©\pYFU=ad]djd`=\L]dVf}MnWjYY0Y0¥]dH=MM6DV)a]MLU=\pMY0¥ad`=\H ^;\pYFUWV)\[ £ U=YF]dH=MLj¥nWjYDY0V)a¥\pYFUh]^0VfU=Mpo;VfU ® ³Ú³ {[{-°3x `WjnWjYY0IV)a¥}MLjdcadVfK¨nWX)M^0U=o^0XfX)Y_a¥`=a]Y jMLX/^0]M^jMpad`WXf]YFUw]dH=MU`WKe5MLj Y0"YFjo@VfU*^0jdc3XfVfU=Mpa]Y]dH=MUh`WKeMLjmY0æYFjo@VfU*^0jdcw\pYFUWV)\pa_ GIH=M¨n*^0nMLjV)a¥YFjdZh^0UWV)aMpo;^FaTÇYFXfX)Y_av!±U ]dH=MÜ=M6D]aMp\L]dV)YFU©M!o@V)a\L`=aa¥aYFKNMNK!^0]dH=M6 K!^0]dV)\_^0XnWjMLXfVfK¨VfU*^0jdV)Mpa_IGIH=M^0XfZ}YFjdVf]dHWK V)ao@V)a\L`=aaMpo¼VfU¼]dH=M¥]dHWVfjo¼aMp\L]dV)YFUÔ¹³©M¥\pYFU=\LXf`=oWM VfUw]dH=M§YF`Wjd]dH^0U=o3=U*^0XaMp\L]dV)YFUÔ . $ %'&. . ¸#"! # (*),+-.+0/1)243. bML] e5MN^waML]¥Y0 nYFVfU]a¥VfU v ÔML] e5M]dH=M¨]dj^0U=aµÇYFjdK!^0]dV)YFU;]dH*^0]¥K!^0n=a^wnYFVfU] ]Y!]dH=Mn5YFVfUh] 0 V)a]dH=MONo@VfKNMLU=adV)YFU*^0X K!^0UWV ÇYFX)o¼VfK!^0Z}MY0 TVfU ecw]dHWV)a]dj^0U=aµÇYFjdK!^0]dV)YFU X)ML] e5M]dH=MVfK!^0Z}MY0 Ú`WU=oWMLj]dHWV)a]dj^0U=aµÇYFjdK!^0]dV)YFUÔ. 5 6 87 95: ; =< >@?BADCFEHGJIK 7 9 : > = L ?MADC : EHG : NE C.GOENCFEHGJIK 7 95P 7 9 : L Q7 95: 7 9 P SR L ? < A I . ðð ÛTVUWpéHX.

(18) ¢_' )¢6

(19) 'D*)W} 'h}F . ±× ªV)a^\pYFUWV)\TVfU7 9 : oWMpa\LjdVfeMpo ec]dH=MMpg`*^0]dV)YFU C : G : C.G C G ? ·]dH=MLU < A I? L V)a3]dH=MªVfUh]MLjaMp\L]dV)YFU»Y0=< A 7 95: I? 7 95: L Vf]dH ]dH=M¬Hcn5MLjdnWX/^0U=M!#"

(20) $ %&')(* C * G ? VfU 7 95P0 ±×, + ^0U=o.- ^0jM]²Y3a`We=aML]a Y0 7 9 P ·*²MoWM6=U=M]dH=M^-¤NU=MH`WXfX/+%0*- ^Fa ]dH=MaML] Y0 XfVfU=M_^0j \pYFKeWVfU*^0]dV)YFUY0n5YFVfUh]aVfU + ^0U=1o -3 +0- 3 ? 254. K 7 9 P7698;: E< K 7 9 E. : <?3=E 8 K. + 8 K. 4. ?. : < ?>. @BADC4/'2 -EAGFIH'/ 2KJ. $ % $. L*YFj\pYFK¨nWX)ML]MLU=Mpaa_·M!ad}ML]\HeWjdV)M)M=cª]dH=M^0XfZ}YFjdVf]dHWK. ÇYFj=U=o@VfUWZª^0U;YFjo@VfU*^0jdcXfVfU=M!VfU^ aML]Y0æ\pYFnWX/^0U*^0j nYFVfU]a_ ÔMLO ] N eM¼^©o@VfjMp\L]Mpo XfVfU=MQP§o@VfjMp\L]dV)YFUS&UR T ]dHWjYF`WZ[HÚM6=^F\L]dXfc9YFU=Mwn5YFVfUh] >WV Y0 bML] 45X ? > V ZY & R ³©M¥=U=o]dH=MXfVfU=MoWM6=U=Mpoehc¼n5YFVfUh]aTY0Q ]dH*^0]m\L`W]'NæVfU ^Nn5YFVfUh] 4?X Vf]dH K¨VfUWVfK!^0X Y\[ `=\H ^wXfVfU=M3n*^FaaMpa]dHWjYF`WZ[H]Yªn5YFVfUh]a\pYFU=aMp\L`W]dVf}M3VfUn5YFX/^0jYFjoWMLj ^0jYF`WU=o >WV ^0U=oª\_^0Uª]dHh`=a eM¥§YF`WU=oVf. U ] A '^`_ba4 I ]dVfKNM[ Vf]dH=MLjT]dHWV)aXfVfU=MV)aYFjo@VfU*^0jdcªYFj ^XfVfU=M¥]dHWjYF`WZ[H >WV ^0U=o¼^n5YFVfUh]YFUw]dHWV)aXfVfU=MV)aYFjo@VfU*^0jdc}, L*YFjoWML]^0VfX)aaMpM ® «ª£m¯mz}uv° #

(21) 5 5 ! GIH=MV)oWM_^3e5MLHWVfU=o]dH=MN^0XfZ}YFjdVf]dHWK V)aT]Y=U=o©^!Hcn5MLjdnWX/^0U=M¨]dH*^0]n*^FaaMpa ]dHWjYF`WZ[HM6W^F\L]dXfc =}Mn5YFVfUh]a¥Y0 L ±U]dH=M 7 9 : nWX/^0U=M]dHWV)a\pYFjdjMpadnYFU=oWa¥]Y ^3\pYFUWV)\]dH*^0]n*^FaaMpaT]dHWjYF`WZ[H M6=^F\L]dXfc=}MnYFVfU]aY0 ³©M=ja]=U=o ^3\pYFUWV)\]dH*^0]mn*^FaaMpam]dHWjYF`WZ[H©M6W^F\L]dXfc]dHWjMpMn5YFVfUh]aY04 T³©MoWY3]dHWV)a ^FamÇYFXfX)Y_av³©M!\H=YDY[aM >SE4EfeK ^0U=Q o g EihkKj ad`=\H ]dH*^0]U=Y ]dHWjMpMP'§YF`Wj T Y0²]dH=M=}M n5YFVfUh]a¥^0jM¨\pYFXfXfVfU=M_^0j_ lTMLU=YF]Mehm c nR ]dH=M}Mp\L]YFj Ao=E I5K 7 9 : ^0U=o \pYFU=aV)oWMLj]dH=M\pYFUWV)q\ pqr n*^FaadVfUWZ¨]dHWjYF`WZ[H¬]dH=Mm=}Mn5YFVfUh]a >SE4Efe E g Eih s nR L=YFj¥^0Uhc¼n5YFVfUh' ] t K m·]dH=MLjMM6@V)ad]^0] KNY[ad]m]²Y F^0Xf`=Mpa s ? s5u YFj s ? swuv a`=\Hª]dH*^0] t K pqr0"GIHWV)aV)aeMp\_^0`=aMV c. d. rG : r C.G * r C r G * r Dr C : *. ?. V)a]dH=MI\pYFUWV)\I]dH*^0]æn*^FaaMpa]dHWjYF`WZ[H¨]dH=MIn5YFVfUh]a_· >SE4Efe E g Eih Os nR ]dH=MLUNM_^F\HNY0*]dH=MI\pYDM6¤!\LV)MLUh]a V)amY0aMp\pYFU=oªoWMLZ[jMpMVfU s TDYVf] V)aTM_^Fadcw]Y3oWML]MLjdK¨VfU=MäYFKNM s V o@Vyx5MLjMLU]mjYFK ^0XfX]dH=MpaM [^0Xf`=Mpaad`=\H¼]dH*^0z] pqr|{/} ?32N>SE4Efe > Yv]dH=M^-¤NU=MHh`WXfEX ~ ? > L 0 4 L 0 e L V)a²âd`We=adn*^F\pM Y0]dH=MHhcDnMLjdnWX/^0U=M p Lr{ ^0U=oNaY¥V)a ]dH=M ^-¤NU=MHh`WXfXadn*^0UWU=MpoNec]dH=MnYFVfU]a > L · g L ^0U=o Ah 1s V nR I L æ«ªYFjMpY_}MLj_·]dH=MpaMad`We=an*^F\pMpa H*^_}M¥o@V)a§kdYFVfUh]o@VfjMp\L]dV)YFU=av ÙïðbÙ§Ä.

(22) ¹F![µFF6¶[=§¶¨['h*)W¢6) [¢. s. ÔML ] ¼eMT^nYFVfU]Y0F 7 95PU=YF]IVfU p Lr{ "GÔj^0U=adX/^0]MT]dH=M^-¤NU=MmHh`WXfXÔY0]dH=M n5YFVfUh]av· > L ·;g L 0^ U=o Ah s n1R I L ]Y¨n*^Faa]dHWjYF`WZ[H ÔML] oWMLU=YF]M]dHWV)a]dj^0U=adX/^0]Mpoª^-¤NU=MHh`WXfX× L=YFj¥^0Uhc¬n5YFVfUh] t K 2N>SE4Efe > ·5M¨\pYFU=ad]djd`=\L]T]dH=MnYFVfU] t ? A ~ 0*t L0I } "GIH=M VfU]MLjaMp\L]dV)YFUwV)a²M6W^F\L]dXfc!YFU=M n5YFVfUh]IeMp\_^0`=aM ad`WVf]^0eWX)Mm]dj^0U=adX/^0]MpaIY0b]dH=MM^0]a ~ 0mt L ^0U=oO ^0jMTad`WnWnWX)MLKNMLU]^0jdcwad`We=adn*^F\pMpaY0b]dH=Mm}Mp\L]YFjdV/^0Xbadn*^F\pM 7 95P-¹x ]dH=MLjdV)aM[;· t L YF`WX)o e5MLX)YFUWZ p Lr{ ¸VfK¨n5Y[aadVfeWX)M¥aVfU=\p' M t Kj pqr { ec]dH=M¥oWM6=UWVf]dV)YFUªY0 s V GIH=M¹aML]bY0Wn5YFVfUh]Fa ? t 6 t K 2N>E4 Efe > XfV)MpabVfU¥]dH=M¹]²Y0o@VfKNMLU=adV)YFU*^0X@nWX/^0U=KM " bML] Ne5M^XfVfU=MVfUN]dH*^0]¹nWX/^0U=MT^0U= o

(23) º]dH=MHcn5MLjdnWX/^0U=M]dHWjYF`WZ[H ~ ^0U=Oo N c¨\pYFU=ad]djd`=\L]dV)YFU t K

(24) V m^0U=o YFUWXfc;V t L8K

(25) ª GIH`=aN^0]]dHWV)anYFVfU]²MwaMpM ^\pYFK¨nWX)ML]MwMpg`WVf[^0X)MLU=\pM e5ML]²MpMLU]dH=MnWjYFeWX)MLK¦Y0=U=o@VfUWZw^0UYFjo@VfU*^0jdc¬XfVfU=M¥ÇYFj ^0U=oª^0UªYFjo@VfU*^0jdc¬\pYFUWV)\ÇYFj ]dHWjYF`WZ[H¬]dH=MnYFVfU]a > · 4 ^0U=o e ±×m^0XfX]dH=M3n5YFVfUh]aNY0 ^0jMw\pYFXfXfVfU=M_^0j_·¸]dH=MLU^0XfX]dH=M3n5YFVfUh]aNY0 L ^0jM VfU ]dH=Mwa^0KNM Hcn5MLjdnWX/^0U=M^0U=owH=MLU=\pM^0XfXÔ]dH=MTnYFVfU]aY0 ^0jM¥\pY0\pYFUWV)\[ x ]dH=MLjdV)aM[·h]dH=MLjM M6DV)a]a^0U!YFjo@VfU*^0jdc¨XfVfU=M NVfU æ·@^0U=o¨]dH=M \pYFjdjMpadnYFU=o@VfUWZHhcDnMLjdnWX/^0U=M

(26) \pYFU]^0VfU=aŸFUWXfc=}M!n5YFVfUh]aY0 L ¬GIH=M3\pYFjdjMpadnYFU=o@VfUWZ \pYFUWV)\V)aYFjo@VfU*^0jdZ c PÇ^0U=o;n*^Faa ]dHWjYF`WZ[H >SE4Efe T GIH=MÇYFXfX)Y_VfUWZ]dH=MpYFjMLKV)aI^¥\pYFU=aMpgh`=MLU=\pM Y0Ô]dH=M ^0e5Y_}Mmo@V)a\L`=aadV)YFU ^0U=o!]dH=MÇ^F\L]]dH*^0] ]dH=MLjM^0jM¥^0]X)M_^Fad] YFjo@VfU*^0jdc XfVfU=Mpa

(27) 0¢6 1 p¢ )@[' N! m¶ ¶[=§¶w' '@¢ ) fF¢ '@¢6 pF ¾hÂ ¾ F= 'h¢¢F ¶F Ö'5¢dF )@[' ¨ '@¢6¢w!¢ F !! )¢d #"$& %'#( FdFF6 ¶F=Ç)¶ ! )@ 6' 'D ' 'W9¢ p$¢ 'hd¢¢ )@[' ? ;FdFF6¼¶F=Ç¶!¶[* )¢ L D!'B ] A '^`_ba4 I §, +!?¢ . # º " "! ¸ #

(28) # QTVf}MLU3^¥aML]IŸ0Swn5YFVfUh]a²VfU]dHWjMpMadn*^F\pM[·@^¥\pYFUWU=Mp\L]dVfUWZnWX/^0U=M P]dH*^0]²V)a_·D^nWX/^0U=M ]dHWjYF`WZ[H aYFKNM]dHWjMpMmn5YFVfUh]aY0 / T V)aIoWM6=U=Mpo3]Ye5MmYFjo@VfU*^0jdc!V ÔVf]IH*^Fa^0XfXeW`W]IYFU=MTY0bVf]a²nYFVfU]aIYFU ^XfVfU=M[£ nWX/^0U=M¥]dH*^0]n*^FaaMpa]dHWjYF`WZ[HM6W^F\L]dXfc ]dHWjMpMn5YFVfUh]aV)a\pMLjd]^0VfUWXfcwYFjo@VfU*^0jdcwVfUw]dH=M aMLU=aM¥Y0"]dHWV)aoWM6=UWVf]dV)YFUªeW`W] ad`=\H^¨nWX/^0U=MU=MpMpo¼U=YF]M6@V)ad]_²£ am^0UM6=^0K¨nWX)M[·=nWX/^F\pM]dHWjMpM YFj²KNYFjM nYFVfU]a²YFU M_^F\HwY0Ô]Yad}ML XfVfU=Mpa¹VfU3]dHWjMpMTadn*^F\pM[æGIHWV)a²\pYFU@=Z[`Wj^0]dV)YFU¼Y0Ôn5YFVfUh]a H*^FaU=YN\pYFUWU=Mp\L]dVfUWZ!nWX/^0U=M]dH*^0]V)aoWM6=U=Mpo¼ehc M6=^F\L]dXfc3]dHWjMpM¥nYFVfU]a ® «YF]s@tp° ³©MadH=Yv ]dH*^0]m]dH=MV)oWM_^Fa a}ML]\H=MpoªVfU DMp\L]dV)YFU©O@ÈO\_^0Ue5MZ}MLU=MLj^0Xf$V 0_Mpo]Y]dHWjMpM^0U=o HWVfZ[H=MLjo@VfKNMLU=adV)YFU=a!]Y;\pYFK¨nW`W]M^ªnWX/^0U=M¼]dH*^0]!V)a!YFjo@VfU*^0jdc VfU ]dH=M¼aMLU=aMwY0T]dH=M^0eYv}M oWM6=UWVf]dV)YFUÔ -. .. ðð ÛTVUWpéHX.

(29) ¢_' )¢6

(30) 'D*)W} 'h}F. . . . .

(31) .

(32) . . . .

(33) . LVfZ[`WjMNt

(34) ¸«^0nWnWVfUWZNVfU¬sö@VfKNMLU=aV)YFU=a ÔML] >WV eM^NnYFVfU] Y0 ^0U=o©^XfVfU=M¥]dHWjYF`WZ[H >WV ÔML]Úe5M^NnWX/^0U=M¥]dHWjYF`WZ[Hª]dHWjMpM n5YFVfUh]a > E > : E > Y0 ád`=\H ]dH*^0]¨Vf]aö@V)ad]^0U=\pM ]Y >WV ·"KNM_^Fad`WjMpo ^0X)YFUWZ ·¸V)aK¨VfUWVfK`WK ^0KNYFUWZ3^0XfXÔnY[aadVfeWX)M\pYFUWU=Mp\L]dVfUWZ!nWX/^0U=MpaY0 ]dH*^0]VfUh]MLjaMp\L] ±× V)aYFjo@VfU*^0jdcw²M^0jMoWYFU=MRYF]dH=MLjdV)aM[·aML] ? } ^0U=o¬X)ML]!eM^0Uª^0jdeWVf]dj^0jdc nWX/^0U=M\pYFUh]^0VfUWVfUWZ R@=U*^0XfXfc}·=aML] Y ? }" ÔML] ># · > : · > ^0U=o >%$ eM n5YFVfUh]aY0S 9Vf"U ad`=\H ]dH*^0]IU=Yr-×]d`WnWX)MmY0]dH=MÇYFjdK >1>%& >(' · j P§ad`=\H9n5YFVfUh]a¨M6@V)ad]Vf. U adVfU=\p"M V)aU=YF]ŸFjo@VfU*^0jdc T ©³©M ) E* K 2+E E-, > ·^0jM \pYFXfXfVfU=M_^01 \pYFU=aV)oWMLj ]dH=MnWX/^0U=Mpam]dHWjYF`WZ[H >WV > ^0U=o > : · > · >%$ jMpadn5Mp\L]dVf}MLXfc} bML] / : 0· / ^0U=1o / $ e5M ]dH=MLVfjjMpadnMp\L]dVf}MNVfUh]MLjaMp\L]dV)YFU=aVf]d2 H ^0U=Q o N : · N ^0U=Q o N $ ]dH=MLVfjjMpadnMp\L]dVf}MNVfUh]MLjaMp\L]dV)YFU=a Vf]dH Y £ aa`WKNM[·[Vf]dH=YF`W]¹X)Y[aaY0Z}MLU=MLj^0XfVf]c}·D]dH*^0] N V)a¹aMLn*^0j^0]Mpo¨§jYF3 K ^0X)YFUWZ Y ehc N YFj N $ GIH=MLUªM\LX/^0VfK¦]dH*^0] ]dH=MnWX/^0U=MoWML]MLjdK¨VfU=Mpoehcw: ]dH=MnYFVfU]a > V E > E > : V)amYFjo@VfU*^0jdc}T GIH*^0] V)aT^0XfXæ]dH=Mn5YFVfUh]av·e*^0jdjdVfUWZ >WV ·5^0jMYFUª]dH=MXfVfU=MoWML]MLjdK¨VfU=Mpoªehc >E > : T±¸U=YF]_·X)ML] 4 eM^ n5YFVfUh]_·*o@V)ad]dVfU=\L]§jYFK >WV ·@XfcVfUWZNYF`W]aV)oWM]dHWV)aXfVfU=M[. ÙïðbÙ§Ä.

(35) ¹F![µFF6¶[=§¶¨['h*)W¢6) [¢. u . . . . . . . . . LVfZ[`WjMO

(36) ¹x jo@VfU*^0jdc3nWX/^0U=M¥VfU¼]dHWjMpM¥o@VfKNMLU=adV)YFU=a. ±U ×^F\L]_·WV 4OKj m} / ·WYFU=M¥Y0æ]dH=M]²YNnWX/^0U=Mpa 4> > YFj 4> > $ K`=ad]n*^FaaeML]MpMLU ^0U=o >WV ·W\pYFUh]dj^Fo@V)\L]dVfUWZ3]dH=: M¥oWM6=UWVf]dV)YFU¬Y0 P§aMpM'LVfZ[`WjM O T ±]NjMLK!^0VfU=a]Y=U=o M6¤!\LV)MLU]dXfc} ±]!V)aN\LX)M_^0j!]dH*^0]V T²M¬\pYFU=adV)oWMLj]dH=M¼\pMLXfXVfU]dH=M ^0jdj^0UWZ}MLKNMLU]mY0"]dH=M ] A I nWX/^0U=MpaoWM6=U=Mpo¬ehc n5YFVfUh]amY0 * 2N>WV > ·*]dH*^0]\pYFUh]^0VfU=a >WV ·% V)aVfU=\LV)oWMLUh] YFUw]dH=MÇ^F\pML]]dH*^0]V)aHWVf]ehc c^²n5YFVfUh]µ×nWX/^0U=M¹o@`*^0XfVf]cT]dj^0U=aµ§YFjdK!^0]dV)YFUÔ·0Vf]dH > V ^Fa5]dH=M¸\pMLUh]djMY0DVfU}MLjadV)YFUÔ·0]dH=M"\pMLXfX \pYFU]^0VfUWVfUWZ >WV V)a"K!^0nWn5Mpo¨VfU]Y]dH=M\pYFUh}M6¨H`WXfX*Y0]dH=M ] A I }MLjd]dV)\pMpa¹Y0Ô^0U!^0jdj^0UWZ}MLKNMLUh] Y0 = nWX/^0U=Mpa_ ±U ]²Y9o@VfKNMLU=adV)YFU=awMªH*^_}M]Y \pYFK¨nW`W]Mª]dH=M\pYFUh}M6 Hh`WXfX¥Y0]dH=M}MLjd]dV)\pMpawY0^0U ^0jdj^0UWZ}MLKNMLU]¥Y0 = XfVfU=Mpa^0U=o¬Vf]mV)a U=YF]mo@V ¤!\L`WXf]T]Y!aMpM]dH*^0]^¨}MLjd]M6\_^0Uªe5MYFU]dH=M \pYFU}M63H`WXfXÔYFUWXfcV ]dH=MT]YNXfVfU=MpaIH*^p}M\pYFU=aMp\L`W]dVf}M¥aX)YFnMpa PVfU ]dH=MaML]Y0æ^0XfXBadX)YFn5Mpa T "±U ]dHWjMpMTo@VfKNMLU=adV)YFU=av·@]dH=M nWH=MLU=YFKNMLU=YFU¬V)a²aVfK¨VfX/^0j²V M\pYFU=adV)oWMLjI]dH=M¥Q^0`=aadV/^0Uwo@V/^0Z[j^0K Y0 ]dH=MmU=YFjdK!^0X)a]Y]dH=M = nWX/^0U=Mpa P]dH=M\pYFUh}M6 Hh`WXfXÔY0]dH=MT`WUWVf]U=YFjdK!^0XB}Mp\L]YFja]=Y = nWX/^0U=Mpa T ¸GIHWjMpMnWX/^0U=MpaoWM6=U=M^¨}MLjd]M6 Y0æ]dH=M¥\pYFUh}M6wH`WXfXbYFUWXfcV æ]dH=MLVfjU=YFjdK!^0XÔ}Mp\L]YFja oWM6=U=Mm^m×^F\pMY0]dH=MTQ^0`=aadV/^0Uo@V/^0Z[j^0K¼¹VfU=\pM]dH=M Q^0`=aadV/^0U!o@V/^0Z[j^0K\_^0U!eM\pYFK¨nW`W]Mpo VfU ] A '^`_ba4 I ]dVfKNM[·=MZ}ML]]dH=MmÇYFXfX)Y_VfUWZjMpad`WXf]

(37)

(38) 6 k _¢ F ¶* ) FF )@F ! )@h¶¢ 'W¢6©F[µF ¾hÂ ¾ F6 ) fF¢¶F )¢ p N ] A '^`_ba I § +!?¢ . ðð ÛTVUWpéHX.

(39) {. ¢_' )¢6

(40) 'D*)W} 'h}F. GIH=M²a^0KNM¹V)oWM_^Fa"M6@]MLU=o]Y HWVfZ[H=MLj"o@VfKNMLU=adV)YFU=av³©MI\_^0U=U=o¨^0UYFjo@VfU*^0jdcHhcDnMLjdnWX/^0U=M Vf]dH¬]dH=MTH=MLXfn¬Y0"^Q^0`=aadV/^0U¼o@V/^0Z[j^0K¼GIH=M¥\pYFK¨nWX)M6DVf]c V)aV)oWMLUh]dV)\_^0X]Y¨]dH=M\pYFK¨nWX)M6DVf]c Y0"\pYFK¨nW`W]dVfUWZ!]dH=M\pYFU}M6¼Hh`WXfXÔVfUw]dH*^0] o@VfKNMLU=adV)YFUÔ

(41) #* #

(42) # ±U ]dHWV)aU=YF]MTMTH*^_}M¥adH=YvUw]dH*^0]^0U¬^0XfZ}YFjdVf]dHWK §YFjI=U=o@VfUWZ!^XfVfU=MT]dHWjYF`WZ[HM6W^F\L]dXfc]Y n5YFVfUh]aY0^ Z[Vf}MLUaML]3Y0mU=YFU@\pYFXfXfVfU=M_^0j n5YFVfUh]a\_^0Ue5Mw`=aMpo9]Y©=U=o^©\pYFUWV)\¬]dHWjYF`WZ[H M6=^F\L]dXfc=}MnYFVfU]a_·WV æM^Faad`WKNMT]dH*^0] ^0XfXÔ]dH=MTn5YFVfUh]am^0jMU=YF]\pY0\pYFUWV)\[ ±]V)an*^0jd]dV)\L`WX/^0jdXfc¬M_^Fadcw]Y=U=oª^0UYFjo@VfU*^0jdc¬\LVfj\LX)Mn*^FaadVfUWZ]dHWjYF`WZ[H^¨\H=Y[aMLUªnYFVfU]_· > ·WY0]dH=MZ[Vf}MLU¼aML]Y0æn5YFVfUh]a_·@V æM^0XfX)Yv ÇYFjôWMLZ}MLU=MLj^0]M\LVfj\LX)M["³©MadVfK¨nWXfcw^0nWnWXfcw^0U VfU}MLjadV)YFU;]dj^0U=ad§YFjdK!^0]dV)YFU Vf]dH > ^Fa]dH=MN\pMLUh]djMY0VfUh}MLjadV)YFUÔ¼DYFXf}MN]dH=M!YFjo@VfU*^0jdc XfVfU=M nWjYFeWX)MLK §YFj]dH=M¥jMLK!^0VfUWVfUWZ = ]dj^0U=aµ§YFjdKNMpo¼nYFVfU]a_¹³©M¥H*^p}M^öWMLZ}MLU=MLj^0]M\LVfj\LX)MV ]dH=MTYFjo@VfU*^0jdc3XfVfU=Mm§YF`WU=o n*^FaaMpa²]dHWjYF`WZ[H > ·@MLX)aMmVf]aIVfK!^0Z}MTV)a^0U¼YFjo@VfU*^0jdc3\LVfj\LX)MTn*^FaadVfUWZ ]dHWjYF`WZ[H > ³©M^0X)aY!\pYFU=\LXf`=oWM]dH*^0]T^0]mX)M_^Fad] A =I YFjo@VfU*^0jdc¬\LVfj\LX)Mpamn*^Faam]dHWjYF`WZ[H ^\H=Y[aMLU¼n5YFVfUh]_ cw^0nWnWXfcDVfUWZâd]MLjMpYFZ[j^0nWHWV)\¥nWjY0kdMp\L]dV)YFU¬²MU=YF]MT]dH*^0]V nYFVfU]aYFU¬^jM_^0XbanWH=MLjM oWYU=YF]XfV)MVfUw]dH=M¥a^0KNMTnWX/^0U=M]dH=MLU¬]dH=MLjMV)anWX/^0U=M¥\pYFU]^0VfUWVfUWZ3M6=^F\L]dXfc]dHWjMpMY0]dH=MLK¼ . p"¸ #. ® j o F° i jo[a_"i"jYFeWX)MLK U=Y s@ +!¢6?ª! 'ª[ 'h ÖF·=s

(43) s@·bt_zhr@ ® Q¥^0XF°GhQ^0XfX/^0V×DYFXf`W]dV)YFUN]YTi"jYFeWX)MLKU=Y s@E +!¢6?Wª! 'Wª[ 'h ÖF·}s@t

(44) ft z tvuDt[· t_z = ® «s[{-° ¸J MLXfXfcw^0U=ow³ @«ªY[aMLj_¹x Uw]dH=MU`WKe5MLj Y0YFjo@VfU*^0jdc XfVfU=MpaoWML]MLjdK¨VfU=Mpo¬ehc nYFVfU]a_

(45) "FhD Uª ')·Bt

(46) ÈO@t DO@t_z@·t_z[s[{@ ® «ª£m¯mz}uv°£madV)adH3«¬`WDH=YFn*^Fo@Hhch^_c}·W£X)YFN£ Zh^0jd²^0X×·W^0U=o3l ^pDV«ªYFH*^0U ¯ Y[a^0e5ML]d]^@x U]dH=M Uh`WKe5MLjNY0YFjo@VfU*^0jdc;XfVfU=MpaoWML]MLjdK¨VfU=Mpo eh* c n5YFVfUh]a_ ¥[µFÇ¶ " + ) §' [· J

(47) Èr[r Dr =t[·bt_z[z}u ® «ªYF]s@t6° G¯«YF!] 0pDVfUÔ GIH=MNXfVfU=Mpa^0U=o;nWX/^0U=Mpa\pYFUWU=Mp\L]dVfUWZª]dH=MNn5YFVfUh]aY0^ =UWVf]MaML]_ WdF; ? +N¢L ª '_5¶ /·*u

(48) hs@t =·t_z[s@t[ ® ]M F° l¹]MLVfUhe5MLjdZ= GIHWjMpM n5YFVfUh]!\pYFXfXfVfU=M_^0jdVf]c}\ +!¢6? ! 'zªF ' ¡[·s[ s

(49) ÈO O[{@· O uD·Ôt_z h{@ ÙïðbÙ§Ä.

(50) ¹F![µFF6¶[=§¶¨['h*)W¢6) [¢. z. ® cDX/z[r-° ==cDXf}Mpad]MLj_N«^0]dH=MLK!^0]dV)\_^0Xg`=Mpad]dV)YFU t[t_{[s@t[ W¶!§ÇFF ,+!¢96·s[z

(51) Èz[{@· t_{[z[r@ ® ³ ³ {[{-° =£³ÚV)aMLK!^0U ^0U=oªi5l*³ÚVfX)aYFUÔ £ćDXf}Mpad]MLjm]dH=MpYFjMLK ÇYFjT\pYFUWV)\aMp\L]dV)YFU=av L¶L¢ ¢ " + ) ¢d +k/·= r

(52) ÈO[z[ s Dr [s@·bt_z[{[{@. ðð ÛTVUWpéHX.

(53) Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - B.P. 93 - 06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - B.P. 101 - 54602 Villers lès Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot St Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - B.P. 105 - 78153 Le Chesnay Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, B.P. 105 - 78153 Le Chesnay Cedex (France).

(54). . ISSN 0249-6399.

(55)