The Observable Web

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
The Observable Web
Yacine Boufkhad and Laurent Viennot
N° 4790
April 2003
ISSN 0249-6399
ISRN INRIA/RR--4790--FR+ENG
THÈME 1
apport
de recherche
!#"%$'&)(+*,!-/.0!-2134&!56798;:<=!$8?>
@ACBEDGF%HIKJMLENOFEPRQCS0FT3NOUVN+TWBXDGFEN
Y[ZW\R]+FXTM^_U`ZW\?abFEc
JMPedCd\eZOTgfCFZOF6hiACFXZihiACFkjl)mVn?oepqIsrMdCZWtvuwepep7xIsydzPe{eF6N
|0}~EX€?C‚eeƒ @AzF%a„FXc…t†NjC\?a‡fVFGˆ‰P7hŠTW\TWACFG‹zZiN+TdCu†PehXF%TO\
dCQCcCuŒt†NAŽfCPRTWPC‘3\?abFE’eFXZ6“”ZWFTOZWtŒFX’`tvjz{0TWACFGagAC\euŒF‘fCP?TiPRczP7NF
ZWFXdCZWFENOFXjTWFEfGc`U%TOACFabFEc0PRdCdFEPeZWNbPRuŒDG\7NTbtŒD%d\7NWNOtvcCuŒFe[•`\7DGFMdzPRZOTWN„PRZWFM–`jC\?agjGTW\—cFAzPeZWf%TW\fVt†NWh\?’eFEZ˜PRQCTO\eD‘PRTOt†hXPRuŒuŒUe“
{7tv’`tŒjC{;ZWtŒNOF™TW\;TOAzFNO\0hXPeuvuŒFEfšAztŒfCfCFXj#\7Z3tŒj’`t†NtŒcCuŒF—a„FXc9›j
TOACF%\ejzF™AzPRj4f”“”NF6PRZihiA<FEjC{etŒjCF6NMTWZOUTO\tvjzfCFSšDG\7NT\Rˆ/TWACF
a„FXc9r3uvDG\7NT_PeuvuZWFXu†P?TOF6fša„\eZW–t†N_czPeNOFEfš\7jœfVt†NOhX\?’eFEZOtŒjC{GTOAzFa„FXc#c`UšhZiPaguŒtvjC{4@ACt†N_dzPRdFXZ_t†NfVFE’e\eTOFEfšTO\0F6N+TWtvD‘PRTOF
AC\?ažPehEhQCZiP?TWF_t†N„TOAzF’tŒFXaž\Rˆ)TOACFa„FXc<\ecCTWPRtŒjCF6fc`U0hXZWPaguŒtŒjC{z[›QCZMPRdzdCZO\PehiAtŒN„TW\;h\eDGdzPeZOFŸhZiPaguŒtvjC{TO\‘\eTOACFEZga„PUVN
\eˆbfVt†NOhX\?’eFXZWtŒjC{GTOACF%a„FXc¡ ‰DGPetvjzuvUšc`UšPRjzPeuvU`¢EtvjC{NFEZO’7FXZ3\7ZdzZO\SVU<uv\7{7NM\eˆ˜a„FXcœNOQCZOˆ£FXZiNP7hŠTOtŒ’`t¤T+UC¥_@ACt†N_ab\7ZO–<t†NP;‹zZWNT
NTOFEdTW\?a„PeZWfzNbt†fVFEj7TWt¤ˆ£U`tŒjC{%TOACF\7czNOFXZW’PecCuŒFa„FXc9
¦š§¨'©Oª« €?¬~eƒ®­ ZiPagu=“`P7hXhXFENWNuv\7{7NE“AztŒfCfCFXj
abFEc
¯ê °)°)±6±6²‰²‰³O³O´'´”µµ+¶[¶·/·g¸`¹£ë¹»º)ì9¼6¹»º˜º…½Šì9¾)³E¿6Ò+À ÁíXµÔ²‰µ+Â=¿À ÃÒ+Ĕ³ŠÅԝ²£µ+ÃO¿½eÀƼVÂzՉÅÊiÀÆî6Ç6̍µÖŠ²‰ï³i͸`½Xµ˜È”È'ÉiÂ=ðµ9µ+ÊiÂ=¿Ë6ɍÌ+±Í½?½XñÎ6àW½WÜϝéÐÑÉièWÒ+òµ9óCÓåŒô?Ô6äÂ=Â=èWÀÆòŠµ+òEÔÛW½Wó¼Vâ6ՉäÙÊiò֊éÎŠäÖ6àVÌ9å†ÝŠ×Cé Éi²ÀÆÂ4È'µ+ǝµÙؘˊÖ6½iÚEÛOÜÝiފßXàiáâãEäàiÝàVå»æWÜ6çŠçXäèWÜzå»ÝŠé
Unité de recherche INRIA Rocquencourt
Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France)
Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30
‡
~
ƒ F™a„FXc<FENTfVFE’eFXj`Q<QCjšDGLEfVtŒQCD fVF™dCZWFXDGtŒFXZgdCu†PRj
d\eQCZMdzQCcCuŒtvFEZ3fVFEN3fV\ejCjzLXFENE ­ FEd4FEjzfCPRjT6“zZWLEhQzd4LEZOFEZguŒP
TW\RTWPeuvtvTOL%fVF%uŒP‘c4PeNOFfVF%fV\ejCjzLXFENQ tvuZOFEdCZWLENOFXjTOF™dzZOF6N QCF™tŒDGd4\NONOtŒcCuvF7 ­ FEZTiPRtŒjCFEN3dzPRZOTOtŒFENN\7jT_fVt;htŒuvF6NfVLEhX\eQC’`ZWtvZ
fVF—DGPejCtŒBXZWFŸPeQVTO\7D‘P?TOtQCFe“4fV\ejCj4PRjTMjzPRt†NWNOPejzhF ‘hF QCFu \ejšPRdCdFXuŒuŒF™uvFa„FXc
tŒj`’t†NOtvcCuŒFe QCj#PeQVTOZWFhRTWLe“4uvF6NgDG\RTOFEQCZ
fVF_ZWFEhiACFEZWhiACFtvj4fVFSVFXjTQCjCF_{eZiPRjzfCF3dzPeZTWtvF_fVQ0a„FXc9 P—dCuŒQCdzPeZTgfVF6N[TWZWP’?PRQCS‘NOQCZuŒF_NOQ?]+FTgNOFczP7NFEjT„NOQCZu FSVdCuŒ\eZiP?TWtv\7j
fVQ<a„FXc<dzPRZ„uŒP%uŒF!hZiPagu"7“Ch# FENT%$&'$ÙfVtvZWF3FEj0dzPeZWhX\eQCZiPRjT„uvFŸ{eZiPRdzACFfVQ<a„FXc9) (M\eTOZWF_PedCdCZW\VhiACF_hX\ejzNOt†N+TWF %h\7D%d4PRZWFXZ„uŒP
fVL6h\7QC’eFEZTWF_d4PRZMhZiPagu'FT3*f PRQCTOZWFENgPRuvTOFEZOj4P?TOtŒ’eF6NfV\ejTMdCZWtvj4htŒdzPRuŒFXDGFXjTgu PejzPRuŒUVNFfVF6N„‹4hiACtŒFXZiNgfVFuv\7{7NgfVF™NOFXZW’eFEQCZiN˜a„FXc
\7Q
fCF_dzZO\SVtŒFENE ­ F_TWZWP’?PRtŒu9h\7jzNTOtvTOQCFŸQCj
dCZWFXDGtŒFXZgdzP7N’eFXZiN„uŒP%u t†fVFEj7TWt¤‹hXP?TWtv\7jšfVQ
abFEc\7czNFEZO’?PecCuvF7
+« E~ © -‚ , ~/ƒ . SVdCuŒ\eZiP?TOtŒ\ej
fVQ
a„FXc ‰hZiPagu»¥Š“`‹4hiACtŒFXZiNgfVFŸuŒ\e{z“Va„FXc<tŒj’`t†NtŒcCuŒF
x
!" $# •TiPRZOTOtŒjC{%ˆ£ZO\7D P%czPeNOF_NOFTg\eˆNOFXFEf!%3J NE“CP%hXZWPagu'& m(h\7jzNOtŒNTWNtŒjZWFTWZOtŒFX’`tŒjC{TOACFPeNWNO\`hXtŒPRTOF6f;a„FXc0d4PR{eF6NbTO\‘h\7uvuŒFEhT„TWACF
%J NMhX\ejTWPetvjzFEftvj<TOAzFXD Pejzft¤TWFXZiP?TOtŒ’eFEuvU;‹zjzf<jCFXa2dzPR{7FENE
)z\euŒuv\?agtŒjC{3PdCA`UVNt†ht†N+T!PRdCdzZO\PehiA9“6abFh\7jzNOtŒfVFEZTWACF„abFEc—PeNPRjtvjTOZiPehTWPecCuvFb\ecV]+F6hŠT)TOAzPRTa„F˜TWZOU_TW\\7czNFEZO’7Fe ­ ZiPaguŒtvjC{
t†N
P d\7NWNtŒcCuŒFœaPU \eˆ™\edFXZiP?TOtŒjC{4 (M\eTOFqTOAzPRT’?PRZWtŒ\eQzN0\eczNOFXZW’?P?TOtŒ\ej4N0hXPej cFq\7cVTWPetvjCF6f c`U hiAzPRjC{7tvjz{ŽTOACF hZiPaguŒtvjC{
dzPeZWPeDGFTOFEZWNE* )C\7ZŸFSCPRDGdCuŒFe“”TWACFGczPeNOFNOFT\eˆ„NOFXFEf %3J NŸtŒN_\eˆbQVTWD%\N+TŸtŒD%d\eZOTWPejzhF7r3jC\RTWACFXZŸaPU<\eˆb\7czNFEZO’`tŒjC{;TWACF
a„FXc<h\ej4Nt†N+TiN[tŒj;TWZWP7hi–tŒjC{™a„FXc<NQzZˆ£FEZWNbPehŠTWtv’`tvT+Ue/@ACt†N[T+U`dF\eˆtŒjVˆ£\eZWD‘P?TOtŒ\ejhXPRj0c4Fˆ£\eQCj4f;tŒj0uŒ\e{‹zuŒFENPRTbdCZW\SVU%NOFXZW’eFEZWN
\7ZMabFEcšNFEZO’7FXZiNX' +ÙjzNOd4F6hŠTWtvjC{0dCZO\SVU‘uŒ\e{NagtvuŒucF™ZWFXuŒFX’?PRjTˆ£\eZgTWACFd\edCQCu†P?TWtv\7j
\Rˆ/NQCZOˆ£FXZiNgQzNOtŒjC{%TOACF™dzZO\SVUe, %NtŒjC{‘a„FXc
NOFXZW’eFEZuŒ\e{ŸagtŒuvuzc4FgZWFXuŒFX’?PRjT/\RˆTOAzFMPehXhXFENWNF6f—fCPRTWP_\ej%TWACFMNFEZO’7FXZ6rM{PRtŒj’?PeZOtŒ\eQzN!\7czNOFXZW’PRTOtŒ\ejzN!PeZOF\ecCTWPRtŒjCF6ffVFEd4FEjzfVtŒjC{
\7jTWACFgT+U`dFg\Rˆ'uv\7{‹4uvF6N/tvj4NdFEhTOFEf9!r TWACtŒZWfGPRuvTOFEZOj4P?TOtŒ’eFghX\ejzNOtŒNTWN!tŒj‘uŒtŒNTOtŒjC{™PRuŒu`TOAzFg‹zuŒFEN[P7hXhF6NONOtŒcCuvF„TWACZO\7QC{eATOAzFM3@g@Y
dCZW\RTW\Vh\eu”\7jšP{7tv’7FXj
NFEZO’7FXZ6“`agACtŒhiA
t†NgZWFXuŒFX’?PRjTg\RˆTOACF™fzP?TWPGP7hXhF6NONOtŒcCuvFŸ\7jTWAzP?T3NOFXZW’eFEZE) (3\RTOt†hF_TWAzP?TMTWACt†Ng\eczNOFXZW’?P?TWtv\7j
t†N˜PeuŒNO\ŸdzPRZOTOt†PRuzNOtŒjzhFMfVU`jzPeDGtŒhdzPe{eF6N!agtvuŒuzcF3h\7DGdCuvFXTOFEuvUD%t†NWNF6fAzFXZWFgagACFXjGTWACFT+ab\\eTOACFEZ[DGFTWAC\VfCN˜PeuvuŒ\?a TW\™fVtŒNWh\?’7FXZ
NO\eDGFŸ\RˆTOACFED

JgFEuŒPRTOF6f
ab\7ZO–;tŒjzhXuvQzfCFENgTWACF—NTOQzfCU\eˆTWACF™a„FXcšNTOZWQzhŠTWQCZOF; ‰jzPRDGFEuvUTOACF—abFEcš{eZiPRdCA4-¥ &Æw (cU
hZiPaguŒtvjC{4„›3TOAzFXZ3a„\eZW–
NTWPRTOFTOACF%dCZW\ecCuŒFXD \eˆ˜F ;htŒFXjThZiPaguvtŒjC.{ & xV“!
H (/tŒj#TWFXZWDGN_\e/ˆ %3J \eZifVFEZOtŒjC{œ ‰agACtŒhi0A %3J NOAC\eQCu†f#cF%ZOFXTOZWtvFE’eFEfš‹zZWNTi¥
@ACFD‘PRtŒj#ZOFEuŒPRTOF6fšab\7ZO–<N+TWQzfVtŒFEN3TOACF%d\7NWNtŒcCtŒuvtvT+U
\Rˆ[ZWFXdCu†PehXtvjC{;NOFEPeZWhiAšFEjC{etŒjCF6N3hZiPaguŒFXZiNgc`U<tŒjzfVFXSVtvjC{<fVtŒZOF6hŠTOuŒU
3@g@Y
TWZW#P ‘h3tvjZO\7QVTOFEZW1N & y (=/@ACFD‘PRtŒj0{e\PRu4tŒN˜TOACFEj;TW\—ZWFEfVQzhXFMTWACF3TWZW#P ;h3fVQCFTO\%hZiPaguvFEZWNE3 2…F_agtvuŒu”NFEFMTOA4P?T˜TWACt†N„PedCdCZW\7P7hiA
t†NjC\eT—NOPRTOt†N+ˆ£U`tŒjC{<ˆ£\eZ™tŒjzfVFXS`tŒjC{<TOAzF;abFEcŽNtŒjzhFGD‘PRj`UqtvjTOFEZOF6N+TWtvjz{<d4PR{eF6NŸD‘PU#c4F‘DGt†NONOFEf hX\eDGdzPRZWFEfœTO\<TWACF0hZiPaguŒtvjC{
PedCdCZW\7PehiA
20000
number of urls by page
18000
Number of pages
16000
14000
12000
10000
8000
6000
4000
2000
0
1
2
3
4
5
6
7
Number of urls
8
9
10
tv{7QCZOF%H4[@AzFjQzD—cFXZg\RˆdzPR{7FEN„ˆ£\7QCjzfTO\GcF™PeNWN\Vht†P?TWFEf;TO\;P%{etŒ’eFEjj`QCDc4FEZg\Rˆ)QzZOu†NX
)
@)\;h\7D%d4PRZWF_d4PR{eF6N„TOAzPRT3PRZWFŸ–jz\?agjc`UhXZWPaguŒtŒjC{‘PRjzfTOAz\7NOFŸP7hXhXFENWNF6f0c`U0a„FXcšNOQCZOˆ£FXZiNX“Va„Ftvj4NdFEhT3PehXhXFENWNuv\7{%‹zuvF6Ng\Rˆ
P;NOFXZW’eFEZE„MtvTWN3ˆ£ZO\7D ZW\ec\RTiNMPRZWF™NOFXdzPeZWPRTOFEf0ˆ£ZW\eD cCZO\?aMNOFXZiNACtvTWNE›j<TOACF\ejCF™A4PRjzf”“4abF—{7P?TWACFXZMTO\e{7FTWACFXZ3Peuvu9TOACFACt¤TiN
ˆ£ZW\eD TOACFD‘PRtŒj#NF6PRZihiAFEjC{etŒjCF™ZW\ec\RTiNM{etŒ’`tvjz{;P;NFX8T 7 \R,ˆ %3J NX›j
TWACF™\eTOACFEZ3AzPejzf”“CTWACFNOFT\R,ˆ %3J N3ZWFTWZOtŒFX’7FEfc`U
cCZW\?aMNOFXZiNbt†NgfVFEjC\RTWFE:f 9;
(3\RTOt†hFŸTWAzP?T3NOFEPeZWhiAFXjC{7tvjzFENgcFXjCFX‹CTMˆ£ZW\e;D %J NOQCcCDGtŒNWNOtv\7j
Pejzf
N+TiPRZOTTOACFEtvZ3hXZWPagu†Nbˆ£ZO\7D ’7FXZWU;uŒPeZO{7Fc4 Pe7 NOF™t†NNMFXTWTWNA`Qz\RNˆ
%J NE—›jšTOACF%\RTWACFXZ_AzPejzf”“TOACFEU#hZiPagu9TWACFagAz\euŒF—a„FXcœPejzfšD‘PU
jC\RTŸhZiPagu)’7FXZWU<fVFEFXdCuŒU
tvjœTOACFGNOFXZW’eFXZ68
ˆ£QCZOTOAzFXZ3hX\eDGdCuŒFTOF6f0agtvTOAšP%ˆ£QCuŒu9uŒ\VhXPRu9hXZWPagu/ ‰\ejCuŒU;tŒj7TWFXZWjzPRu”uŒtŒjC–VNMPRZWF3ˆ£\7uvuŒ\?a„FEfz¥< 2…F™fVFEjC\RTW*F 7-=„TWACF™h\7DGdCuvFXTOF6f<NOFT6
@ACFT+a„\œNFXTWNGPRZWF‘TWACFXj ‹zuvTOFXZWFE>f 4‘\ejCuŒUŽATODGudzPR{7FEN—PeZOF<h\7jzNt†fVFEZOF6fŽPRjzf PRuŒubACtvTWNTWAzP?T‘h\7ZOZWFENOd4\7jzf…TO\q\eQVTifCP?TWFEf
dzPe{eF6N˜PRZWF3fVt†NWhXPRZifVF6f”„ ‰Y[ZiPehŠTWtŒhEPRuŒuvU7“`abFgTWZOU%TW\—ZWFTOZWtŒFX’eFPRuŒuzTWAC8F %J Nb\R3ˆ 7 =@? 90 ¥ Aš\eZWFX\?’7FXZ[PeuvutvjTWZWPejCFT„ACt¤TiNbPeZOFPRu†N\
fVt†NWhXPRZifVF6f”“7DGF6PRjCtŒjC{™TWAzP?T„\ejCuŒUGdzPR{7FEN˜agt¤TWA0jC\ZOF6N+TWZOt†hŠTWFEf‘PehEhF6NONbPRjzf;PeuvuŒ\?a„FEfGc`U%TOACFZO\7c4\eTWNE TOSTb‹zuŒF3\Rˆ”TWACFŸNFEZO’7FXZ˜PeZOF
hX\ejzNOtŒfCFXZWFEf”
)tŒjzPRuŒuvU7“/PRuŒu˜dzPe{eFENPRZWF‘tŒfCFXjTOtv‹zFEf cU PšAzP7NAŽ\eˆgTOACFEtvZ%h\7j7TWFXjTE#r3uvB
u %3J N—P7NONO\Vht†P?TWFEf agtvTOA TOAzFNWPRDGF;AzP7NA PeZOF
hX\ejzNOtŒfCFXZWFEf0TO\GZOFXˆ£FXZTW\GTOACFNWPRDGFŸdzPR{7Fe
5
6
ì)ì ¿DCCÍXÊFEŠË
m
@
:$ Y/Pe{eFNFXTWN
7 =
9
Y/Pe{eFEN„jC\eTMtvj 9
Hep7p p
Y/Pe{eFEN„jC\eTMtvj 7 =
p Hnep
Y/Pe{eFEN„tŒj
c4\eTOA 9PRjzf!7 = H6x7yep HExyep
@)\RTiPRu
HyVHep H6yexRm7p
@)PecCuvFGH 4/Y!Pe{eF6N˜ˆ£\7QCjzf<c`U;ZW\ec\RTWNgPejzf<hZiPagu[ 7 = ¥„’7FXZiNQ4Nbd4PR{eF6NPehXhXFENWNF6f0c`U;a„FXc<cCZW\?aMNFEZWNŸ 9¥Š
Y/PR{7FNFXTWN
7 =! 9
9" 7-=
)@ \RTWPeu9NtŒ¢XF
H6yep wRpem7p
Y!FEZWNO\ejzPeu'dzPR{7FEN
oyRp H6wepep
r3ZWhiACtŒ’eF6N\Rˆ!P—ˆ£\7ZOQzD x7xRm
x7pep
AštŒNWhFEuvu†PRjzFX\eQ4Nbd4PR{eF6N
wn
yRm7p
@)PecCuvF™w4 ­ \ejTOFEj7Tg\eˆTOAzF™fV$t #'FXZWFXj4hFENM\RˆTWACF™NOFTWN 7 = Pejzf!9
#+ 2…FA4P’eFMdFXZOˆ£\eZWDGFEf%TOAzF_Pec4\?’7F3h\7D%d4PRZWtŒNO\ej%ˆ£\eZ„\eQzZ˜\?agj;\7ZO{PRjCtŒ¢EPRTOtŒ\ejGNFEZO’7FXZ!,-,-,/.1032457698:308;<6>=?0'@AzF3uŒ\e{‹zuŒFENb\Rˆ
T+a„\;DG\ejTOA4NM\Rˆbwepepw—A4P’eF™cFXFEj#{7PRTOACFEZOF6fZWFXdzZOF6NFEj7TWtvjz{GTOACZWFXF™DGtŒuvuŒtŒ\ejzN\Rˆ/ACtvTWNE3rMDG\7jC{‘TOAzF0HeÆyGDGtŒuvuŒtv\7jzNM\eˆ[ACtvTWN3ˆ£\eZ
ATODGu”dzPe{eF6NX“Vx 7pC“ pep7p™hXPeD%Fˆ£ZW\eDQzNOFXZcCZW\?aMNFEZWNbPRjzfœHeÆw™DGtŒuvuŒtŒ\ejzNhXPeDGF3ˆ£ZW\eDZW\ec\RTiNX' + (3J ++r2A4PeNP—uŒ\VhXPeuZW\ec\RT„TOA4P?T
hXZWPagu†N„tvjTOFEjzNOtv’7FXuŒU‘ˆ£ZO\7DTOAzFAC\eDGFdzPe{eF_\RˆTOACF™NOFXZW’eFEZE!@ACt†NFSVdCu†PRtŒjzN„TOACFZWFXu†P?TWtv’7FXuŒU‘ACtŒ{eA
ZWPRTOFŸ\RˆZO\7c4\eTgACt¤TiNX
@ACF‹zZiN+T„dCZW\ecCuŒFXDagACFEj0\7czNFEZO’`tŒjC{TWACFa„FXc<h\7jzNt†NTWNbtvjtŒfVFEjTOtvˆ£UtŒjC{TOACF_a„FXc;dzPe{eF6NX/@ACF\ejCuŒU‘d4\NONOtŒcCtvuŒtvT+UTW\\7QCZ
–`jC\?aguŒFEfV{7F%hX\ejzNOt†N+TiNtŒj tŒfCFXjTOtvˆ£U`tvjC{<TWACFXD cU
TWACFXtŒZ™h\7jTOFXjT6%@ACt†NŸDGFEPejzN_TOAzPRTŸT+ab\šfV@t #FEZOFEjT_‹4uvF6NŸagt¤TWAqFXSVP7hŠTWuvUšTWACF
NWPRDGF‘h\7j7TWFXjTagtvuŒu/cF;h\ej4Nt†fVFXZWFEfqPeN_TWACF;NOPeDGFdzPe{eFGagtvTOAqT+ab\šfV@t #FEZOFEjT %J NE‘@ACt†NtŒNP7hXhXFXdVTiPRcCuŒF%NOtŒjzhFGjC\eTOACtŒjC{
PeuvuŒ\?aMN!TO\%fVt†N+TWtvjC{7QCt†NAGTWACFXD »TWACFXUGtŒjzhuŒQzfVF3TOACF_NOPeDGFMtvjCˆ£\eZWDGPRTOtŒ\ej;PejzfGZOFXˆ£FXZ˜TO\™TWACFNWPRDGFgdzPe{eF6NW¥< )tŒ{eQCZWF™H3NOAC\?aMN/TWACF
j`QCDc4FEZ_\eˆ[dzPR{7FENMTOAzPRT_AzP’7F™cFXFXjœˆ£\eQCj4fšTO\<cF%P7NONO\Vht†P?TOF6f<TO\<P;{etŒ’eFEj#j`QCD—cFXZ_\RˆbQCZOu†NE- %J Peuvt†PeNOFENPRZWF™\Rˆ»TWFXj…fVQCF
TW\GNOU`D—c\euŒtŒh_uŒtvjz–`NtŒj<TOACFNOFXZW’eFEZ˜‹zuŒF™NOU`NTOFED
/•V\eDGFŸdzPR{7FEN„D‘PU;AzP’eFŸNOFX’eFEZWPeuzTWAC\eQ4NOPejzfCN„\Rˆ %3J NZOFXˆ£FXZWZOtŒjC{TO\%TOAzFXD
“
TWACtŒN„t†N˜D‘PetvjCuŒUGfVQCFTO\™uŒ\`\edCtŒjC{NOU`D—c\euŒtŒhMuvtŒjC–VNX/@ACt†N„NAC\?aMN[TOAzPRTbtvTbt†N˜tŒDGd4\7ZTiPRjT˜TW\—QzNOFP™D%F6hiAzPRjztŒNOD ˆ£\eZ˜t†fVFEj7TWt¤ˆ£U`tŒjC{
QCjzt QCFEuvUabFEcdzPe{eF6NgNtŒjzhF!P QzPRZOTOFEZ\RˆTOACFED AzP’7FDG\eZWF_TOAzPej
\ejCF %3J ZOFXˆ£FXZWZOtŒjC{TO\%TOACFED

r
N A34B8-.C8:Ga„P7Nbˆ£\eZWcCtŒfzfVFXj
c`UGTOACFZW\ec\RTiNX TS`T‹zuŒFŸ\RˆTWACF™NOFXZW’eFXZ6“`abFŸAzP’7F3ˆ£FEa ZWFXuŒFX’?PRjTgZWFENOQCu¤TiNPRc\eQVTMfVU`jzPeD%t†h
dzPe{eF6NX/M\?a„FX’7FXZ6“`abFhXPej<NTOtŒuŒu9jC\RTWtŒhXFNtŒ{ejCtv‹4hEPRjTMfV$t #'FXZWFXj4hFENcFT+a„FXFEj
QzNFEZgACtvTWNgPRj4fZW\ec\RTiN„ACt¤TiNg\ej
ZWFX{7QCuŒPeZbd4PR{eF6NX
@PRcCuŒF‘HNQzD%D‘PeZOtŒ¢XF6N„TOACF—NOtŒ¢XFEN\eˆ)TWACF—NOFTiN 7 = PRjz:f 9\eˆdzPe{eF6N„ˆ£\eQCjzf<c`U0ZW\ec\RTiNgPRjzf
hXZWPaguŒtvjz{%Pejzf<dzPR{7FENACtvTMc`U
QzNOFXZ˜cCZO\?aMNOFXZiN)ZOF6NdFEhTOtŒ’eFXuŒUe!•`QCZWdCZWtŒNOtvjz{euŒUe“Rc\RTWAGNOFTiN[PRZWFgh\7D%d4PRZiPRcCuŒFbtŒj‘NtŒ¢XFMPejzf%PR{eZWFXF\7j%PeuvDG\7NT[oeEp D \eˆ4TWACFgdzPe{eFENE
@ACFEZOF_PRZWF3NOFX’eFEZWPeuzZWFEP7N\7jzN!ˆ£\eZ˜TOAzPRTE/Y!FX\7dCuŒF3QzNOQzPRuŒuŒU—TWZOU%TO\AzP’eFMTOACFEtvZdzPe{eFEN˜tvj4fVFSVFEf;cUGZW\ec\RTiNX!@ACt†N˜FXS`dzuŒPetvjzNbagA`U
DG\7NT˜\eˆ'd4PR{eF6N/tŒj 9PRZWFgtvj4huŒQzfVFEf;tvj 7 = /›jGTWACF3\eTOACFEZ[AzPRj4f”“7d4PR{eF6N!tvj4fVFSVFEfGc`UGNF6PRZihiAGFXjC{7tvjCFgZW\ec\RTiN/AzP’7FgjC\ej $ ¢XFEZO\
dCZW\ec4PRcCtŒuvtvT+U;TW\;PRdCdFEPeZMtŒj<ZWFENOd\ejzNOFŸTO\ QCFEZOtŒFENMPejzfTOA`QzNgcF—P7hXhF6NONOFEfc`U<NOFEPeZWhiA<FXjz{etŒjCFQzNOFXZiNX˜@AztŒN3tŒNMPejšPRZW{eQCDGFXjT
agA`U<DGPej`UdzPe{eF6NMtŒ.j 7 = PRZWF™PRu†NO\‘tvj 903@ACt†Ngˆ‰P7hŠT_hEPRjšcF—’7FXZWt¤‹zF6f<cU<tŒjzNdFEhTOtŒjC{;TWACF—ZWFˆ£FEZOZWFXZ‹4FXu†fš\Rˆ/cCZW\?aMNFEZMACtvTWNE
+ÙjŽ\7QCZFSVdFXZWtvDGFXjTiNX“)abF;hX\eQCu†f…tŒfVFEjTOtvˆ£UŽnRpC“ pepepcCZW\?aMNFEZŸACt¤TiN™agtvTOAŽPšNOFEPRZihiA…FXjC{7tvjCF‘ZW\ec\RT™P7NZOFXˆ£FXZWZOFEZE;@AzFENOF‘ACt¤TiN
hX\eZWZOF6Nd\ejzf0TO\œHEpC“ pep7p%dzPR{7FEN\R,ˆ 7 =  2…F—hEPRj<TOA`QzNfVFEfVQ4hFTWAzP?TMT+a„\GTOAztvZif
\Rˆ!TOAzF™dzPR{7FENg–`jC\?agj
c`U<ZO\7c4\eTWNgAzP’7FPRu†N\
cFXFEj
P7hXhXFENWNF6f0c`U‘TWACFQzNOFXZiN\RˆTWACFENOF™NOFEPRZihiA0FEjC{etŒjCF6NX
@PRcCuŒF#w#{7tv’7FEN%DG\eZWFtŒjzNOtv{7AT‘Pec4\7QVTGTOACFšfV@t #'FXZWFXjzhXFENGcFT+a„FXFXj 7 =‘PRjzf 9; Aš\N+TG\RˆTOACF#fC$t #'FXZWFXjzhXFENGPRdzd4F6PRZG\ej
dFXZiN\7jzPRu”d4PR{eF6NX/Y!FEZWNO\ejzPeu”dzPR{7FENZWFXdCZWFENOFXjTg\ejzuvUqH6*y D \eˆ)TWACF™dzPe{eFEN„tŒ.j 7-= ? 9PRjzf
PeZOFŸZWFXu†P?TOF6f;TW\‘DG\eZWFŸTOAzPeFj 7Gp D
\eˆTWACFfC$t #'FXZWFXjzhXFENE3›j
TOACF\ejCF™A4PRjzf”“N\7DGF™\Rˆ!TOAztŒN3dzPR{7FENMPeZOFjC\eT_P7hXhF6NONOtŒcCuvFŸTWACZW\eQC{7A<\ ;ht†PRu9uŒtvjz–ˆ£ZW\eD TOAzF—NFEZO’7FXZ
£TOAzPRTba„\eQCu†fGPRuŒuv\?a TO\—fCtŒNWh\?’7FXZ!TOAzFMdzPR{7FEN/agAzFXj;hZiPaguŒtvjC{_ˆ£ZW\eD TOACF3AC\eDGFMdzPe{eFg\eˆTWACF3NOFXZW’eFEZi¥!Pejzf‘PRZWFgjC\RT˜P7fV’eFEZTWtŒNOFEf
TW\GNOFEPeZWhiAFXjC{7tvjzFZW\ec\RTiNX' 2…F_A4P’eF_jC\GACtvjTgagA`U;D‘PRj`U‘dzPe{eFEN„–`jC\?agjcU0ZO\7c4\eTWNPRjzfjC\eTgP7hXhXFENWNF6f‘c`U;QzNOFXZcCZW\?aMNFEZWN
PeZOFdFXZiN\7jzPRu”d4PR{eF6N\ej<TOAzF™\RTWACFXZMA4PRjzf”g›jCFACtŒjTh\7QCuŒf<cFTOA4P?T3dFXZiN\7jzPRu”d4PR{eF6NgPRZWFŸuvF6NONMP7hXhXFENWNF6f0tŒjš{eFEjCFXZiPRu'TWAzPRj
\eTOACFEZWNE“”cCQVTTWACFGtvjzNOdFEhŠTWtv\7jq\eˆ˜TWACFGACt¤TiN™NOAC\?aMNMTWAzP?TŸTWACF‘dCZW\ed\eZOTOtŒ\ej#\eˆbACtvTWNŸ\7jqdFXZiN\7jzPRudzPe{eFENŸhX\eZWZOF6Nd\ejzfzNMTW\TWACF
dCZW\ed\eZOTOtŒ\ej<\Rˆd4FEZWNO\ej4PRu'dzPR{7FENE
)z\euŒuv\?agtŒjC{šTWACFENOFFXSVd4FEZOtŒDGFXjTWNE“/abFd4FEZˆ£\7ZODGF6f¡P#jzFXa hZiPaguN+TiPRZOTOtŒjC{šˆ£ZW\eD TOAzF<NOFT 9H 7 =  +ÙjTOFXZWFENTOtŒjC{7uvU7“/abF
ˆ£\7QCjzf…P0NOFJT I \RˆHEo Kep‘\eˆ˜dzPe{eFENMTOAzPRT™fV\`FENjCFXtvTOACFEZPRdCdFEPeZtŒj 9 jC\7ZtŒj 7 = ™@ACFD‘PetvjqdzPRZOT_\eˆ˜tvT_t†NŸPhX\ed`U
\RˆbP
u†PRZW{eF_fV\VhQCDGFXjTiP?TOtŒ\ej +HEmz“ pep7pdzPR{7FENi¥Š/M\?a„FX’7FXZ„PRZW\eQCjzf<yRp7pep™jzFXa ZWFXuŒFX’?PRjTdzPR{7FENŸ ‰xz“ p7pep—d4FEZWNO\ejzPeu4d4PR{eF6NPRjzf<wV“ m7pep
DGt†NOhXFXuŒuŒPejCFX\7QzNdzPe{eFENi¥abFEZOFGˆ£\7QCjzf…TWACtŒN—a„PU7 7 = ? 9 ? ItŒN™TOA`QzN—w7Ly D u†PRZW{eFEZ_TOAzPej 7 =,? 9;“/NOAC\?agtŒjC{<TOAzPRT—c4\eTOA
PedCdCZW\7PehiAzFENŸ ‰hXZWPaguŒtvjz{%Pejzf0uŒ\e{N\RˆQzNFEZgZOF QCFENTWNi¥„PRZWFŸhX\eDGdCuŒFXDGFXjTiPRZWUe
%
&('*)
¹£ë)ì¹»º
y
"b
< # ›QCZ/D‘Petvj‘h\7jzhuŒQzNOtv\7j—t†N!TOA4P?T/TOAzFgACtŒfzfVFXjGa„FXcGPRu†N\h\7jTWPRtŒjzND‘PRj`U™ZWFX{7QCuŒPeZ!dzPR{7FENE“?jC\RT[\7jCuvUfVU`jzPRDGt†hbd4PR{eF6NXrMjC\eTOACFEZ
Xh \ejzhXuvQzNOtŒ\ej‘t†N[TWAzP?ThZiPaguvtŒjC{™t†N[TWACF3cFENTbaPUˆ£\eZ[‹4jzfVtŒjC{—a„FXc;d4PR{eF6N[dCZW\?’`tŒfCFEf%TOA4P?TbtvT„NTWPeZTiN[ˆ£ZW\eD P™ZWFXuŒFX’?Pej7TbczPeNOF3NOFT
\eˆ„NOFXFEf%3J NX++fVFXjTWt¤ˆ£U`tŒjC{0TWACFG\eczNOFXZW’?PRcCuŒF—a„FXc…hXPej#TOA`QzNŸcFGZOF6fVQzhXFEfšTW\0TWACFGdCZW\ecCuŒFXD \eˆ˜{7PRTOACFEZOtŒjC{TOACt†N_czPeNOF%NOFT6
@ACFŸcFENTga„PU%TO\%‹zj4f;\eZgfVF6hu†PRZWF_NOQzhiA<NFEFEf %J Nt†NN+TWtvuŒu9P%hiAzPRuŒuvFEjC{etŒjC{—TWPeNO–''+ÙjzNdFEhTOtŒjC{GdCZW\S`U‘Pejzf0NOFXZW’eFEZbuŒ\e{—‹zuvF6N
PeZOFPGd\7NWNtŒcCuŒF™N\7QCZWhXF\eˆ{7\`\`f
NOFXF6f %J NE˜M\?a„FX’7FXZ6“`TOACFuŒFX{7t¤TWtvD‘PRTOFQzNOF\Rˆuv\7{‘tvjVˆ£\7ZOD‘PRTOtŒ\ejˆ£\eZgtŒjzfVFSVtŒjC{‘dCQCZWd\7NOFEN
D‘PU0NTOtŒuvuc4F™fVt†NWhQzNWNF6f”
? "„g
&Œ
H (—•' „ZOtŒj9“`J A#\RT+aPRjCt=“ 7Y/PR{7Fe“PRjzf;@Ÿ 2 tvjz\e{eZiPef9'@AzFMdzPR{7FXZiPRjC–%htvTWPRTOtŒ\ej‘ZiPRjC–`tŒjC{ 4bZWtŒjC{etŒjC{™\7ZWfVFEZ/TO\™TOACFabFEc9
&Æw (™r™
  „ZW\VfVFXZ6“)•'J
 ŸQCD‘PeZE<“ )b< A#PR{7AC\eQzu“)YJMPR{7AzP’?PRj9“•')JMPR]PR{7\edzPeuŒPej9“J)•`TWP?TiPC“!r™@\7D%–`tŒjzNE“Pejzf z 
2 tŒFXjCFEZE˜^_ZiPRdCA
NTOZWQzhŠTWQCZOFŸtŒj<TOACFa„FXc9 !3 < Š“zxex4 +H $ 7
¥ 4 x7peo `x7wepC“7wepep7pC
& x (4 ­ AC\z“C—4^ŸPRZih †'P $ Aš\7uvtŒjzPC“`PRj4f CY/PR{7Fe . ;htŒFXjT3hZiPaguŒtvjC{TOAzZO\7QC{e:
A %3J \7ZWfVFEZOtŒjC{4 ! !3 "<D #%$'&()$+* 9 ,i“Cx7pz -H Cne¥ 4ŒH z-H H?nRwC“CHEo7o C
& Dm (_VY[tŒjC–eFEZTW\ej9<
 ))tŒjzfVtŒjC{GagAzPRT„dFX\7dCuvF_aPRjT 4!FSVdFXZWtvFEjzhF6N˜agtvTOATOAzF_a„FXc'hZiPaguŒFXZ6 +Ù.j $ # 9 DB !
FX“z\VhŠTW\ecFXZH6oeoRm4 ­ AztŒhEPR{e\4
&Æy (/—1 0[QzPRj9@“ AŽ A#P7hE^_ZWFX{e\7ZE“`PRj42
f 4C3PeZOD‘NE/rMj
F ;htŒFXjTMNWhiACFXDGF_TO\‘ZWFXDG\?’eFŸhZiPaguŒFXZbTOZi'P ;hˆ£ZO\7DTOACFtŒjTOFEZOjCFXTE +Ùj
#33465 789877“'\`hTO\7c4FEZ3wRpepwV' Ašt†PRDGt
ì)ì ¿DCCÍXÊFEŠË
Unité de recherche INRIA Rocquencourt
Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)
Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique
615, rue du Jardin Botanique - BP 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 Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Éditeur
INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)
ISSN 0249-6399