Spectral portrait for non hermitian large sparse matrices

(1)

HAL Id: inria-00074553

https://hal.inria.fr/inria-00074553

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.

Spectral portrait for non hermitian large sparse matrices

Jean-François Carpraux, Jocelyne Erhel, Miloud Sadkane

To cite this version:

Jean-François Carpraux, Jocelyne Erhel, Miloud Sadkane. Spectral portrait for non hermitian large sparse matrices. [Research Report] RR-2119, INRIA. 1993. �inria-00074553�

(2)

ISSN 0249-6399

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

a p p o r t

d e r e c h e r c h e

1 9 9 3

PROGRAMME 6

Calcul scientifique, modélisation et logiciels numériques

Spectral portrait for

non hermitian large sparse matrices

J.F. Carpraux, J. Erhel, M. Sadkane

N˚ 2119

Novembre 1993

(3)

(4)

"!#$ !%& '!

()+*),.-0/21#/3-04#567()8/29:<;=6>?)@A-CBEDC-0F:

GHJILKLHM<N$NPORQTS UVMXWZY2[\W^]JYJ_Ò3a\b_+c#d0[eOLfNPIhgjiO2W+_k]JM<b_lILaO3bmWÌ0K<_ZYJ_Ò2Wa\[eNniO3H_Zd0[eO

GHJILoO3bVpqWZMLg0_la

rMtsesAILHbg\OHOYJueO3HYJueOvawCxey0yz{S}|qI~0O3NTeHJOPyzLzLS yTsAMtKLO]

7AtLVueOP]sEOY2bHMXW'sEILHbH2MX_lb.I<VMNM<bH_+_Z]vbueOs\_ZY2b[eHOI<j_lb]v]sEOY2bHM

ILH'q<2Jf<ueO3HOM<aP]sEOY2bH[eNI<# ¡_Z]bueO[ea\_lILaPIt#MXW+W#bueOO2_lKLO3a\~MXWl[eO]jI<

MXW+W^bueOvNM<bH_ZY2O] £¢£¤¥_lbu£¦3¤¦

§

7¦3 ¦

X¨

mueOT]sEOY2bHMXW7sEILHbH2MX_lb_Z][A]O2©[\W

bIª]b[Ag\«bueOP]bM<\_+W+_lb«I<'~<M<H_lIL[A]seHIL\WlO3N¬]fEILHqO2M<N$s\W`OLf®ILHfAM0]Ov_+W+Wl[A]bHMtbO

_`a?bu\_Z]$sAM<sAO3HXfbI¯~0_Z][AMXW+_l°3O±bueO²Y2ILaAg0_lb_lILa³aC[eNAO3HI<M<a´O2_lKLO3a\~MW`[eO ¨¶µ ILNPO

NPO3bueIege]bI¬O]b_lN¬M<bObueO]sAOY2bH2MXW'sAILHJbHMX_lbvMXWlHOMLg\«O2\_Z]bfe[ebvILa\Wl«·ILHv]N¬MW¸W

N¬M<bH_ZY2O] ¨q¹ OseHJILsAIC]OueO3HOPM$aeO3ºMXWlKLI0H_lbueN¥©ILHaeILaueO3HJN_lb_ZM<a±WZM<HKLO]sAM<H]O

N¬M<bH_ZY2O] ¨

»¼\½¾¿TÀ<Á70 µ sAOY2bH2MXWsAILHbJHMX_lbfC]sAOY2bHJ[eNfU'ILaAg0_lb_lILaa\[eNAO3HI<^MtaPO2_lKLO3ae

~MXWl[eOLfÂvM~0_Zge]ILaÃ]mNPO3bueIeg ¨

ÄÅTÆ

ÇÈ=ÉXÊ

Æ

ÇËÌ+È=ÍÎÏ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : (33) 99 84 71 00 – Télécopie : (33) 99 38 38 32

(5)

%& jj T!

7

P

¼e ¼ O±sAILHJbHMX_lb]sEOY2bHMXWgÃ[eaeO±N¬M<bH_kY2OY2ILaA]=_k]bOM¯g\O]]=_`aeO3H±]O]

]sAOY2bHJO]sAIL[eH{´J22fEI[±[ea ]sAOY2bHJO¬g\OP O]bqWÃO3aA]O3N\WlO¬g\OPbIL[ebJO]WlO]

~MXWlO3[eH]qseHILseHO]g\OvbI0[ebO] W`O]qN¬M<bJH_ZY2O]V n¢¯¤I[¯¦3¤¦ q§ 7¦3 ¦ <¨ OvsEILHbHM_`b

]sAOY2bH2MXW#O]bXfLsAM<HjO2hO3NPs\WlOLfebJHO][eb_+WlOsAIL[eHjWÃiO3bJ[Ag\O.g\OWZM]bMt\_¸W+_lbeiORg\OaeI0NTeHJO3[\

seHIL\WO3NPO]®IL[fY2I0NPNPO'I0av_+W+W`[A]bHO.geM<aA]Y2O'H2M<sesAILHJb7sEIL[eH7~0_Z][AMXW+_Z]O3HWlOY2ILaAg0_lb_lILae

aeO3NPO3aCbg\OP~MW`O3[eH2]vseHILseHJO] ¨ ÂO]vN£iO3bueIeg\O].g\O¬Y3MWkY2[\Wg\OPsAI0HbHMX_lb]v]sAOY2bHMt[\

O2C_Z]bO3a\b.gjiOoMef<NMX_Z]]O3[\WlO3NPO3a\bsAIL[eHg\O]sEO3b_lbO]jN¬M<bH_kY2O] ¨ aseHJILsAIC]OLfL_ZYJ_fe[ea

MXWlKLILH_lbueNPO{sAIL[eHmW`O]qN¬M<bJH_ZY2O]g\OKLH2M<aAg\OvbMX_+W+WlO

¨

ÀA3¾¼ GILHbHM_`b±]sAOY2bJHMXWfv]sAOY2bJHOLfU'ILaAg0_lb_lILaeaeO3N$O3aCb¯gÃ[eaeO¯~<MXWlO3[eH

seHILseHOLf O3bueIeg\Og\OTÂvMX~0_Zge]ILa

¨

(6)

®

T

¹

ueO3a²Y2ILN$se[eb_laeK]ILNPO{O2_`K0O3aC~<MXWl[eO]vI<VM WZM<HKLO]dL[AMtHOT]sAMtH]ONM<bH_+²

fEbu\_Z]N¬M<bJH_+_Z]vdL[\_lbO$I<bJO3a²bJueOTHJO][\WlbvI<VMseHO3~0_`I0[A]Y2ILNPse[eb2M<b_lILa ¨ I0

HO3I<~LO3HfEbueOAMLY \M<Hg M<aAMXWl«h]=_k]$lyxXI<MXWlKLILH_lbueN¬]q©ILHvY2ILNPse[eb_laeK O2_`K0O3aC~<MXWl[eO]

MX_lN¬]M<bseHJI~0_laeKPbuAM<bbueO]OTY2ILNPse[ebJOgO2_`K0O3aC~<MXWl[eO]vM<HOLf0_laMLY2bf\bueOO2AMLY2bILaeO

I<RMaeOMtHC« N¬M<bH_+ ¨µ IAf®O¬uAMX~LOPbJI²Y2ILaA] _Zg\O3HPbJuAM<bO¬Y2ILN$se[ebOª]ILNPOO2MLY2b

O2_`K0O3aC~<MXWl[eO]vI<VM$N¬M<bH_¸ ¢n¤f¤

][AYJubuAMtb ¦3¤ ¦ _Z]]N¬MXW+WfM<aAg O

_Z]u£buAM<bbueO]OO2_lKLO3a\~MW`[eO]MtHO¬aeI0bPbI\IM<H{©HILN%bueOO2_lKLO3a\~MXWl[eO]$I< ¨a

ILbueO3H'ILH2ge]3fLOM<a\b'bI{AIL[eaAgbJueOO3HHILHjILaM<a¬O2_lKLO3a\~MW`[eOv\«¬]I0NPO.Y2ILaA]b2M<aCb

b_lNPO]jbueOsAO3HJb[eHAM<b_lILa¦3¤¦ ¨ u\_Z]'sEO3Hb[eHAMtb_lILaªMtaAMXWl«h]_Z] WlOMLge]jbITg\O2cAaeOvM<aAg

O]b_lN¬M<bOLf0_+_lbO2\_Z]b]3f\bueOvY2ILaA]bMtaCbM<AI<~LOLf0u\_ZYu_Z]Y3MXW+WlOgbJueORY2ILaAg0_lb_lILaa\[eNP

AO3HI<^bJueOvO2_`K0O3aC~<MXWl[eOªx¨

a bueOvueO3HN_lb_ZM<aY3ML]OLf\_lb_Z]qVO2W+Wl\aeIqabuAM<bqbueOTY2ILaAg0_lb_lILa±a\[eNAO3HI<VMta

O2_`K0O3aC~<MXWl[eO_Z]qOdL[AMW bJIPILaeOLfe]IPbuAMtbVbJueOvO3HHILH.g\I0aeOvILabueOY2ILNPse[ebJOgO2_`K0O3aC~<M<

W`[eO] _Z]I0a\W`«$I<#bueOqILHg\O3H'Itj¦¤¦ X¨ a¬bueOY2ILaCbJHM<H«Lf<Y2ILaAg0_lb_lILaa\[eNTEO3H]'Y3MtaPAO

~LO3H«WZM<HK0O_labueOvaeILaueO3HN_lb_ZM<aY3M0]O

¨

asAM<Hb_kY2[\WZM<HXfebueOvY2ILaAg0_lb_lILaaC[eNEO3HI<

g\O2OY2b_l~LOO2_lKLO3a\~MW`[eO]T_k]_la\cAa\_lbO

¨µ

O3~LO3H2MXWmY2ILaAg0_lb_lILa£a\[eNAO3HO]b_lN¬MtbILH]uAM~0O

AO3O3ag\O] _lKLaeOgf]O3OPly3©ILHO2AM<NPs\WlO ¨ paeILbueO3HM<seseHICMLYJubI¬]b[Ag\«¬bJueOvO2_`K0O3aC~<M<

W`[eO]qI<sAO3HbJ[eHAOg·N¬M<bH_ZY2O]j_Z]qbIPg\HMX bueO]sEOY2bHMXWsAILHbJHMX_lbI<^bJueOvN¬M<bH_+ ¨b

M<NPIL[ea\b]bI{O]b_lN¬M<bOMXW+W#bueOO2_lKLO3a\~MW`[eO]mI<7MXW+W#bueOsEO3Hb[eHEOgN¬M<bH_kY2O]j ¢ª¤f

_lbu´¦3¤¦ ~M<H«0_laeK_la¯MPseHJO]Y2H_lAOg HM<aeKLO ¨ u\_Z]v]sEOY2bHMXWsAILHJbHMX_lbvseHI<~0_kg\O]vM

WÌ0bI<_à\©ILHNM<b_lILaM<aAg Y3M<aAO{[A]Og_la~<M<H_lIL[A]qseHIL\WlO3N¬]vkyLy2f\©ILHO2M<N$s\WÒ

®IPNPOML][eHOvbueOg0_Z]bM<aAY2O{bI¬MP]=_`aeK0[\WkMtH.N¬MtbH_+

cAaAgN_lah¦ª¦][AYJubuAM<b ¢º_k]]_laeKL[\WZM<H

ueO]bM<\_+W+_lb«²ItV]ILNPO{seHIL\WlO3N¬]IeY3Y2[eH]queO3a²bJueOTO2_lKLO3a\~MW`[eO]uAMX~LOaeO3

KCMtb_l~LOHOMXW'sAM<Hb2] ¨ uAM<ae]vbIM]sAOY2bHMWVsAI0HbHMX_lbfEO¬Y3M<aN$OML][eHObueO

d0[AM<a\b_lb=«

N _`ah¦¦ ][AYu buAM<bbueOvseHIL\WlO3N _lbu² ¡¢º_Z]aeILb]b2M<\WlO

µ b[Ag\«bueOY2ILaC~0O3HKLO3aAY2OvI<W+_`aeOMtH_lbO3HMtb_l~LOT]ItW`~0O3H] ¨

µ ILNPON$O3bueIhge]$bIO]b_lN¬M<bOM ]sAOY2bJHMXW.sEILHbHM_`bMXWlHOMLg\«£O2\_k]bfe[ebILa\Wl«

ILH]N¬MXW+W'N¬M<bH_kY2O]ef7y0y3¨ ueO]OPNPO3bJueIhge]{M<HOAML]Og ILa±bueO µ _laeKL[\WZM<H! 'MXWl[eO

(7)

M<ses\W+_`Og bI WkMtHKLOvN¬M<bJH_ZY2O]AOY3M<[A]OI<bueOvO2esAO3aA]OI<']bILH2M<KLOHOdL[\_lHO3N$O3aCb] ¨

u\_Z]vsAMtsAO3Hv_Z]ILHJKCM<a\_l°3OgML]q©I<W+WlI] E_la¯]OY2b_lILa xVOHOY3MW¸WbueO{W+_`a AO3b

VO3O3a?bueOY2ILaAg0_lb_lILa?a\[eNAO3HM<aAg bueO]sEOY2bHMXWvsAILHJbHMX_lbf _la ]OY2b_lILaA]ef O

seHILsAI\]OPM<a²MXWlKLI0H_lbueN¥©ILHvY2ILNPse[eb_laeKbueO]sAOY2bJHMXWsAILHbJHMX_lb.ItWkMtHKLON¬M<bH_kY2O]

AML]Og[esEILaPbueOY2ILNPse[eb2M<b_lILaI<#bJueO.]N¬MXW+WlO]b'] _laeKL[\WZM<H~<MXWl[eOC«MNPIeg0_¸c#Y3Mtb_lILa

I<AbueOVÂvMX~0_Zge]ILaÃ]®NPO3bueIegPly

f3_laP]OY2b_lILaO'Kt_`~0Om]ILNPO'a\[eNPO3H_ZY3MXWeO2AM<NPs\WlO] ¨

P

!

! #"$&%'( ) #+* #,-&. 0/". 1

ueOY2ILaAg0_lb_lILa±aC[eNAO3HI<VM<a O2_lKLO3aC~<MXWl[eOPY2ILaA] _Z]b]q_la²M$NPOML][eHOI<bueO{~M<

H_ZM<b_lILaIt^bu\_Z]O2_lKLO3a\~MW`[eObueHJIL[eKLuMN¬MtbH_+ªsEO3Hb[eHAMtb_lILa²¤"x¨

bueO.O2_lKLO3a\~MW`[eO32I<7 ?_Z]aeILbg\O2©OY2b_l~LOLfebueOO3HHI0H54¤324768492;:7<024`fLueO3HO=2>:

_k]qM<aO2_lKLO3aC~<MXWl[eOI<^ ¢¤feY3M<aAOvEIL[eaAg\Og C«?4¤324 §@!A ¦3¤¦ f\ueO3HO @!A _Z]

bueOY2ILaAg0_lb_lILa±aC[eNEO3HI<B2 ¨

CD/! 1EF"-&.!/!"7"-&GHIJ( KE>L/.+ >ML/.+-N

ueO£]sAOY2bJHMXW¬sEILHbHM_`b±I<M´NM<bH_+ _Z]±bueO£s\_ZY2b[eHJO£I<P_lb]]sAOY2bHM ILH

J22fueO3HObueO]sEOY2bH[eN It {fg\O3aeILbOg \«PO!QSR= 5T®_Z]3f®ILH{ceeOg£3f

bueO[ea\_`I0aTIt#MXW+WhbueOO2_lKLO3a\~MXWl[eO] I<#MXW+WhbJueOVNM<bH_ZY2O] ¢¤ _lbu¦3¤¦ § ¦3 ¦ ¨

U¼VBWYXkZXkÀW[I\]Z^>_

`

^bac]Zd=_eO

Q

R= 5Tgfhi^baF]ZjS]k]ml7fonm^bngp=q=p^jrfol.¤sR ¦3¤ ¦

§

7¦3 ¦ TtnmucvwaH^bacp^yxFzm{|R £¢¯¤}<0_&~#Ty6

1

u\_Z].g\O2cAa\_lb_lILa£y_Z]qOdL[\_l~MW`O3a\bbIX

U¼VBWYXkZXkÀWL

_O!QSR kTfhº¦R= <?_&~1T|

¦3

y

7¦ T¦

? #.-1! m # 1E>! #"-&7/! #EF"-&.H/"7

"-&

ueOv]sAOY2bJHMXWsAILHJbHMX_lbY3M<aAOv[A]OgbIK<_l~LOM<aO]b_lN¬M<b_lILaIt7bueOvY2ILaAg0_lb_lILa

(8)

sAM<bYJueO].M<HJIL[eaAgYJWl[A]bO3H2]I<'O2_lKLO3a\~MW`[eO]I<' ¨ ILH!6 f>O7R= 5T6OR= 5T ebueO

sAM<bYJueO]VMtHOHOg\[AY2OgbI{sAI<_la\b]RbueO.g0_O3HO3a\bO2_`K0O3aC~<MXWl[eO]I<7 kT2fCM<aAg$bueO3HOq_Z]VM

~MXWl[eOI<©ILHu\_ZYuO!Q R= kTY2ILa\bMX_laA]MXW+WAbueOO2_lKLO3a\~MXWl[eO]jI<# R=B6 x¦3 ¦3mT

¨Lµ IAf

W`O3b2vAOMaeILaTg\O2©OY2b_l~LOjO2_`K0O3aC~<MXWl[eOI<A f3bJueO3aO'Y3M<aTY2I0aA] _Zg\O3H^]I0NPO'

A

ILHqu\_kYJubueO.YJWl[A]bO3HjI<#O2_lKLO3a\~MXWl[eO]It#bueOsAMtbYu Q MtHIL[eaAg 2_Z]jHOg\[AY2OgbJI=2 ¨

ILHbJueO]Ov~MXWl[eO]qI<'3feOY3M<aO]b_lN¬M<bOvbueOY2I0aAg0_`b_`I0a²a\[eNAO3H\«

@!A

x$RQST

7¦3 ¦

_lbu x$R Q Ty6 N¬MX

4_ <?_ 4

ueOvY2ILNPse[ebMtb_lILaI<7bueO]sAOY2bHMW sEILHbH2MX_lbmY2I0aA] _Z]b]j_labueOvY2ILNPse[ebMtb_lILaI<

rR_ 5Ty6º¦ R= <?_&~#T

¦

©ILH!_ g\O]Y2H_`\_laeKMK0H_ZgI<bueOY2ILNPs\WlO2s\WZM<aeO ¨

P¼ ¯A0

y ¨ _O Q R= kT©ILH.MXW+W^

rR_2 kT

¦3 ¦

x ¨ R_ 5Ty6º¦ R= 0<_&~1T ¦

6"!$#&%

R= 0<_&~1T²queO3HO'!(#)%

R= P<3_&~#T_Z]jbueO

]NMXW+W`O]bR] _laeKL[\WZM<H~MW`[eO{I<' <?_&~ ¨

*

v&

+-,/.10)235476 8

V ®9354 : 23<;>=@?6

ueO©I<W+WlIm_`aeKMXWlKLILH_lbueN_Z]M<aMLgeM<seb2M<b_lILaI<7bueOvNPIeg0_+cAOg±ÂvM~0_Zge]ILaÃ]MXWl

KLILH_lbueN%u\_ZYJu´Y2ILNPse[ebO]{bueO]N¬MXW+WlO]b¬]=_`aeK0[\WkMtHP~MXWl[eOBA£M<aAg bueOML]]IeYJ_ZM<bOg

H_lKLuCb] _laeKL[\WZM<H~LOY2bJILHDCPI<MWZM<HKLOv]sAM<H2]O.NM<bH_+ly

¨ aMLY2bfX_lb.Y2ILNPse[ebJO]bueO

]N¬MXW+WlO]bvO2_lKLO3a\~MXWl[eOM<aAg bueOPML]]IeYJ_ZM<bOgO2_lKLO3a\~LOY2bI0HvI<'bueOueO3HN_lb_ZM<aNM<bH_+

DE

RueO3HJO DE

_Z]bueOTY2I0a<o=[eKCMtbO.bJHM<aA]sEIC]OvI<'

T ¨

ueO{_Zg\OMAO3u\_laAg bu\_Z]vMXWlKLILH_lbueN _Z]bIe[\_+Wkg KLHMLg\[AMXW+Wl«M¬g\O3aA]OPueO3HN_lb_ZM<a

N¬M<bH_+GFH 69I

E

H E

IH?R]bO3sA]y3;TR[A]=_`aeK seHILoOY2b_lILa£bOYJuea\_ZdL[eO]3fjbueO3a

VOY2ILNPse[ebObueO¬]N¬MXW+WlO]bO2_lKLO3aesAMX_lHPItVbueOPseHJILoOY2bOg N¬M<bH_+JFHR]bO3s>T ¨

bu\_Z]vO2_lKLO3aesAMX_lHv_Z]{MPKLI\Ieg²MtseseHIXC_lN¬M<b_`I0a²ItVbueOP]N¬MW¸WlO]bvO2_lKLO3aesAM_`HI<V E

bueO3a¯O¬]bILs)R=]bO3s QFT

¨

bueO3Hm_k]OLf7O_laAY2HOM0]O¬bJueO¬][eA]sAMLY2OKI R=]bJO3sFT.\«

_`aAY2I0HsAILH2M<b_laeKªM$aeO3 g0_`HJOY2b_lILa)R=]bO3s "TjbIPbueO{seHO3~L_lIL[A]][eA]sAM0Y2O ¨ u\_Z]vMXWlKLI0

H_lbueN _k]M<aMXWlKLILH_`bJueN m_`bJu¬HO]bM<Hbf<bJu\_k]jNPOMtaA]'bJuAM<b_+7bueOv] _l°3OvI<bueOAML] _Z]I

_k]KLHOM<bJO3HvbuAM<a¯M$ceeOg¯]=_`°3OL±fOHO]bM<HJb.bueOMXWlKLILH_lbueN _lbubueOWZML]bTrj_lb°

~LOY2bILHMCNHM<aAgbJueOTY2ILHHJO]sAILaAg0_laeKg0_lHOY2b_lILaH{OH R=]bO3s FT ¨

(9)

@ H ]bM<aAge]{©ILH¬M?seHOY2ILaAg0_lb_lILa\_laeK£N¬M<bJH_+nueI\]O²YJueI<_ZY2O_Z]g0_k]JY2[A]

]Og·_`a ly

¨ O3HOLf @ H{_Z]vM<aM<seseHIXC_lN¬Mtb_lILa±I<tR= E T

R©_la±MLY2bfEVO{HOMXW+_l°3O

M<a_laAY2ILN$s\W`O3bJO g\OY2ILNPsAI\] _lb_lILa£I<.

T

¨

]b2M<aAge]ILH Ihg0_+cAOg.HM<N

µ YueN_Zg\bvGHIeY2Og\[eHO ¨

EÀ#7Xl [

U'ueICI\]O/"M<aAg{

U'ueICI\]OM<a_la\_lb_ZMXW'~LOY2bILHDI

fe][AYJubuAMtb¦ I#<¦36 y

À#36 yL CÁ®À

y ¨ U'ILN$se[ebOvbueOvN¬M<bJH_+7H 6?

I H

x ¨ U'ILN$se[ebOvbueOvN¬M<bJH_+JH!6 E 7H

¨

U'ILN$se[ebOvbueOrMX«0W`O2_lKLu±N¬MtbH_+ F H 6GI E

H H

¨ U'ILN$se[ebOvbueO]N¬MW¸WlO]bO2_lKLO3aesAMX_lH=RA

H

H TjI< F H

¨ U'ILN$se[ebOvbueOrj_lb°~LOY2bI0H CNH 6"IH!H

Q ¨ U'ILN$se[ebOvbueOvHO] _Zg\[AMXW#" H!6$JHHt<JA

H C H

X ¦%" H ¦ § {#¼1W²O2\_lb

" ¨ U'ILN$se[ebOvbueOvaeO3 g0_`HJOY2b_lILaH{OH 6 @ H&"H

¨ X g0_lNROI HJT § <´y

#¼1W IH(' 6 I H<

{H

¦ {He¦

ueO3HO {H!6LR~'<JIHI/E

H

Tc{OH

¼ 3¼KIH(' 6)+*,RC H0|{OH7T

¼#WÁX

¼1W Á À#

pbY2ILa\~LO3HKLO3aAY2OLfLAHM<aAgLC H M<seseHJI\_lN¬M<bObueO]I0[eKLuCb] _laeKL[\WZM<H~MXWl[eOM<aAg

] _laeKL[\WZM<H.~0OY2bILH ¨

p.a_lNPsEILHbM<a\bVYJuAM<HM0Y2bO3H_Z]b_ZYI<7pqWlKLILH_lbueN"yq_Z]buAM<bjbueOvN¬M<bJH_+$ E _Z]aeILb

HOdL[\_lHOg O2es\W+_ZYJ_`bW`« ¨j¹ OILa\Wl«aeO3Og bI][eeHIL[eb_laeO]bJuAM<bTY2ILN$se[ebOª

#- M<aAg

E

/.

©ILH{K<_l~LO3a

-

M<aAg

. ¨ pb]bO3s0f®bueOPAML] _Z] IH(' _Z]ILebMX_laeOg HI0N IHP\«

_`aAY2I0HsAILH2M<b_laeKbueO~LOY2bI0H{H!6 @ H!" HMX©bO3H'ILHJbueILaeILHNMXW+_`°Mtb_lILa ¨ ueOv][eA]sAMLY2O

]sAM<aeaeOg \« IH_Z]aeILbM21H«LWlI<~¯][eA]sAMLY2OLfM<aAg¯]=_`aAY2ObJueO¬N¬MtbH_ZY2O @ H$_k]{aeILb

g0_kMtKLILaAMXWf7M$W+_laeOM<HP]«e]bO3N"N[A]bvEO¬]I<Wl~LOgMtb.OMLYJu±_lbO3HMtb_lILa ¨ ueOPueILsEO_Z]vbI

HOMLYJubueOY2ILa\~LO3HKLO3aAY2Ov~LO3HJ«¬dL[\_ZY LWl«_lbuM$]N¬MXW+W~MXWl[eO{I< ±f\bu\[A]HO3M<H2g0_`aeK

bueOO2hbJHM±Y2IC]b{_laC~LItW`~0Og£\«bu\_Z]P]«e]bO3N%HO]ItW`[eb_`I0a ¨ p g\O3b2MX_+W`Og Y2ILa\~LO3HKLO3aAY2O

(10)

HO][\Wlb©ILHbueO]N¬MXW+WlO]b.] _laeKL[\WZM<H~MW`[eO{_la¯ky ¨

v&

!# ®. R

¹ OPY3M<aeaeILbY2I0NPse[ebOPbueOP]sEOY2bHMXW'sEILHbH2MX_lbvI<mMN¬MtbH_+ <O3~LO3H«\ueO3HO

RNPILHOqseHOYJ_Z]O2Wl«P_labueORg0_Z] Y2O3aCbO3HJOg¬M<b

I<HM0g0_`[A]v¦3 ¦ T2f<AOY3M<[A]OvbJu\_k]Y2ILN$

se[ebM<b_lILaIL[\WZgAObICI{O2hsEO3aA] _l~LO ¨®µ IAfLOvML]][eNPObuAM<bjOILa\Wl«¬M<a\b'bJI \aeI

bueOT]sEOY2bHMXWsAILHbJHMX_lb_labueOvaeO2_lKLu\AI0[eHueICIeg I<'MPY2ILNPs\WlO2~MW`[eOLfbJI YJueOY ILH

O2M<N$s\W`O_+7bJu\_k]j~<MXWl[eO_k]M{KLI\Ihg$M<seseHIXC_lN¬Mtb_lILaP©ILHM<a¬O2_lKLO3a\~MW`[eO{I<7 ¨µ IAf\O

g\O2cAaeOªMKLH_kg I<bueOPY2ILNPs\WlO2s\WZM<aeO¬I0a²qu\_kYJuOM<aCbbIg\HMX bueOP]sEOY2bHMXW

sAILHbJHMX_lb ¨ ILH'bJu\_k]fCOKt_`~0O.bIsEI<_laCb]jI<bueOvY2ILNPs\WlO2¬s\WZM<aeOLfYRC ( TgR AILbbJILN

W`O2©bsAI<_la\b¬I<vbueOKLH_kg1TPM<aAgRCE<(<wTR[esesAO3HH_lKLu\bPILaeO7TfjM<aAg£bueOa\[eNAO3HI<

sAI<_la\b]_la bueOvbVIPg0_lHOY2b_lILaA]f CMtaAg ¨

ueO]sAOY2bJHMXWVsEILHbH2MX_lbTY2ILNPse[eb2M<b_lILa¯Y2ILaA]=_k]b]{NPO3HO2Wl«±_la£bueOY2ILNPse[ebM<b_`I0a

I< R_ 5Ty6"!$#&%

R= <?_&~#T£©ILHOM0Yu_?6"C ¢ I<bueOvKLH_Zg ¨

EÀ#7Xl ¯

y ¨ _?6"C ¢ m{Sz 6 C <JC

C3<£y

m{Sz 6 <0

'< y

À# 6 yL CÁ®À

À6 yL( ÁÀ

x ¨

U'ILN$se[ebO/!$#&%

R= <?_&~#TLR C«pWlKLI0H_lbueN y7T

¨ _?6_¢ m{Sz RaeO2eb!_%_labueOY2[eHJHO3aCbY2I<Wl[eNPa&T

(11)

¼1W Á À#

¨

_?6_¢ w{ z RaeO2eb.Y2I<Wl[eNPa&T

¨ m{Sz 6< w{ z RVOYJuAM<aeKLOvbJueOg0_`HJOY2b_lILa±I<7KLI<_laeKbueHIL[eK0u¬bueOY2I<Wl[eNPa&T

¼#WÁ

À#

¹ O]O3ObuAM<bOuAMX~LObIvY2ILNPse[ebOD! #&%

R= e<'_&~1TILHaeOM<H\«=_ ¨ ILHbuAM<bHOMt

]ILaf0_lb'_Z] _laCbJO3HO]b_laeKPbuAMtbfX_lapWlKLILH_`bJueN y0fLORY2I0NPse[ebOaeILbILa\Wl«PbueOv]N¬MXW+WlO]b

] _laeKL[\WZM<H~MXWl[eOe[eb'MXWZ]IbJueOmM0]]IeYJ_kMtbOgv~LOY2bJILH ¨ aAg\O3OgfX_`abueO cAH]b]bO3s{I<hpqWlKLIL

H_lbueN"yLfLOuAM~0O.bIYueI\IC]OvM<a_la\_lb_ZMXW7AM0] _Z]DI u\_ZYu_Z]M{~LOY2bILH ¨ |qI{fCg\[eH_laeK

bueORY2I0NPse[ebM<b_lILa$I< !$#&%

R= P<3_&~1T±ILHjILaeO_^f0O_laAY2HOML]O.bueOAML] _Z]I C«PMLg\

g0_`aeKMtb7OMLYJuv_lbO3H2M<b_lILaPMaeO3£g0_lHOY2b_lILafLM<aAg{bueO WZML]bILaeOjseHI<~L_Zg\O]Y2ILa\~LO3HKLO3aAY2O ¨

µ IAfe_+VO{bM LO_lbML].Mta_la\_lb_ZMXWV~LOY2bJILH©ILH.bJueO Y2I0NPse[ebM<b_lILa I< !$#&%

R= <0_ :~1T

ueO3HO_ : _Z] aeOM<H©HILN _^f0bueO3a_lb]ueIL[\WZg _`N$seHI<~LObueO.Y2I0aC~LO3HJKLO3aAY2O.] _laAY2OYJWlIC]Og

N¬M<bH_ZY2O]uAMX~LOYJWlIC]Og] _laeKL[\WZM<H~MXWl[eO]vM<aAgItbO3aYJWlIC]Og] _laeKL[\WZM<H~LOY2bILH2] ¨

I0Hbu\_Z]HJOML]ILafXOKLI.bJueHIL[eKLuvbueOjKLH_ZgML]g\O]Y2H_`EOg{_lapWlKLILH_`bJueNºx5R=]bO3sA]

efAf;T ¨<¹ Ov]O3O3sbueO.K0H_Zg¬Y2I<Wl[eNPa\«Y2I<Wl[eNPaM<aAgMXWlbO3HaAM<b_l~LO2Wl«$HJILNEILbbILN

bIbI0sªM<aAg ©HILNbJILsPbI{AILbbJILN ¨ mu\_k]jNPOMtaA]'bJuAM<b'OvMXWlmMX«e]'g\OMXW_lbuYJWlIC]Og

~MXWl[eO]_ ¨

|qI?Og\O2cAaeOTM$Y2I<WlILH.NM<sC«][eg0_`~0_Zg0_laeKbueOvHMtaeKLOPN_la rR+_^2 kT C

N¬MX rR_ 5T _la\bI_la\bO3H~<MXWZ]I<ROd0[AMXWWlO3aeKLbJu M<aAg¡C«´ML]J] _lKLa\_laeKnMY2ItW`I0H¬bI

OMLYu _la\bO3H~MW ¨ mueO3HO2I0HOOMLYJusEI<_laCbk_ I<'bueOKLH_kg·_+W+W'AOPMOY2bOg bI¬MY2I<WlILH

MLY3Y2ILHg0_laeKbIbueOv~MXWl[eOrR_ 5T ¨ GI<_laCb2]'It^bueO]JM<NPOY2I<WlILH.Y2I0HHO]sEILaAgbIPM<a

]sAOY2bHJ[eN ¨

aMLY2bft_lbVIL[\WZgEOv~LO3H«{_laCbO3HJO]b_laeKPbI{cAaAgM<aOOY2b_l~LO.N$O3bueIhgf\bIPY2ILN$

se[ebOvILa\Wl«bueO]sEOY2bH[eN I0HVKt_`~0O3a ¨aAg\O3OgfEOY3M<a_lN¬M<K<_laeOLfebJuAM<bbueOv[A]O3H

CaeI<.]bueO¬O3HJHILHPg\ILaeOILa¯bJueOªY2ILN$se[ebM<b_lILaIt.bueON¬M<bH_+¯ {f^MtaAg_lbu bu\_Z]

O3HHILHueOM<a\b]ILa\Wl«bI \aeI³bueOPY2ILHHO]sEILaAg0_laeK]sEOY2bH[eN

¨

IHOMXW+_l°3Obu\_Z]3f

VOY3MtaI<W+WlI< bJueOW`O3~0O2W7W+_laeO]< ¨

(12)

&ªV!?£!V ª !

L/-N" 7 ! >m3 # # J( L-&.*"( -&7 # C -N

.*" (

¹ OIL[\WZg W+_#0O.bI]ueI<´ueO3HObueO~<MXW+_Zg0_`b«I<pWlKLI0H_lbueN¥x ¨L¹ OYueI\IC]OvML]'Mta

O2M<N$s\W`OMNM<bH_+_lbu b=I_+W+WlY2ILaAg0_lb_ZILaeOg¡O2_`K0O3aC~<MXWl[eO]3fueO3aAY2O_lbu¯MªWZM<HKLO

]sAOY2bJH[eN O3~LO3a ©ILHv]N¬MXW+W' ¨ ueOP]sAOY2bJHMXWsAILHbJHMX_lb]vY2ILNPse[ebJOgI0aILaeOuAM<aAg

_lbubueO µ vÂ MW`K0ILH_lbueN M<aAg ILa±bueOPI0bueO3H.uAMtaAg±_lbu±pWlKLI0H_lbueN xefM<HOPg\O3

s\_kY2bJOg_la _`K0[eHO]vyLfex{©ILHbueO©I<W+WlI<_laeK¬bH_kMtaeKL[\WZM<HN¬M<bJH_+· QX

I6

<x x

< y

x y

yZ

y

<x x

<

(13)

UWlOM<HWl«LfjbueOO2_lKLO3a\~MXWl[eO]M<HO c<e <xe 2x\PueO3HO)<¯M<aAg<x M<HOO2_l

KLO3aC~<MXWl[eO]vI<'N[\Wlb_ls\W+_ZYJ_`b«¯xfAu\_ZYJuM<HOv_+W+WlY2ILaAg0_Zb_lILaeOg£M0].Y3M<a±EO ]O3O3a²I0abueO

]sAOY2bH2MXW7sAI0HbHMX_lb

¨

~LO3a _labu\_Z]g0_ªY2[\WlbY3ML]OueO3HOP~0O3H«]N¬MXW+WV] _laeKL[\WZM<H{~MXWl[eO]{M<HOPM<bbM_`aeOg±M<b

sAI<_la\b]It^bueOvK0H_Zgf _lKL[eHO]vyMtaAgxPM<HJO.aeOM<HW`«bJueO]M<NPO ¨

ueOvKLH_kg·[A]Og_la _`K0[eHO]vyLfexPM<aAg {_Z]g\O2cAaeOg C«

RC ( T6LR <EZ<vy7T0RC T6IRAyJTC6 6 y

_lKL[eHOy\[A] _laeK µ _laeKL[\WZM<H 'MXWl[eOPÂOY2ILNPsAI\]_lb_lILa

®I¬O]b_`NM<bObJueO Y2I0aAg0_`b_`I0a²a\[eNAO3H @!A I<VM<a O2_lKLO3aC~<MXWl[eO2I<VM$N¬M<bJH_+²

buAM<ae]bI¬M]sEOY2bHMXWsAILHJbHMX_lb R=]O3OP]OY2b_lILax ;TfeOTY2ILaA]=_kg\O3HvbJueO g0_ZM<N$O3bO3HvI<

(14)

MsAM<bYJu Q MtHIL[eaAge2 feM<aAgbJueOv~MXWl[eOIt^Y2ILHHJO]sAILaAg0_laeKbI Q2¨ IPO]b_lN¬M<bOv3f

VOWlICIMtbbueO~<MXWl[eOPY2ILHHO]sEILaAg0_laeK¬bJI¬bueOY2ItW`I0H.I< Q _la±bueOWlO3KLO3aAg Ebu\_Z]_Z]

bueOP~MW`[eOI<k< # y

¨

p.aO]b_lN¬M<b_lILaIt

@

A$_Z]

bueO3aK<_l~LO3a\«bueOvHMtb_lIPAO3bO3O3abueOg0_ZM<NPO3bO3HI<) Q MtaAg ¨

_lKL[eHOx\[A] _laeK¬pqWlKLILH_lbueN"x_lbu{6 y

M<aAgK 6 x

pv]VOY3M<a ]O3O _la _lKL[eHOx£Y2ILN$se[ebOg _lbu pqW`K0ILH_lbueN xef]I0NPO~<MXWl[eO]

M<HON_Z]] _laeK ¨ ueO]O~MW`[eO]$Y2ILHHO]sEILaAg bI±~LO3H«£]N¬MW¸W.]_laeKL[\WZM<H$~MXWl[eO]$I<.bueO

ILHg\O3H±y

F

y

;

f'buAMtb_Z]bIn]JM« bI¯]N¬MXW+WRO2_lKLO3a\~MW`[eO]·I<T E

ItbueOILHJ

g\O3Hªy

Xy

¨ bv_Z]{VO2W+Wl\aeIqa£buAM<bª¦ A

H

< A

¦ § @

¦%" H ¦

R=]O3O²zX ILH

O2M<N$s\W`O7T ¨ O3aAY2ObueOY2ILa\~LO3HKLO3aAY2O{bueHO]ueI<WZg${ ¡NT[A]bAO{~LO3H«]N¬MW¸WbIPO]b_l

N¬M<bO]NMXW+W7O2_lKLO3aC~<MXWl[eO] ¨

(15)

_lKL[eHO[A] _laeK¬pqWlKLILH_lbueN x _lbuH{ 6 y

MtaAgBs6 x

¹ Os\WlILb_la _lKL[eHO{bueO]M<N$OR]sEOY2bHMXWsEILHbHM_`bML] _la _lKL[eHOx{_lbu{ 6

y

_laA]bOMLg$I<Vy

bOg ¨ [ebbueO¬Y2ILN$se[ebM<b_lILab_`N$OP_Z]{~LO3H«±u\_lKLu ¨ ILHvO2AM<NPs\WlOLf®_la¯bJueO¬seHO3~0_lIL[A]

O2M<N$s\W`OLf_lbu{6 y

bueOY2I0NPse[ebM<b_lILab_lNPOq_Z]M<bjWlOML]bjcA~LOb_lNPO]KLHOMt

bO3H.bJuAM<a_lbu?{ 6y

HOg\[AY2Og ¨

(16)

CD/! 1EF"-&.!/!"7"-&GH&% - % .-&"* KL-1"+E> #

¹ OK<_l~LOueO3HJOO2MtNPs\WlO]I<]sAOY2bH2MXWAsAILHJbHMX_lb] I0HbueHO3OaeILaueO3HN _`b_kMtaWZM<HKLO

Y3M<a¬]O3OILaPbueOqbueHO3Os\_ZY2b[eHO]jbuAMtbbueOO2_lKLO3a\~MXWl[eO]M<HJOO2W¸WY2ILaAg0_lb_lILaeOgfe] _laAY2O

bueOv~MXWl[eO]I<!< #y

R= T MtHO.aeI0bbI\IPu\_lKLuPR=]O3OW`O3K0O3aAg1T ¨

ueO·I<W+WlI<_laeK£s\_ZY2b[eHO_Z]bueO±]sAOY2bJHMXW.sEILHbHM_`bI<vbueONM<bH_+ rvyey ¨

bPM<H_Z]O]R_`a£bJueOAI<aeO3bILH seHJIL\WlO3N ¨b{_Z]T]JdL[AM<HJOPI<ILHg\O3H{C<m_`bJu¯"\y

aeILae°3O3HIPO2WlO3NPO3a\b] ¨ ueOvKLH_Zg·[A]Og_Z]g\O2cAaeOg \«

RCAX(<wT6LR < eZ< xFT?ROCAX(<mT6LRyL xFT2 Ce6 y =6 y

_`K0[eHO ±M<bH_¸ rvyeyLf{ 6 y

f s6´

VO2W+W^Y2I0aAg0_`b_`I0aeOg ¨

(17)

HO]O3H~LIt_`H] _lN[\WZM<b_lILa ¨ b_Z]]d0[AM<HOjI<AILHg\O3H0LxM<aAg{uAML]<"aeILae°3O3HIO2WlO3NPO3a\b] ¨

ueOKLH_kg[A]Og_Z].g\O2cAaeOg·C«

RC ( Ty6LR <QeyZ

Z<FT?RC Ty6LR <Qey

;TC36 6 y

_lKL[eHO= ²MtbH_+·G r µ f>{ 6 y f 6´

a _lKL[eHOefOY3M<a]O3OPbuAM<bbueOPY2ILaAg0_lb_lILaa\[eNAO3HvI<bueOO2_lKLO3aC~<MXWl[eOP_la

sAM<bYJueO]M<HIL[eaAgbJueOvcAH]bqO2_`K0O3aC~<MXWl[eO MtHOv\_lKLKLO3H ¨

(18)

T!®

¹

aeILa¯ueO3HJN_lb_ZM<aWZM<HJKLO¬]sAM<H2]OPN¬M<bJH_ZY2O] ¨ ueOMXWlKLILH_`bJueN HO3bM_`aA]{bueOMLg\~M<a\bM<K0O

I<.ÂvM~0_Zge]ILaÃ]seHIeY2Og\[eHOP_la buAM<b{bueOPN¬M<bJH_+ RHO]s ¨ E'Tq_Z]TM0Y3Y2O]]Og ILa\Wl«

I<W+WlI<_laeK¬HJO3N¬M<H e]

ueOMXWlKLILH_lbueN³VOjseHILsEIC]OgY3MtaOML] _+Wl«vAOsAM<H2MXW+W`O2W+_l°3Og ¨ b_la\~LI<Wl~LO]]sAM<H]O

ueOYJueI<_ZY2OIt7bueOvseHOY2ILaAg0_lb_lILaeO3H=R]bO3s "vI<pWlKLILH_`bJueN y7T_Z].Y2H[AYJ_ZMXW®ILH

bueO][AY3Y2O]]It^bueOvN$O3bueIhgMtaAg_lb.Y3M<a AO_lNPseHI<~LOg ¨

¹ OY3M<aeaeILbOML] _+Wl«±HOg\[AY2ObueOaC[eNAO3HI<'KLH_kg sEI<_laCb]fAOY3M<[A]OON[A]b

EOT][eHOvbJI¬Y3M<seb[eHOMW¸WbueOvO2_lKLO3aC~<MXWl[eO] ¨

¶XV ®

'!

ly3 ¨ MX_f ¨ ÂO3NPNPO2Wfep ¨ ±Y%1O3aeaeO3«Lf!dH^baF]v dfb^f d#fbd h ^bac]=d d>nq

q=]Z^jrfbvk]Zf]ZdNj] qaF] jkpd'nShm^! ypjS]

pvGEpvU 1 ¹ I0H L_laeK|qILbOvyef

yzLz ¨

x< ¨ U'uAM<bO2W+_laf#"#p$] ucj nNj&j ]wn%]Kq=p^jrfbv ]wn

U'I<W+WlOY2b_lILa N¬M<buiO3N¬M<b_Zd0[eO]

M<ses\W+_Zd0[ViO3O]qsAIL[eHWZM$N¬M'&

(

bH_Z]OLf ²M0]]ILafyz ¨

< ¨ U'HIL[e°3O2_+f ¨ G u\_+W¸_lsesEOLf ¨µ MLg<M<aeOLfac]*) p$+ fJn,dq=]Z^ba-. OYJu ¨

rO3s ¨f |r p¥rO3sEILHb|qI ¨ yLfyzLz

¨ IMtsesAOM<H_la µ p / ¨µ YJ_ ¨µ bMtb ¨

U'I0NPse[eb ¨

L ¨r ¨ ÂvMX~L_Zge]I0af0ac]3fb^]ZjSp^f1+Z]vrp$vZu-9p ^fd2Shp hm]. 3Sh^bac]*$ y]mnm^!]Zf] d4

+ p$uc]wnip d=v j jS]mn56 dfbd ]Zf] d+Z]rvZ^! j|nSh7pj!]jS] p$8+n,7q=q=]Z^jrfvkq=p^jrfvr]mn

U'I0NPs ¨ Gu\«h] ¨f#yXz"ef\ses ¨ "Xz< ¨

< 2¨+µA¨ Â['fer ¨ ¨ .H_lNPO]3f ¨ ¨ O3m_k]f ;pj n ]=q=p^jrfol3^]mnm^Nj99] q n pU

Q< µA¨1 ¨ Ihg\[eaeI<~f >] v ^jSp$:;jr^jSpf^bn0Sh p^j fbvr]mntpd=<j fb^]Zjrfp>Sh >] v ^j uFq

)kfvwa^!q rO]OMtHYu±rO3sAI0HbfA|qI<~LIC] _l\_lH] ¨

(19)

" ¨¨ .ItW`[efU ¨¨ 'M<a ICM<af p^jrfol< q Nuc^p ^fdn ueO <ILueaA] I0sL_laA]

qa\_l~LO3H]_lb«ªG HO]]3f MW`b_`N$ILHOTMtaAg ILaAg\ILafyXzLz ¨

< ¨¨ 1I\]b_laf!d ]gd1f^f1d Shtq=p^jrfvr]mn n>] v ^jSp

_lKLuGO3HI0HN¬M<aAY2OU'ILN$

se[eb_laeK fyz0zey ¨

z< ¨| ¨ GM<HW`O3bJbf ac] q=q=]Z^jrfbvgf] d+ p$uc] :Bj-]Zq

GHO3a\b_ZY2O MXW+Wf ae

K<WlO3I\Ihg UW+_7]3fyz

¨

ly

¨ G u\_+W¸_lsesEOLf ¨µ M0gM<aeOLf < q NuF^p^f1d h ^bac]3nmfbdu-pj=nmu6 n >pvr]p7n n'

v fp^] yfb^ba^bac]nmq p ]mnm^&nmfd-u-pj+Zp$uF]mn Sh pj!]kq=p^jrfvr]mn r Jµ p rO3sEILHb

|qI "<Ef#yXzLzL ¨

bIPM<sesEOM<H ¨

lyx< ¨¨0¹ _+W0_`aA]ILafuFdfbd=] j jj n fbdH^baF]'p$]'mjSpfbvNj v ]wn nm]mn aeK<WlO3ICIege]

UW+_7]3fA| ¨ AG HO3a\b_ZY2O3 MXW+WfyzLQ0 ¨

(20)

Unité de recherche INRIA Lorraine, Techn ôpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS L ÈS NANCY

Unité de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rh ône-Alpes, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex 1

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

Unit´e 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)

ISSN 0249-6399