• Aucun résultat trouvé

An Implementation of Global Flush Primitives Using Counters

N/A
N/A
Protected

Academic year: 2021

Partager "An Implementation of Global Flush Primitives Using Counters"

Copied!
15
0
0

Texte intégral

(1)

HAL Id: inria-00074280

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

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.

An Implementation of Global Flush Primitives Using Counters

M. Ahuja, Michel Raynal

To cite this version:

M. Ahuja, Michel Raynal. An Implementation of Global Flush Primitives Using Counters. [Research Report] RR-2395, INRIA. 1994. �inria-00074280�

(2)

ISSN 0249-6399

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

An Implementation of Global Flush Primitives Using Counters

M. Ahuja, M. Raynal

N˚ 2395

Novembre 1994

PROGRAMME 1

(3)
(4)

40"56*'$

798:<;>=@?ACBED798GFHAJI>KAMLEBNB

OCPNQMRMPSUTT5V%WYX)ZP[N\@]_^VE[`^abPVEced>SUPSgfhfjiV`fkVEcml>n>SMcoVEcqp@V%p@QMrbrsV#VEc#l@PbsVEcoVESUa@t

V#^couvc,^EiV#T5VEcpw]xc,^P,]_nbasVEc

OCPQwy.V#^Zp@d

zqSUdbd{QMP^p@VPVE[N\bV#P[\bV|rH}~w€MM‚<X„ƒeQU…MV#T3nbPV5WEMU†<X„3d>SJRMVEc

‡‰ˆŠ#‹EŒŽ>U‹M‘!VCdbPVEcoV#r^’SJr]kTd@fkV#TV#r^SJ^,]_QMr3QU“•”q–˜—™NšM–œ›jž–˜Ÿw ¡O¢P,]_T3]_^,]_…MVEca>c£]_rbR[`QMabr^NV#Pc#¤

¥\@]xc<]_T5d@f_V#T5V#r@^SU^o]kQwr[`Qc,^c<[`QMT5d>SUPSJn@fkV^Q¦^\bV§TQc,^f˜]_RM\@^,¨6V`]_RM\@^<]_T5d@f_V#T5V#r^`SU^,]_QMr©QU“

[#SUa>cNSŽfªQMP`p@V#P,]_rbR>¤ž¥\@a>c#lSJ^6SH[`QwT5d>SUPSUn@f_V[`Qc,^Elw^\bVdbPVEc,V#r@^VEp3]_T5d@f_V#T5V#r@^SU^o]kQwr‰V#rbP,]x[\bVEc

“«abr>[`^,]_QMr>SŽf˜]_^,u%[`QMT5d>SJPVEp^Q[#SUa>cSgfQMPp@V#P,]_rbR>¬MSwcq”q–˜—™NšM–œ›jž–˜Ÿw ¡OCP,]_T3]_^,]_…MVEcd{V#PT3]_^CT§SU­w]_rbR

SUr SMcc,V#PN^,]_QMr®SUn>Qwab^qT5VEccSJRMVEcqc,V#r@^]_r®^\bVd>Swc,^qQU“žc,V#r>pw]_rbR°¯ lv]kr¦^\bV“«ab^abPVQJ“¢c,V#r>pw]_rbR

¯ l@SUn>QMab^±n>QM^N\lMQMPCrbV`]_^\bV#PEl@¨q\bV#PNVq^\bVqd>SMco^žSUr>p3^\bV“«ab^abPVQU“’SUr3V#…MV#r@^C]xc±p@V`²>rbVEp5a>c£]_rbR

^\bVPV`fxSU^,]_QMr9³`\>SUdbd>V#rbVEp´n{V`“µQwPVM¤·¶¹¸c£]_rbR9”q–˜—™šw–·›£ž–˜ŸM `¡ºO¢P,]_T3]_^,]_…MVEc#lCS‰TVEccSURMV[#SUr!n>V

c,V#r@^q^QSUru‰c,abn>c,V#^eQU“•dbPNQv[`VEccoVEcc,d{VE[N]˜²>VEp»SwcqS3d>SUPSJT5V#^V#PE¤

¼¾½¿À,Á3ªŒUÊMÄMur>[N\bPQMr@]_ÅESU^o]kQwrlCZYcour>[N\bPQMrbQMa>c3Æe]xc,^Po]knbab^NVEp©OCPQMRwPSUT5T3]_rbR ÄMubc,^V#T§cml

ǕȰ[N]_V#r>[`uMlOCSUPSŽf˜f_V`f•É SM[N\@]krbVEcml>Ê]_RM\bË«d{V#P,“«QMPT§SUr>[`V̞QMT5dbab^o]krbR‰SUr>p¦ÌžQwT5T3abr@]Í[#SJ^,]_QMr¤

εÏ3Ð

Ñ,Ò,ÓEÔ

Ð

ÑCÕCÖkÒ.×ÙØEÚ

ÛbÜNÝ«ÞßUÜàŽá•ÛbÜNÝjÜoâãâ·äjâªÛåÝ«æ#ç,ä.á«áÙè·àŽéYêwä,ë«ë«ä,Ý«á,ìgí{æâvîmì·ï`ìMðãñjÜNà#ò`è·ä.ݱïóó`îô£õ

ö.÷

ä,øEë,õEæNùªúGæ`û6øŽÞEë«ä,ݒümçjè·ä,àŽç.äÜàŽßHýbàŽéè·àŽä.ä,ÝÙè·àŽéEìbþàmè·òä,Ý«áÙè·ëÙÿæNùªúÜoâãèãùkæ`Ý«à#èhÜmìvüŽÜà

÷

è·ä.é`æŽìóî'èãâ·ûqÜNà

÷

ÝÙè·òä`ìbêÜæNâãâhÜmìvú!ó `ómïïŽì! "$# gõ%'&mè·áCÝ«ä,á«äoÜNÝ«ç(&è·áCá«ÞŽøEøUæ`Ý«ë«ä.ß è·àHøUÜÝ«ë*)#ÿ,+’ü.-

ގàEßEä,ÝéÝjÜNà#ë«á0/1µÛ32mómïï`ï!!#îqÜNàEß,/1«Û4µó ó5 Eõ

öjö1$61«ü±ì úÜNûøEÞEáGߎä87{äoÜNÞ#âãè·ä,Þwì9`î :6Gä,àEàŽä,áú<;ä.ߎä=Uì-60+’úý?>@AB.C>CD>UõE%'&mè·áFªæ`Ý$G:FÜNá

á«ÞŽøEøUæÝ«ë«ä,ßè·àøgÜNÝ«ë)#ÿ5ë$&Eäý>üŽÛ"61H%øŽÝ«æñ«ä,ç.ëI76J'

÷

ú•üK%9ðL+ގû:)Uä,ÝI55`ôæNù•ë$&ŽäYúæûû±è·á«áÙè·æà‰æNù

ýåÞEÝ«æ`øgäÜNà%úGæ`ûûžÞŽà#è·ëÙè·ä,á,õ

Unite´ de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71

(5)

E $"3* e"%*'$

½vŠ½  ̞V#^5SUP^o]Í[Nf_V‰dbPbsVEc,V#r@^V5abrbV‰T3]xc,V‰V#r´QV#ab…@PV®p@VfãV#r>c,V#T3n@f_V»p@V‰dbP,]_T3]_^,]_…MVEc

[`QMrbr@abVEcžcoQMa>c'f_VqrbQMT¹p@V! M–˜—™NšM–#"qŸM `¡¤@̞VEcdbPo]kT ]k^o]k…wVEcCd>V#PNT5V#^^V#r@^žp@V±“SŽ]_PVp@VEcCSMcc,V#P^o]kQwr>c

c,abP<f_V‰d>SMcc@sV5V#^<f_V“µab^NabP%p@VEc3T5VEcNcSURMVEc#¤Çf˜f_VEc<]_r>[Nf_abV#r^‰[`QMT5T5V[#SMc<d>SUP^,]x[`a@f˜]_V#P5fãQMP`p@PV

[#SUa>cNSŽfj¤%$]kTd@fV#T5V#r@^SU^,]_QMr‰dbPQwd>Qc@sV#VVEc,^“«QMr>p±ss V#Vc,abPf_VEc[`QMT5db^V#abP`c#¤

& Â{‹EŠ#À(')½ ¦V`È°[#SM[N]_^bsVMl@T§Sw[\@]_rbVEc±d>SUPSŽf˜fjiV`f_VEc#lbc,u@r>[N\bPQMr@]xcSU^,]_QMrlbc,ubc,^EiV#T5VEcCPbsV#d>SUP^o]Íc±SMc,u@rbË

[N\bPQMrbVEc#¤

(6)

* "C

Zc,u@r>[\bPQwrbQMa>cqpw]xc,^P,]_nbab^VEp¦c,ubc,^V#T§c±PVEc,VESJP[\lJ]_r®^\bVd>SMc,^El@\>SMc±n{V#V#r‰T§SŽ]_r@f_u‰T5QM^,]_…gSJ^VEp

n@u5^\bVrbV#VEp5^NQ]_T5dbPQU…MVe“SJa@fk^^QJfkV#P`SUr>[`VM¤MZc,u@r>[\bPQwrbQMa>cpw]Íco^P,]_nbab^VEp‰c,ubc,^V#T§cmlM\bQU¨V#…MV#PEl

[#SUr´SŽfxc,Q‰n>V5a>coVEp ^Q]_T5dbPQU…MV3d>V#Po“µQMPNT§SUr>[`V5QMPPNVEp@a>[`V§pw]xc,^P,]_nbab^VEp@Ë«dbPQwRMPSUT V`tvVE[`ab^,]_QMr

^,]_T5VM¤¥'Qg¨qSUP`pbc^\@]xc#l±¨qSŽ]_^c<nu´dbPQb[`VEcc,VEc “µQMP3PVE[`V`]_…w]_rbR©T5VEccSURwVEc3n>VE[`QMTV‰]_T5d>QwP^SUr@^E¤

ÌCf_VESUPofkuMl{SHdbPNQMRMPSUT ¨ ]hf˜f’\>SŽ…MV\@]_RM\bV#PË«d{V#P,“µQwPT§SUr>[`V]˜“•SU^V`tbVE[`ab^,]_QMr‰^,]_T5VdbPQb[`VEcc,VEc±\>SŽ…MV

^Q¨qSŽ]_^f_VEccoV#P“µQMPPVE[`V`]_…w]krbRTVEccSURMVEcm¤g¥'QYSg]kT SU^\@]_RM\bV#PË«d>V#Po“µQMPNT§SUr>[`VMlŽ]j¤ãVqSqPNVEp@a>[`^,]_QMr<]kr

dbPQb[`VEcc¨qSŽ]_^c¢“«QMPqPVE[`V`]_…w]_rbR§T5VEcNcSURMVEc#l@PV`“«V#PV#r>[`V·~dbPNQMd>QcoVEp´”q–h—@™šM–œ›£ž–hŸw `¡§OCP,]_T3]_^,]_…MVEc

“«QMP§S nbPQSMpb[#Swc,^5V#r@…M]_PQMrbTV#r^El±SUr>p©PV`“«V#PV#r>[`Vã†qdbPVEcoV#r^VEp|”q–˜—™NšM–œ›jž–˜Ÿw ¡©OCP,]_T3]_^,]_…MVEc

“«QMPHc,V#r>pw]_rbR!ST5VEccSJRMV5^Q‰SUr@uºcoabn>c,V#^QU“qdbPQb[`VEcc,VEcHcod>VE[N]˜²>VEp SwcHSd>SUPSJT5V#^V#PE¤±”q–˜—™šw–·›

ž–˜Ÿw ¡®OCPo]kT ]k^o]k…wVEce]ÍcS5c,a@]_^V<QU““µQMabPdbP,]_T3]_^,]_…MVEce“«QMPc,V#r>pw]_rbRT5VEccSJRMVH¯ c,a>[N\®^N\>SU^qVESM[N\

c,d{VE[N]˜²>VEcQMrbVQU“’^\bVe“«QUf˜fkQU¨]_rbRC^\bV#PV]xcrbQ3PVEc,^NP,]x[`^,]_QMr®QMr^\bVQMP`p@V#P6QJ“’PVE[`V`]_db^QJ“•¯

SUr>pºT5VEccSURwVEcc,V#r^]_r´^\bV3d>SMc,^m“µab^abPNV%QJ“ c,V#r>pw]_rbR!¯ abr@fkVEcNc%cod>VE[N]˜²>VEp´nu¦^\bV5QMdb^o]kQwr>c

a>c,VEp “«QMP’Qw^\bV#PžT5VEcNcSURMVEc#¬WTVEccSURMVEcCcoV#r^]_r^\bVd>SMc,^CQU“c,V#r>pw]_rbR ¯ T%a>co^’n{VPVE[`V`]_…MVEp

n{V`“µQMPNV¯ ¬.~GT5VEccSJRMVEcCc,V#r@^]kr^\bV±“µab^abPNVqQU“coV#r>pw]krbR3¯|T%a>co^Cn>VqPVE[`V`]_…MVEpSŽ“µ^NV#Pž¯ ¬MSUr>p

.€ •TVEccSURMVEcec,V#r^±]_r®^N\bVd>SMc,^#“«ab^abPVQU“žc,V#r>pw]_rbR°¯T3a>c,^qn{VPVE[`V`]_…MVEp‰n{V`“µQMPNVgSŽ“«^V#Pq¯ ¤

¥\bVd>Swc,^qSUr>p5^N\bVq“«ab^abPVQU“•SUrV#…MV#r@^±]Ícep@V`²>rbVEpa>c£]_rbR5^\bVPV`fxSU^,]_QMr!³`\>SUdbd{V#rbVEp‰n{V`“µQMPNVE¶

_WŽ€!£lgSMc]xcCSŽfxc,Qp@QMrbV±]kr3QM^N\bV#P’PV`f_V#…USUr^žco^a>pw]_VEc"·‚@lUblWm†vl@WE‚bl@W!#j¤U¥\bVEc,V±dbP,]_T3]_^,]_…MVEcCPVEp@a>[`V

¨qSŽ]_^c nu S¾PVE[`V`]_…MV#P3dbPQb[`VEcc$.SUr>p PVEp@a>[`V^\bVPVEc,V!%wabV#r>[N]_rbR p@V`fxSEu&nu¦]_r>[`PVESMc.]krbR ^\bV

r@abT3n>V#PQU“Cd>QcNc£]_n@fkVQMPp@V#Pc ]_r»¨e\@]Í[N\ T5VEccSJRMVEc[#SJr®n>V3PVE[`V`]_…MVEp [`QMTd>SUPVEp‰^NQ5T5VEccSJRMV

PVE[`V`]_db^]_r ^\bVHQwPp@V#PQJ“6c,V#r>pw]_rbR>¤¥\@]xcqPNVEp@a>[`^,]_QMr \>SMcqn{V#V#r!c,\bQU¨qr'(#^Q5n{V c.]kRwr@]h²ª[#SJr^

¨q\bV#r^\bVqd>Swc,^6SUr>p ^\bV“«ab^abPVqQU“’SUrV#…MV#r^¢]xcžp@V`²>rbVEpa>c£]_rbRH^N\bVPV`fxSU^o]kQwr»³Nf_Qv[#Sgfªn>V`“«QMPVM¬œ¶

SUr>p^N\@]Íc±PVEp@a>[`^o]kQwr]Íc±V`tbd>VE[`^VEp¾^Q]_r>[`PVESwc,VMl@¨q\bV#r‰^\bVd>SMc,^6SJr>p^\bVq“«ab^abPVQU“’SUrV#…MV#r@^

]xcp@V`²>rbVEp5a>c.]krbR3^\bVePV`fxSU^,]_QMr!³`\>SUdbd>V#rbVEpn>V`“«QMPVMlœ¶HSMc¢¨6Vp@Q>¤)q^\bV#PžPNVEc,VESUP[N\bV#Pc"+*b\>SŽ…MV

SŽfxc,Qd>QJ]kr@^VEp¾^Q3^\bVHrbV#VEp°“µQMPPVEp@a>[`^o]kQwr‰]_r®^\bV<PVEc,V!%wabV#r>[N]_rbR°p@V`fxSŽuM¤

,jr»Swpbpw]k^o]kQwr»^NQ5^\bV\@]_RM\bV#Pd>V#Po“µQMPNT§SUr>[`VMlb^\bVEcoVHdbP,]_T3]_^,]_…MVEcQ-V#PqSUrbQM^N\bV#PSMp@…gSJr^SJRMV

^\>SJ^H]xc<d>SUP^o]Í[`a@fxSUPofku´a>c,V`“«a@f“µQMP3c,ubc,^V#Tp@VEc£]_RMr¤C¸c.]krbRº²>Pc,^H^N\bPV#V§QJ“^\bVEc,VdbP,]_T3]_^,]_…MVEc#l

¨V%co\bQMa@fxp®n{V5SUn@f_V%^NQ°p@VEc£]_RMr!SŽf_RMQwP,]_^\bT§ce^\>SU^Elb¨e\bV#rºcoabd>V#P,]_T5d{Qc,VEp QMr SUr®abr>p@V#Pofkuw]_rbR

[`QMTdbab^SU^,]_QMrl>p@QrbQM^]_r^NV#P,“µV#PNVH¨]_^\‰^\bVH[`QwT5dbab^SU^,]_QMr/.M¤

0bQMPHSnbPQSMpb[#Swc,^V#r…w]_PQMrbT5V#r@^ElGPV`“«V#PV#r>[`V1œ~!CR@SE…wV SJdbd@fh]x[#SU^o]kQwr>cQU“3”2ž <“µQMPHSgfkRwQMË

P,]_^\bTcC“«QMPC^V#PNT3]_r>SU^,]_QMr§p@V#^VE[`^o]kQwr¬M]xp@V#r@^,]˜“µuw]_rbR§[`QMr>c£]xc,^NV#r^[`ab^c"43j¬wPVE[`QMPpw]_rbR3c,r>SUd>c,\bQM^`c

jRJfkQwn>SŽf c,r>SJd>c,\bQM^c¨]_^\bQwab^%[N\>SUrbrbV`fxc%co^SU^VEc`¬>PVE[`QwPpw]_rbR®RUf_QMn>SŽfqc,r>SUd>c,\bQw^c#¬{]_T5d@f_V#T5V#rbË

^,]_rbR!S®co\>SUPVEp ^QM­MV#r¬SUr>p´SM[#[`VEcc.]krbR PV#d@f˜]x[#SU^VEp©pbSJ^S‰a>c£]_rbR T3ab^a>SŽfžV`t>[Nf_a>c£]_QMr¤žOCPo]kT ]kË

5

%'&UÜë è·á,ìGèãù6á«ä,àEßmè·àEé‰æ`ÝÝ«ä,ç,ä£è·øEëæNù6Ü3ûä.á«ájÜNé`ä%æNùžë$&Eä<ÞEàŽßEä,ÝÙâ·ÿ`è·àEé¦ç.æ`ûøEގëjÜëÙè·æ`à¦è·áàŽæëè·à.&#è)#è·ë«ä,ß

F'&Žä,à§ë$&ŽäYÜoâ·éæ`ÝÙè·ë$&Eû|è·áqàŽæëá«ÞŽøgä,ÝÙè·ûøUæá«ä,ßwì’ë$&Eä,àè·ëIFGæÞmâ·ß§àŽæë<)gäeè·à&mè)#è·ë«ä,ß F'&Eä,à5ë$&ŽäHÜ,â·é`æ`ÝÙè·ë$&Eû è·á

á«ÞŽøgä,ÝÙè·ûøUæá«ä,ßwõ%'&#è·áGøEÝ«æ`øUä,Ý«ëxÿ±è·áގá«äjù_Þmâgù_æ`Ý>ûqÜNà#ÿ ÜNøEømâãè·çÜëÙè·æ`àUá,ìMäõéEõ#Ü,â·é`æ`ÝÙè·ë$&Eûáù_æ`Ý>øŽÝ«æé`ÝjÜû´ç,æÝ«Ý«ä,ç,ëÙè·æ`à

ë«æ#æNâ·ážð_ߎä)EÞEé`é`ä.Ýjôæ`Ýûæ`à#è·ë«æ`ÝÙè·àEéæù>á«ÿ#á«ë«ä,ûá,õ

6'6 à26 `óî

(7)

^,]_…MVEc ]_T5d@f_V#T5V#r@^VEp‰\bV#PV3[#SUr‰n>V<a>c,VEp“«QMPq^\bVEc,VHSJdbd@fh]x[#SU^o]kQwr>c]_r»S RMV#rbV#PSŽf’V#r@…w]kPNQMrbT5V#r@^

]_r®¨e\@]Í[N\»S T5VEccSURwV]Ícc,V#r@^q^Q5S5c,abn>coV#^QU“dbPQv[`VEcNc,VEc#¤

ÌCf_VESUP,f_uMlU^\bVC]xccoabVqQU“>V`È°[N]_V#r>[`uHQJ“b]kTd@fkV#TV#r^SJ^,]_QMr§p@V#^V#PT ]krbVEc…w]xSUn@]˜f˜]k^,u5QJ“>^\bVEc,VždbPo]kË

T3]_^,]_…MVEcm¤ 0åQMPS3nbPQ@SMpb[#SMc,^qV#r@…w]kPNQMrbT5V#r@^ElbPV`“«V#PV#r>[`V œ~’SMpbp@PVEcNc,VEcq^N\@]Íc ]xcc,abV3c,a>[#[`VEcc£“«a@f˜fku

SUr>p´dbPNVEc,V#r^`c5SUr ]kTd@fkV#TV#r^SJ^,]_QMra>c£]_rbR©[`QMabr@^V#Pc<^\>SU^3\>SMc5[`Q@c,^c3[`QMT5d>SUP`SUn@f_V‰^Q ^\bV

T5Q@c,^f˜]_RM\^e¨6V`]_RM\@^]_T5d@f_V#T5V#r@^SU^,]_QMr QU“C[#SUa>cSŽf’nbPNQSMpb[#SMc,^ Ìq̱ZHÄ¥ ·‚j¤,jr®^N\@]Íc d>SUd>V#P

¨VV`tb^V#r>p‰^\@]xc±]_T5d@f_V#T5V#r@^SU^o]kQwr»^NQ»”q–˜—™NšM–œ›jž–˜Ÿw ¡‰OCP,]_T3]_^,]_…MVEc “«QMPc,V#r>pw]_rbR‰S3T5VEccSJRMV^Q

S¦c,abn>c,V#^HQJ“6dbPQb[`VEcc,VEc#¤ ,jr´^\bV5dbPQb[`VEcc ¨6V5SŽfxc,Q¦V`tv^NV#r>p!p@V`²>r@]_^,]_QMr©QU“"qŸw ¡w›!! «—›

·~ b“«PQMT¹S<nbPQSMpb[#Swc,^CV#r…w]_PQMrbT5V#r@^^Q%SJr5V#r…w]_PQMrbT5V#r@^±]_r§¨q\@]x[N\°S T5VEccSJRMV[#SUrn>Vc,V#r@^

^Q´S!c,abn>c,V#^5QJ“YdbPQb[`VEcc,VEcm¤ž¥\@]xc5V`tb^V#r>c£]_QMr ]_r…MQJfk…wVEc3T§SŽ]_r@^SŽ]_r@]_rbR!]_r "qŸw ¡w›!! «—›

^,¨Q5[`QMabr^NV#Pc±d>V#P[N\>SUrbrbV`f]_r®^N\bVYc,ubc,^V#T SMc QMdbd>QcoVEp^Q3^.¨Q3[`QMabr^NV#Pcd>V#PedbPQv[`VEcNc]kr

^\bVnbPQSwpb[#SMc,^V#r@…M]_PQMrbTV#r^ ·~" ]kr©S‰nbPNQSMpb[#SMc,^V#r@…w]kPNQMrbT5V#r@^ElCc£]_r>[`V§VESM[N\´T5VEccSURwVH]xc

c,V#r@^q^QV#…MV#PuQM^\bV#PqdbPQb[`VEcc#lv“µQMP‰^N\bV#PVHT3a>c,^n>V3SUr‰QMab^RwQU]_rbR§[\>SJrbrbV`f•^Q3V#…MV#PNu§QM^N\bV#P

dbPQb[`VEccqSJr>p^\bVH[`QMabr@^V#Pc±“«QMPVESM[N\‰QU“’^\bVEc,VH[N\>SUrbrbV`fxce¨]˜fhfCSŽf_¨ SŽubc±\>SE…wV^\bVHcNSUT5V…gSgfkabV

SUr>p‰coQ SgfhfCc,a>[\‰[`QMabr@^V#Pcq[#SJr§n{VT5V#PRMVEp]_r‰^Q3QMrbV“«QMPG¬vcoQ5^\bVe]kTd@fkV#TV#r^SJ^,]_QMr®QU“ ·~

[#SUr¦n>V3c,V#V#r®SMcqS3d>SJP^,]x[`a@fxSUPY[#Swc,VQU“C^\bVQMrbVdbPVEc,V#r@^VEp°]kr¦^\@]xcqd>SJd>V#PE¤4

̞QMT5d>SUPNVEp®^NQ®[#SUa>cSŽfCQMPp@V#P,]_rbR ·‚C¨q\@]x[\ ]_r@…MQUf_…MVEc T§SŽ]_r^`SŽ]_r@]krbR …MVE[`^NQMP^o]kTV5¨q\@]x[\

]xcQMrbV5[`QMabr@^V#Pd>V#PH[N\>SUrbrbV`fC]_r»^N\bV couvc,^NV#T ^\@]xce]_T5d@f_V#T5V#r@^SU^,]_QMrº]kr@…MQUf_…MVEcTSŽ]_r^Sg]kr@]_rbR

"qŸw ¡M› !! «— N› l¨q\@]x[N\SMc¨V5TV#r^,]_QMrbVEp´PNV!%Ma@]_PVEc<^,¨Q®[`QMabr^NV#Pc<d>V#P5[\>SJrbrbV`f ¤C¥\@]xc

]_r>[`PVESMcoV3]_r!^\bV§[`Qco^El>¨V3^\@]_rb­Gl{]Íc T§SUPRJ]kr>Sgf¢SUr>p»]Íc¨QMPN^\®^\bVPVEc,a@f_^,]_rbR®RSg]kr>cml{]¤VM¤SUr

SUn@]˜f˜]_^,u§^Q]_T5d@f_V#T5V#r@^3”q–˜—™šw–·›£ž–˜ŸM `¡ O¢P,]_T3]_^,]_…MVEc±¨q\@]x[\]_r>[`PVESMc,V^\bVqr@abT3n>V#PQU“GQMPp@V#Pc•]kr

¨q\@]x[N\ TVEccSURMV5[#SUr n>V5PVE[`V`]_…MVEp´[`QMT5d>SJPVEp ^Q®[#SUa>cNSŽfžQMPp@V#P,]_rbR>¤¥ \@]Íc ]_T5d@f_V#T5V#r@^SU^,]_QMr

]xcqSUr]_T5dbPNQg…wV#T5V#r^QU…MV#P^\bVe]_T5d@f_V#T5V#r^`SU^,]_QMr®dbPNVEc,V#r^NVEp]kr ÍW!ªn{VE[#SUa>c,V<^\@]xca>c,VEc±QMr@f_u

^,¨Q5[`QMabr^NV#Pc±d>V#P[N\>SUrbrbV`fjlb\>SMcS3r>SU^NabPSŽfªPNV`]kr@]_^,]xSŽf˜]_ÅESU^,]_QMr QU“•[`QMabr@^V#Pc#l@a>c,VEcS<…MVE[`^QwP Swc

QMdbd{Qc,VEp¾^Q§S3T§SJ^P,]˜tlbSUr>p]xcc£]_T5d@f_V#PE¤

&%%${e 5e

¥\bVqSMcour>[N\bPQMrbQMa>cpw]xc,^P,]_nbab^VEpc,uvco^V#T [`QwT5dbP,]xc,VEcCS ²>r@]k^NVqrabT3n{V#P1QJ“>dbPQv[`VEcNc,VEc jVESM[N\

QU“q¨q\@]x[N\!]xc …M]_V#¨VEp SwcHS®coV!%MabV#r>[`VQU“qV#…MV#r@^cq^\>SU^H[`QwT5T3abr@]Í[#SJ^V§¨ ]k^N\!VESM[N\!QM^\bV#P<nu

SMcour>[N\bPQMrbQMa>cc,V#r>pw]_rbR SJr>p©PVE[`V`]_db^‰QU“T5VEccSJRMVEc§SgfkQwrbR SUr@u©QU“H^\bV¾²>r@]_^V rabT3n>V#PQU“

abr@]xpw]_PVE[`^,]_QMr>SŽf[N\>SUrbrbV`fxc#¤G‘!V3a>c,Vl@l@lSUr>p 3^QPV`“µV#P^NQ§dbPQb[`VEcc,VEcmlSUr>p¦a>c,V"!$#&%'^Q

PV`“«V#PH^NQ°S‰[N\>SUrbrbV`fž“«PQMT( ^NQ)¤G‘ V%a>coV+* -,/.·¯ ^Q®p@V#rbQM^NV5V#…MV#r@^QU“ c,V#r>pw]_rbR ¯ ^NQ®S

c,d{VE[N]˜²>VEp»coV#^6QJ“•dbPQb[`VEcc,VEc/,H¬@¨q\bV#rbV#…wV#P0, ]Íc rbQM^PV`f_V#…gSUr@^Elb¨Va>c,V1* C^Q5p@V#rbQM^NV^\bV

c,V#r>p V#…MV#r@^E¤’¥ \bV§V#…MV#r@^"* -,/.·¯ QwP"* ]Íc3SU^NQMT3]x[U¤‘!Va>c,V32'<^Q p@V#rbQM^V‰S‰PVE[`V`]_db^

V#…MV#r@^SU^4@¬>SUr>pa>c,V5 ' .¯76ž^Q§p@V#rbQM^NV0<PVE[`V`]_…M]_rbR®¯76«¤bZ PVE[`V`]_db^V#…MV#r@^]xcSU^QMT3]x[U¤0åQMP

1$+86 1L

(8)

ST5VEccSJRMVH¯76xl{¨VPV`“µV#Pe^Q§ST5VEccSURwVHc,V#r^ ]kr ^\bVd>Swc,^QJ“ * .¯76žn@u®¯ SUr>p¦S3T5VEccSJRMV

c,V#r@^]_r®^N\bV“«ab^abPVQU“* 6žn@u°¯ 66¤

Z dbPQv[`VEcNc+ PVE[`V`]_…MVEc‰¯76qn@u©V`tvVE[`ab^o]krbR9[`QMT5T§SJr>p !! .¯76

.‰¯76

.°¯76

!l

¨q\bV#PNV§¯

6

@l¯

6 {lSUr>p ¯

6 `—‰SUPV3…gSUPo]ÍSJn@fkVEc<^Q¨q\@]x[N\ SUPV5SMcc.]kRwrbVEp ^\bV3]xp@V#r@^,]˜²>V#PHQU“

^\bVHcoV#r>p@V#P6QJ“•¯76«lM^\bV^,ud{VQU“’¯76 .p@V`²>rbVEpn@u5^\bVdbP,]_T3]_^,]_…MVHa>coVEp5^Q5c,V#r>p‰¯76lbSUr>p^\bV

[`QMr@^V#r@^cCQJ“¯

6

lwPVEc,d{VE[`^,]_…MV`f_uM¤Ze“«^V#P]xcc,a@]_rbR5^\bVq[`QMT5TSUr>pGl e¨qSŽ]_^cCabr@^,]˜fª¯

6

]xcžp@V`f˜]_…MV#PVEp

^Q ]k^Ž¤

$GV#^ 5n{Vq^\bVc,V#^CQU“ªc,V#r>p3SUr>p<PVE[`V`]_db^CV#…MV#r@^c^\>SU^\>SUdbd{V#rH]_r5^N\bV couvc,^NV#T®¤#‘!VqSMccoabT5V

^\>SJ^CrbQ%c,dbabP,]_QMa>c±T5VEcNcSURMVEcCSUPNV Swpbp@VEp§SUr>p T5VEccSURwV6^NPSUr>c,T3]xcc.]kQwr5^SU­MVEc'²>r@]_^V^,]_T5VM¤w‘!V

SMcNc,abT5V‰^\>SU^3VESM[N\´T5VEccSURwV5]xc5c,V#r@^5a>c£]_rbR!QwabP%dbPo]kT ]k^o]k…wVEc#¤ž‘ V§T§SJ­MV§rbQ´SMcc,abT5db^o]kQwr>c

SUn{QMab^q^\bV<PV`fxSU^,]_…MVHc,d{V#VEp¦QU“’dbPQb[`VEcc,VEc#¤

¥\bVHc,ubc,^V#T1\>SMc±“«QMabPqdbP,]_T3]_^,]_…MVEc<—U›£  l`›j &'lª™`›£  lbSUr>p ٛ£  l@SUr>p¨VPV`“«V#P

^Q®STVEccSURMV5¯

6

c,V#r@^a>c£]_rbR®^\bV#T n@u

6

l

6

l

6

lªSJr>p

6

lGPVEc,d{VE[`^,]_…MV`f_uM¤‘!V3PV`“µV#P^NQ‰^\bV

“«QMabPqdbP,]_T3]_^,]_…MVEc[`QJfhf_VE[`^,]_…MV`f_u SMc3”2ž HSUr>p¾RU]_…MV^\bV`]_Pp@V`²>r@]k^o]kQwr>ce“µPQwT †

½Í‹_ ½ '_b‹ÍÂ! #"‰$%$½G½vÃ'&H½#(jÂGŒŽ½*),+.-0/214365Yš8797 :<;"=#— >&>— ?™

@ > _  Ù¡ ‰ 3šM–x–4m  E–˜š ٗ ©— 6  #Ÿ m¡' Ù¡š

@ 66 6AB?C

š

66

¡@š:797 : — Ù¡

 #š D7 ,—&# ` š

¡š:77 &&?‰–˜— šM–Ù– E — 66GF Ù¡1 # H7 ! 2 «— Ù¡D7 ,—&# ` *I E–˜—&KJ>ž—

A4LMC

_ Hš)*NAx¯OC5š P

66 Í  Ù¡ !7 C—4¯Q>•—RAHS:C Ù¡! T Í  Ù Hš

62U   Ÿ Ù¡š

@

6@ 66

½Í‹_ÂV-6?W>Šm‹3Â( ½#XG½{‹

6 3

Y$

6[Z]\

U^P

@ 6._

½Í‹_Âa`b?cG‹)ŒŽ½®ÂP(©½#XG½>‹

63

d 6DZ]\

66

^P

6@ 66._

½Í‹_Â/ J›.— ! «šeJ 3!¯ 6 Í q #š . «— J›.— ! «šeJ fA `š95šJ hg –˜—™šw–x– ! «šiJ  jICY¯

* -,/.·¯ [klY* -, 6.·¯76 •š P Ù¡ ! "KT Í  Ù    Ÿ Ù¡š mk ,on , 6>š ' [kld '.¯76 -

½Í‹_Âqpq? 6.3 r 6 Í q && CŸM  D7 !H—J›j & s tw—!# >—  u7/ m ›

x—®— r

6

U›,— ! «šeJ š Ù¡! # `  š — š Ù¡! m  #š ! U›.—!! «šeJ U

6

½Í‹_Âavb?

63 w

6

Í 6š%¯

6   GŸw  G7 !›£  *s M—!m  U›,— ! «šiJ

š m  #š > Ù¡š Í ?>=xY¯ . . ,/., 6 +* , .œ¯ [klY* -, 6.·¯76 zy {k ,|n , 6

' [klY ' 6 -

6'6 à26 `óî

(9)

½Í‹_Â?6.3 6&_ š ¯76> && >Ÿw  7 ™`›£  — # `  š U›,— ! «šeJ# 

.> Ù¡š Í :>/=xY¯ 66. 6., 6., 66 * , 66.·¯ 66Nk6d * -, 6.·¯ 6 %y) 6 k , 6 n , 66

&6

66 k d

6 6 -

½Í‹_Âb

63 6 _ Hš®¯ 6  & CŸw  N7 ! ٛ£  s M—#  >— U›,— ! «šiJ

š m  #š 7>—# `  š U›,— ! «šeJ# 

=x¯ .¯766. .&6. ,/., 6., 66

* -,/.·¯ k Y* -, 6.·¯ 6 ly Uk ,|n , 6

y* , 66.·¯766Nk6d * -, 6.·¯76 ly 6k , 6tn , 66

',¯ [klY '

6 ly 6

66 kld

6

6 -

ƒeQM^V5^N\>SU^^N\bV3“µabr>[`^o]kQwr!QU“ S

[#SJrbrbQM^n>V§Sw[\@]_V#…MVEp a>c£]_rbR±cSUr>p6#c#¤GZefxc,Q>lGrbQM^V^\>SU^

^\bVQwPp@V#P]_r®¨q\@]x[N\»SUr{3[#SUr‰n{VPVE[`V`]_…MVEp¾]xcPVEc,^Po]Í[`^NVEp‰p@abVH^Q3PVEc,^NP,]x[`^,]_QMr>ccod>VE[N]˜²>VEp¦nu

QM^N\bV#PqT5VEccSJRMVEc#¤

,jr ^\bV5c,V!%wabV`flG¨V<a>c,V®™ q^NQ5PV`“«V#P^Q§SUr!¯ ^N\>SU^q]xcV`]_^\bV#P QMP

l’—E ^Q§PNV`“µV#P^Q‰SUr

¯ ^\>SU^ ]ÍcV`]_^\bV#P QMP le^Q5PNV`“µV#P^QSUr»¯ ^\>SU^ ]ÍcV`]_^\bV#P QMP Ul{SUr>pf

^Q5PV`“«V#P^Q

SUr ¯ ^\>SU^±]xcqV`]_^\bV#PN¦QMP

¤

”2ž ®[#SUrn{V‰]_T5d@f_V#T5V#r@^VEp a>c£]_rbR 0Ëj[\>SJrbrbV`fÍc _Wj¤ 0Ëj[N\>SUrbrbV`fxc[#SUrn{V‰]_T5d@f_V#T5V#rbË

^VEp¾a>c£]_rbR°SJruQMrbVT5VE[N\>SUr@]xc,T SUT5QMrbR>l@VM¤ãRc,V`f_VE[`^,]_…MV >Q@Qvpw]_rbR ·€jl{[`QMabr^NV#Pc _WE~@lGW3!£lQwP

SM[N­@rbQg¨ fkVEp@RwT5V#r^`c#lGQMP%S‰[`QwT%n@]_r>SU^o]kQwr QU“^\bV5^\bPNV#VM¤ÄMQ”2ž §[#SJr SŽfxc,Q‰n>V]_T5d@f_V#T5V#rbË

^VEp´a>c.]krbR´SUru QMrbV‰T5VE[N\>SUr@]xc,TSUT5QwrbR>lVM¤ãR!c,V`f_VE[`^,]_…MV>Q@Qvpw]_rbR>l±[`QMabr^NV#Pc#lQMP5SM[N­rbQU¨qË

f_VEp@RMT5V#r@^c#l±QMP5S![`QMT3n@]_r>SU^,]_QMr QU“^\bV¦^\bPV#VM¤Zr©]_T5d@f_V#T5V#r@^SU^,]_QMr a>c£]_rbR SUr@u´QU“Y^N\bVEc,V

T5VE[N\>SUr@]xc,T§cml{]h“6cod>VE[N]˜²ª[#SŽf˜f_u p@VEc£]_RMrbVEp¦“«QMP5”2± %[#SUr®n{V3T5QMPVV`È°[N]_V#r@^^\>SUr SUr‰]_T5d@f_V#Ë

T5V#r@^SU^o]kQwr5QU“q”2ž a>c£]_rbR 0Ëj[N\>SUrbrbV`fxc±¨q\@]x[\®SJPV]_T5d@f_V#T5V#r@^VEpa>c£]_rbR3^\>SU^žTVE[\>SUr@]xc,T¦¤

,£r®^\@]xced>SUd>V#Pq¨VHp@V#T5Qwr>c,^PSU^NV^\@]xcqa>c£]_rbR§[`Qwabr^V#P`c#¤

&%‰"%$'&M- C*M#

¥'Qf_VESMp3a>c^QSc£]_T5d@f_VqdbPVEc,V#r@^SU^o]kQwr%QJ“ª^\bV±]_T5d@f_V#T5V#r@^SU^,]_QMrlw\bV#PVMlU¨V6V`tb^V#r>p3p@V`²>r@]_^,]_QMr

QU“ " Ÿw `¡M› «— › ·~{“«PQMT S<nbPQ@SMpb[#SMc,^V#r@…M]_PQMrbTV#r^^Q5SUrV#r…w]_PQMrbT5V#r@^]_r‰¨q\@]x[N\®S

T5VEcNcSURMV[#SUrn>Vc,V#r^^Q3S3c,abn>c,V#^QU“dbPQb[`VEcc,VEc#¤@‘!Vp@V#rbQM^V^\bVPVEc,a@f_^,]_rbR5^,]_T5VEc,^`SUT5dnu

lb¨e\@]Í[N\‰]xcSMcc£]_RMrbVEp¾…gSŽf_abVEca>c£]_rbR "qŸM `¡M› «— E–˜— Jª¤/0'f_a>c,\bË«…MVE[`^NQMPËj[Nf_Qv[N­‰QU“ l

!]xcS

…MVE[`^NQMPQU“’V`f_V#T5V#r@^c±QMrbVjV`f_V#T5V#r@^Cd>V#Pqabr@]xpw]_PVE[`^,]_QMr>SŽfž[N\>SUrbrbV`fj¤>Çf_V#T5V#r@^c±QU“’^\@]xc…wVE[`^QMP

SUPNV SJPPSUrbRMVEpY]_r5^\bV±f_V`t]x[`QMRMP`SUdb\@]x[qQMP`p@V#P•SUTQMrbRY[N\>SUrbrbV`fxcCa>c.]krbR<d>SŽ]_Pc·c,V#r>p@V#PŽlUPVE[`V`]_…MV#P

“«QMP%[N\>SUrbrbV`fxc#¤žÇ•f_V#T5V#r^3QU“

!3QMP

“µQMP3[\>SJrbrbV`f ! % ¨]˜f˜fn>VPV`“«V#PPVEp ^Q®SMc

! .QwP

SMc

. £¤>¥\bV5cSUT5V

]xcSMcc£]_RMrbVEpº^Q)* 6SJr>p»¯ 6 SUr>p¾]xcHp@V#rbQM^NVEp®n@u * 6 SUr>p

¯76

¤ ±u‰p@VEc£]_RMrlGS5PVE[`V`]_…MV<V#…MV#r@^]xcqrbQM^SMcc.]kRwrbVEp®S

¤0'f_a>c,\bË«…wVE[`^QMPË«^,]_T5V ]xcqQU“CRMV#rbV#PSgf

a>c,V3¨]_^\¦PVEc,d{VE[`^^Q5d>Qw^V#r^o]ÍSgf¢[#SUa>cNSŽf˜]k^,u‰QU“6Sgfhf*

6

±]kr6 ´SUr>p]xcedbPV`“«V#PSUn@f_V3^Q§…wVE[`^QMP

1$+86 1L

(10)

^,]_T5V·@l>Wm† >c£]_r>[`VMlbSU^6S<[`QMT5d>SUPSJn@fkV[`Qc,^ElJ]k^±dbPQU…M]xp@VEc±T5QMPNVqPVESMc,Qwr@]krbR<d>QU¨V#P6SUr>p P,]x[\bV#P

“«abr>[`^,]_QMr>SŽf˜]_^,uMlžVM¤ãR{¤a>c,V]_r´]_T5d@f_V#T5V#r@^,]_rbR 0q̱ZHÄ¥qc<¨q\@]x[N\´]_r>[`PVESMc,V‰^\bV‰r@abT3n>V#P3QU“

d{Qcc£]_n@f_V3QMPp@V#Pc±]_r¦¨q\@]x[\¦T5VEccSURwVEcq[#SUr‰n>V<PVE[`V`]_…MVEp [`QMT5d>SUPNVEp^QÌ e̞ZHÄ¥ec ·‚j¤

‘!V»p@VEc£]_RMr S0”q–˜—™NšM–ž–˜Ÿw ¡ š !E” š “µQwP°S l±¨q\@]x[\9V`tbVE[`ab^VEc‰SU^^\bV

cSJT5V°c.]k^NV°SMc lV`tbVE[`ab^VEc'lT§SŽ]_r@^SŽ]_r>c

!5Swc¨V§c,\>SŽf˜fpw]xc[`a>cc#l±SMcc£]_RMr>c * .¯76

SUr>p

¯ 6

lbPNVE[`V`]k…wVEcqT5VEcNcSURMVEc±“«QMP ¦c,V#r^n@u°SUr@udbPQv[`VEcNc#lªSJr>p‰p@V`fh]_…MV#P`cT5VEccSURwVEc^Q ¤¥\bV

^P`SUr>c,T3]xcc£]_QMr‰QJ“¢SUr‰¯76>^NQ!”»š °“µQMPqS<PVE[`V`]_…MV#PV#r^`SŽ]˜fÍc ^PSUr>c,T ]ÍcNc£]_QMr‰QU“C^\bVq]xp@V#r@^,]˜²>V#P

QU“C^\bVHc,V#r>p@V#PQU“ž¯ 6l^N\bVH^,ud{VQU“ž¯ 6lb^\bVH¯ 6

lbSUr>p¾^\bVH[`QMr@^V#r@^c±QU“¢¯ 6 ¤

̞V#r^NPSŽfC^Q‰^\bV§p@VEc£]_RMr QU“

!]xc ^\bV3]xp@VES‰QU“qn>SU^`[\@]_rbR‰T5VEccNSURMVEcHcoV#r^n@u»S¾dbPQv[`VEcNc

^Q5SUrbQw^\bV#PdbPQv[`VEcNcqc,a>[N\§^\>SJ^6Qwr°c,V#r>pw]_rbRQU“•S‰™ e^\bVH[`abPPV#r@^n>SU^[N\°[Nf_Qc,VEceSUr>p‰S<rbV#¨

n>SU^`[\QMd>V#r>cm¤v¸c£]_rbR3^\@]xc¢]Íp@VESål^,¨QH[`QMabr@^V#PcSUPVeT§SŽ]_r^`SŽ]_rbVEpnu ”»š“µQwPžV#…MV#Pu"! #&%' l

¨q\@]x[N\§^NQMRMV#^\bV#P'“µQwPT

!. j¤#¥\bV²>Pco^ž[`QMabr^NV#P]Íc

!.

™ 7ªlU¨q\@]x[\ ]Íc¢^\bVqr@abT3n>V#PCQU“

™   jQMP[Nf_Qc,VEpn>SU^[N\bVEc•c,V#r@^C]_r^\bVqd SMco^6SŽf_QMrbR1!$#&%'E¤M¥ \bVYc,VE[`Qwr>p§[`QMabr@^V#P¢]Íc

!.

 E™ £l

¨q\@]x[N\5]xc±^\bVqr@abT3n>V#P±QU“T5VEccSURwVEcžc,V#r@^žc ]_r>[`V^\bVfxSMc,^™ b¨qSMcCcoV#r^ jQMPC^\bV[`abPNPV#r^±n>SU^[N\

¨qSMc QMd>V#rbVEp&SŽf_QMrbR ! #&%' ¤ÇžSw[\!V`f_V#T5V#r@^

! .G]xc3S‰d>Sg]kP<QU“q^,¨6Q]_r^NV#RMV#Pc#¤'‘!V5rbQM^VS

PV`fxSU^o]kQwr>c,\@]_d§n{V#^.¨V#V#r3^,¨Q]_r^V#RwV#PcQU“ªc,a>[N\§Sed>SŽ]_PE¬

!.

  ™ @]xcCPV`]_r@]_^,]xSŽf˜]_Å#VEp^Q q¨q\bV#r

! .

™ 7]Íc']_r>[`PV#TV#r^VEp<n@uQMrbVM¤E¥\@]xcCc,abRwRMVEc,^cG^N\>SU^’c,a>[N\5Sd>SŽ]_Pž[#SUrHn{VC]_T5d@f_V#T5V#r@^VEp

a>c£]_rbR‰QMrbV<¨QMPpU¤ 0åQMPqd>SŽ]_PcQU“]_r^NV#RMV#Pc#låf_V#^ p@V#rbQM^V<^\bVf_V`t@]x[`QMRMPSUdb\@]x[3QwPp@V#P,]_rbR>¤{‘!V

p@V`²>rbV SJr>p0PNV`fÍSJ^,]_QMr>cQMr‰^,¨Q >a>c,\bË«…MVE[`^QwPËj[Nf_Qv[N­®…USŽf_abVEcQMPq^,¨Q%^o]kTVEc,^SUT5d>c

c#l>Swc

“«QUf˜f_Qg¨c

½Í‹_ ½ '_b‹ÍŠ Ã ©‹Á3 ŠªÀ4XG½vJ‹#ªŒŽÀ('_Xb ' G½vŠmªŒ‹`Á% ‹ ½bŠ#‹# $’Š

Ši3

— š F — "qŸM `¡M› !! «— Ž–h— JEšw–hŸ# H— F — #  «š 7> 

 ?>  š

š P

š ! % .

.

š P

š Ù¡ KT Í  Ù  ! #&%'  #Ÿ Ù¡š

.

.

÷

ä£âãè·òä,ÝjÜ)#èãâãèhëÙÿ5æNùÜeûä.á«ájÜNé`ä6ߎä,øgä,àŽßEážæ`à3ë$&Eä±ç.æ`ûûžÞŽà#è·çÜëÙè·æ`à‰ÜÝ«ç&#è·ë«ä,ç,ë«ÞEÝ«äÜNàEß FGèãâãâ')gäßmè·á«ç.ގá«á«ä,ß

âhÜNë«ä,Ýgûä,á«ájÜé`ä,áûqÜ,ÿI)UäCßEä£âãè·ò`ä,Ý«ä.ßè·àHÜNàqæ`Ý«ßEä,ÝßmèJä,Ý«ä,à#ë'ùkÝ«æ`û´ë$&EäCæ`Ý«ßEä,ÝæNùvë$&Žäjè·ÝÜÝ«ÝÙè·òÜoâ>Üë "!$#&%('ù_æ`Ý

ë$&ŽäžÝ«ä,ç,äjè·ò`ä,Ý,ìF &#è·ç(&ûqÜ,ÿ<)gä±ß#èMä,Ý«ä,à#ëù_Ý«æ`û©ë$&EäCæ`Ý«ßEä,ÝæNù>ë$&Eä£è·Ý’á«ä,àŽß#è·àEéŽõ

)

6Gä,çÜoâãâ+*gÝ«á«ëGë$&gÜNë,

Ö

ߎä.àŽæë«ä,áÜCûä,á«ájÜNéäCë$&UÜëGûqÜ,ÿ)Uä’ä£è·ë$&Eä,ݒÜ-æÝÜ.GÜàŽßqá«ä,ç,æàŽßë$&UÜëGàEæ±ûä.á«ájÜNé`ä

çÜNà0/2143

×NÑ65jÖ

%67

Ñ

Ü8,

Öõ

9;:=<>@?:=A4BDCE<

Ò , Ö

çÜNà)gäGÝ«ä,øEÝ«ä,á«ä,à#ë«ä,ßI)#ÿžë$&ŽäF*gÝ«á«ëHG

ð˜â·äÜNá«ë>áÙè·é`à#è*UçoÜNà#ëjô)mè·ë«áÜNàEß

:=<>@?:=A4BDCE<

, ÖØ

)#ÿžë$&EäGàŽäE=#ë

G )

)#è·ë«áæNùvÜ*FGæÝ«ßeæùIG

)KJ G

)#è·ë«á,õá«áÙè·éàmè·àEéqá«ÞŽç(&qá«ä,ûqÜNà#ëÙè·ç.á'Ý«ä.ߎÞEç,ä,áGë$&Eäç.æ`á«ëGæù@æގÝ>è·ûømâ·ä.ûä,à#ëjÜNëÙè·æà

ù_æ`ݞÜ,âãâøEÝjÜNç,ëÙè·çÜ,âøEގݫøUæá«ä,áqÜàŽß3û ÜoÿàEæ`ëžçÜގá«äqÜà#ÿ<æòä,ÝMLUæ!F ç,æ`ûøgÜNÝ«ä.ß3ë«æÞEá«äqæNùëLFGæIFGæ`Ý«ßEá¢èãùNG

è·á

çÜNÝ«äjù_Þmâãâ·ÿá«äjâ·ä,ç,ë«ä,ßMõ -Žæ`Ýä=EÜûø#â·ä`ìUù_æ`ÝKG

) J G O

5ÜNàEß&G

O

#ìMÜáâ·æàŽéYÜNáCïôGë$&EäCà#ގû:)Uä,ݒæNù>á«ä,àEßEá

Üoâ·æàŽé6Üç &gÜNàEàEä£â)Uä,ëLFGä,ä,àžëHFªæá«ÞEç,ç,ä,á«áÙè·òäP,

Ö

á,ìÜNàEßI ôåë$&EäGà#ÞEû )Uä.ÝGæNùQ,

Ö

áá«ä,à#ëªÜoâ·æ`àEéCë$&Eä'ç(&gÜNàEàŽä£â_ìEäÜç&Mìè·á

àŽæë{û6æ`Ý«äë$&UÜà 9R)

ðxÜ)Uæގë *)#èãâãâãè·æ#àŽájô£ìgë$&mè·áGÝ«ä.øŽÝ«ä,á«ä.à#ëjÜNëÙè·æ`àߎæ#ä.á{àEæ`ëbâ·äÜNßqë«æžÜàæò`ä,ÝMLgæ!F¢õK-ŽÞŽÝ«ë$&Eä,Ý,ì#û6æ`Ý«ä

LUäE=`è)mèãâãèhëÙÿè·àÜ,ò`æè·ßmè·àEéæòä,ÝMLUæ!F®çÜNà )gäžÜNç(&mè·ä,òä,ß )#ÿqøŽÝ«æò`è·ß#è·àŽéYÜNàYÜ)#èãâãè·ëÙÿHë«æ±ç(&UÜàŽéäPG

)#ÿÜá«á«æ#ç£èhÜNëÙè·àEé

FGè·ë$&äÜNç(&ä£â·ä.ûä,à#ëCܞò`ÜÝÙèhÜ)#â·äë$&gÜNëéNè·òä,áè·ë«áò`Ü,â·ÞŽäõ

6'6 à26 `óî

(11)

¸c£]_rbR5p@V`²>r@]_^,]_QMr1*¨Vq¨eP,]_^VqPa@f_VEc¢“µQwPžabdªpbSJ^,]_rbR

!±“«QMPC^\bV”»š “«QMP 5dbPVEcoV#r^VEp

rbV`tb^E¤Zq^SUr@u5^,]_T5VMlGš ?U›£  ž\>SwcT5VEccSJRMVEc±^\>SU^\>SŽ…MVYSJPP,]_…MVEp‰SU^^\bV‰” š “«QMP

nbab^q\>SŽ…MVerbQM^n>V#V#r‰dbab^]_r‰^Qr E–4!!,š™m–4#›j ! `¬E–4!,š™m–m›j ! \>SMcSŽf˜fT5VEccSJRMVEc±^\>SU^6SJPV

[`abPPNV#r^,f_u®p@V`f˜]_…MV#PSUn@f_V3^Q

” š

W b^PabV

@

{ÇtbVE[`ab^V4‰abr@^,]˜f]xccoabVEcSUr * -, 6.·¯ 6žQwP SJr 2 #M¬

WM¤ÍW (]xcc,abVEp¦SUr * , 6.·¯76ž‹G½

WM¤ÍWM¤_W “«QMPVESM[\ rk , 6

Ã'Â3

! .

 m™ Z

! .

  ™ W Âñ¬

WM¤ÍWM¤·~/ * ,¯76 Z

!E¬{¯76

Z

!E¬åV`tvVE[`ab^V * -, 6 .·¯76QU“¬

WM¤ÍWM¤·€/ (6¯

6

]xcS®™ ž‹G½P

“«QMPVESM[\ rk , 6Ã'Â3

! .

™ 7 Z

!.

™ 7 WM¬

!.!

 E™ Z å¬ÂÃ

WM¤œ~/ (]xcc,abVEp¦SUr)2 # SUr>pf Ž–4!,š™#–4m›j ! Z 3^\bV#r

WM¤œ~b¤_W [N\bQQcoVHSUru‰¯ 6 “µPNQMT E–4!!,š™m–4#›j ! `¬

WM¤œ~b¤·~/

Z¯76

¬@]˜“¢¯76{]xcS®™ {“«PQMT(<^\bV#r

. / ZH™

./

™ 7HWMl(¬

WM¤œ~b¤·€/ ! Z9 #Ÿ7tA

>

!MCM¬ H‘9\bV#PV ®p@V#rbQw^VEcq^N\bVV`fkV#TV#r^,¨]xc,V<T§SŽt@]kT3abT a>c£]_rbR

WM¤œ~b¤ã† p@V`f˜]_…MV#PY¯76G^Q/¬@V`tvVE[`ab^V12 #HQU“¬{p@V`fkV#^NV%¯76{“µPNQMT Ž–!,š™#–4#›£  %2

¥\bVrbV#^,¨6QwP­5\>SMcqS T5VEccSURwV“µQMP

@

SMpbp]_^^NQ°š ?J›j ! ±“«QMP

ªš ?J›j ! Z

@

rbQMrbËjp@V#^V#PT3]_r@]xc,^,]x[#SŽf˜f_u!c,V`f_VE[`^YSJr®¯“µPQwT š !:U›j ! `¬

]˜“[ Ž–4!,š™#–4#A C^\bV#r®Swpbp‰¯ ^QU Ž–!,š™#–4#›£  žSUr>p¦p@V`fkV#^NV%¯“«PQMT š ?U›£  ¬

0 E–4!.š@™#–40A C6]xcp@V`²>rbVEp¾“µQMP^\bVRJ]k…wV#r»[`QMT5T3abr@]x[#SU^,]_QMr SUn>c,^P`SM[`^,]_QMr>c

¥\bV ]_r@]k^o]ÍSgfh]_ÅESU^o]kQwr ]xc Ž–!,š™#–4#›£  lGš ?U›£  Z bl@“«QMPqVESM[N\)3SUr>p+

! .

™ 7 .

! .

  ™ Z .

¥\bV“µQJfhf_QU¨]_rbRfkQ@QMd¾]kr@…gSJP,]xSUr^`c“«QUf˜f_Qg¨ “µPQwT p@V`²>r@]_^,]_QMr>c#¤

s8B

!.

Z0^\bV<rabT3n>V#PeQU“•TVEccSURMVEcec,V#r^qc,Q “SUPenu1‰^Q3<SŽ“«^V#Pqc,V#r>pw]_rbR‰^\bV

fxSMc,^3™ ^Q3w¤

s8L

!.

Z ^\bVr@abT%n{V#PQJ“ ™ ,ccoV#r^coQ3“ SJP6n@u1‰^Q3w¤

s?S

! .]xc3^\bV‰\@]_RM\bVEco^5…gSŽf_abV ja>c£]_rbR H^\>SJ^

! .C\>SMc<^SJ­MV#rlCSMc<d>V#P‰pbSU^S

c,^NPa>[`^abPVEcTSŽ]_r^Sg]krbVEp¾nu"G¤

s bZe“µ^NV#P^\bV ]_^V#PSU^,]_QMr ^\>SJ^f_VESMp¦^Q§c,V#r>pw]_rbR‰QU“žT5VEcNcSURMV<rabT3n>V#P j¨q\@]x[N\º[#SJr®n>V

T§Sg]kr@^SŽ]_rbVEp¦SMcSUr°SJa@t]˜f˜]xSUPu‰…gSJP,]xSUn@f_Vžnu/‰^Q0<SUr>pRU]_…MV#r‰^\>SU^^\bVefxSMc,^%™ C^\>SU^‰c,V#r@^

^Q7¨qSMcqc,V#r>p¾rabT3n{V#PCn@u0¾^Q3Ml Z

!.

¤

ª½@ªŒŽ½ —šM–x–{¯Q>’¯ 6* AÙ¯OC kbY$* 6 * AÙ¯OC

* 6

W<ŒEÂGÂP(0bQUf˜f_QU¨c “µPQwT¹]_r@…gSUPo]ÍSJr^cSUr>p‰SUr]_r>p@a>[`^,]_…MV5SUPNRMabT5V#r@^E¤

ä’ÞŽá«ä•úüŽÛ

?

ï`ï

C

á«ÿ#à#ëjÜ=ð˜è_õäõ! "#ù_æ`ÝÜ'â·æ#æøwì$

?C

#ù_æ`ÝÜàÜoâ·ë«ä,Ý«àgÜNë«äCç,æûûqÜàŽßMìMÜàŽß &%##ù_æÝGÜCé`ÞgÜNÝ«ßMõô

1$+86 1L

(12)

)G° oe eo 9 5 å! #"%$'&(*#+,.-$

)qabP3^SMco­®]xc ^Q»[`QMr>co^PSŽ]_r!T5VEcNcSURMV5PNVE[`V`]kdb^`cHn@u dbPQb[`VEcc,VEc3c,a>[N\ ^\>SJ^T5VEccSURwVEcHSUPVPV#Ë

[`V`]_…MVEp´¨]_^\bQwab^%…w]_QUfxSU^,]_rbR!SUr@u»QJ“^\bV5PVEco^P,]x[`^,]_QMr>c#¤‘!V§p@Q!c,Q¦nu´p@VEc£]_RMr@]_rbR S‰n{QQUf_VESUr

“«abr>[`^,]_QMrq Ž–4!,š™#–4 6q¨q\@]x[\9” š “«QMP a>c,VEc^Q‰p@V#^V#PT3]_rbV§p@V`f˜]_…MV#PSUn@]˜f˜]_^,u!QU“6¯ 6

]_r®^N\bV§š !:U›£  žQU“”»š’¤

Ž–4!,š™#–4

6

0åQMPSUr{

6 HzVE[#SŽf˜fC^\>SU^SUr{

6[#SJrbrbQM^ U›,— ! «šiJ 5SUr@u§Qw^\bV#PqT5VEccNSURMVM¤

]˜“6SŽf˜f•¯‰cec,a>[\‰^N\>SU^* , .œ¯ ’]xc ]_r{Y$* -, 6.?

6 ¢SJr>p"‰n{V`fkQwrbRcq^NQ ,on , 6G\>SŽ…MVn{V#V#r»p@V`f˜]_…MV#PVEp

t HZef˜f•c,a>[N\ ™ .cq[#SJr®n>V ]xp@V#r^,]˜²>VEp¦a>c£]_rbRPa@f_V 5SUr>p‰SgfhfCc,a>[\´—=cq[#SUr‰n{V]xp@V#r^o]h²>VEp¦a>c£]_rbRPa@f_V§WM¤

^N\bV#r®PV#^abPNr Ÿ «]j¤ãVM¤j

6G]xc E–4!,š™m– ^Q

V`fxc,V<PV#^abPr #šM–œ E¬

0åQMPSUr{e6 HzVE[#SŽf˜fC^\>SU^SUr{e6G[#SUrbrbQM^ J›.— ! «šeJ m %S®™ £nbab^qT§SŽu U›,— ! «šiJ 5SUr´—=¤

]˜“6SŽf˜f ™ .cc,a>[N\‰^\>SU^* -,<lx™ ]Íc ]_r Y$* -,

6

.?e

6 žSUr>p"¾n>V`f_QMrbRce^Q , n , 6

\>SE…wVn>V#V#r»p@V`f˜]_…MV#PVEp

ÄMa>[\©™ ,cq[#SUr‰n>V ]xp@V#r^,]˜²>VEp¦a>c£]_rbRPa@f_V

^\bV#r¦PV#^abPr ]¤VM¤e

6

]xc E–4!,š™m– ^Q

V`fxc,V<PV#^abPrO šM–œ E¬

'ͽb A#— . && š x— ¦—4[

# `  š # HC°”"! š ‰¯ 6 š 1>

* -,/.x™ Í  RY$* , 6.œ¯76 ‰š +lk , n , 6G —1TUš ! «– ®¯76

. / ٙ 7oA >Ÿ5™ §— C

™  :>

F

Ù¡‰Ÿ &ŽŸ §™

. / 7!  Ÿ Ù¡š 2 ™ . / ٙ 7 ¯76

. 7 >

š P‰— G#— Ù¡  &

'ͽq-!A#— . && š x— ¦—4[e m  #š m uC”"& š ‰¯76žš P0>

* -,/._—= Í  rY$* -,

6

.œ¯

6 šlk , n , 6

KTgš «– $ Ù¡ #—M–x–˜—

F —=`   ž™ 0

A4BMC— 2`š #¡%™ C #Ÿ Ù¡š B0™

. 7 ©¯ 6 . / 7 >v™

. / k E™ W A >Ÿ5™

—4C§—=`  F Ù¡®Ÿ &ŽŸ

—E

. / #Ÿ Ù¡š 6—E

./ 7 Z%™

./ ٙ 7!š PhB 1—=

.˜ #™ 1™

. k E™

A4LMC s4 6˜ 1 Ù¡&‰¯ 6 . k m™ A !—4C§—=`  F Ù¡‰—=

.! 7 6 . ٙ 7

š P‰Ÿ &ŽŸ 3—E

. k m™

 #Ÿ m¡1 Ù¡š <B —E

. ™ ¯ 6 .! ˜ E™

Ž–· H¯76

. k E™ W{A !—4C°—E  F Ù¡»—E

. ٙ 7%Z¯76

. ٙ 7 š‰Ÿ EŸ5—=

%'&Žä,á«ä 3ÙáÜNÝ«äCá«ä,à#ë')#ÿ )gä£ù_æ`Ý«äžë$&EäâhÜNá«ëP,

Ö

á«ä,à#ë8)#ÿCë«æ : õ

%'&Žä,á«ä 3ÙáÜNÝ«äCá«ä,à#ë')#ÿ±Ü,ù_ë«ä,Ýë$&EäâhÜNá«ëP,

Ö

á«ä,à#ë')#ÿžë«æ : õ

6'6 à26 `óî

(13)

. k m™

 #Ÿ m¡1 Ù¡š <B —E

. ™ ¯ 6 .! ˜ E™

ª½@ªŒŽ½ - ªj(£½‹`¿t3” š 7ª–4 Ù 5”2± 

W<ŒEÂGÂP(6 0åQMP’SD

6SJr>pHSUr@uY¯766c,a>[\3^\>SJ^* .¯766>]xc]_r d *

64 l *

6>]xc]_r Y$* ,¯7664 ¤

ÊeV#r>[`VMlEn@ue“µabr>[`^,]_QMrU Ž–4!,š™#–4 .¯764ªSUr>pPa@f_V bl#rbQqT5VEcNcSURMV J›.— ! «šeJ

6«¤&±ue“µabr>[`^,]_QMr

Ž–4!,š™#–4

6

žSUr>p¾Pa@f_VEc 5SJr>p WMl>SUr{

6

p@Q@VEcqrbQw^ J›.— ! «šeJ SUr@u5T5VEccSJRMVM¤

ª½@ªŒŽ½ `lXª½PG½vŠŽŠe3” š r — F ٖx– E–4!! «— #¡  m  #š

W<ŒEÂGÂP(° DZSM[\ T5VEccSURwV coV#r^<^Q" ¨]˜f˜f n{V5PVE[`V`]_…MVEp nu ^\bV ”»š QU“´SMcT5VEccSJRMV

^P`SUr>c,T3]xcc£]_QMr ^Q^\bV®” š ¦]xcPV`f˜]ÍSJn@fkVM¤GZe^YS3RJ]k…wV#r»^o]kTV%SŽf˜fCT5VEccSURwVEcc,V#r@^q^Q1¦^\>SU^

\>SŽ…MVn>V#V#r´PVE[`V`]_…MVEp´n@u ” š ©QU“ ´SUr>p!^N\>SU^H\>SŽ…MV5T ]kr@]_T§Sgf ^o]kTVEc,^SUT5d>c<SM[#[`QMPpw]_rbR

^Q ¨]˜f˜fHn>V!p@V`f˜]k…wV#PSUn@f_VM¤žu ]_r>p@a>[`^,]_QMr0QMr ^,]_T5VEc,^SUTd>c‰SUr>pc£]_r>[`V S ”»š p@Q@VEc

rbQM^<]_r>p@V`²>r@]_^V`f_u0p@V`fÍSŽu©p@V`f˜]k…wV#Pu©QU“YS¦T5VEccNSURMV^\>SU^]xc5p@V`f˜]_…MV#PSJn@fkVMlVESw[\´T5VEccSJRMV§¨ ]hf˜f

V#…MV#r@^a>SŽf˜f_u®n{VE[`QMT5VHp@V`f˜]_…MV#PSUn@f_VM¤

‡‰ ªÂbÁ 'ͽbà ½j>‹EŠeH‘ Vž^\>SUrb­HSJrbQMru@T5QMa>c'PV`“«V#PV#VEc“µQMP^\bV`]_PC\bV`f_d@“µa@fª[`QwT5T5V#r@^c#¤

¹E*e±6$

_W É´¤Z\@aUyoSb¤±ž–˜Ÿw ¡dbP,]_T3]_^,]_…MVEc “µQwP Swc,ur>[N\bPQMrbQwa>cqpw]xc,^P,]_nbab^VEp¦c,uvco^V#T§c#¤ s %š x—

,—&# `  !N  l@€U†/.~ ·‚ ªWŽ~bl 0bV#n¤WŽM

·~ É´¤EZ\aUySb¤wZYccoV#P^,]_QMr>cCSUn{QMab^Cd>SMc,^CSUr>p “µab^NabPVC]_r5\@]_RM\@¨qSEubcef_QMn>SŽf >a>c,\5nbPQSwpb[#SMc,^

SUr>p >a>co\bË«…MVE[`^QMPË«^o]kTVM¤!s#— ٗ m   !  #lqW£† * ·~åW v~ *bl )[`^NQMn>V#P

WEMM€å¤

·€ É´¤MZ\aUySb¤GZr3]_T5d@f_V#T5V#r^`SU^,]_QMr‰QU“CC›¢¡š &E–œ #¤s,š b #š ! ٗ å  — Í  P

* Ž  !< #l† # (#w‚ * # # 3 lUabrbV§WEwM€b¤

ã†É´¤Z\@aUySb¤ Zcc,V#P^o]kQwr>c SUn{QMab^´d>SMc,^©SUr>p “«ab^abPV ̞QMT5T3abr@]x[#SU^,]_QMr|]_r S0\@]_RM\bË

d>V#P,“«QMPTSUr>[`V°pw]xc,^NP,]_nbab^VEpc,ubc,^V#T \@]_RM\¨qSŽubc#¤1,£r67 : U 1* 7v—J  ٟ — 6šU›

,šM–x–4Ž–ªš «™#Ÿ : m   MlUd>SJRMVEcq~U†>W v~U†M†>¤,.DZǞÇql{ÆVE[`V#T%n{V#P%WŽMM€b¤

·‚ 3¤·O¤ ¢]_PT§SUrl'Z%¤¢Ä[\@]_d{V#PElCSUr>p O¤¢ÄM^V#db\bV#r>c,QMr¤$ª]kRw\^,¨V`]_RM\^3[#SUa>cSŽfqSUr>p!SU^NQMT3]x[

RMPQMabd‰T3a@f_^,]x[#SMc,^Ž¤ b #š ! ٗ 堗 ž—<7GŸ * Ž  !< #l>.€·~3g~ b€bW`†>lUZabË

RMa>c,^HWŽMbWM¤

(# ¥¤Ì6SJT5dl6O¤VESJPr>c#lSUr>pÉ´¤±Z\@aUyoSå¤ 0>SMc,^n>SU^[N\bVEppbSU^S ^PSJr>c£“µV#P¨]_^\ >a>c,\

[\>SJrbrbV`fÍcm¤¥VE[N\br@]x[#SŽfzV#d{QMP^‘0É vM€ ªWwlE¥\bV̞QJfhf_V#RMVQU“G‘]˜f˜f˜]xSUT SUr>p5É SUPNuMlWEwM€b¤

1$+86 1L

Références

Documents relatifs

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP