• Aucun résultat trouvé

Computing on-line the lattice of maximal antichains of posets

N/A
N/A
Protected

Academic year: 2021

Partager "Computing on-line the lattice of maximal antichains of posets"

Copied!
26
0
0

Texte intégral

(1)

HAL Id: inria-00074400

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

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

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

Computing on-line the lattice of maximal antichains of posets

Guy-Vincent Jourdan, Jean-Xavier Rampon, Claude Jard

To cite this version:

Guy-Vincent Jourdan, Jean-Xavier Rampon, Claude Jard. Computing on-line the lattice of maximal antichains of posets. [Research Report] RR-2271, INRIA. 1994. �inria-00074400�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Computing On–Line the Lattice of Maximal Antichains of Posets

Guy–Vincent Jourdan, Jean–Xavier Rampon, Claude Jard

N˚ 2271

Mai 1994

PROGRAMME 1

Architectures parall`eles, bases de donn´ees, r´eseaux et syst`emes distribu´es

(3)
(4)

%&'() +*,!-./*0*

1 235456798;:=<>85?A@CBD2'EGF'HD8JIK@C<LHD8M45NOH=PQ7R<>ESTHDUVBD8JIWYXZHD2;F'<[@\HDE]F_^

`Macb]dGafe(ghgijlk mlaonqp=rtsuinvsuw=acixQyze(aoe({|{~}i{|i€x‚>ƒ„e]x…i€xl†>i‡†>bGˆ=ˆŠ‰ii€x‚=aL‰i€x…iew=‹

isxZŒ=xZs}ighixŽ†>rx…scaur|ƒLw)‰ix

`Qaub]Zis‘`Qegyze

’e(y=yzbGaus0†>i0acinqpLiafnfp=iˆ”“–•]•˜—˜j‘k ™e(r'jš]š(›Yk •]•yze(dGix

œ5ž‚Ÿ ¡=¢]Ÿ˜£_¤ŽpLr¥xŽyzey¦ia)r¥xŽ†–i†>r¥ne(sui€†subscp=i‘b]ˆ–§˜{|rtˆ=i0n‚bGgy=w=soe(scr|b]ˆhb(¨sup=i‘{e(scsur¥nvi

b(¨'g/e(‹–r|ge{ze(ˆ–surnqpzer|ˆzxv=xce€Œ ª¬«‡­9®”¯'°¬­~ª¬«”­9®”¯o±²‘³Q´µ·¶¸9¯f=b¨;eº¹zˆ=rtsui0yzb˜x…is¼»© ®½°

­9®Ž±²

¯f¾O¤Žp=rxºb]ˆ–§˜{|rtˆ=in‚bGgy=w=soe(scr|b]ˆO¨¿w={À¹z{t{¥x‘Á)pzesÁŽine{|{'supLi{|rtˆ=ie(a0i‹–suiˆzx…rtb]ˆ

p>Œ–yzb]scp=ix…rx‚Dscpze(s0rxKÁ)p=iˆsup=ibGaf†>iacr|ˆ=dhb(¨;sup=irtˆzn‚bGgr|ˆ=d˜iausurn‚ixŽb¨»®Ã¨¿b]{|{tbÁx‘e

{|rtˆ=ie(a‡i‹–suiˆzxZr|bGˆ+b¨»®Ä¾TŎixZr¥†>iYr|soxºsupLib]acisurne({Qrtˆ>sciaui€x…s5sup=rx0e(ƒzxZsuafeGn‚surtb]ˆÆb(¨scp=i

{¥esusurn‚iQb¨Çe(ˆ–surnqpzer|ˆzxzb(¨Çe)yzb˜xZisCpze]x5x…scauwznvsuw=aoe({˜y=acb]yziauscr|ixCÁ)p=rnqp‘dGr|˜iQrtsCr|ˆ–suiacix…scr|ˆ=d

y=afeGn‚surne({Jƒ¦ipzeÂ>rtb]w=aox‚¾!`Qeausurn‚w={e(au{tŒÆsup=rx{¥esusurn‚iAb¨‡ge(‹–r|ge{)eˆ>scr¥nfpze(rtˆzxxZiigx

r|ˆ–suiacix…scr|ˆ=dY¨¿b]a0suixZsurtˆ=dT†>r¥xZsuaurtƒ=w=sci†+nvb]gy=wLsfe(scr|bGˆzx‚C†–b]ger|ˆOÁ)p=iauiscp=iY{¥e(scsurn‚ib(¨

e(ˆ–surnqpzer|ˆzxr¥x‘d]bGr|ˆ=dsubƒziYÁ)r¥†>i{tŒAwzxZi†D¾¤ŽpLibGˆ>§˜{tr|ˆ=iYe{|d]bGaurtsup=g_Á;iy=aubGy¦bÈx…i¨¿bGa

sup=rx'n‚b]gyLw=sfesur|bGˆpze]x'e‘auwLˆscr|giŠn‚b]gyL{|i‹–r|sZŒr|ˆÉh­u­‚Ê®Ê9ËÌ;Í­~®Î¯c¯ÏÌ­~®”¯ÊЪѫ”­9®”¯ÊÒ¯

Á)p=r¥nfpTx…scaur¥nvsu{|ŒYr|ghy=aub˜ixQsupLiºyLaui–r|bGwzxŽb(Óz§˜{tr|ˆ=i‡e{|d]bGaurtsup=gxv¾

ÔÖÕ×

ØRÙRÚÛ

×

Ø'܄ÝtÙZÞÏßfà

áZâ¿ãäâ¿åæ;çèCéqêëìíCîï'ð¦ïcéfìñóòóïZì–ç]ôöõÖ÷‚øvùfúû'ãCï…üüïZíuçÈô=ãäæý5èCþäÿïZêJéqòñ

üGéqêï ò ¿òóí~é(ÿ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

(5)

) ”* "( $Î*fO ”+*” /O

ž

£ lbGwzxˆ=b]wzxr|ˆ–sL‰iacixuxZb]ˆzx }e¼{eÆn‚b]ˆzxZsuacwzn‚surtb]ˆÑe(w ˜b]{0†–wscauirt{|{|rx†–ix

e(ˆ–surnqpze|ˆ=i€xlge(‹–r|g/e({|i€x‚>ˆLb]sL‰i ª¬«”­~®”¯‘°­~ª¬«”­~®Î¯o±²‘³´€µ© ¶(¸9¯f\†! w=ˆiˆzx…igYƒ={ti ¹„ˆ=r

yze(acsurti{|{tigiˆ–sQb]ao†>b]ˆLˆ)‰i ®½°» ­9®Ž±² ¯f¾"b]wzx)ˆ=b]w„xKy={e$#n‚bGˆzx†=e(ˆzx){|i ne]xŽyzeauscr¥n‚w={tr|ia

†>r|sY†–i{% Òi‹>sciˆzxZr|b]ˆO{|rtˆ)‰ier|auiȁCn& i€x…s}e†–r|auih{|b]aox('˜w=i{) b]ao†>auih†! e(auacr|Â;‰ii†>i€xA‰i{‰igiˆ–sfx

†>i ®Ãacix…yzinvsui”wLˆ=i”i‹–suiˆzx…rtb]ˆ{|rtˆ)‰» ie(rtaui0†–i ®¾!*Qˆ †>ip=bGafx‘†>iÎn‚b]ˆ„x…r¥†;‰» iafesur|bGˆzx)y=w=aui,+

giˆ–s scp)‰ibGaur-'˜w=ix5auiˆz†Le(ˆ–sŽnvi)suauir|{|{tr¥xCsua}ixQr|ˆ–s=‰iacixuxce(ˆ–s˜n‚isusuiŠe(ƒzxZsuaoe]n‚scr|b]ˆ/†>wscauirt{|{tr¥x

†>ixeˆ>scr¥nfpze.tˆ=ix”†/ w=ˆiˆzx…igYƒ={tib]af†–b]ˆ=ˆŠ‰iyzb˜xcxv}i†–i†>ixne(afeGn‚sL‰iaur¥xZsur0'öw=i€x yLaub]ghis(+

suiw„x…ixy¦bGw=a†/ u‰i˜iˆ–suwLi{|{tixYe(y=yL{|r¥ne(surtb]ˆzxv¾¤äbGw=sAyzeauscr¥n‚w={tr~}iacigYiˆ>sYnvi+scauirt{|{|rx†–ix

e(ˆ–surnqpze|ˆ=i€x ge(‹–r|g/e({|i€xDx…igƒ={ti1isuaci)w=ˆƒzbGˆne(ˆ„†>r¥†=esQyzb]w=a;{|i)scix…s'†–ixQi‹;‰i€n‚w=surtb]ˆzx

aL‰iy„e(auscr|ixvC†>bGge(rtˆ=i”bÇ}w{) w=scr|{|rxuesur|bGˆ†>wOsuacir|{t{|rx)†>ix0e(ˆ–surnqpze|ˆ=i€xln‚bGˆ=ˆzer|s0w=ˆOr|ˆ–s=‰i+

aisdGafeˆz†>r¥xcxueˆ>s¾32 e({|dGb]acr|supLgie(w ˜b]{'öw=iˆ=bGwzxy=aubGy¦bÈx…bGˆzxy¦bGw=aYa=‰ie{|r¥xZianvisusci

n‚b]ˆ„x…suacwzn‚scr|b]ˆOew=ˆ=iÎn‚b]ghy={|i‹–r|sL‰ilscigyzb]aci{|{ti‘iˆÉh­u­‚Ê®Ê(ËOÌ

Í

­9®”¯u¯¿Ì­9®”¯ÊЪ¬«”­~®”¯ʯo

n‚i'˜w=r'e(g i{|rtb]aui‡xZsuaurn‚suigiˆ–s){¥en‚bGgy={ti‹>rtsL‰‰ i0suigyzb]aui{|{|i‡†>i€x‘e({td]b]acr|scp=gixlbÓz§˜{|rtˆ=i

Zwzx('˜w4 e({|bGafxn‚b]ˆLˆ>wzxv¾

(6)

! "# $

%&'() +*,!-./*0*

//Q”*

8 9;:

Ÿ 4<>= ¢]Ÿ@?A<

: B

C D

E

:

?֟@?A<

:

ž”¡

:

=GF0 

H

? I?

:

¡= 4?

ž J

•–¾|j Ki‚¹zˆ=rtsur|bGˆzxMLNLLOLLNLPLNLNLPLNLPLNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL Q

•–¾ó• R"Sˆ>§È{|rtˆ=i4Te(yLy=aubÈe]nfpAb(¨My¦bÈx…isoxULNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL —

V ©W 9 ­ F”¯X

 ž ž W ©9 ­ FY|¯ Z

7–¾|j `Qaci{|rtgr|ˆzeaurtix LOLLNLPLNLNLPLNLPLNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL š

7–¾ó• ¤ŽpLi\[Èis’Ki{¥e(scr|bGˆzx]LNLPLNLNLPLNLPLNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL.j_^

7–¾`7 ¤ŽpLi\a'b˜iacr|ˆ=dY’)i{e(surtb]ˆzxbLNLPLNLPLNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL.j]j

B cd

¡ HAe

<z 4?֟

d

8fV

›L¾|j KJe(sfe][˜scauwzn‚scw=aui€xgLLNLPLNLNLPLNLPLNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL.j‚›

›L¾ó• a'bGgy=w=soe(scr|b]ˆb¨ihNjkml< Inpo]q

µmr>só¸

­

9it'u_vw

¯LLNLOLLNLPLNLPLNLPLNLLOL.j‚›

›L¾`7 a'bGgy=w=soe(scr|b]ˆb¨ih<xŽ­

©

W 9 ­ F

Y

¯c¯]LNLPLNLLOLLNLOLLNLPLNLPLNLPLNLLOL.j_Q

y

h<

: ¢ H 5ž_?<

: C{z

(7)

; +O

¤Žp=r¥x0yze(yzia‡r¥x0†>i†–r¥nesui†AscbAsupLibGˆ>§˜{tr|ˆ=ihn‚b]ghy=w=sfesurtb]ˆOb(¨supLin‚b˜iacr|ˆ=d/†>r|dGafe(yLpC

r9¾Òi˜¾Csup=i†>rtd]aoe(y=pb¨Dscp=i)suaoe(ˆzxZr|scr|˜iŽaci†>wznvsur|bGˆCb(¨Çsup=i){e(scsur¥nviŽb(¨Çge‹>rtge({Èe(ˆ–surnqpzer|ˆzx

b(¨ŠeĹzˆLr|sui‡yzb˜x…is¾‘ÅŽi€x…r¥†–i”r|soxKscp=ibGauiscr¥ne{Cr|ˆ–suiacix…s=sup=rx‘x…scauwzn‚scw=aui‡pze]xJey=afeGn‚surne({

w=surt{|rts…ŒÈ¾9ˆz†–ii†D]rtsQr¥xe(ˆhe(ƒzxZsuafeGn‚surtb]ˆYb(¨\sup=i){e(suscr¥n‚i;b(¨äe(ˆ–sur¥nfpzer|ˆzxv]Á)p=r¥nfpr¥xe({|acie]†–Œ

wzx…i€†/¨¿b]a)scp=i0˜iaur·¹Çnesur|bGˆb(¨†>r¥xZsuaurtƒ=w=sci†n‚bGgy=w=soe(surtb]ˆzxv¾

¤Žp=iauiYe(aciwzxZwze({t{|Œes”{tie]xZsºscp=auii{¥e(scsurn‚ixlÁ)p=rnqp e(acieGxuxZb–n‚r¥esui†+scbAyzeauscr¥e({t{|Œ

b]ao†>iaui€†[xZisfx­1)24 62‘¨¿bGaYx…p=bGausv¯scp=i{¥esusurn‚iYb(¨Jsup=i™eGnlirt{|{tiYn‚b]gyL{|iscr|b]ˆ\äscp=i

{¥esusurn‚iYb(¨ e(ˆ–sur¥nfpzer|ˆzxY­Ïb]a‡r¥†>i€e({Ž{e(scsur¥nvi]¯Je(ˆz†supLi{¥esusurn‚iYb(¨Jge(‹–r|ge{Qeˆ>scr¥nfpze(rtˆzx‚¾

¤Žp=ixZi”{¥esuscr¥n‚ix)eaui0i‹–y={|bGr|sci†subhnfpze(aoe]n‚sciauri‘y=acb]yziauscr|ix)b(¨Msup=i‡n‚bGˆzx…r†>iaui€†/yzbÈx…is

­Ï{tr|ˆ=ieaŽi‹–suiˆzx…rtb]ˆzxvöghr|ˆ=rtge({˜rtˆ>sciauÂGe({zi‹–suiˆzx…rtb]ˆzxv=†>rtgiˆzxZr|b]ˆ\‚Zw=gyYˆ>wLgƒzia)¾¾¾q¯o¾

¤Žp=i{¥e(scsurn‚iŽb¨Dg/e(‹–r|ge{–e(ˆ–sur¥nfpzer|ˆzxCpze]xQƒziiˆacin‚iˆ–su{tŒ0Á)r¥†>i{tŒ‡x…suw„†>r|i†”rtˆsup=invb]g +

gwLˆ=r|sZŒb(¨Mb]af†–iaui†Tx…isoxKscp=ibGauŒ˜¾+bGa –r|ˆ=dYb]ˆT{¥esusurn‚i0auiyLauixZiˆ>soe(scr|b]ˆ\z™e(a ˜bÁx! >Œ

r|ˆ#"·j%$'&Je(ˆ„†("Àj_Q)&‘xZp=bÁxsupzeseˆ>ŒÆ¹zˆ=r|sciA{e(suscr¥n‚irxÄrx…b]ghb]auyLp=r¥nsub¼e+*Je({|bGr¥x{e(s +

surn‚ib¨0eƒ=r|ˆ„e(auŒOaui{¥e(scr|bGˆC¾¤Žp–wzxºp=ihd]r|˜i€xºenvb]ˆzxZsuauw„n‚surt˜iy=acb˜b(¨JsupzesYe(ˆ–Œ#¹„ˆ=r|sci

{¥esusurn‚iYr¥x‘r¥xZb]gbGauy=p=rn”subTsup=iY{¥esusurn‚ib(¨g/e(‹–r|ge{5e(ˆ–sur¥nfpzer|ˆzx‘b(¨Ke p=ir|d]p–s(+¿b]ˆLibGa(+

†>ia¾0mÃx…rtgr|{e(a)acix…w={tslp„e]x‘ƒziiˆaui€†>r¥xcn‚b˜iaui†ƒ–ŒTŎip=auiˆz†>sr|ˆ,"7'&'eˆz†Ar|ghy={|rn‚r|sc{ÀŒ

ƒ>Œ-rt{|{ti”r|ˆ."ҕ]•)&9¾’)iw=scia‘r|ˆ."·jš/& ¨¿b–nvwzx…ix‘bGˆ+scp=i{tr|ˆ0 LxlƒzisZÁŽiiˆAscp=iºZwLgyAˆ–w=g +

ƒziab¨‡e+yzb˜xZishe(ˆz† scp=ip=ir|dGp>sb¨‡r|sfx”{e(scsur¥nvi b¨0ge‹>rtge({;e(ˆ–surnqp„e(r|ˆ„x‚¾.Rˆ1"ÀjGj2&9

3‘e(ƒLr|ƒÆisYe({~¾xZsuwz†>rti†sup=ihaui{e(surtb]ˆÆƒzisZÁŽiiˆgr|ˆLr|ghe({4=iacauiaox”i‹>sciˆzxZr|b]ˆ„xºb(¨ e(ˆ

r|ˆznvr¥†>iˆ„n‚i‡x…suacwzn‚scw=aui‡e(ˆ„†Asup=i‡ge(‹–r|ge{Çnqpzer|ˆzx)b(¨Mb]ˆ=i‡b(¨'rtsfx*‘e{|bGr¥xl{e(suscr¥n‚iȾŽ¤Žp=iŒ

x…p=bÁ.supzesºÁŠeŒAsup„e(s0r|ˆ–suiacÂGe({5b]af†–ia0i‹>sciˆzxZr|b]ˆ„x‚Dgrtˆ=r|ghe({D¨¿bGa‘r|ˆ„n‚{|wzxZr|bGˆCCe(acirtˆOe

b]ˆ=i,+Ïscb&+¿b]ˆ=invb]auacix…yzbGˆz†>iˆznviÁ)r|supOsupLige(‹–r|ge{Cnfpze(rtˆzxlb¨)r|soxl{¥esuscr¥n‚i‡b(¨)g/e(‹–r|ge{

e(ˆ–surnqpzer|ˆzxv¾0¤Žp=r¥xauixZw={|sr¥x)aui{e(sci†Asubscp=b˜xZib(¨ŠÅŽb]ˆLˆ=is0eˆz†` b]w5is‘rtˆ,"›6& i€x…sfeƒ"+

{|rx…p=rtˆ=dAscp=ibGˆ=i+¿sub +ÏbGˆ=iTn‚b]acauixZy¦bGˆz†>iˆ„n‚iƒzisZÁŽiiˆsup=i{tr|ˆ=i€e(a0i‹–suiˆzxZr|bGˆzx0e(ˆz†+scp=i

ge(‹–r|g/e({5nfpze(rtˆzx‘b(¨)scp=iYr¥†>ie{'{¥e(scsurn‚i”b¨Je/dGr|˜iˆyzbÈx…is¾¤Žp=i{e(scsur¥nvib(¨)g/e(‹–r|ge{

e(ˆ–surnqpzer|ˆzxv5e]x‘ÁŽi{t{QeGx‘sup=iY{¥esusurn‚i”b¨)scp=i™eGnlirt{|{ti”nvb]gy={tisurtb]ˆTe(ˆ„†+sup=i{e(scsur¥nvi

b(¨Jeˆ>scr¥nfpze(rtˆzx‚5neˆ+ƒzihx…iiˆ e]x‡eAn‚bGˆzn‚iyLsº{e(scsur¥nvi­9x…ii7r|{|{ti8"•–j2&ϯo¾94=b]a0i‹Le(ghy={|i

sup=ih{¥e(scsurn‚ib(¨g/e(‹–r|ge{'e(ˆ–surnqpzer|ˆzx‘b¨0eAyzb˜xZis ®r¥x”rx…b]ghb]auyLp=r¥nsubTsup=invb]ˆzn‚iy=s»

{¥esusurn‚i‘b¨Qscp=i0n‚bGˆ>sci‹>sJ­9®Ž±o®Ž±:

; ¯o¾'Ŏb]af†Le(s)r|ˆ<"=$'&~=eˆz†<*Je(ˆ–suia)e(ˆ„†A’)iw=suiaŽr|ˆ<"Àj_^)&

d]rt˜i”eYd]iˆ=iafe({5e{|dGb]aurtsup=g Á)p=rnqpTneˆƒzi”wzxZi† scbdGiˆ=iaoe(suiÎe({t{5n‚b]ˆznviy=sfx)b(¨en‚b]ˆ +

sui‹–s¾84=b]a‡sup=ixZyzin‚rÀ¹¦nÄy=acb]ƒ={tig_b(¨scp=in‚bGgy=w=soe(scr|b]ˆOb(¨scp=i{e(suscr¥n‚iYb(¨g/e(‹–r|ge{

e(ˆ–surnqpzer|ˆzxv>scp=i‘gbÈx…sŽi?>n‚rtiˆ–s'e({td]b]acr|scp=gÁ)eGx‚–w=ysubˆ=bÁ0>scp=i‘bÓ¦§È{|rtˆ=i‡e({|dGb]acr|supLg

y=aui€x…iˆ–sui†Yƒ>Œh™Ab]acÂ]eˆTe(ˆz† lbGw=aurtˆ=i‘r|ˆ<"Àj%@/&~˜Á)p=r¥nfppzeGx)e”auw=ˆsurtgin‚bGgy={|i‹>rts…Œ‡b(¨

(8)

É­vÊЮÊÌÍ­9®”¯ʪ¬«”­9®”¯Ê¯)­¿Á)p=iaciÊ®/ÊG†>iˆ=b]scixscp=ilˆ–w=gYƒziaQb(¨5i{|igiˆ>soxärtˆscp=ilyzbÈx…is

»

®)ÊЪѫ”­9®”¯Êzscp=iˆ–w=gYƒzialb¨ge(‹–r|g/e({5e(ˆ–surnqp„e(r|ˆ„xlb(¨»®eˆz†#Ì­~®”¯‘supLiÁ)r†>supOb(¨

»

®Ä¯o¾

¤Žp=i‡gb]scr|ÂGe(scr|bGˆ b¨;sup=rxKÁ;b]a rx‘e({x…bscbwzxZisup=i‡b]ˆ>§È{|rtˆ=in‚bGgy=w=soe(scr|b]ˆTb(¨'scp=i

{¥esusurn‚i'b(¨zg/e(‹–r|ge{]eˆ>scr¥nfpze(rtˆzxDr|ˆ0scp=i)n‚bGˆ>sci‹–sCb(¨Ç†>rx…scaur|ƒLw=sui†‘y=acb]dGafe(g/x †>iƒ=w=d]dGr|ˆ=dL¾

9ˆz†>ii†Ç‘eƆ>r¥xZsuacr|ƒ=w=sci† i‹–in‚w=scr|bGˆ r¥xwzxZwze({t{|Œ x…iiˆ eGxAeÆx…isb(¨Îi˜iˆ–sfxyzeauscr¥e({t{|Œ

b]ao†>iaui€†+ƒ>Œscp=iY{|b–ne{Žsurtgi”bGˆieGnqpOy=aub–nvixux‡e(ˆz†+ƒ–Œgixcxued]ix‘yzeGxux…rtˆ=dƒzisZÁŽiiˆ

y=aub–nvixuxZix‚¾9ˆ0b]ao†>ia5sub0nfp=in lscp=i;n‚b]acauinvsuˆ=ixcxäb¨zsupLiŽ†–r¥x…scaurtƒ=w=sui€†”n‚bGgy=w=soe(surtb]ˆCscp=i

i˜iˆ–sfxe(aciYx…iˆ–slscbe(ˆOb]ƒ„x…iac˜iazÁ)p=r¥nfpAp„e]xlscbauibGaf†>ia‘sup=ig ­~x…ii 2Ce(gyzbGaus "Àjv›/&9

4 r¥†–d]i "Қ%&Qeˆz†A™esusuiauˆ "Àj—%&ϯo¾Ž¤ŽpLi”r¥†–ie({C{e(suscr¥n‚iJr¥x)wzx…i‚¨¿wL{CsubhnqpzeafeGn‚suiacri n‚iausoe(rtˆ

n‚{¥eGxuxZixÄb¨0y=acb]yziauscr|ix­9xZiiTÅ)e(ƒzeb]dG{|w e(ˆ„† ’e€Œ–ˆze{7"·j2&9a'pzeauaubGˆ"+~Ŏb˜x…shise{9¾ "Q'&9

a'b˜b]yziaJe(ˆz†h™e(aw={|{tb9"ó—%&¿¯f¾9ˆ "— &9{a'b˜b]yziaJe(ˆz†h™e(aw={|{tbºyLaub]yzbÈx…i†e(ˆ/e({|dGb]acr|supLg

subOƒ=w=rt{¥†+bGˆ>§˜{tr|ˆ=iscp=r¥x”{e(scsur¥nvi˜¾¤Žp=iTe({td]bGaur|scp=g&pzeGx”ƒziiˆÆr|gyLaub˜i†Aƒ–Œ Klrtip={;is

e({~¾"@'&'eˆz†˜e(af†Ois0e({~¾ "Àj_7)&9¾Y¤Žp=ibGˆ>§˜{tr|ˆ=ihe]xZy¦i€n‚s‡n‚b]gi€xK¨¿aubGg_sup=i”¨~eGn‚s0supzesºscp=i

˜iaur·¹Çnesur|bGˆe(ˆ„† sup–wzxŽscp=i0n‚bGgy=w=soe(surtb]ˆb(¨r¥†–ie({xŽgwzxZs'ƒ¦i0yziaZ¨¿b]aughi††>w=acr|ˆ=dscp=i

i‹–in‚w=scr|b]ˆÆÁ)p=rnqpÆrxÄscb+ƒziAbGƒzx…iau˜i†D¾ ¤Žp=iAgeZb]aY†>aoe€Á)ƒ„e]n [b¨0supLr¥xgisupLb–†¼rx

sup=iYxZri0b¨Žscp=r¥x){¥esuscr¥n‚i˜=Á)pLr¥nfpneˆAƒzii‹–y¦bGˆ=iˆ–sure({|{tŒ{¥eaudGialscpze(ˆscp=ixZri‡b(¨'scp=i

yzb˜x…is¾ ¤Žpze(sYr¥xÁ)p–ŒÁŽi e(auiTr|ˆ–suiacix…sci†+rtˆ[ƒLw=r|{†>r|ˆ=d x…bGgieƒzx…scafe]nvsur|bGˆzxb¨0sup=rx

{¥esusurn‚i˜¾¤ŽpLi{e(suscr¥n‚i‡b(¨Šge(‹–r|ge{5e(ˆ–surnqpzer|ˆzxr¥xlbGˆ=ib¨)scp=ix…ihe(ƒ„x…suaoe]n‚scr|bGˆzx‚¾lbGsui

supzesŽscp=r¥x'{¥e(scsurn‚i)geŒe{¥x…b‡ƒzi‘i‹–y¦bGˆ=iˆ–sure({|{tŒ”{e(audGiaŽscpze(ˆhsup=iyzb˜x…is>ƒLw=sŽrtsŽne(ˆƒzi

y=afeGn‚surne({t{|Œ‡gwznfp‡x…ge{|{tia scpze(ˆhsup=i)r†>ie({z{e(suscr¥n‚iȾ Sw=a'r†>ielrxMscb‡nqpzeafeGn‚suiacriŠe(ˆz†

nqpLin n‚iacsfe(rtˆy=aubGyziauscr|ix0b]ˆOsup=iY{¥esusurn‚ib(¨g/e(‹–r|ge{5e(ˆ–sur¥nfpzer|ˆzxlaoe(scp=ia”scpze(ˆOb]ˆ

sup=ir¥†–ie({={e(scsur¥nvi˜(w„x…r|ˆLdºscp=iŽ¨~e]nvsscpze(s'scp=i)r|ˆ–suiac{|ie–r|ˆ=db(¨Çi˜iˆ>sox r¥x ˆLb]s'i‹–pze(wzxZsurt˜i

r|ˆsupLiº{e(scsur¥nvi‘b(¨'g/e(‹–r|ge{ze(ˆ–surnqpzer|ˆzxv¾

Oi‘y=acix…iˆ–s)eˆi2>nvr|iˆ–s'b]ˆ>§È{|r|ˆLi0e({td]b]acr|scp=g scbYn‚b]ghy=w=suiJsup=i0nvb(˜iaur|ˆLd”†–r|d]aoe(y=p

b(¨Jsup=ih{¥e(scsurn‚ib¨ge(‹–r|g/e({'eˆ>scr¥nfpze(rtˆzx‘b(¨ e yzb˜xZis¾O¤Žp=rx”e({td]bGaur|scp=g5ƒze]xZi†b]ˆ e

d]iˆLiafe{bGˆ>§˜{tr|ˆ=iYey=y=acb˜e]nfpOb(¨)yzbÈx…isox‚ rx‘en‚b]ˆ–surtˆ>w„e(surtb]ˆb¨)b]wLaºÁ;b]a b(¨ "Àj;7/&9¾‡¤äb

x…rtgy={|r·¨¿Œ”scp=i‘sui€nqp=ˆLr¥ne{DeGx…yzin‚s>Á;i‘pze˜ilrtˆ>sciˆ–sur|bGˆze({t{|Œ‡auixZsuaurn‚sui€†Äp=iaui‘scp=i‘b]ˆ–§˜{|rtˆ=i

n‚b]ˆ„†>r|scr|b]ˆTƒ>ŒY¨¿b]afnvr|ˆ=dscp=i”ˆ=iÁ˜iacsui‹YsubYƒzi”ge‹>rtge({~]ƒ=w=sJeYxue(ghi0e(y=yLaub˜eGnqpOne(ˆ

ƒziwzx…i†r|ˆTsup=i‡d]iˆ=iafe({neGx…i”b¨NRfxZw=ƒ=yzb˜xZis0p>Œ–yzb]scp=ix…rx TA­~x…ii‡xZin‚surtb]ˆ •>¾ó•˜¯e(ˆ„†Ae(ˆ

e({td]b]acr|scp=g!Á)r|sup‡exuegi'sur|ghiQn‚bGgy={ti‹>rtsZŒ)neˆ”ƒzi)†>i€x…r|dGˆ=i†D¾ Sw=a5b]ˆ>§È{|rtˆ=i;e({|dGb]acr|supLg

pze]xe”auwLˆsurtgi‘nvb]gy={ti‹–r|sZŒ0b(¨;É­c­‚ÊЮÊvËAÌ;Í­9®”¯c¯ÏÌ­~®Î¯ÊЪ¬«‡­9®”¯ÊÒ¯f>Á)pLr¥nfpr|gyLaub˜ix

sup=i0acix…w={ts)b(¨;™AbGauÂGe(ˆ e(ˆz† lbGw=aurtˆ=i "Àj @'&9¾

¤Žp=iJyze(yzia;r¥xbGaudÈe(ˆ=ri†eGx¨¿b]{|{tbÁx2Qr|ˆhx…i€n‚surtb]ˆ•–>ÁŽi¹zafxZsŽd]rt˜ilscp=i0†>iv¹zˆ=r|scr|bGˆzx

e(ˆz†Yˆ=b]soe(surtb]ˆC˜scp=iˆYÁŽix…pLb]ausc{|ŒÎ†>ixunvaur|ƒzi)scp=ilbGˆ>§˜{tr|ˆ=i)y„e(afeG†>r|dGg b]ˆYyzb˜x…isfx‚¾ 9ˆYx…in +

(9)

surtb]ˆ 7–öÁ;iK¨¿b–nvwzxbGˆsup=iJx…scauwznvsuw=aoe({DiÂ˜b]{|wLsur|bGˆb(¨5scp=il{e(scsur¥nvi)b(¨5ge‹>rtge({–eˆ>scr¥nfpze(rtˆ

Á)p=iˆ eAˆ=iÁ ge‹>rtge({Qi{|igiˆ>sr¥xeG†=†>i†subscp=iyzb˜xZis¾ Oi¹zaox…sYxZp=bÁp=bÁ scb

†>i†>w„n‚iscp=iYˆ=iÁÃi{|igiˆ>soxŽr|ˆOsup=iY{¥esusurn‚iº¨¿acb]g_scp=invw=auaciˆ>s0{e(suscr¥n‚iÎe(ˆz†Osup=iYˆ=iÁ

˜iausci‹Ç¾¤Žp=iˆÆÁŽi/nqpzeafeGn‚suiacriYsupLiˆ=iÁ n‚b˜iaurtˆ=daui{e(scr|b]ˆ„x‚¾O¤Žp=r¥x0d]rt˜ixºwzx”scp=i

y=aurtˆzn‚rty={|i)b¨5sup=iJe({td]b]acr|scp=g]dGr|˜iˆYr|ˆhx…invsur|bGˆ›L¾9ˆscp=r¥x'x…i€n‚surtb]ˆC˜ÁŽiJx…pLb(ÁpLb(Áscp=i

e€¨¿bGauigiˆ>scr|b]ˆLi†gb–†>r·¹Çnesur|bGˆzx)neˆ ƒzi‡n‚bGgy=w=sci†i2>/n‚r|iˆ>sc{|Œ˜¾

[O/O* -Ž”$ K”*

2Dis»®Ã°.­9®Ž±²

¯ŽƒziYeyze(acsure({|{tŒb]af†–iaui†Tx…is‡­A1)24 D¨¿bGa‘xZp=b]acs‚¯f¾¤Žp=acb]w=dGp=b]wLsºscp=i

yze(yziaÁ;invb]ˆzxZr¥†>ia‡b]ˆ={tŒ#¹„ˆ=r|sciyzb˜xZisfxv¾O¤Žp=in‚b˜iacr|ˆ=d†–r|d]aoe(y=pÆb¨»®Ä¦­>»®”¯f rx

sup=iT†>rtd]aoe(y=pÆb(¨JsupLisuaoe(ˆzxZr|surt˜iaci†>wznvsur|bGˆb(¨JsupLi aci{¥esurtb]ˆ²

¾ 4„bGa "!Ѯā$#&%¶

­Ïacix…yC¾$#'¶ rxQsup=ixZis'b(¨5e{|{=yLaui†>i€n‚ixuxZb]aoxMb¨(rtˆ

»

®)Yi‹=nv{|wz†>i€†­Ïacix…y\¾Qr|ˆzn‚{twz†>i†z¯f

#*,+

r¥x'sup=i0xZis)b(¨Me({t{Drtggi€†>r¥esuiŽyLaui†>i€n‚ixuxZb]aoxŽb(¨-/rtˆ ®.0/» C0/

eˆz†1/*2+

pze˜i

x…rtgr|{e(a†>i‚¹„ˆ=r|scr|b]ˆ„xlb]ˆ x…wznn‚ixuxZb]aox‚¾ +ii‹–suiˆz†Asup=i€x…i”ˆLb]sfesurtb]ˆzx0subxZw=ƒzx…isfx‘b(¨Š®7

3 «54 ®6#

« ° u #

C±78!«

w

9#*,+

«°

u

#*,+

C±7:! « w

eˆz†xZr|grt{¥e(ac{|Œ¨¿bGa;#

«0

/ «”6/ « e(ˆ„†</*,+

«‡¾9+i†–i‚¹zˆ=ihª>=? ­~«º¯‡­Ïaui€x…yC¾ª>@BA ­9«º¯c¯Je]xºscp=ixZis0b(¨Je({t{

ge(‹–r|g/e({5­Ïacix…yC¾Qghr|ˆ=rtge{ϯCi{tigiˆ–sfxQb¨'«¬r|ˆ ®¾»

mxZw=ƒzx…is'« b(¨ä®r¥xQne({|{ti†e(ˆ !01Y­Ïaui€x…yC¾eM! 1ö¯5b(¨

»

®rÀÓ/i{|ighiˆ>soxDb(¨\«

e(acilyzer|acÁ)r¥x…i)rtˆzn‚bGgyze(aoe(ƒ={ti‘­¿auixZyC¾Qn‚bGgyzeafe(ƒL{|i]¯o¾ ¤ŽpLix…is'b(¨\e{|{zeˆ>scr¥nfpze(rtˆzx b(¨ ®» rx

ˆ=b]sci†«”­~®Î¯o¾5«[r¥x5e(ˆ f ,vb(¨ ®» rÀÓC# «¬° «”¾Q¤Žp=iŠx…is5b(¨\e{|{˜r¥†–ie({xäb¨ ®» rx †–iˆ=b]sci†

D¦­~®”¯f¾79s‘rx Á;i{|{ –ˆ=bÁ)ˆÆ­9x…iiŎrta ˜b(Ó "ҕ'&¿¯)supzesED¦­~®Î¯Šb]af†–iaui†ƒ–Œx…is‘r|ˆznv{|wzxZr|b]ˆrx

e+†–r¥x…scaurtƒ=w=surt˜i{¥esuscr¥n‚i˜QÁ)pLr¥nfp[Á;iˆ=b]sci Dz­9®”¯°© ­FDz­9®”¯o±G4º¯o¾ ¤Žp=igey=y=rtˆ=dOª

D1HI ª>=)

­BD„¯;r¥xJe(ˆb]ao†>iar¥xZb]gbGauy=p=rx…g ƒzisZÁŽiiˆ Dz­9®”¯eˆz†© «”­~®Î¯cDscp=i”{e(scsur¥nvi©

b(¨Jeˆ>scr¥nfpze(rtˆzx‘b(¨

»

® ­¿r9¾iȾ 3(J ±LKM!NDz­9®”¯o± J 4OKMPRQ ªÃ­J ¯²‘´µ·¶¸)ªÃ­K‘¯u¯o¾mlˆ

e(ˆ–surnqpzer|ˆT«½rx)e+)(*+,f !01b¨A»®ÃrÀÓOi˜iauŒYi{|ighiˆ>s'b¨;®Ãr¥xn‚b]ghyze(aoe(ƒ={ti

Á)r|scpOx…b]ghiºi{|igiˆ>s'b(¨Š«”¾mlˆTr¥†>i€e({(Dr¥xe+)(*+, f ,>b¨ ®Ãr·Ó» ª>=?

­BD„¯'rx‘e

ge(‹–r|g/e({5e(ˆ–surnqp„e(r|ˆ\¾OiYˆ=b]sciª>Dz­9®”¯supLiYx…is0b(¨Ke({t{g/e(‹–r|ge{Cr¥†>ie{¥xlb¨ ®¾Oi»

ne(ˆTb]ao†>ia0ª>Dz­9®”¯'ƒ–ŒTx…isr|ˆznv{|wzxZr|b]ˆscbbGƒ=sfer|ˆsupLiºyzbÈx…is ªD¦­~®Î¯;°.­9ª>Dz­9®”¯f±&4º¯f¾©

¤Žp=iAyzbÈx…is ª>Dz­9®”¯0r¥xYe#{e(scsur¥nvi˜Qsup=i',m !"© %$ +)(*+,bf ,2‡b(¨ ®¾» ¤Žp=iaci rx

e({x…beˆbGaf†>iaŽr¥xZb]gbGauy=pLr¥x…g!ƒzisZÁŽiiˆ ªD¦­~®Î¯äe(ˆz†© ªÑ«”­9®”¯f˜scp=ilyzbÈx…is;b(¨Cg/e(‹–r|ge{©

e(ˆ–surnqpzer|ˆzx‘b¨ ®» ƒ–ŒAscp=ig/e(y=y=rtˆ=dªÃ¾ 9ˆ+scp=i”¨¿b]{t{|bÁ)r|ˆ=dLCÁŽiYÁ)r|{|{wzx…iscp=i{e(scsur¥nvi

(10)

©

ª>Dz­9®”¯0afesup=iaYsup„e(ˆÆsup=i{e(suscr¥n‚i

©

ª¬«”­9®”¯oŽxZr|ˆzn‚ihsup=iTx…isYe(y=y=acb˜eGnqp e({|{tbÁx”gb]aci

auieG†=e(ƒL{|iy=acb˜b(¨~x‚¾ 4 r|dGw=auihj”d]rt˜ixe(ˆAi‹=egy={|i0b¨;eyzb˜xZis ®» e(ˆz†Ascp=i”sZÁŽbY{¥esuscr¥n‚ix

©

«”­9®”¯Me(ˆz† ª¬«”­~®”¯f¾9ˆ© «”­~®Î¯o=eˆ>scr¥nfpze(rtˆzxÁ)p=rnqphe(aci0ge(‹–r|ghe({zeaui0†–afeÁ)ˆr|ˆdGauiŒ˜¾©

!"

©

#%$'&%(

!"

©

)*#%$'&%(

,+-.+-/

021435"

»

&

4 rtd]w=aciYj/;m yzbÈx…is »®Ãeˆz† scp=i0{¥e(scsurn‚ix ©«‡­9®”¯;e(ˆz† ©ª¬«”­~®Î¯

¤Cb n‚b]ˆznv{|wz†>iTÁ)r|scp¬†>iv¹zˆ=r|scr|bGˆzx‚ŽÌ­~®Î¯Yrx/scp=ige‹>rtge({;ˆ>w=gYƒziaYb(¨i{|igiˆ>sox

ƒzi{|bGˆ=d]rtˆ=dAscbAeˆÆe(ˆ–surnqp„e(r|ˆb¨ ®¾m» ,m ] (4 2;Ab¨ ®» r¥x0esubGsfe({t{|ŒbGaf†>iaci†

x…isbGˆ® r|ˆzn‚{twz†>rtˆ=d ®¾Æm» yzb˜x…is 6» ° ­6α²27=¯0rxe 2;,8%1)24 Žb¨Æ»® r·Ó96 4 ®

e(ˆz† 3 ä±: !;6±7 ² : PRQ ²27<:z¾™Ab]acib˜iaÇrÀ¨=6 ®sup=iˆ,»®r¥x0e {)245

(4 2;b(¨ »

F >@? BADC77@EGFIH*H2J KFMLON QPRH

mlˆbGˆ>§˜{tr|ˆ=ie{|dGb]aurtsup=g_rx”xZw=y=yzb˜xZi†subÁŽbGa OeGxº¨¿b]{|{tbÁx2esie]nfpxZsuiy\ ÁŽihpze˜i

e(ˆ e]†=†–r|surtb]ˆze{;e(ˆz†w=ˆ=y=aci†>rn‚sfeƒ={|i >ˆ=bÁ){ti†>d]iYeˆz†ÁŽiÁ)eˆ>sJsubTn‚b]ghy=w=suiÎed]r|˜iˆ

¨¿w=ˆzn‚scr|bGˆb]ˆTe({t{zsup=i0e{|acie]†>Œ –ˆ=bÁ)ˆ9 >ˆLb(Á){ti†>dGi˜¾9ˆb]w=aŠe(y=yL{|r¥ne(surtb]ˆC–sup=iJb]ƒzxZiau˜ia

pze]x'sup=i –ˆ=bÁ){|i€†>d]i)b¨5e0n‚iacsfe(rtˆYe(gbGw=ˆ–sQb(¨\i˜iˆ–sfx‚Á)p=rnqprtˆz†>wzn‚i€xQe‘y¦bÈx…isA»®Y˜e(ˆz†

p=iYpze]x‡n‚b]gyLw=sui†sup=iY{¥esuscr¥n‚i ª>D¦­~®”¯f¾© 3lisupLiˆ+acin‚irt˜ixe/ˆLiÁÃi˜iˆ>sCäÁ)pLr¥nfp

suaoe(ˆzx9¨¿b]aug/x ®Ãr|ˆ–subRS®» Y e(ˆz†p=ipze]xsubn‚bGgy=w=sci ª>Dz­9®© Y¯o¾1lbGsui”scpze(s e(ˆ–Œ bÓz§˜{|rtˆ=i

e({td]b]acr|scp=g&ne(ˆOƒ¦iYsuaoe(ˆzx9¨¿b]acgi†r|ˆ–subTe(ˆOb]ˆ>§È{|rtˆ=ibGˆ=i-0ÁŽi0Zwzx…s0pze˜iYsubTx…ŒLx…scig +

(11)

e(scr¥ne{|{|ŒTn‚bGgy=w=sci”scp=iÂGe({|wLiYe(s‘ieGnqpOxZsuiybGˆOe({t{Qsup=iYe{|acie]†>Œ8 >ˆLb(Á)ˆ- –ˆ=bÁ){|i€†>d]i˜¾

mÃÁ)eŒAscbT†>ix…rtd]ˆi2>/n‚rtiˆ>s)bGˆ>§˜{tr|ˆ=iYe{|dGb]aurtsup=g_rxlsubhwzx…ihe]x‘gYwznqpTeGx yzbÈxux…rtƒ={|iscp=i

ÂGe({|wLix)n‚b]ghy=w=sui€†esŽy=acin‚i†>rtˆ=d˜x;x…sciyzxŽsubÎn‚b]ghy=w=suisupLi‘ÂGe({|wLi0e(se‘¨¿b]{|{tbÁ)r|ˆ=dÎx…suiyC¾

p=iˆ†>ie{|rtˆ=d+Á)rtsup y¦bÈx…isox‚)supLin‚w=acauiˆ–s7 –ˆ=bÁ){|i†>dGiArxeyzb˜x…is

»

®_e(ˆz† scp=i

e]†=†–r|surtb]ˆze{ >ˆ=bÁ){ti†>d]i‡r¥x‘eˆ=iÁ½Â˜iausui‹C :!Æ® scb]dGisup=iaºÁ)rtsupTsup=i{tr¥x…sJb(¨;r|soxly=aui,+

†>in‚i€xux…bGafxr|ˆ ® eˆz†[scp=i{|rx…s”b¨0r|soxx…wznn‚ixuxZb]aox”r|ˆ ®¾ 9ˆbGaf†>iaYsubyLauixZiau˜iscp=i

x…scauwzn‚scw=aui0b¨'sup=i0yzb˜xZiszÁŽi‡†>iv¹zˆ=i0sup=i0bGˆ>§˜{tr|ˆ=i‡e(yLy=aubÈe]nfpb(¨y¦bÈx…isoxlr|ˆscp=i‘¨¿b]{|{tbÁ +

r|ˆ=dÁŠeŒ 'es)ie]nfpx…sciyC–sup=i0nvw=auaciˆ>s;yzb˜x…is ®½r¥x;e({tÁ)eŒ=x)exZw=ƒ=yzb˜xZisb(¨5supLi”nvw=auaciˆ>s»

yzb˜x…is

Y

bGƒ=sfer|ˆ=i€†Ae(ssupLi”ˆ=i‹–sx…sciyC=scpze(sr¥xe(sie]nfpTx…sciyAscp=i0ˆ=iÁ¬yzb˜xZis

Y

r¥xe

yzb˜x…isli‹–suiˆzx…rtb]ˆb(¨sup=i0y=acin‚i†–r|ˆ=dyzb˜xZis+»®¾'¤Žp„e(sr¥xŽÁ)pzes)ÁŽi‡ne({t{Dscp=i Rfx…wLƒ=yzb˜x…is

p>Œ–yzb]scp=ix…rx T–¾'¤Žp=r¥x;x…w=ƒ=yzbÈx…is;p>Œ–yzb]supLix…rxMrx'e]nfp=r|i˜i€†ºƒ–Œsup=isurtgi)xZsfe(ghyzxQgisupLb–†

b(¨ 4 r¥†–d]i "š'&Çeˆz†™e(susciauˆ "Àj—)&9¾m‘xQyze(acsur¥nvw={¥ea)neGx…i˜–ÁŽiJne(ˆeGxuxZw=gisupzesŽsupLi‘ˆ=iÁ

˜iausci‹ ¼rx”ge(‹–r|g/e({5r|ˆÆsup=ihˆ=iÁ y¦bÈx…isRS® Y ¾ ¤Žpze(sYr¥x0Á)pze(sYÁŽi/ne({t{ŽsupLi Ru{tr|ˆ=iea

i‹–suiˆzxZr|bGˆAp–Œ>yzb]scp=ixZr¥x T–¾)¤Žp=i‡sur|ghi‘xZsfe(ghyzxKghisup=b–†e{¥x…bhe({t{|bÁx)subYauieGnqpTx…w„nqpTe(ˆ

p>Œ–yzb]scp=ix…rx‚¾h¤Žp=idGb˜e{rx‘r|ˆA¨~e]nvsºscby=auixZiau˜iscp=ihx…suacwzn‚scw=auib¨)supLiyzb˜xZis†–w=aurtˆ=d

surtgi˜¾ lb]sci)supzes'e]x ¨~eaŽeGxQd]afey=pzx;e(auinvb]ˆzn‚iauˆ=i†Ç]sup=i)w„x…wze{¦scinfp=ˆ=r-'˜w=i;Á)p=r¥nfpYn‚b]ˆ +

x…rx…sfx)subhe]†L†Aeˆ=iÁ¬Â˜iacsui‹ Aeˆz† scp=i”{tr¥xZs)b(¨r|sfx)ˆ=irtd]p–ƒzb]afx)r|ˆscp=i‡e({|acie]†–Œ –ˆ=bÁ)ˆ

d]aoe(y=p ­"Àj•>z•*^'&ϯ'iˆzx…w=acixŽsup„e(s!r¥x;exZw=ƒ=dGafe(yLpAb(¨supLiºˆLiÁdGafey=p

Y

=Á)rtsup=bGw=s

e]†=†–r|surtb]ˆze{'e]xcx…w=ghy=surtb]ˆC¾)¤ŽpLr¥x)suinfp=ˆ=r0'öw=iȁ>wzxZi† bGˆy¦bÈx…isox‚Cne(ˆA{tie]†subhe(ˆrtˆzn‚b]ˆ +

x…rx…suiˆzn‚Œhx…r|ˆ„n‚ilscp=i0ˆ=iÁ˜iacsui‹g/e€Œ‡r|ˆz†–wzn‚i˜–ƒ>Œscafe(ˆ„x…r|scr|–r|sZŒ˜˜ˆ=iÁ nvb]gyzeafeƒ=r|{tr|surtix

ƒzisZÁŽiiˆÂ˜iacsurn‚ixQb(¨'scp=i‡e({tauieG†>Œ9 –ˆ=bÁ)ˆ yzbÈx…is¾

9ˆsup=rxKy„e(yziazÁŽi‡pze˜i‡nqp=bÈx…iˆTsub¨¿b–n‚wzxlbGˆAscp=i”{tr|ˆ=iea)i‹–suiˆzxZr|bGˆ p–Œ–y¦bGsup=i€x…r¥xv

Á)p=r¥nfpiˆzeƒ={|ix)wzx)subh†>ixcn‚aurtƒ¦i0scp=i0y=aurtˆzn‚r|yL{|i‘b¨'b]w=aJe(yLy=aubÈe]nfpC¾ÅŽw=se(ˆ e({|dGb]acr|supLg

ƒze]xZi† b]ˆ sup=i xuegiy=aurtˆzn‚r|yL{|ineˆe{¥x…b ƒ¦i †>ixZr|d]ˆLi†[w=ˆ„†>iaYx…wLƒ=yzb˜x…is p–Œ–y¦bGsup=i,+

x…rx‚¾‘¤ŽpLr¥x‘e{|d]bGaurtsup=g r¥x)suinfp=ˆ=rne({t{|ŒYgwznfpgbGaui‡†>r>n‚wL{|s=ƒLw=s‘pzeGxlsup=iYxce(gi0scr|gi

n‚b]ghy={|i‹–r|sZŒ˜¾

©

- )*'+* ©

-

9ˆ+scp=iYx…i'˜w=i{~¦Á;iYe]xcx…w=giscpze(s0Á;ipze˜ieyzb˜x…is ®°» ­9®Ž±² ¯e(ˆz†supLiYe({|acie]†–Œ

n‚b]ghy=w=sui€†”{¥e(scsurn‚i ªD¦­~®Î¯o¾Oi‘e{¥xZb”pze˜iJeºˆ=iÁ© ˜iausci‹ :!®öscb]dGisup=iaŽÁ)r|scpscp=i

{|rx…s5b(¨zrtsfxCr|ggi†>re(sui5y=aci†>in‚i€xux…bGafx9#*,+

s

C¾¤Žp=r¥x5†>i‚¹zˆLix e)ˆ=iÁ y¦bÈx…is Y ° ­9®

Y

±²

s

¯o

Á)p=iaci®

Y ° ® t u w e(ˆ„†+ÁŽiÁŠe(ˆ–sºscbTn‚b]gyLw=suiscp=i{¥esusurn‚i ©ª>Dz­9® Y¯oäw„x…r|ˆLd scp=i

>ˆLb(Á){ti†>dGi rtˆz†>wznvi†+ƒ–Œ ª>Dz­9®”¯f¾© RˆÆbGaf†>iascbxZp=bÁ pLb(Á¦­ ª>Dz­9®© Y¯c¯‡ne(ˆÆƒzi

(12)

†>i†>w„n‚i†[¨¿aubGg

©

ª>Dz­9®”¯Z¯fÁŽiA¹zaox…sdGr|˜iOx…bGgiAscinfp=ˆ=r¥ne({y=aubGy¦iausurtix‚¾ ¤Žp=iˆ

ÁŽi nqp„e(afeGn‚suiaurisup=iOi{|igiˆ–sfxb(¨scp=i x…isTª>Dz­9®

Y

¯YwzxZr|ˆ=d sup=iOi{|igiˆ–sfxb(¨scp=i

x…ishª>Dz­9®”¯f¾ 4 r|ˆze{|{tŒ+Á;ix…pLb(Á p=bÁsup=i n‚b˜iaurtˆ=daui{¥e(scr|bGˆzx”b(¨

©

ªD¦­~®

Y

¯neˆ ƒzi

b]ƒ=soe(rtˆ=i†A¨¿aub]g_scp=iYn‚b˜iacr|ˆ=daci{¥esurtb]ˆzxlb¨

©

ª>Dz­9®”¯o¾¤ŽpLr¥x0nqp„e(afeGn‚suiaur€e(surtb]ˆCÇd]r|˜iˆ

r|ˆTeYn‚b]ˆzxZsuacwzn‚surt˜i‘Á)eŒ˜–d]rt˜ixŽsup=i0w=ˆ„†>iau{tŒ>rtˆ=dxZsuacwzn‚suwLaui0b(¨'bGw=ae({td]bGaur|scp=g¾

<J MC7 DFIJ9

9ˆ,"Àjš'&~z’KiwLsuia;d]r|˜i€x)enfpze(aoe]n‚sciaure(scr|bGˆ b¨Qscp=i”rtggi†>r¥esuixZwznn‚ixcx…bGalaci{¥esur|bGˆr|ˆ

©

ª>Dz­9®”¯ŽrtˆsuiacgxQb(¨;n‚bGgy={tisuip=irtd]p–s…§˜bGˆ=ix…w=ƒÇn‚b˜iacr|ˆ=dY†–r|d]aoe(y=pb¨ ®7»

8

D

±7D

Í ! ª>Dz­9®”¯% D Í ! /*,+

D 24

­FD

Í H D ¯ t ­ / ª=)

­BD

¯(H / ª>=?

­FD

Í

¯u¯ 0!" 2 ! ,5 % `) 2; 8

1)24 b%$ ®» 1_T­FD

Í H D

¯·auixZyC¾Y­ /

ª>=? ­FD

¯(H:/

ª>=? ­BD

Í

¯c¯ )2\+)(*+,

·auixZyC¾/)2++1+, ,0M f 2)

m‘xe n‚b]ˆzxZi'˜w=iˆzn‚ib¨ 2DiggeOj]ŽÁ;iAdGr|˜iscp=i ¨¿bG{|{|bÁ)rtˆ=d+{tigghe>QÁ)p=rnqpÆiˆ +

{|rtd]p–suiˆzxJx…b]ghiy=aubGy¦iausurtix‘b]ˆscp=ii{tigiˆ–sfxŽb¨® e]†=†–i†#rtˆOn‚b˜iaurtˆ=daci{¥esur|bGˆzx‘b(¨

©

ª>Dz­9®”¯

C 3 D;!ªD¦­~®Î¯o± 3

± Í ! /*2+

³¥µ·¶¸

D 2;!0 61

Í

­F@…¯

H:D'2f !01%$ ®»

­F@F@Z¯‘­

H:D=¯ ­ Í

H:D=¯Q°

’)iw=scia0e({x…bˆ=bGsuix0r|ˆ "Àjš'&'supzes”scp=in‚bGgy={|isur|bGˆb(¨Ke(ˆÆi{|igiˆ–sDAb(¨Dz­9®”¯r|ˆ

e(ˆÆi{tigiˆ–s b¨0ª>Dz­9®”¯Î­Ïr9¾Òi˜¾ D 4 ¯‘rx”ˆ=b]swLˆ=r-'˜w=i˜5ƒ=w=ssup„e(ssupLiauii‹>rx…sfx‡e

{|bÁŽi€x…s0n‚bGgy={tisurtb]ˆO­Ïr~¾i˜¾‘scp=iauii‹>rx…sfx "! !ƪ>Dz­9®”¯x…w„nqpOsupzesD 4 #! eˆz† ¨¿bGa0e({t{

! ª>Dz­9®”¯f D"4

° Q

"!

4

¯o¾ supLi/¨¿bG{|{tb(Á)rtˆ=d=;ÁŽiwzx…i+&('*%$

³¥µ·¶¸

­BD„¯

subT†>iˆLb]suiYxZwznfpe{|bÁŽi€x…sJn‚b]gyL{|iscr|b]ˆ\¾ Oiy=acb]yzb˜xZiscp=i”¨¿b]{t{|bÁ)r|ˆ=dh{|igghe>=Á)pLr¥nfp

x…p=bÁxlscpze(s +&('=³*Öµ·¶¸)­FD=¯QrxKbGƒ=sfer|ˆ=i€†/ƒ–ŒeG†=†>r|ˆLdscbRDscp=i0gr|ˆLr|ge{=i{|igiˆ–sfxQb(¨*)$

sup=i‡xZislb¨Qi{|igiˆ>soxMÁ)pLr¥nfpe(aciºrtˆzn‚bGgyze(aoe(ƒ={ti‘Á)r|scpTª>=)

­FD=¯

V 3 D;! Dz­9®”¯ + *%$&(' ­FD=¯'°ND

t

ª>@FA ­~®"H­BD

t / ª>=) ­FD=¯Z¯u¯

+

æ-,ïZò/.,103214‚üï'ë54ví¿ï06,Géfí ü487,Géfòóüí:9Cò;0,‡ê<4 Ïï*0,Géfü=0>94ïZñóïZêlïZü?0¿ícÿQæ ü@,(ïZò/.A,?0>2?4vüï'ë54víÏïB0

òóíC7D4‚êëñóïB0Ïï5ò)EÎéfñóñ˜ò/0¿íCêlòóüòóêéfñïZñóïZêï…ü10Ïí5éÏïF7G4vêë]é~éIHñóïJ9Cò/0,0éfñóñ˜ò/0¿íCê‘éKòóêéfñïZñóïZêï…ü10Ïícÿ

(13)

F0 )<><f£ 2Dis D Y

°5D

t

ª>@FA

­9® H¬­FD

t

/G%¶ ª>=?

­FD=¯…¯c¯f5sup=iˆ ƒ>ŒO†>iv¹zˆ=r|scr|bGˆC9D Y !

ª>Dz­9®”¯‡e(ˆz†:D 4 D Y¾ 2Dis

!¬ª>Dz­9®”¯0ƒziTx…wznfpscpze(s D 4

e(ˆz†Æe]xcx…w=ghisupzes

D Y

:4 5r9¾iȾ : !D

Y H ¾A¤ŽpLiˆ !ª=)

­ ¯0xZwznqp supzes :¦¾TŎw=sxZr|ˆznvi

DR4 ˜irtsup=ia ! / ª=)

­BD„¯CbGa H­BD

t

/G%¶ ª>=?

­BD„¯Z¯f¾ 9ˆƒzb]scpne]x…i€x‚>scp=iaci

r¥x)eYn‚b]ˆ–suaoe]†>rn‚surtb]ˆÁ)r|scpsup=i‡†>i‚¹„ˆ=r|scr|b]ˆb¨D

Y

=scp>w„x D Y 4 ¾

rtsup 2Diggeb7>–r|sŽrxQsup=iˆ/x…suaoe(rtd]p–s…¨¿b]acÁ)eaf†scb”y=acb(˜isup„e(sŽscp=i‘{tb(Á;ix…s;n‚bGgy={ti+

surtb]ˆArxŽb]ao†>ia)y=acix…iacÂ>rtˆ=d0

B 3

Dz±

! Dz­9®”¯f±7D 4

° Q + *%$& '

³¥µ·¶¸

­FD=¯ 4 +&('*)$

³*Öµ·¶¸

­ ¯

F N MCF9

¤Žp=i)xZis5ª>Dz­9®”¯Çneˆºƒzi;x…iiˆ‡e]x5e >rtˆz†‘b(¨„x…w=ƒzxZis5b(¨„ª>D¦­~®

Y

¯f¾ 9ˆz†>ii€†Die]nfp0i{|igiˆ–s

b(¨ ª>Dz­9®”¯Á)r|{|{'dGiˆ=iaoe(suihir|scp=ia0b]ˆ=ihb]a”sZÁ;bAi{tigiˆ–sfx)b(¨Jª>Dz­9®

Y

¯o¾A¤ŽpLr¥x”ne(ˆƒzi

b]ƒ=soe(rtˆ=i†r|ˆTx…yL{|r|scsurtˆ=dª>Dz­9®”¯'rtˆ>scb”supLauii‡x…wLƒzx…isox‚znfpze(aoe]n‚sciauri†ƒ>ŒC#*,+

s

D=ˆ„e(gi{tŒ

« ° u

D;!ªD¦­~®Î¯o±L#*,+

s :4ND

w

˜«

Í ° u

D;!ªD¦­~®Î¯o±L#*,+

s

14ND =?A;# *2+

s ª>=? ­BD„¯

w

eˆz†«)°

u

D !ª>Dz­9®”¯f±L# *2+

s

14¬­BD Hƪ>=? ­FD=¯u¯

w ¾ *Q{|ighiˆ>soxäb¨5«

Á)rt{|{=ˆ=bGsŽƒzi

nqp„e(ˆ=dGi†Ar|ˆ ª>D¦­~®

Y

¯o¾1*Q{|ighiˆ>soxb¨)«

Í

Á)rt{|{5e({x…bƒzi{tb]ˆ=dhsubª>Dz­9®

Y

¯o¦ƒLw=s‘xZb]gi‡b(¨

sup=igÁ)r|{t{¦dGiˆ=iaoe(sciºˆLiÁi{|igiˆ>sox‚¾4*Q{|igiˆ–sfxQb(¨M«)Á)r|{t{Dƒzi0gb–†>r·¹zi†D¾ 4 r|aox…s)ˆ=bGsui

sup=i‘¨¿bG{|{|bÁ)rtˆ=dy=aubGyziausZŒ-

F0 )<n

 €Ÿ

8

{ º«2 f +P1 %$ªD¦­~®Î¯

[¡L ! 8

­F@…¯ 3 @9!

u

j]±#"$"#"± 7 w

±L/

%

³Öµ¶(¸

« 4

%

&(' « &

­F@F@Z¯

24 «

Í t

«P1)2) ++* 1!0 2 +&('*)$ ³Öµ¶(¸ ­ #*,+

s z¯%

Ŏi‚¨¿bGauihnqp„e(afeGn‚suiaurr|ˆ=dTª>Dz­9®

Y

¯o ÁŽihpze˜isubTy¦bGr|ˆ–sb]w=sYxZb]giYyzeausurn‚w={e(a”i{|i+

giˆ–sfxŽb¨)«

Í

¦Á)p=rnqp †>i‚¹zˆLi”supLiYx…isJ«

YÍ ° u

DC!Æ«

Í

±D

t'u w

!ª>Dz­9®

Y¯ w

¾‘¤Žp=i€x…i

e(acili{tigiˆ–sfxzb(¨ä«

Í

d]iˆ=iafesurtˆ=d0s…Á;b‘i{tigiˆ–sfxzr|ˆYª>Dz­9®

Y

¯o¾Q¤Žp=iŒÎe(acinqpzeafeGn‚suiacri€†

e]xŽ¨¿b]{t{|bÁ

F0 )<n

 €Ÿ

C 3 DR!«

Í

±­FD !«

YÍ

¯PRQ

­ 3 :R! / *2+

­ # *2+

s Tª=)

­BD„¯c¯ : ! / ­9ª>=?

­FD=¯(H<# *2+

s

¦¯u¯

(14)

¤CbYn‚b]ghy=w=suiJx…bGgi0n‚b˜iacr|ˆ=d‡aui{e(scr|b]ˆ„xr|ˆ D–ªÃ­9®

Y

¯o>Á;iºÁ)rt{|{zˆ=ii€†/scp=il¨¿bG{|{|bÁ)rtˆ=d

suinfp=ˆ=rne({Ç{|ighge

y 3

D!«

Í

HÆ«

YÍ ±

3*

± ! /*,+

Q

# *,+

s /ª>=?

­FD=¯Q° ª>=?

­FD=¯(Hƪ>=?

­ ¯

F0 )<><f£ ŎŒÆ†>i‚¹zˆLr|surtb]ˆÆb(¨ «#*,+

s

ª=)

­BD„¯ 4 ª=)

­BD„¯ H ª>=?

­ ¯o¾ 2Dis

:R!­9ª=) ­BD„¯H0ª>=? ­ ¯u¯H­#*,+

s

'ª>=? ­BD„¯c¯zeˆz†º{tis ! /*,+

­#*,+

s

=Tª>=? ­FD=¯u¯c

sup=iˆir|scp=ia ! / ­~ª>=)

­FD=¯/ª>=?

­ ¯u¯c bGa !>/ ­9ª=)

­ ¯(Hƪ>=?

­FD=¯u¯c

e(ˆz†sup–wzx)Á)r|sup 2Dighgej;! / :=¾[˜bƒ–Œ`Qaub]yziacsZŒ•> D;!«

YÍ

zn‚bGˆ>scafe]†–r¥n‚scr|b]ˆ\¾

¤CbÆnfpze(aoe]n‚sciauri D–ªÃ­9®

Y

¯fÁŽiO†>i‚¹„ˆ=iAscp=iOx…isox

° «



Í ° « Í

°

u D t

C±D:! « YÍ w

eˆz† °

u D tIu

w

±D !Ñ«

w

¾'[˜r|ˆznviscp=i« óx‡e(aciyze(rtauÁ)rx…i

†>r¥x¥Zb]rtˆ>s xZbeauiscp=i óxv¾™AbGauib˜iaDr|s0r¥x‘ieGx…Œscbnfp=in scpze(sΪ>Dz­9®

Y

¯‘° ¾

¤Žp>w„xKÁ;iºdGis%

F0 )<n

 €Ÿ

V

{ 2 f O1 %$ªD¦­~®

Y¯

[¡L !

C 3 @!

u

j]±$"#"#"±u›

w

±L/

%

³¥µ·¶

s¸ 4

%

&(' &

4 rtd]w=aci'•x…p=bÁxCsup=i'yzeausurtsurtb]ˆ0b(¨„ª>Dz­9®”¯Drtˆz†>wznvi†lƒ–Œ‘sup=i;« xCe(ˆz†0sup=i'yzeausurtsurtb]ˆ

b(¨;ªD¦­~®

Y

¯'r|ˆz†>w„n‚i†ƒ–ŒsupLi óxv¾

D N: @J7+ MCF9

+iˆ=bÁpze˜i)sub‡b]ao†>ia'sup=i óxQƒ>ŒYxZis'r|ˆznv{|wzxZr|b]ˆYsub0dGis ª>Dz­9®© Y¯f¾iSˆzn‚ied˜er|ˆC–ÁŽi

wzx…iscp=i –ˆ=bÁ){|i€†>d]i‡b(¨ ª>Dz­9®”¯f¾© 9ˆz†>ii€†DDeYyze(acs‘b(¨'scp=iYn‚b˜iacr|ˆ=daci{¥esur|bGˆzxne(ˆƒzi

i‹Le]n‚sc{|ŒY†>i†–wzn‚i†”¨¿aubGg

©

ª>D¦­~®”¯f¾4=b]a'supLilacige(rtˆ=r|ˆLd0n‚b˜iaurtˆ=d0aui{e(scr|b]ˆ„x‚˜sup=iwzxZi‘b(¨

sup=i0{tb(Á;ix…sŠn‚b]ghy={|iscr|bGˆy=acbÂ>r†>ixŽe”ˆLin‚ixcxue(acŒn‚bGˆz†>r|scr|bGˆC¾'¤Žp=r¥xŽÁ)rt{|{zƒzi0iˆ=b]wLd]p ¨¿bGa

b]w=aJe({td]bGaur|scp=g¾

cPd

<z 

8 (D;!ª>Dz­9®

Y

¯ * N1)

(15)

´

´ s

´

´

s

s

s ss s

´

´

´ s

´

4 rtd]w=aci‡• ;`Qe(acsur|scr|bGˆ rtˆz†>wznvi†ƒ–Œ1#*,+

s

b]ˆ ª>D¦­~®”¯;e(ˆz†© ª>D¦­~®© Y¯

"!$#

%'&

*2+

³¥µ·¶

s¸ )(

&

*,+

³*Öµ·¶¸

*+,"!-#

Í %.&

*,+

³*Öµ·¶

s¸ /(0

&

*,+

³¥µ·¶¸

2143

Í

5$678596;:=< >?@"!$3

YÍ

(0

&

*,+

³¥µ·¶¸

2143

Í

5$6BA"596;:C<

%

AD!-

&

*,+

³¥µ·¶¸

E143 FG<@HGIKJ'BL >M*J

NO@"!-#

%'&

*,+

³¥µ·¶

s¸

9PQ6R + *%$

STVU

³Öµ s¸ GAW596;:=<O

%

AX!

&

*,+

³¥µ·¶¸

VYZ6;:C<*<

[K\N W!$#

%.&

*,+

³¥µ·¶

s¸

)(06AW5$6:=<

%

AD!

&

*,+

³¥µ·¶¸

]Y^6:=<*<

F0 )<><f£0­B@…¯9s)r¥x)eˆArtggi†>r¥esuin‚bGˆzx…i'˜w=iˆ„n‚i0b(¨ /

*2+

ϳ5µ·¶¸

« 4 « t « Í ¾

­F@F@Z¯Ž{tisDR! Í

¦scp=iˆ DR!«

Í

Deˆz† scp>wzx/*,+

³¥µ·¶

s¸

D8 Í ° /*2+

³¥µ·¶¸

D

Í ¾ Ϩ-D !O«

YÍ 

sup=iˆ D

t'u w

!ª>Dz­9®

Y

¯Še(ˆz†xZb 2Digg/ejºiˆ„x…w=acixlsup„e(sD

t'u w

!:/*2+

³¥µ·¶

s¸ Dz¾ Oi

n‚b]ˆ„n‚{|wz†–iscp=r¥x5neGx…i;x…rtˆzn‚i 2Digge'•0­F@F@Z¯ziˆzx…wLauixDscpze(s D

tu w

rxDsup=i'bGˆ={|Œ0r|ghgi†–r¥e(sci

x…wznn‚ixuxZb]ab(¨-DÄbGw=sfxZr¥†>i Í

¾Ï¨-D;!«

Í

HÆ«

YÍ

={tis ! / *2+

³Öµ¶(¸

D «=sup=iˆ 2Digge $

e(ˆz†Ascp=iˆ 2Digg/ej0iˆzx…wLaui0supzes

t'u

w ! /*,+

³*Öµ·¶

s¸D ¾ 9ˆb]af†–ialscbnvb]ˆzn‚{twz†>i˜

n‚b]ˆ„x…r¥†–ia

! /*,+

³¥µ·¶¸

D Æ­ t ¯f¾ 4 r|aox…s”b¨Je({t{ŽÁŽi/ne(ˆˆLb]surn‚iscpze(s

! rx

r|gyzbÈxux…rtƒ={|iȁ xZr|ˆznvi H u w

YÍ

e(ˆ„†x…b D`_ H u w _ ¾ [˜b ! 5sup–wzx

H u w ! « e(ˆ„† 2Diggej”iˆzx…w=acixlscpze(s !:/*2+

³¥µ·¶

s¸D ° Q H u w

!</*,+

³¥µ·¶¸

D=

x…rtˆzn‚i u w 4 H:Dz¾

Références

Documents relatifs

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

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

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

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

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

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

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

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