Kerrighed: A SSI Cluster OS Running OpenMP

(1)

HAL Id: inria-00071632

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

Submitted on 23 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.

Kerrighed: A SSI Cluster OS Running OpenMP

David Margery, Geoffroy Vallée, Renaud Lottiaux, Christine Morin, Jean-Yves Berthou

To cite this version:

David Margery, Geoffroy Vallée, Renaud Lottiaux, Christine Morin, Jean-Yves Berthou. Kerrighed:

A SSI Cluster OS Running OpenMP. [Research Report] RR-4947, INRIA. 2003. �inria-00071632�

(2)

ISSN 0249-6399 ISRN INRIA/RR--4947--FR+ENG

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Kerrighed: A SSI Cluster OS Running OpenMP

David Margery, Geoffroy Vallée, Renaud Lottiaux,Christine Morin, Jean-Yves Berthou

N˚4947

Octobre 2003

THÈME 1

(3)

(4)

.0/21354768/:9<;:=>9@?A2BDCE=>F:GH9<FI?KJL/NMOMOPQ=2R<BST=QUV/:W47XF:Y<Y<3Z/:W[\]B_^`9<35a@Y<3OU=b67F:9<3OUVc<B

d:=2/NUegf1:=>ah=>9iY]`FjWk

lnmo]prqbsutwvuxzy q|{>}j~q]Ly :y o]prqzy

>q] yu{>y

vu{>2q qz mq] imq>Nt-] 2 qTIIIt sIs{> qzy

¡*¢£z¤|¥Q¦§¤I¨ © ªª «{>i{>¬ª¬q]¬n 2 Ii{>pry0Z20]¬ª}y q] yE>L®¯2°:y i{>2y0yy ª¬ª¬±{²im{>¬´³

¬q] Iª 8i{2y°µ¶·my*{>q]|¸®¹q² qzy q]»º¼q]ª ImqzV¸u{½Nª I¬q«½N:y q]p¾¶·pb{> q7¿À½½:¶Á

2q]i{>ª y :y q]p IªÂNª mqª¬ª¬ª}y2>Ã{>»½:ÄÅ7pb{2 mªqI¸{>r ÆÂNjª mqLy i{>{>

Iy´~bm q|{2Çª q]À{2zq¼ 0q]Âq]¬2q] y|µÈ¶Énynmq] q<Ê2 q¼Iyiyª¬q }yiq¼º¼q]ª Imqz }

uq]Ä² 2 Ii{>pryz2pEª¬qz»Ê2½:Ä²³Àpb{2imªqzy}yª 0mqIy ´~*m q|{2»ª q]À{2zqIµ¶·

my{>q]|¸I®¯q±q<~:¬Ë{>ª0m|®Ì®¯qnpb{>{> qzE ¼{2 mq]Âq±m{> {>¬À¸{>0 qzyiq]mq¯q]q<Í y

> |Â:jª Çuq]Ä²y}2m 2} ImÅmq½½:¶±{> {2 mK{2yL2Iy qz b{Eqzj|{> qz

}j³ÀªprqTq]Â:ª 2prq]|µ

ÎÇÏÐÑ ÒÓ

¥QÔ£I¨ÖÕ

¬ª}y q]|¸uq]Ä²H¸½½:¶n¼½¸×Ãª}j~

Ø´ÙDÚ·ÛÀÜ|ÝÚ¹ÞDßªÛÀàÊázâ

ãäOåDäÊæÆçèiä5éåDäZç

êÈëìíî

åHïgðÊïñiòÀóÉôñiõ2öTöQï÷<ïøúù<û>ü±ïgõ|ýöQþú÷|þúðÊþúù<õ îÿ

ñ÷ögõgòÉñiøöÆïñQøúøï

î |ÿÆÿ

øñ@üñ òÊýóïöQï

î

í

òÉñ@õQóï

äOåDäÊæÆçèiä5éåDäZç

ëìíî

åHïgðÊïñiòÀóÉôñiõ2öTöQï÷<ïøúù<û>ü±ïgõ|ýöQþú÷|þúðÊþúù<õ îÿ

ñ÷ögõgòÉñiøöÆïñQøúøï

î |ÿÆÿ

øñ@üñ òÊýóïöQï

î

í

òÉñ@õQóï

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00

Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

(5)

)(*&+-,

£ ¨ {>yzq*N]}prq]N|¸2}yT xzy q]N 2y0º¼q]ª ImqzV¸}qbyjy o]prqb{Çªpb{> q

}N}q2{>N¹¬ª¬ª¬ª}y2}qpb{2imªqLp}¬ª´³À Nzqzy yiq]}¯q]Ê2}y yi{>N¯{>}r 2 Ii{>p0³

prq]}¬ª q]À{2zq»qr 2 Ii{>pEpb{>2 qbm q|{2 Iy´~VµÇ¶É¬¯qzy2*Iy yª¬qb}ª¬ªyiq]

º¼q]ª Imqz2}q<~xz]} q]qzy 2 Ii{>pEprqzyÈuq]Ä²«z2pEª¬xzy2}qzypb{2 mªq¯pT}¬ª´³

:zqzy y q]} yn}ª¬ªy@{>¬ªN q]Ê{2zq¼m q|{2Vµ

{>y±zq]L{>]¬qI¸2}y±q<~:¬ªN}2yz2pEprq]

2}yÇ{|Â2y {> q]ªÅzqÅ xzy }¬ªi{>Çq] xzyiq] 2y¬qzyÇ{|Â2{>Ni{> qzy } yjy o]prq7ªpb{> q

}N}q¼{>2Iyª2 0}Çq]NÂNª 2q]prq]Nq<~xz]}2Åxzjx

! Ó ¤|£ Ñ §#" ¨ Õ ¬ª}y q]|¸y:y o]prq$ªpb{> q¼}}qI¸uq]Ä²H¸×Vª}j~

(6)

.0/213O4868/:9@;j=>9i?-,ÆBDCr=QF:G9@FI?²JL/:M5MOP>=/.>BÃS=>UV/NW48XF:Y@Y]3O/:W[0,zB

^`9@3Oa@Y<3OU=b6 Fj9<35U1,|BÃd:=>/:Uegf1:=>ah=>9iY]`F:W.

213S54$6«9<=Qa<=>/:987z`7;j9<FjW:9B4 S;4$63BD^/=<>9Wa4=bh=>/:WM53O=>W

?A@=B=CAD ST=QUU=>a^=>4=Æ[HBFEÃ9</:U7Q=

G

4<Å/:9<;:=>9@?:B;N1:/NMOMO=Q=:B9<M5F:Y<Y<3Z/:WBH7I< Fj9@3OUKJML3Ë9<35a]/:NPOÀ9>BQ ?=NSRD=>9iY]`FjW-LE=Q4:O NPOÀ9

¶·ÇmyL{>q]|¸®¹q qzyiq]º¼q]ª ImqzV¸{b½Nª I¬q0½N:y q]p ¶·pb{> qb¿À½½:¶Á2q]i{>ª yjy q]p

IªÂ:ª mqÇª¬ª¬ª}y2 >T{> ½:Ä²pb{2 mªqI¸L{>Ì ÆÂNjª 8mq y i{>{> Iy´~Ìm q|{2

ªN q]Ê{2zq» «q]Âq]¬2q] y|µ7¶É0y0mq] q<Ê2 q»Iy y ª¬q* ²}y q»º¼q]ª ImqzÌ K}uq]ÄÅ

2 Ii{>pryz2pEª¬qzÊ2½:Ä²³Àpb{2 mªqzy}yª Lmq¯Iy´~¼m q|{2ªN q]Ê{2zqIµ¶·myH{>q]|¸

®¯qq<~j¬Ë{>ªm|®7®¹qpb{>{> qzT L{2 mq]ÂqÈm{>Ã {>¬À¸>{>T qzy q]Dmqq]q<Í yH>: ÆÂNjª

uq]Ä² y }2»m 2} Im mqK½½:¶*{> {2 m{2y»2Iyiqz Ì{7qzj|{> qz }j³Àªprq

q]NÂNª 2prq]N|µ

T

:&u ¼VUD&

Õ ¬ª}y q] yT>u½:ÄÅÈy{> qb{>i{2]ªÂqrZ2Tq<~qz]}ª Åy m{> qz prq]pr2K{>i{>¬ª¬q]¬¯{>¬ª|{>2y

}¼ qzz2]ª¬ªª Åmª Im«q]Ê2pb{>zqb{> q|{2yiq>n 2 Ii{>pEpEª q]pb{>ªy{> 2q]«yiy}qIµ

W

Iy yª¬q{> {2 my¹ |Â:q{qzj|{> qz»}j³Àªprqq]Â:ª 2prq]±ªpE¬q]prq]Nª *{

z2pEpr2»{>i{>¬ª¬q]¬ 2 Ii{>pEpEª rq]Â:ª 2prq]uy} m{2ynÄÅ¶<¸uq]Ä²H¸ Õ 2{2n2qu>

mq]ªq<~: q]y 2y|µlnmq 2¬q]p ®±ªm²my{> {2im²¬ªqzyuª mqzNq<~jy q]zq2K{byi{>prq

]¬ª}y q]>njYXq] q]Nq]Â:ª 2prq] yTm{>¼pEª Im¼i{>°q0z2[Z]ª qz]y2yªK qzyqz]¼

mq¼y m{> qz qzy 2} zqzy|µ

W

Ç2mq] 2¬q]p y±mqpb{>{> q]prq]>mqTjYXq] q]N¬q]Âq]¬yL>

{>i{>¬ª¬q]¬ªy p {|Â2{>ª¬Ë{>¬q]\¹{>umq:q¬q]Âq]¬Dq]É®¯qzq]ÅmqjYXq] q]Nu :zqzy y 2 y{>²{>Lmq

]¬ª}y q]¬q]Âq]¬Ãq]É®¹qzq]Åmq¼jYXq] q]NL:qzy|µ

|Â:jª {> q8^b]q]N½Nª I¬q½Njy q]p ¶·pb{> qb¿À½½:¶Á¯2q]i{>ª yjy q]p IªÂNª bmqª¬´³

¬ª}y 2 >¼{> ½:Ä²!pb{2imªqyb{>Ìª q] qzy ª 8{>¬ª q]{>ªÂqÇ Kmy*{> {2 mÃ¸nqz|{>}y q

2 Ii{>pEpEª Z2Åy} m%{Ìi{> q]ÇyÇ2q >Emq yªpE¬qzy Z2p >E{>i{>¬ª¬q]¬ 2 Ii{>p0³

pEª µ Ä²2 qz|Âq]|¸ª»y»i{>mq] yªpE¬q² |Â:q«ªpE¬q]prq]Ni{>2yÅ>mq²z2pEpr2

_

äOåDäÊæÆçè äOéåDäZç

` ëìíî

åDïðÊïñ òÀó·ôEñiõ2ö0öÆï÷]ïøúù@û>ü±ïõzýÈöQþú÷|þúðÊþúù<õ îÿ

ñ ÷ö õgòÉñiøöÆï ñ >øúøúï

î zÿÆÿ øñiüñiòÊý¹óïöQï

î

í

òÉñ@õQóï

(7)

½:Ä²pb{2 mªqzy{> q >Z q] {|Â2{>ª¬Ë{>¬qIµ W ¬ª¬mqzy q }j³ÀªprqÅq]NÂNª 2prq]N y»®±ª¬ª¬L}y qÇmq

y@{>prqrym{> qz« qzy 2} zqzyT |Â:qz N²mqby:y q]pÇ¸D{>«mq] q<Ê2 qrq0 I¬2{>¬ª¬ª²pb{>{> qz

ª {E2j³Éz2[Z]ª bpb{>q]{>±mqT]¬ª}y q]¬q]Âq]¬Àµ

¶É8my{>q]|¸®¯q*Z:]}y028mq*®¯{|Ìuq]Ä²" 2 Ii{>pryr{> qy }2 qz82Ìº¼q]³

ª ImqzV¸:2}¹{> q]pEn{>}ª¬jª y } m*{>½½:¶H2q]i{>ª yjy q]pÇµ © q±q]¬ªq]Âqm{>}y ª

uq]Ä²Ì E 2 Ii{>p {>i{>¬ª¬q]¬H{>¬ª|{>2y2Çº¼q]ª ImqzyL{ 2pEy ª bq]Âq]¬2prq]

{>mÃ¸n{2y0}yi{> qÇ>uq]Ä²q]{>¬qzyrmq Nj}]2 >{²®¹2°:ª {>i{>¬ª¬q]¬ 2 Ii{>p

ªK q]¬Ë{>ªÂq]¬ªKym2¼ªprqzy|µ0L¯z2} y qI¸VmyÍ y ®¯2°Nª Âq] y2«®±ª¬ª¬zq]i{>ª¬ªÅ2¼q

Âq]0q8^b]q]|¸}¹{>¬ª:ª ¼q]ªq]NÈi{>yÊ2pb{>2yu¿Zy}imb{2ymIy q±y} I qzy qz0ªOÁ

»mqbuq]Ä²) 2 Ii{>pÖz2}¬ q]{>¬q0mqE :j}]2 >±{Âq] y2 q8^b]q]q]2} Im

´nmª Im q]Z2pb{>zqby¼2{mª Im72ªÉ 2qzzqzyiyªÉ²Ê2¼mqrz2yq] qz 2 Ii{>pÇµ

Ä²2 qz|Âq]|¸mqnzIy>jyª} qzE2q]i{>2y2r{]¬ª}y q]q]ª {>r2 q]>pb{> Iª}q

mª Imq]m{>Å2«{E q]N}ªq0½:Ä²¸q]¬ÆNprq]N>mq{>i{>¬ª¬q]¬{>¬ª|{>2² 2 Ii{>pEprqz

}y ª uq]Ä² 2r{]¬ª}y q]z2}¬0mq]¬ªEq]´Zmq¯22y>z:q¯m{>qzqz0}ª µ

q] q0}yi{> qr>{]¬ª}y q]T IªÂNª Çmqrª¬ª¬ª}y2 >{>8½:ÄÅy¼}y qz {2y{®¯{z >±q<~{> I q]³

{>ª b 2¬q]pryuq]z2}N q] qz ®±mq]Å{>i{>¬ª¬q]¬ªzª * 2 Ii{>pry|¸q]ªmq]Ê2± >Í¬ªª 2LªÅ{

qz{> 2 Iq]NÂNª 2prq]N|µ

lnmq{>q]yy}]} qz²ª²mqÊ2¬ª¬|®±ª »®¯{|µT¶·«½:qz]2 j¸®¯q qzyiq]mq >³

zqzyiy>}ª {>²uq]Ä² 2 Ii{>p 2 º¼q]ª ImqzV¸Z 2p y 2} zq ry :y q]p z2zq] y

ªNÂ2¬ªÂqz»ªz2 qz]q<~jqz]}2Ãµ¶· ½:qz]2 j¸: qzy}¬ª y{> q qzy q] qzÇq]pr2y i{>ª rz2³

qz]q<~qz]}2r>Vuq]Ä² 2 Ii{>pryÈ{>0 IªÂ:ª T{>Eq|{>mqnq]Z2pb{>zq±2i{>ªqzVµ

½:qz]2 bz2pE{> qzyL2}L{> {2imÅ 0 q]¬Ë{> qz ®¹2°{>Å½:qz]2 0z2]¬ª}qzy|µ

#%&& & & (&+-, ,L± &

lnmq Í yy q] >}ª {>)uq]Ä² {>¬ª|{>2 2 º¼q]ª Imqz yb 8z2pEª¬qÅª|µ

202}}Iy qzy|¸®¹qqzqz8 Å}y q{Åz2pEª¬q]E :j}]ª Kz:q*i{> q] qz {>0{> ½:ÄÅ

pb{2imªq}yª «Iy´~7m q|{2yÆµ © q m:Iy q «q<~jq]ªprq]Nr®±ªm upEÀ¸Èmqz2pEª¬q]

:j}zqz N v Õ¹© !"Éµ*lnmyz2pEª¬q]T®n{2yTpr:j´Íqz ¬ªª°²mqb 2 Ii{>p qzy }¬ªª

>nz2pEª¬Ë{>2 ®±ªm 2}¼ªpE¬q]prq]i{>28>¹Iy´~Åm q|{2yÆ¸D{¬ªªi{>²|{>¬ª¬qz$#&%('*),+.-&/0<µ

lnmy¬ªªi{>*ªpE¬q]prq]N yLmqIy´~*m q|{2Çª q]À{2zq}yª Emq¼yjy q]p y q]Â:zqzy±IXVq] qz

Nº¼q]ª ImqzV¸®±m mÅy± qzy q] qz pr2 qz2pE¬q] q]¬ª»ªÇmqÊ2¬ª¬|®±ª *yiqz]2Ãµ

(8)

Level User

Level Kernel

Adaptation Gimli devices

(Migration) Aragorn

Application

Gandalf (Container) Application

Gimli

Network

Linux Kernel Elrond (synchronization)

ª I} qrs \ + ) )#"' +,/ -") '%+ % ),+

*

º¼q]ª Imqz»y±z2pEIy qz>{y q]±>jyª} qzy q]Â:zqzy¿Zy qzquÍ I} qEsÆÁ ÆÂNjª b I¬2{>¬

pb{>{> q]prq]N>¼jYXVq] q]*¬2 I|{>¬u qzyi2} zqzybª mqÅ]¬ª}y q]{2y*qzy ]ªqz ª pr2 qÅq<³

i{>ª¬yªú±{>ªs| Éµ"!¼{>{>¬´Lpr:j}¬qbyª7im{> q> I¬2{>¬nprq]pr2 pb{>{> q]prq]|¸

W i{> 2prNj}¬quy¯ªim{> q>Ã I¬2{>¬ :zqzy y¹pb{>{> q]prq]|¸#¬ª 2pr:j}¬qL ÆÂNqzy

{*y q]>¹y: m 2Æ{>2« :2¬yÊ2{>i{>¬ª¬q]¬È{>¬ª|{>2yr¿Ê{> 2pEz2}N q] y|¸V¬: °jy|¸{>³

q] yÆµzµzµiÁ<µ

W

¬ª¬mqzy qy q]Â:zqzy{> q{2y qz»2$!ªpE¬ªÊ2nmq]ª±z2pEpT}|{>2y|µ%!ªpE¬ªy{

yiq]ÂNzq± ÆÂNjª mª Imbq]Z2pb{>zqLz2pEpT}|{>2»ªyq±mqu]¬ª}y q]¹{>b{¼z2pE¬q] q

{>y i{2]2>umqz2pEp}|{>2 yjy q]p$ «º¼q]ª ImqzÌm{>Epb{>°qzyEª02i{>¬q2

ÂI{>2}yuª q] z2qz]2 q]·®¹2°jy|µ

W

q]q]&!ªpE¬ªq]Â:zqTm{2yqzq] ªpE¬q]prq]N qz«

pb{>°qmq¼y:y q]p z2pE¬q] q]¬ªªq]q]q]NZ 2p mq¼q]É®¯2° qz m2¬2 Iµ

W ¬ª¬Ãº¼q]ª ImqzÅy q]ÂNzqzyu{> q¼ªpE¬q]prq] qz²2} yq¼mq¼×VªN}j~Ç°q]q]¬Ã}yª rmq¼y i{>j³

{> ÇprNj}¬q¼prqzim{>ypÇµ

(' )+* , -). /10 /*/2 3

vL}ª Åuq]Ä²) 2 Ii{>pryz2pEª¬qzKZ2½:Ä²)pb{2imªqzyªpE¬ªqzyy 2prqEy }2Ê2

y m{> qz ÂI{>Ë{>¬qzy|¸u}y}{>¬ª¬ªm 2} Im y m{> qz prq]pr2µ © ªm)º¼q]ª ImqzV¸mq4!¼{>{>¬´

pr:j}¬qEq]Z2pryT I¬2{>¬Èprq]pr2«pb{>{> q]prq]N0{>mq*yjy q]p ¬q]Âq]¬Àµ»ÄÅ2 qE qz]yiq]¬ª¸

q|{2imKNq0q<~qz]} qzyª yÆ®±«2q]i{>ª Çyjy q]p °q]q]¬¿ '650 %7598 + ),-%;: # 0< 0 %+=Á<¸®±m m

|{>qLz{> y q]¬ªbjªÂ:qz*ª É®¯{> y \n¿sÆÁ 09<0 %+= 0 + )>?@ + 0{>²¿ÊÁ /*+>?@ +A= -B: - #*+ ) 0]µ

2u I¬2{>¬prq]pr2Çpb{>{> q]prq]N|¸Ãº¼q]ª Imqz²}y qzy{b q]q]0y q]Â:zqTªy q] qzÅq]É®¹qzq]

(9)

{> qLª q] Ii{> qz*ªbmquz2 q°q]q]¬m{>°:yÈ (:+ ) 0]¸®±mim»{> quy >O·®¯{> quqzzqzyÈªyiq] qz

q]É®¯qzq] z2i{>ªq] y{>q<~:y ª rq]ÂNzqpb{>{> q] yL{>y :y q]p y q]Â:zqzy|µlnmq°q]*q|{

ynm{>±z2Ni{>ªq] y IªÂqmqª¬ª¬ª}y2 0yjy q]p y q]ÂNzqzynm{>±mq]¬ª}y q]±mN:y |{>¬Vprq]p0³

2yym{> qzr{2yªb{>*½:Ä²«pb{2 mªqIµlnmq]mq] q<Ê2 qnªpE¬q]prq]¯{ yª} qz½Nm{> qz

Ä²q]pr2²¿ ½:Ä«ÁÈªyqmqmIy2q]i{>ª ry :y q]pÇµlnmy ½:ÄÖªpE¬q]prq] yLyiq }q]NË{>¬

z2mq] q]zqT®±ªmÅ{{> q¼ Ii{>N}¬Ë{>ªÉ{>Nprq]pr2Ç{>¬ª¬:|{> qz»Ê2L{0 Nzqzyiy±y±{>}i{>¬ª¬ª

y m{> qzEq]·®¹qzq]»jYXq] q]NÈm q|{2y¯>Vm{> Nzqzyiy}ª 2*jYXq] q]NÈ:qzy|¸N{2yÈprq]p0³

2 {>¬ª¬:|{>2²yu{ry :y q]p y q]Â:zqm{>{>¬ª¬:|{> qzyprq]pr2»O 2p z2i{>ªq] y|µ 2pr2 q

q]i{>ª¬yL¬q|{2y q q<Êq] ªs|Éµ

lnmq] q<Z2 qI¸!¼{>{>¬´q]{>¬qzymq¯ym{>ª >mqÈz2pE¬q] q±{2j qzy yy{2zq¹>{ Nzqzyiy|¸

ª]¬ª}jª Tmq±yi{2 °0>q|{2imb>ª ym q|{2y|µlnmyjYXq] yZ 2p prIy ½:Ä y:y q]pry®±mq] q

q<~j¬ª]ªprq]pr2E{>¬ª¬N|{>2*pT}yÈqn}y qz0 ¼q]{>¬qLym{>ª ¸N{>E I q|{>¬ªEyªpE¬ª´Íqzymq

ªpE¬q]prq]Ni{>2²>{>Åuq]ÄÅ z2pEª¬q]|¸2|¸{2yn®¹qm{zÂqT2qI¸q]{>¬qzyLmq¼}y q¼>{>

uq]Ä²z2pEª¬q]i{> q] qzÇZ2u½:Ä²yjy q]pry|µ

)+* , @ -0 /* /23

q]Âq]mq]¬qzy y|¸Dym{>ª mqEz2pE¬q] qb{2j qzy yy {2zqq]É®¯qzq]8{>¬ª¬mq0m q|{2y>{* >³

zqzyiy0y b{>¬ª®¯{|:yb{² ::7 2q]É¸¯qzyqz]Ë{>¬ª¬ª7®±mq]ÌªpE¬q]prq]Nª ªÂI{> q»Â2{>Ë{>¬qzy

Ê2{>i{>¬ª¬q]¬Èy qz]2y|µ 20uq]Ä²) 2 Ii{>pryTy } m«ÂI{>Ë{>¬qzy|{> qq] qz] qz7{>¼mq

z2pEª¬Ë{>2«¬q]Âq]¬È{>²mN}y qzqz]¬Ë{> qzKZ2q|{2 m«m q|{2V¸D2mq]²|{>KqªpE¬q]prq] qz

}y ª mqLm q|{2±ªÂ2{> q¼{>i{Tprqz m{>yp IXVq] qzbNrIy´~rm q|{2y|µ qzyª qumqÀ{2]

m{>upEÃ}y qzy±mqÊ2prq]prq]m:V¸®¯q m:Iy q¼ EªpE¬q]prq]N %(' ),+,-*/ 8 )9;> -%+ /&-% -*ª

2 q]¼ y }2{> uq]ÄÅ z2pEª¬q]Tm{>¼®¹2}¬ imNIy q0 }y q0m{>À{2]ª¬ªªÉµ W y

m q|{2y¼{> qjyª} qz²m 2} Im2}mq]¬ª}y q]Çº¼q]ª ImqzV¸mq] {> qªpE¬q]prq] qz

{2y¹ :zqzy y qzy¯>DmqLmIy ¹2q]i{>ª 0y :y q]p ¿Oª»{Tpb{>q]±yªpEª¬Ë{>¯ ×VªN}j~jlnm q|{2yÆ¸jmq

y i{>{> »Iy´~m q|{2»ªpE¬q]prq]i{>2K>×VªN}j~Á<µ¹lnmq] q<Z2 qI¸q<~j¬ª]ª®¯2°*m{2yn 0q

q]Ê2prqz*{>mqu2q]i{>ª y:y q]p ¬q]Âq]¬y ¼m{>¹prq]pr2Epb{>qzbªb2qmIy Nzqzyiy

|{>«qEy qzq]«NK{>¬ª¬2mq]mIy ¼ Nzqzy yiqzym{>ªpE¬q]prq]mq0m q|{2yT>¹mqr}ª

2 Ii{>pÇµ¯²q<~j q]jª q<~j q]jª Çmq= = -98yjy q]p |{>¬ª¬ Çy }2¼¬:|{>¬prq]pr2

¿ON{2jª *{Z{> NÁ<¸jª¯ª±Iy yª¬qu Eq]y} qm{>±prq]pr2®±ª¬ª¬Vq¼{>¬ª¬:|{> qz

ªÅmqTÂ:ª}{>¬{2j qzy yy{2zq>Èq|{2imKm q|{2Å>mq Nzqzyiy¿Zq|{2im²mIy u :zqzy y@Á±®±ªmj³

2}E¬ªª°:ª «ªE {Kz2i{>ªq]|¸¯mN}yrq]y}ª «m{>r«z2mq] q]zq®±ª¬ª¬±qpb{>ªi{>ªqz

q]É®¯qzq]mqujYXVq] q]z2qzy±>Hm{>¯prq]pr2y q] Iprq]{2] Iy y¯mqjYXVq] q]±m q|{2y|µ¶·

qzz2prqzymq] q<Ê2 q¼ªÂ:Ë{>¬Ã EªpE¬q]prq]Num q|{2Çy qz]´Í¼prq]pr2» q] I2y|¸qz|{>}yiqmq

y@{>prqÂNª}{>¬H{2j qzyiy®±ª¬ª¬Ãqzyª I{> q{0jYXq] q]NLprq]pr2» q] I2 2Çq|{2 mÅm q|{2Vµ

(10)

W ¬ª¬mqy Nim 2Æ{>2 prqz m{>ypryqzzqzy yi{>Ê2¼y}2¼>ÈmqIy´~ m q|{2Ky:j³

im 2Æ{>2ÌªpEªªÂqzyr{> q*jª qz]¬ª7 |Â:qz8 mq #¬ª 28prNj}¬qIµKlnmypr:j}¬q

ÆÂNqzyjyª} qz²¬: °jy|¸{>q] y|¸y q]pb{>m2 qzy|¸Ã{>Å®¯{>ªz2jª2« r :zqzy y qzyª

{ªpE¬q]prq]Ni{>2Åm{>uy}2 y Nzqzy yL mqz °:2ªª {2y±®¹q]¬ª¬H{2ypEª Ii{>2 q]É®¹qzq]

:qzy|µlnmqzy qprqzim{>ypryu{> qªpE¬q]prq]N qzÅ{>±mq :zqzy yn¬q]Âq]¬D{>2L{>±mq:q

¬q]Âq]¬Àµ

#%

' & 3B3

m q|{2»¬ªªi{>«¿

#&%('*),+.-&/ÆÁ<¸®¯q®¹q] qT{>¬q }Ã¸2»Ê2}nNqzy{>»}yª Ebuq]ÄÅ

m q|{2yÆ¸mqu!!¼ qzy y ÆÂNqzb®±ªmrmqupEz2pEª¬q]¯ ¼pb{>°quy} q±ª yªyi{>¬ª¬Ë{>2

®n{2yLz2 qz]¬ªz2pE¬q] qzVµ

ÆÂNqzKN²º¼q]ª Imqz y }2¼q<~qz]}2 >nuq]ÄÅ) 2 Ii{>pry{> q0pb{>} qr{>

ÆÂNqmq¼ q }qzy qzÇy q]Â:zqIµ

Lz2} y qI¸ªªË{>¬q]Ê2pb{>zq±prq|{2y} q]prq]N y¹{> q±> I q|{>Èª q] qzy mqLuq]ÄÅ

z2pEp}ªÉµ nq<Z2 q qzy q]Nª mqzyiqT qzy}¬ª yÆ¸®¯qT®¯2}¬Å¬ªª°q by qzy yu2zqpr2 qm{>

mª Imj³Àq]Ê2pb{>zq¼q<~jqz]}2>uq]ÄÅ 2 Ii{>prynm{2y ¯qzq]*mquÊN]}y¯>Dmqu®¹2°

qzyiq] qz mq] qIµ¶·bym2}¬ qÅq]ÂNq]N* mqÇ q|{2q]m{>*}yª {« q]q]i{>¬}Iy q

uq]Ä²)z2pEª¬q]¼i{> q]ª Å½:ÄÅ pb{2imªqzy¼}yª Ç{*Iy´~²z2pE¬ªË{>m q|{2²¬ªªi{>

®¯2 * qzy }¬ªrª q8^b]q]Nz:qÇ®±mq] q<~jqz]} qz 2 {7½½:¶02q]i{>ª 8y :y q]pÇµ ¶·qzqzV¸

y qz]´Íu®¹2°ym2}¬q2q i{>ª¬2nmqz2pEª¬q]n i{>°quªN E{2zz2}±mqyqz]´Ízy

>L{>Ì½½:¶¼2q]i{>ª Kyjy q]p Ê2T]¬ª}y q] yq<Ê2 qby ª I´Í|{>0 qzy}¬ª y|{> qr :j}zqzVµ

{>¬ª q|{2j qb}y qz8{2y0{ ¬Ë{>Z2p' Åy }2 qzy q|{> mÌ>q] q]Euq]Ä² z2pEª¬Ë{>2

{>¬ª 2ªmpryLi{> q]ª »½½:¶¯]¬ª}y q] y|µ

' *

2q]Ê2pb{>zq¼prq|{2y} q]prq]N y|¸®¹q¼m{|Âq¼}y qzmq vLÄ8s zNqq]Âq]¬2qzN #¬qz<³

]ª x q i{>zqbvLqzy q|{> im {> q]Âq]¬2prq]NjªÂ:y2Ãµlnmy¼zNqEz2pE} qzy]ª|{>¬

Z{2y mª ®n{> q] Z|®yn}yª 0mqum2pr2 q]qz2}y± q]¬Ë{Q~{>2»pr:q]¬À¸{>bª y¯{>i{>¬ª¬q]¬ªÆ{>2

yqzy ]ªqz²ª ú ÉµlnmqTprq|{2y } q]prq] y¼®±mq] q02q2K{* Õ ]¬ª}y q]>Èb:qzy®±ªm

(11)

q]s|IE qzim2¬2 IµLlnmq qzy }¬ª y{> qT IªÂq] ªÅl{>¬q*s{> |{>Åqz2pE{> qz² EmIyiq

2i{>ªqz 2Å{2³À®¯{|Å½:ÄÅ}ª b2 q]ª}p b{> I2Ä m qzyiq] qzÇªÇl{>¬q

}pTq]u>Èuq]ÄÅm q|{2y q<~jqz]}2Åªprq¼ªÇy qzz2y

s s|j¸"!

jsI¸

j¸:s

lH{>¬qbs \+#~jqz]}2Åªprqzy±Ê2 uvuÄ7s

}yª bº¼q]ª Imqz

}pTq]u>Èuq]ÄÅm q|{2y q<~jqz]}2Åªprq¼ªÇy qzz2y

s >¸ªs|

s|j¸ú>

jµ!

lH{>¬q[\#~qz]}2Çªprqzy±Ê2 uvuÄ7s

}yª b{ q]N}ªq½:Ä²

W

yq<~jqz] qz«}yª Å{>8uq]Ä²%z2pEª¬q]2i{>ª¬2 qz mqbyqz]´Ízy>n]¬ª}y q]

y :y q]pryÆ¸2mqzy q¯ qzy}¬ªym|®{yª I´Í|{>NÈy¬Æ®|®±*{>0mqnyi{>prqn°:ª0> qzy}¬ª y|{>Eq

prq|{2y } qzr2rmq W ½q] mpb{>°jy|µ q]Âq]mq]¬qzy y|¸mqzyiq± qzy y :j}zqz2 qz]È qzy }¬ª y|¸

{>»{2y¯º¼q]ª Imqz»{>*mqz2pEª¬q]n{> quqzbª{>]}¬Ë{>¹À{2ym2Ã¸:2mq]¯2ªpE|qz

z2pEª¬q] yuz2}¬q}y qzVµlnmy±®±ª¬ª¬ÃqmqÊN]}y±>2}±Z}} q¼®¹2°µ

#%n

W Zq]® qz2¬q0m{zÂqbq<~:¬2 qz«}ª Kuq]Ä² 2 Ii{>pry27]¬ª}y q] y|µ0ÄÅIy ¼2i{>¬q

q8XV2 yrª]¬ª}qÇ®¹2°Ìi{> q]ª 8{ ]¬ª}y q]r}yª 7{> q<~: q]qzÂq] y2>lÃ q|{2ÄK{>°:y

ªsI¸ j¸"u{2yb{ ½:Äw{>Ìmq»®¯2°Ì>Ä8µÈ½j{> Km{>rm{2yE¬qzÌ «jYXVq] q]*Âq] y2yr>

mq upE !¸sIs ¼z2pEª¬q]Ç®¹q²}y qzVµ!lnmqzyiqÅ®¯2°:yÊ:]}y2)q8^b]q]NÇq<~jqz]}2 >

uq]Ä²Ì 2 Ii{>pryL2 ]¬ª}y q] yL{>2mÇz2]¬ª}q¼m{>mqTuq]ÄÅ yi{>{> pT}y

q¼q<~j q]qz rq]{>¬qy}imÇmª ImÇq]Z2pb{>zqTq<~jqz]}2Ãµ

}yiq]T>L{]¬ª}y q]Tmqrª¬ª¬ª}y2 mqEyT}yª Å{>Ì½:ÄÅpb{2 mªq»{2y®¹q]¬ª¬n{2y ÆÂNjª Åmq

:2¬y}yiq<O}¬VÊ2u{>{>¬ª zª *mqq]Ê2pb{>zqT2¬q]qz °jy>{>i{>¬ª¬q]¬H 2 Ii{>pry}ª

2²mq]¬ª}y q]|µ¶ÉqzqzV¸®¹qq]¬ªq]ÂqTmª Im²q]Z2pb{>zq0q<~qz]}2K>¹{>i{>¬ª¬q]¬ 2 Ii{>pry

(12)

{>¬ª 2ªmpry}y qzVµlnmq] q<Ê2 qI¸I®¹q¹q]¬ªq]Âq¹m{>ªHyHªpE2i{>N |Â:q±{ 2 Ii{>pEpEª

q]NÂNª 2prq]NÈ®±mq] q±yy q]¬Ë{>ªÂq]¬ª0y ªpE¬q± q]È{{>i{>¬ª¬q]¬{>¬ª|{>2b}b{>r}ª

{>mqu N2¬yn }qª|µ¶Ém{>n qzyqz]|¸N®¯qq]¬ªq]Âq¼uq]ÄÅy{T N:|{>j{> q{2y

ª± ÆÂNqzy{0mª ImÇ¬q]Âq]¬Ã>{>yi{2]2Ãµ

YXVq] q]uq]Ä²²z2pEª¬q]H qzim}qzyHi{> q] qz u]¬ª}y q] yÃm{|Âq¯{>¬y qzq]Ty }jqz

ªs|j¸ Éµ²½NÂq]º{>¬y y 2 + % - µÇÊ:]}yT28 qzj}]ª ²mqzIy>L}yª ²{Åy >ZÉ®n{> q ½:Ä

N pEªªpEzª Ìmq²yNim 2Æ{>2)2ªN y Nj}zqz mq]ª»z2pEª¬q]|¸L®±mª¬qKyª¬ª¬

ÆÂNjª {uz2pE¬ªË{>z2pEª¬q]|µÈ½:q]} {>jÄ ª+ %-

Z:]}y202ªpEÆ{>2yªNÂ2¬ªÂNª

{2zzqzyiy{> q]y Çmq*ym{> qz prq]pr2¸qzyqz]Ë{>¬ª¬ª,8 - #*+ - -").+$58%(= -%@5B: 0]µ*lnmqzyiq

®¯2°:y¯{> q±Âq]0ªpE2i{>N¹ }yÈ{2y®¯q±q]¬ªq]Âq{¼]¬ª}y q]¹{|®¯{> qz2pEª¬q]È®¯2}¬r :j}zq

p} mÅpr2 qq8^b]q]zNqm{>ÇmqT2q¼®¹q¼m{|Âq¼}y qz {2y N>>z2zq]|µ

& UH & L& T ±

u}ªpb{> {>¬ª q]Âq]¬2ª mqKº¼q]ª Imqz%½½:¶b2q]i{>ª yjy q]p Z2Ç]¬ª}y q] y

y0 IªÂq»mqª¬ª¬ª}y2>¼{> ½:ÄÅ!pb{2 mªqÇ K 2 Ii{>pryb}ª 72Ìmq]¬ª}y q]{2y

®¯q]¬ª¬¯{2yT |Â:jª Åprqzim{>ypryZ2¼À{>}¬ª³À 2¬q]i{>zqIµÇ¶·ymN}yTIy yª¬qr mqzi°N2ª

{>¬ª|{>2y*}ª 72 º¼q]ª Imqz ú É¸±{2yE®¯q]¬ª¬{2yr pEª Ii{> qÇm q|{2yb2b Nzqzy yiqzy

q]É®¯qzq] :qzyL{2zz2 jª b r{E I¬2{>¬Dy mqzj}¬ªª *2¬ª] ªs]"Éµ

lnmq] q<Z2 qI¸uuq]Ä² 2 Ii{>pry}ª 2 º¼q]ª Imqz {>} 2pb{>|{>¬ª¬ª {>ªmqzyiq

|{>{>ª¬ªªqzyÆ¸N{2jª ¼ mqnª q] qzy >2}È{> {2 mb }ª uq]Ä²« 2 Ii{>pry|µ¶·

y{>¬y Iy yª¬q¹ }0yiq]Âq]i{>¬uq]Ä²K 2 Ii{>pryª0{z2]} q]N®¯{|¸Im}yª] q|{2y ª

mq I¬2{>¬}y q0>ÈmqEz2pE}ª qzyi2} zqzy|µTvuqzy 2} zqpb{>{> q]prq]{>mqE2q]i{>ª

y :y q]p¬q]Âq]¬|{>rmq]*pb{>°qLqz]y2y¹{2y qzb2bmqLyi{> qu>mq®±m2¬quyjy q]p{>b2

2¬ª»2Çmq¼yi{> qT>{0yª I¬q 2 Ii{>pÇµ

}} q®¯2°02»uq]Ä² 2bº¼q]ª Imqz*ym2}¬rq<~j¬2 qLz2pEª¬Ë{>2*prq]mNyÈm{>

:j}zq»pr2 qÇq8^b]q]N*z:qZ2*uq]ÄÅ! 2 Ii{>pry*{2yE®¯q]¬ª¬u{2yE |Â:jª 8uq]ÄÅ

q]Âq]¬2q] y®±ªm :2¬y± 0q] q]}q] yi{>mqq]Ê2pb{>zq¼2¬q]qz °jyL>mq]ªL{>j³

¬ª|{>2yuy 0m{>mq]»|{>Ç}q¼mq¼{>i{>¬ª¬q]¬ªÆ{>2K{>¬ª 2ªmpryL}yiqzVµ

& i &u

lnmq²®¯2° qzy q] qz mq] q²m{2yqzq] {>¬ª Í{>zqz mq ª qz]2 !x]x]i{>¬qKq

¬

W

prq]prq]8¿

! W

ÁbÊ2mq

Õ Õ W

>qz]|µ

©

qK®¹2}¬¬ªª°qK m{>° mq] q«×Ã2}y

vLª¬ª¬ªª KZ2EmqO}ªZ}¬jy ]}y y2yb2 Iy ´~8z2pE¬ªË{>zqÊ2r2}rªpE¬q]prq]Ni{>2 >

m q|{2yÆµ

(13)

"!$#%'&(")*+ ,.-0/-01(-! 2 435 6 6%78"9':<;"=> +?35@A:B&

=> DCE@A-0:-0FED-/G EH4!I-'&(JK"!$#L)M4<1A!I-&9-0'!$;ON0"F(3LPIQR:ST"::(-PU "!I#L)VAW'!$#L)8PI%PIQR':)

X$YYY[Z]\A^_`Lacb0d

Ee"fghe"ijMk%lLe"k(mf"f'n(

oep6T Dq@'&L!$Q:AP$15( 'Jr'!$Q:5<A:&ts9 'u"/R/v0-' w1(-Nx#<FE"Q:'PIQR:SOA:&y!$-mN%z"-!$;OAW4)$1A!I-&-0'!$;

FA!xA//R-/"AFF(/RQ{N0AP$Q":)5QR:N0/R3B)UPI-0!m A|}:~

d$\mDXjBaG]9\Ad$$\I_\%O{jaGdj0`LacbxL%d$bxb0^\Adj

\%Z+`<jacb0dxTBD'Aj

F"S"-m)<Ljl<<"LHw"#<;"BBJK;reA'" ( B2-0/{&rQ:N':%7U3(:NP$Q":KQRP$1

@s¡!$Q{&e""' ( <|}¢¢¢£H¤+

)UPI3&L;LN0')8-' ¯®

(bXjBacb0djEAaG\AE%°<\A`LdjEA\U±O²´³m

~

b0d±\%dj^p%Exb«Z\%^_E`LahµD³¶_'_ExAaG\A(

m·(gG 'iMe"fDl '"f((3(S"3B)UPeA'('

~ d$\m]\8±TaµbTbxI\AEpKb0dG³DbxB%^_4X~~ '¹ ~ ~»ºA¼"¼'¼Awf"f'f(

o·ys9 V,.!x-0Q#A:B&¨¤ AFFB-/R/ r*+-0!$W"!IpA:N0-yN'9FBA!IQ)$":«AWJr*¬|A:&«PI1(!$--ªFE-0:Jr*

F(!$'S"!xAQR:S«)8PU;</R-m)p":½)$1A!I-&¯-0"!I;§3(/´PIQRF!$LN-m)$)$"!x) ½|}:

¶Zw¾

~

¶¶¿<"A

L":

Q-0S'(À(¥'3(:(-Oe"""

n%p2 435L? 235EA:&t=> C "-0:(-FB<-0/h ¬ªFB-:Jr*½':t:(-0PU'!$#AW+'!$#L)8PI%PIQR':) w|}:~

d$\mm

\U±¡B`m_b0d$x\%^_E`LahµD³wÁ

¼"ÂAwf'f"k(

N0%PIQR':)':KpN"L&LQRPU;N0/R3)8P$-!"W+ "!I#L)UPx%PIQR':)0 ¬|}:£Å

_(b0(

~

((Ad$bxyb0^\Adj

~

Ad$%µb

~

d$\I³Ad$A^^9µD³DÆXa}bdj%ah\%EA]9\Ad$$(\x_K\A

Å

_(b0(

~

¶ _"_E´IAaG\A(AE

®

\\AoxÇ

Å ~ ¶ ®

D""%Ç

®

\Ad$\%Bac\%ÇZ]AE'"Ç@°D`LEbTLÈÉ}BÊÇ¬<"AD

~

dI\xbxbx%µD³A

F"S"-m)%%lK%f

k%pJrQ´Px)831(Q)I§LAP$<1(QS"-1(Q{)$¨LAP$"14 ,T"03(1(Q!I«,.3)IA:":&Ã?')$1(QËHVA:BA#%( ½-)$QRS':¯"W

ªFB-:Jr*½N'9FQR/-0!@W'!A:rLJr*£N/3)8P$-! +|}:

Y9

Å ~ Á

¼"¼"B43(:&BL-m&L-0:5<NP$'ÌB-!Tf"f'f(

d$\m \U±.XjBacb0djEAaG\AE%Z\%±b0d$b0Exby\AK¶dIILµacbx0aG`Ld$b

%E¡¶³D\%djµa<^4±\%d

~

Ad$%µRb0

~

d$\mIbxjµD³µXAZ4¶T

~¬~

D'%0

DF"S"-)+ <%lL D'<q-Q7UQ:(SBD1(Q:(

ª¡NjP e""DeL <|}¢¢¢Î'9F3LP$-!<LNQ-PU;"

Rm%p6T 4AP$P$Q{A3LKA:B&« Jr"!IQR:4 T':'PxAQ:(-0!x)MÏ)$"3(:B&rÌ")$Q{)W'!¡yP$!I3(-)$QR:S"/-)$;<)8P$-ÐQRp"S"-"

|}:©~

d$\mIbxbx%µ<³r\U±¡X$YYYÎXjBacb0djEAaG\AEA4E%^_\jµ`L^Ñ\%Z+`<jacb0dyZ\%^_E`LahµD³rAEaµbÒ@dj

FAS'-)@n"n%l(% LJK;eA'("

R'pJ¨ VLAP$B+2O V2A!x"&(w":&«? V|U)81QR#%@( KªFB-:Jr*ÓN0"F(Q/R-!W"!K)8"WµPU "!$-y&(Q)8P$!IQRÌ3LP$-m&

)81"!$-m&y-0'!$;)$;L)UPI-0ÔB L2O |}:

Å ~ ¶ ®

<"'

B¥'3(/;teA'"

¼ aÖXa}bdj%ah\%EAOZ\%m±bdIbIbr×%<³'AR\%d$bÇ9XE%%Çbxxb0^xb0d ºAÂ É} º Çy<"%< ~ d$\xbxbx%µ<³%

FAS'-)¡fD·.le""n(

Rm %ys9 Eu"/R/v0-'6T 5AP$P$Q{A3L5¬ E6Q//RQ:(S5¥B ¦G?9 q -!8PI1("35|j 3LP$#%%¦}JK"/R1(-:5A:&Ë Jr"!IQR:4 .

N0")$-TW'!¡)$QR:S"/-)$;<)8P$-ØQRpAS'-N0/R3)8P$-!'FB-!IAP$Q:(S)$;L)UPI-0p)0M,.-!$!IQS"1(-m&rAF(F(!I''Nx15 ¡~

Ad$%µb

~

d$\mIbxjµD³Ù4b0aGa}b0dx

m ghe"ij(¥'3(:(-e"""

RAys9 5uA//Rv-"] 4Jr"!IQ:5w¥B ¦h? 5q -!8PI1("35VA:&« w6QR//QR:(SB [:(-Ä"F(F(!I'"Nx1P$KN0":LÚS'3(!xAÌ(/-

&L;<:AQ{NT)$Nx1(-m&L3(/QR:S9Q:rN/3)8P$-0!x)Ì')8-m&':r)8Q:(S"/-T)8;L)8P$-ÛQ"S"-¡P$-mNx1(:('/R'S"Q-) ]|}:K~

d$\m\8±

(14)

aµb Ê0aXja}b0djE%ah\%% %dI%µRb0%E9O{xahdj0`Lacbx d$\mIbxjµD³tB%^_\jµ`L^ µX «<""j

Q{N-"BF(!m eA'" ( <|}¢¢¬¢

(15)

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du 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, 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

Éditeur

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399