Purely Periodic beta-Expansions in the Pisot Non-unit Case

HAL Id: inria-00071966

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

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.

Purely Periodic beta-Expansions in the Pisot Non-unit Case

Valerie Berthe, Anne Siegel

To cite this version:

Valerie Berthe, Anne Siegel. Purely Periodic beta-Expansions in the Pisot Non-unit Case. [Research Report] RR-4619, INRIA. 2002. �inria-00071966�

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

a p p o r t

d e r e c h e r c h e

THÈME 3

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Purely Periodic beta-Expansions in the Pisot Non-unit Case

Valérie Berthé — Anne Siegel

N° 4619

Novembre 2002

Unité de recherche INRIA Rennes

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

Téléphone : +33 2 99 84 71 00 — Télécopie : +33 2 99 84 71 71

$)(#*&'+-,%$.$#/102%&)

3547698;:=<?>A@B>C:DFE8CGHIJJ>LK)<9>;MN>C69O

PRQTSFUWVYXZ\[^]_VF`acbF_dfec]gQTecUAUWV=hiUjacbQkdl]TVnm

dlUjaCopVrqsm'tkec]k]TurVrqsmTbrec]k]'aCdfqqaC]TbrVrq

vw`eCx/VF_By{z7UY|kdfenqV

}~aCkec`_%tkV`VrbQTVF`bQTV€])ƒ‚„N…s†‡Z‰ˆBesŠpVFU|k`V‹nŒnŒn‹Z …F‚A'aCopVrq

Žrs‘;’k“pn” [•_dfq.–—VF˜l˜™hiš7]Tes–+]›_Q'aC_`VsaC˜œ]kU|VF`q#–+dl_Q›ažkk`VF˜lzŸVF`dfe{tNdfbtkVrbFdlUjaC˜V= 7h

'aC]Tqdfec]¡aC`V._QTV`aC_dfec]'aC˜fq~Q'arŠ7dl]koLaWtkVF]TecUAdl]'aC_ec`~breck`dlUWV–+dl_Q¢…sŒN£œ¤VaC`Vdl]_VF`Vrq_Vrt

dl]¢|VF_a;h•V= N'aC]Tqdfec]Tq.–+dl_Q›a¥]Tec]Nhik]kdl_vwdfqec_Y|'acqdfq¦£W¤VAondlŠpVLa¥bQ'aC`acbF_VF`dl§¦aC_dfec]¨eC©R`VsaC˜

]{kUY|VF`qYQ'asŠ{dl]ko!a¥kk`VF˜lz!VF`dfe7tNdfbWV= N'aC]Tqdfec]¢dl]ªqTbQªaž|'acqdfqs£jPRQTVbQ'aC`acbF_VF`dl§¦aC_dfec]

dfq%ondlŠpVF]gdl]‡_VF`UWq~eC©waC]¡V= 7k˜ldfbFdl_BqVF˜™©?h•qdlUAdl˜«aC`5brecUA'acbF_~qk|TqVF_5eC©]Tec]Nhi§sVF`eWUWVsacqk`VYdl]¡a

k`e7tNTbF_5eC©wa­¬TbF˜ldftkVsaC]¡q'acbrVYaC]Tt¥Nh^actNdfbYq'acbrVrq¦£

®‡¯p°±²³ ‘;´n” V= 7'aC]Tqdfec]ždl]ža]Tec]Nhidl]{_VFon`aC˜µ|'acqdfqsmNvdfqec_+]kUY|VF`smk|VF_a;h•qQkd™©¶_sm{VF`dfe7tNdfb=h

dl_^zpmkdl_VF`aC_Vrt‡UWec`kQkdfqU‡mkopVF]TVF`aC˜ldl§sVrtg}BaCk§rzj©¶`acbF_aC˜fq

·¸{¹»ºi¼+¼¾½n¿Às¿ºiÁCÂÃÅÄ;Ʀ½;ÇÉÈ=Ç=ÊFË%ÌBÍÉÎsÏiÐnÂÒÑÓÑÔ¹ÔÂÒºÕÂÄ;Â^Ö¾×r½cØnÂÒºÙÏiÚ;ÂÛÑÔ¹»ºi¼+¼¾ÜÝÞº

߃à

ºi¹ÔáiƦ½cÕÆɼ+Ð;ÁCáÅĦÂwâÂÆÉÁ;ÑÔ¹ÓÂÒÁ{½nÇ=×ÉãÈrËäµÂ/ÎCÎ;Â/áæå/ÂĦÂÒÖp½cõÎCÎCÂÉÜçs¹ÔÂ/è=Â/ÑÞÛ¹»ºi¹ÔáiƦÜÝéº

#%$& %& &'R-$#%$ #$#/)%

 ” ]jqaCdl_wtkVFkkdfqw˜fec]kon_VFUATq{TVR˜fVrq`urVF˜fqœtkec]{_w˜fV+tkuFŠpVF˜feckVFUWVF]{_tkurbFdlUjaC˜)Vrq_

kk`VFUWVF]{_YuF`dfe{tNd{TVAqec]{_.˜fVrq`aC_dfec]k]TVF˜fqYtkec]{_.˜fVWtkuF]TecUAdl]'aC_VFk`#Vrq_k`VFUAdfVF`arŠpVrbg…sŒN£

]›qdl]{_uF`VrqqVžaCN ¢|VF_a;h•tkuFŠpVF˜feckVFUWVF]{_qarzaC]{_Aeck`#|'acqVk]›]TecUY|k`V¥tkV¥vdfqec_#]Tec]

k]kdl_aCdl`Vn£ ]bsaC`acbF_uF`dfqVW˜fVrq¾`urVF˜fqYeck`˜fVrq {TVF˜fqk]Ÿ_VF˜wtkuFŠpVF˜feckVFUWVF]_­Vrq_kk`VFUWVF]_

uF`dfe7tNdTVn£µabsaC`acbF_uF`dfqaC_dfec]¥©iaCdl_—dl]{_VF`ŠpVF]kdl`Rk]¥VF]TqVFUY|k˜fVaCk_eCh•qdlUAdl˜«aCdl`V¾brecUA'acbF_+tkV

UWVrqk`V]Tec]ž]k˜l˜fVtTaC]Tq+k]‡k`e7tNkdl_5t»Vrq'acbrVrq5¬wTbF˜ldftNdfVF]¡VF_+Nh^actNd{TVrqs£

³ s ± “  ” tkuFŠpVF˜feckVFUWVF]_¥VF]¨|'acqVž]Tec] VF]_dfSF`VnmR]TecUY|k`V¡tkVgvdfqec_sm—uF`dfe7tNdfbFdl_unm

UWec`kQkdfqUWVdl_uF`unmTbrec`Tq%Nh^actNd{TVnmN©¶`acbF_aC˜µtkV}~aCk§rzLopuF]TuF`aC˜ldfqu

ÅVF_54Ÿ|V.a#vdfqec_+]kUY|VF`~aC]Tt7698;:,<>=?@4A<CB9UWe{tEDGF—|V¾_QTVacqqe7bFd«aC_VrtH4æhi_`aC]Tq/©Ùec`/h

UjaC_dfec]Å£YPRQTVWaCdlU eC©—_Qkdfq¾]Tec_VdfqB_e¥bQ'aC`acbF_VF`dl§sVW_QTV`VsaC˜]{kUY|VF`qI<Ÿdl]EJKB&4LFMONP QDR

Q'asŠ{dl]ko›a!kk`VF˜lz›VF`dfe7tNdfb>4æh•V= N'aC]Tqdfec] dl]¨_VF`UWqeC©.aC] V= Nk˜ldfbFdl_jqVF˜™©9h•qdlUAdl˜«aC`jbrecUA'acbF_

qk|TqVF_YeC©+]Tec]Nhi§sVF`egUWVsacqk`VWdl]¢_QTVjk`e{tNTbF_#eC©5a‡¬TbF˜ldftkVsaC]›q'acbrVaC]TtTSTh^actNdfbjq'acbrVrq

dl]Tqkdl`Vrt|zVUXWB[/ŒN…nmy{dfVsŒn‹3Y•£¥PRQTVWk`e7eC©%dfqa‡opVF]TVF`aC˜ldl§¦aC_dfec]eC©R_QTVec]TVWdl]ZU»}5[/Œn‹C| Y—eC©~a

qdlUAdl˜«aC`5bQ'aC`acbF_VF`dl§¦aC_dfec]!eC©kk`VF˜lz¥VF`dfe{tNdfbV= N'aC]Tqdfec]Tq5dl]ž_QTVk]kdl_5bsacqVn£

¤V\[T`q_—dl]{_`e{tNTbrV.aY`VFk`VrqVF]_aC_dfec]¡eC©µ_QTVB_•–—eCh•qdftkVrtH4æh•qQkd™©¶_IB&]^8_Q`aFœdl]¥_VF`UWq+eC©a

©Ùec`UjaC˜Åes–VF`~qVF`dfVrq+–+dl_Q¡bre{VbjbFdfVF]{_q5dl]{_eA_QTV`dl]ko;JKNcN4ARcReC©©¶ec`UjaC˜Åes–VF`~qVF`dfVrq%–+dl_Q

bre7VbjbFdfVF]_q~dl]TJIdŖV_QTVF]gec|k_aCdl]¡aA`VFk`VrqVF]_aC_dfec] UjaC‡|z¥oaC_QTVF`dl]ko_QTVqVF_5eC©L[T]kdl_V

ŠnaC˜lTVrqŖ+QkdfbQ#bsaC]|Vw_aCšpVF].©Ùec`aC]z_ecec˜feconze1W5`bQkdlUWVrtkVsaC]Aec`µ]Tec_f|{z_QTV©Ùec`UjaC˜es–—VF`

qVF`dfVrqsm¦_Q'aC_ƒdfqsm;|z_aCš7dl]ko5_QTVœbrecUAk˜fVF_dfec]­eC©#JKB&4.F–+dl_QY`VrqVrbF_µ_eBaC˜l˜_QTVœaC|Tqec˜lk_V—ŠnaC˜lTVrq

ec]HJKB&4.F5–+QkdfbQž_aCšpV¾aYŠnaC˜lTVBtNdhgæVF`VF]_R©¶`ecUiDBec]74œ£PRQkdfqR`VFk`VrqVF]{_aC_dfec]ždfqdl]Tqkdl`VrtL|z

_QTV#opVrecUWVF_`dfb­`VFk`VrqVF]{_aC_dfec]ªacq¾opVF]TVF`aC˜ldl§sVrtŸ}~aCk§rz‡©9`acbF_aC˜fqeC©Rqk|Tq_dl_k_dlŠpV­qz7UY|ec˜ldfb

tNz7]'aCUAdfbsaC˜µqzNq_VFUWq+dl]ž_QTV.]Tec]Nhik]kdlUWe{tNk˜«aC`BbsacqV;e¶qVrV^UÓy{dfVsŒn‹3Y&f=£

j k "#&'$~)R)%$ lnm&'(#l=)&

µVF_4-|VgaŸvdfqec_W]kU|VF`s£ ÅVF_;op8 |Vždl_qjUAdl]kdlUjaC˜5ec˜lz{]TecUAd«aC˜qe9dl_WdfqjeC©tkVFon`VrVsr f=£

µVF_'B&4utQwvwvwvxQy4uzxFAtkVF]Tec_Vgdl_qbrec]cx/koaC_Vrq–+dl_Q{4}|n~4œ£€Tec`ƒ‚ƒ~„D‡_eOr)m˜fVF_ƒ…†¾|V a

J—hÒaCk_ecUec`kQkd«qU eC©.‡ˆ~JIB14 | QwvwvwvQy4uzxF–+QkdfbQ¡qVF]Ttkq4¢ec]‡dl_q5aC˜lopVF|k`aCdfb.brec]cx/koaC_VK4 † £

‰AŠ/‰ ‹.Œ.ŽZ‘#’,“•”,–—p

PRQTV›}~VF]z7dq4Åh•V= 7'aC]Tqdfec] eC©ža `VsaC˜#]{kUY|VF`˜<@™„NP QDRjdfq!tkV[T]TVrt acq!_QTV›qV {TVF]TbrV

B&< †F †&š}| –+dl_Q¢ŠcaC˜lTVrqYdl]œ›GP QDQwvwvwvxQ+4Ÿž Lk`e7tNTbrVrt|{z _QTV4æhi_`aC]Tq/©Ùec`UjaC_dfec]O698O:œ<œ=?

4Ÿ<¡B9UWe7t˜DGF acqR©Ùec˜l˜fes–%q

¢ ‚£¤DQ\< † ~¥+4}6

†&¦}|

8

B&<9F§ž¨QBaC]Ttž_QTq\<H~ª©

†&š}|

< †4

¦#†

v

µVF_ƒr,89B«DGF>~„B¬ †F †&š}| tkVF]Tec_V‡_QTVT4æh•V= 7'aC]Tqdfec] eC©Dn£ µVF_ƒr

G8

B«DGFH~r,8}B«DGF=mRd™©­r®89B«DGFAdfq

dl] [T]kdl_Vnm)aC]Tt>r G8

B«DGFa~¯B&° | vwvwv°§± ¦}| B&°§±{²VDGFyF«³žmNd™©.r®8•B«DGF´~¯B&° | vwvwv°§± ¦}| °µ±­F—dfq*[T]kdl_Vƒe9–+dl_Q

° ±@¶~·P®f=£ ÅVF_HB&]^8_Q`F.tkVF]Tec_Vj_QTVj_^–—eCh•qdftkVrt›qz7UY|ec˜ldfbjtNz7]'aCUAdfbsaC˜qz7q_VFU acqqe7bFd«aC_Vrt

–+dl_Q¸4œ£PRQTV­qVF_¹]^8‡dfqB_QTV­qVF_¾eC©œ_•–eCh•qdftkVrtqV {TVF]TbrVrq¾qTbQ!_Q'aC_VsacbQŸ˜fV=©¶_~_`k]TbsaC_Vrt

qV TVF]TbrV#dfq¾˜fVrqq¾_Q'aC]ec`.V {'aC˜_e>r G

8

B«DGF=£€Tec`UWec`VAtkVF_aCdl˜fqec]Ÿ_QTV4Åhi]kUWVF`aC_dfec]ÅmqVrV

©Ùec`+dl]Tq_aC]TbrVUX€T`epŒn‹km#€k`epŒnŒ3Y•£

¤V.–+dl˜l˜ÅTqVY_QTV¾©Ùec˜l˜fes–+dl]koL]Tec_aC_dfec]Å£R¤V.tkVF]Tec_VY_QTVYVF˜fVFUWVF]_q¾eC©]^8žacq%©¶ec˜l˜fe¦–%qs£R[i©

B&<_†F§†&º3»7™s]^8mNtkV[T]TV­¼H~½B&¼u†F§†+š}|5acq*¼u†Ÿ~Z<_†Òm{©Ùec`‚£ªDnmTaC]Tt7¾¿~½B&¾5†F§†&šuÀcmTacq*¾5†Ÿ~Z<A¦#†/m

äƒä ΨÁNÈFÀs¿Ê

©Ùec`5‚a£{Pk£ ]TV_QTq5opVF_q5aAqV {TVF]TbrVeC©_QTV©¶ec`U

vwvwvGQy¾ t Qy¾ | Qy¾ À Qy¼ | Qy¼ t QwvwvwvGQ

aC]TtW–+`dl_V+dfqœacq\ByB&¾ † F †&šuÀ QGB&¼ † F †&š}| F~¯B&¾%Qy¼}Fv7[^]Wec_QTVF`w–ec`tkqsmp–V%–+dl˜l˜TTqVR_QTV%˜fVF__VF`q)B&¾ † F

©Ùec`%tkVF]Tec_dl]koj_QTV•'acq_aC]Tt˜B&¼

†

Fœ©¶ec`%_QTVi©¶k_k`V£

€kk`_QTVF`UWec`Vnmµ–VA–+dl˜l˜wtkVF]Tec_VA|{zn]

8

_QTVAqVF_.eC©ec]TV=h•qdftkVrt¢qV TVF]TbrVrqK¾ ~ B&¾ †F †&šuÀ

qTbQ _Q'aC_B_QTVF`V­V= Ndfq_q)¼¸~ B&¼ † F†&š}| –+dl_QVB&¾ Qy¼9F¹™˜]^8_vPRQkdfq¾qVF_B–+dl˜l˜|VbsaC˜l˜fVrt _QTVƒ

¨!•"1y;" (®Ù£

[i©~ec]TVLqdlUAdl˜«aC`˜lz tkV[T]TVrq]

8

acq#_QTVLqVF_­eC©Bec]TV=h•qdftkVrt›qV TVF]TbrVrq¼~B&¼ † F †+š}| qTbQ

_Q'aC_Y_QTVF`VWV= 7dfq_qI¾ ~iB&¾ † F †&šuÀ –+dl_Q B&¾%Qy¼}Fq™œ]^8•Qæ_QTVF]O]

8

brecdl]TbFdftkVrq.–+dl_Q_QTVATq'aC˜

ec]TV=h•qdftkVrt‡qQkd™©¶_s£¤V.bsaC˜l˜Ådl_+_QTV^(´!9"1®ƒ" (®Ù£

ÅVF_YTq]Tec_Vj_Q'aC_._QTVW`dlonQ{_ec]TV=h•qdftkVrtªqQkd™©¶_YactNUAdl_q#acqYaž]'aC_k`aC˜œopVrecUWVF_`dfb`VFk`V=h

qVF]_aC_dfec]ž_QTV¾dl]_VF`ŠnaC˜´NP QDR/dkdl]TtkVrVrtžec]TV.acqqe{bFd«aC_VrqR–+dl_Qga#qV {TVF]TbrVB&¼u†F*™T]

8

dl_qR`VsaC˜

ŠnaC˜lTV

†&š}|

¼u†14

¦#†

£#¤VAVFŠpVF]Q'arŠpVjaLUWVF_`dfbWdfqecUWec`kQkdfqU |VF_•–VrVF]O]

8

VF]Ttke¦–—Vrt¢–+dl_Q

_QTV#qQkd™©¶_smaC]TtCNP QDRœVF]Ttkes–Vrt!–+dl_Q¡_QTV#UjaCn6•8£~PRQTV­aCdlU ]Tes– dfq~_ejondlŠpV­aWopVrecUWVF_`dfb

dl]{_VF`k`VF_aC_dfec] eC©¾_QTVžqVF_]^8maC]Tt›QTVF]TbrVž_e!ondlŠpV‡a opVrecUWVF_`dfbž`VFk`VrqVF]{_aC_dfec] eC©B_QTV

actktkVrt‡'aC`_smk_Q'aC_%dfqsm ]

8 £

‰AŠ ¸‘ ´’,‘"!3‘up”¨“•”¨–/—Ÿˆ—$#I”&%a‘('/‘ #µ”T—Ÿa‘ Œ)!–+*a‘,*-!.%´–#µ”/

8

PRQTVaCdlU-eC©k_QkdfqƒqVrbF_dfec]YdfqÅ_e%dl]_`e7tNTbrVa[T`q_aR©Ùec`UjaC˜`VFk`VrqVF]{_aC_dfec]#eC©$]

8

aC]TtYqVrbrec]Tt#a

opVrecUWVF_`dfbsaC˜k`VFk`VrqVF]_aC_dfec]jacqaC]AV= 7k˜ldfbFdl_qVF˜™©9h•qdlUAdl˜«aC`brecUA'acbF_wqVF_eC©T]Tec]Nhi§sVF`e¾UWVsacqk`V

dl]ª_QTVAk`e7tNTbF_#eC©5a‡¬wTbF˜ldftkVsaC] q'acbrVLaC]Tt>STh^actNdfbq'acbrVrq©Ùec˜l˜fes–+dl]koCUXWB[ҌN…nmy{dfVsŒn‹3Y/d_QTV

k`dlUWVrqB–+QkdfbQŸaCkVsaC`.acq´STh^actNdfbq'acbrVrq~QTVF`V–+dl˜l˜|VY_QTV#k`dlUWV.©iacbF_ec`q¾eC©œ_QTVY]Tec`U eC©

4—£

0ų ‘ ’ —‘ ¯21 ‘ ¯  ¯43 s’N65³,3 ³"7 68 ¯  ° ¡Ž ³ 959“ž´ °3 ’ :59“p’ — ° r ¯ ];

8

<¾VF]Tec_V¾|{z>=@? A

8CB

:¨]^8^? JKNcN4}RcRw_QTVB©Ùec˜l˜fes–+dl]koWUjaCÅmN–+QTVF`VIJKNcN4ARcRœdfqR_QTVB`dl]koWeC©µ©Ùec`UjaC˜

es–VF`5qVF`dfVrq5–+dl_Q‡bre{VbjbFdfVF]{_q5dl]sJED

©Ùec`5aC˜l˜B&¾5†/F§†&šuÀ­™T]

8

QF=@?"A

8GB

B&¾5†/F~ ©

†&šuÀ

¾5†&4

†

™sJINN4}RcR§v

]TVbreck˜ft­qdlUAdl˜«aC`˜lztkV[T]TVœ©Ùec`aC]z#aC˜lopVF|k`aCdfb+brec]cx/koaC_V*42HReC©u4œmc_QTVqVF`dfVrqI=@? A

8KJLB :~

… H BM= ?"A8GB F—–+QkdfbQ¡qaC_dfqy['VrqR©¶ec`5aC]{z˜B&¾ †F †&šuÀ

= ? A

8KJ6B

B&¾ †F~ ©

†&šuÀ

¾ †4 †

H

™sJKNcN4 H RcRv

àN

ä à Ã

PRQkdfq5UjaC = ?"A8GB bsaC]¡QTVF]TbrVY|Vbrec]TqdftkVF`Vrt acq5©Ùec`UjaC˜µdl]g_QTV#qVF]TqV._Q'aC_~dl_Btke{Vrq5]Tec_

tkVFVF]Tt‡ec]ž_QTV.bQTecdfbrVYeC©_QTVVFdlopVF]ŠnaC˜lTVK4dT–—V.bsaC˜l˜Ådl_Iw}y§_y"w!u,11!¥eC©.];

8 £

³"1œ³ ³ 5¯  ³)¯ ‘ JKB&4.F

µVF_#Tq­]Te¦– _`z¢_eŸacqqe7bFd«aC_VL–+dl_Q_QTVrqV¥qkUWq­ŠnaC˜lTVrqsm_Q'aC_Adfqsm_en[T]Tta¡_ecec˜fecondfbsaC˜

©¶`aCUWVF–—ec`šždl]g–+QkdfbQŸaC˜l˜Å_QTV.qVF`dfVrq = ?"A

8KJ.B

B&¾­F=m_¾ ™s]

8

mAD r'm'–—eck˜ft¡brec]ŠpVF`opV¨ddl]

©iacbF_sm_Qkdfq¾|ecdl˜fqtkes–+]Ÿ_eƒ[T]TtaC˜l˜_QTV^W5`bQTVFUWVrtkVsaC]ªaC]Tt ]Tec_KW5`bQTVFUWVrtkVsaC]_ecec˜fecondfVrq

ec]ƒJKB&4LF©Ùec`w–+QkdfbQ = ? A8CB _aCšpVrq[T]kdl_V5ŠcaC˜lTVrqs£ ec`V+k`VrbFdfqVF˜lz­_QTV+UWVF_`dl§¦aC|k˜fV~_ecec˜fecondfVrq

ec]TJKB&4F~©Ùec`+–+QkdfbQg_QTVYqVF`dfVrq =@? A

8CB

_aCšpVrq5[T]kdl_VŠnaC˜lTVrq5aC`VeC©_•–—ej_•z7Vrq¦£

y{kkenqVA_Q'aC_._QTVA_ecec˜feconzCe9–+dl_Q›aC|Tqec˜lk_VAŠnaC˜lTVXf¾dfqKW5`bQTVFUWVrtkVsaC]$DYdl_q.`V=h

q_`dfbF_dfec]‡_e^J1brec``Vrqec]Ttkq%_e­_QTV¾Tq'aC˜µaC|Tqec˜lk_VŠnaC˜lTVec]TJ aC]Ttž_QTVF`VV= 7dfq_q5a

Jh^aCk_enUWec`TQkdfqU … †

qTbQ!_Q'aC_<u~… †

B&<9F£.PRQTVAqVF`dfVrq =

? A8GB

brec]{ŠpVF`opVrqdl]

d™©RaC]TtŸec]k˜lz d™©… † dfq.acqqe7bFd«aC_Vrt!–+dl_Q¢a¥brec]cxҝkoaC_V4 † eC©UWe{tNk˜lTqYq_`dfbF_˜lz qUjaC˜l˜fVF`

_Q'aC]gec]TVn£w[^]‡ec_QTVF`+–—ec`tkqsm'_QTVF`V.V= Ndfq_q%a­brec]cxҝkoaC_VK4#†eC©L4œmkeC©UWe7tNk˜lTq5q_`dfbF_˜lz

qUjaC˜l˜fVF`%_Q'aC]gec]TVnm'qTbQ‡_Q'aC_;B&4LF®~B&4

†

Fm7©¶ec`5aC]{z¯™sJKN]TRÒ£

W~qqkUWVW_Q'aC_­_QTV_ecec˜feconzdfq]Tec]Nh/W~`bQkdlUWVrtkVsaC]$D_QTVF`VV= Ndfq_q­a‡k`dlUWVdftkVsaC˜

eC©~_QTVLdl]_VFopVF`A`dl]ko! ? A8CB eC©¹JKB&4.Fj©Ùec`–+QkdfbQ_QTV¥_ecec˜feconz brecdl]TbFdftkVrqA–+dl_Q›_QTV

_QTV œh^actNdfbW_ecec˜feconz•d˜fVF_\Sª|VW_QTVjk`dlUWVj]{kUY|VF`­tkV[T]TVrtª|z"CM$#ˆ~ˆS%#Id_QTV

`Vrq_`dfbF_dfec]!eC©_QTVY_ecec˜feconzž_eƒJ dfq~_QTV5STh^actNdfbY_ecec˜feconzp£+PRQTVqVF`dfVrqE=?"A

8GB _aCšpVrq

[T]kdl_V.ŠnaC˜lTVrq+dl]‡_QTVbrecUAk˜fVF_dfec]s‡'& eC©aJ­B4LFB©Ùec`%_QTV(œh^actNdfb_ecec˜feconz¥d™©waC]Ttgec]k˜lz

d™©L4O™)~£

L¯ 1 ‘ ¯  ¯43 s’N65³ 3  1 ’k“ ¯n‡8 ³,75]

8

µVF_p4 t mvwvwv;mx4

|Vw_QTV—`VsaC˜{brec]cx/koaC_VrqeC©#4˜e9_QTVFzYaC˜l˜{Q'asŠpVœUWe7tNk˜lTqq_`dfbF_˜lz.qUjaC˜l˜fVF`_Q'aC]

Dnmƒqdl]TbrV4¨dfq.vwdfqec_f=mƒaC]TtŸ˜fVF_I4

+*

|sm 4

,*

|rmvwvwv¦m}4

,*.- m 4

,*.-

|V­dl_q.brecUAk˜fV= brec]cxҝkoaC_Vrq¦£

€'ec`0/"1325476{m)˜fVF_¹‡58KJL|V#V 'aC˜_e98 ec`0 tkVFVF]TtNdl]ko¥ec]!_QTV#dlUjaCondl]'aC`zg'aC`_eC©

4 H mkVF]Ttkes–Vrtg–+dl_Qž_QTV.Tq'aC˜Å_ecec˜feconzp£

¤Va[T`q_ƒoaC_QTVF`ƒ_QTVbrecUAk˜fV= Y`VFk`VrqVF]{_aC_dfec]Tq|zYecUAdl__dl]ko¾_QTV—ec]TVrqƒ–+QkdfbQWaC`Vœbrec]cx/Nh

oaC_V5dl]j_QTV~brecUAk˜fV= bsacqVn£PRQkdfqœ`VFk`VrqVF]_aC_dfec]‡brec]_aCdl]Tq+aC˜l˜)_QTV%enqqdl|k˜fV\W~`bQTVFUWVrtkVsaC]

ŠnaC˜lTVrqR©Ùec` = ? A

8GB

£œ[•_+_aCšpVrq+ŠnaC˜lTVrq+dl]

‡ ³

~Z‡58;:=<<>‡58?>A@CB,v

äƒä ΨÁNÈFÀs¿Ê

ÅVF_ .|sm´vwvwv¦m

|VA_QTVWk`dlUWVjdftkVsaC˜fqYdl]ª_QTVAdl]_VFopVF`#`dl]ko¡eC©\JIB14.F­_Q'aC_brec]{_aCdl]C4œm

_Q'aC_5dfqsm

4 ? A8GB ~

†p|

† v e/…Gf

}5VrbsaC˜l˜B_Q'aC_7‡ &€tkVF]Tec_Vrq_QTV!brecUAk˜fVF_dfec] eC©%JKB&4Fž©Ùec`L_QTV œh^actNdfbg_ecec˜feconzp£ ¤V

_QTVF]joaC_QTVF`w_QTV+`VFk`VrqVF]{_aC_dfec]Tqœdl]W_QTV5brecUAk˜fVF_dfec]Tq—eC©}JKB&4LF©Ùec`_QTV+]Tec]Nh/W~`bQTVFUWVrtkVsaC]

_ecec˜fecondfVrqs£

~VF]TbrVec]TVtkV[T]TVrq+_QTV/_"!u¨1!'" ® q ]^8Lacq+_QTV¾tNdl`VrbF_%k`e7tNTbF_5‡58¡eC©aC˜l˜

_QTVrqV¹['VF˜ftkq D

‡8T~‡58;:<˜vwvwv‡58?> @CB<>‡'& <Evwvwv‡'& 8

¦}|

< - <T‡ & < <>‡'&uv

µVF_WTq­]Tec_Vž_Q'aC_A©Ùec`ja ondlŠpVF]¨k`dlUWVSƒmœ_QTV7['VF˜ftkq‡ & _Q'aC_jaC`VSTh^actNdfb7['VF˜ftkqLaC`V¥_QTV

ec]TVrq©¶ec`.–+QkdfbQ -brec]{_aCdl]TqqdlUYk˜l_aC]TVrecTq˜lzHS aC]Tt˜4œ£€kk`_QTVF`UWec`Vnm©Ùec˜l˜fes–+dl]ko¡UÓy{dfVsŒn‹3Y•m

_QTVjk`dlUWVW]{kUY|VF`q\Sª©¶ec`Y–+QkdfbQ _QTVF`VV= Ndfq_qažk`dlUWVjdftkVsaC˜eC©

? A8CB

–+QkdfbQ brec]_aCdl]Tq

qdlUYk˜l_aC]TVrecTq˜lzHSaC]Tt˜4 aC`VV= kacbF_˜lz!_QTVjk`dlUWVjtNdlŠ7dfqec`qYeC©+_QTVjbrec]Tq_aC]_Y_VF`U eC©+_QTV

UAdl]kdlUjaC˜æec˜lz7]TecUAd«aC˜eC©p4œ£[•]L'aC`_dfbFk˜«aC`sm$‡58‡dfq%a¬TbF˜ldftkVsaC]gq'acbrV~d™©aC]TtLec]k˜lzd™©Ÿ4!dfq%a

k]kdl_s£

¬]Ttkes–VrtA–+dl_Q­_QTV—k`e7tNTbF_eC©'_QTV_ecec˜fecondfVrqeC©VsacbQWeC©'dl_qVF˜fVFUWVF]_q¦m¨‡58Wdfqa~UWVF_`dfb

aC|VF˜ld«aC]‡on`eckÅ£

PRQTV;!_¨!#1 L;y®+!4YeC©JKB&4.FBdl]{_e^‡58 dfq%tkV[T]TVrt‡|{z_QTV¾©Ùec˜l˜fes–+dl]koUWec`kQkdfqU D

87:®o;B&4LF™sJIB14LF\=? B1o;B&4utGF

º

:

QwvwvwvQoƒB&4

,*.-

F

º

> @B

Qo;B&4.F

º

QwvwvwvQo;B&4.F

º

F´™T‡58Lv

ž¯ 3 5?65 ³,3! Ÿ( ¾`VFk`VrqVF]_aC_dfec]UjaCŸeC©´]

8#"

&cyec]TV=h•qdftkVrt!`VFk`VrqVF]{_aC_dfec]UjaC

"

+"%®%$a!9y>

=p87:uB&¾ † F †+šuÀ ™s]

8 =? &'(

)

³

©

†9À

¾ †4 †

™T‡8.v

*^>"w,+ 8 :~ =p89B&]

8

Fs¨!_ +51%&($j}BaCk§rzªopVrecUWVF_`dfb¡`VFk`VrqVF]{_aC_dfec] eC©¾_QTV‡˜fV=©¶_

ec]TV=h•qdftkVrt‡qQkd™©¶_5]

8

PRQTVYqVF_-+

8

aCkVsaC`q%_ej|V_QTVY}~aCk§rzL©9`acbF_aC˜acqqe7bFd«aC_Vrtž–+dl_Q a^4æh•qk|Tq_dl_k_dfec]Å£5y{TbQ

`VFk`VrqVF]_aC_dfec]Tq;[T`q_jaCkVsaC`Vrt¨dl]ªU»}~aC#.n‹xY+©Ùec`A_QTV‡PÅ`dl|ec]'acbrbFd5qk|Tq_dl_k_dfec] D'=? D?/Nm

/¸=? D0/Nm1/E=? Dn£ PRQTVLtkV[T]kdl_dfec]–acq#_QTVF]›opVF]TVF`aC˜ldl§sVrt›_e¡k]kdlUWe{tNk˜«aC`Aqk|Tq_dl_k_dfec]Tq

eC©vdfqec_¾_•z7Vdl]œU»}~aC#..Nm9WB[ҌN…cm32+yNŒN…pm}5[/Œn‹naxY•£¹€dl]'aC˜l˜lzpmæ_QTV#tkV[T]kdl_dfec]¢aC]Tt k`ecVF`_dfVrq

àN

ä à Ã

–VF`VjV= N_VF]TtkVrt_ež]Tec]Nhik]kdlUWe7tNk˜«aC`­qk|Tq_dl_k_dfec]Tq#eC©Rvdfqec_Y_•z7VAdl]{UÓy{dfVsŒn‹3Y•£7WqdlUAdl˜«aC`

aCkk`epacbQ Q'acqžaC˜fqe |VrVF] dl]_`e7tNTbrVrt |z y£´W~š{dlzaCUjaªdl]¯UXW~š{d«†.Nm*W5š7d«†n†xY¾dl]Tqkdl`Vrt |z

U»PRQ{#.n†3Y•£

[•]ž'aC`_dfbFk˜«aC`sm'_QTV`Vrqk˜l_q+k`e¦ŠpVrt‡dl]˜UÓy{dfVsŒn‹3YÅQTec˜ft¥©Ùec`+_QTVrqV.qVF_q D

PRQTV.qVF_ + 8

Q'acq~a­qVF˜™©?h•qdlUAdl˜«aC`%q_`TbF_k`Vn£

PRQTV.qVF_ + 8

Q'acq%]Tec]Nhi§sVF`eWUWVsacqk`V¾©Ùec`+_QTV BanaC`+UWVsacqk`VYesŠpVF`\‡58£

PRQTV¾qVF_ + 8

bsaC]¥|VBtNdlŠ7dftkVrt¥dl]_eAa%[T]kdl_V~]{kUY|VF`%eC©tkecUjaCdl]TqR_Q'aC_+bsaC]¥|V~UWesŠpVrt

k‡_e­_`aC]Tq˜«aC_dfec] qe­_Q'aC_%_QTV¾–+QTec˜fV.qVF_ +

8

dfq%dl]ŠnaC`d«aC]_s£

‰AŠ “} '‘,!

%a‘A—'*a‘u ’®“_”,–/—

µVF_´4E~¯B«D 4 ,F /|V5_QTV~opec˜ftkVF]¥`aC_dfekm{_Q'aC_dfqsm{_QTV5˜«aC`opVrq_—`e7ec_eC©A]

t

²T] ²ODn£ ]TV

Q'acqIr®8•B«DGF¹~·D¨DWaC]Tt¸r G8

B«DGF)~ B«DwP®F ³ £ BVF]TbrVq]^8‡dfq¾_QTV­qVF_eC©qV {TVF]TbrVrq¾dl]¡›GP QD3 

»

dl]

–+QkdfbQ¡_QTVF`V­aC`V.]Tej_•–eLbrec]TqVrbFk_dlŠpV… »qs£ ]TV.Q'acq)‡58'~38d_QTV#bsaC]Tec]kdfbsaC˜VFU|VrtktNdl]ko

8Adfq—`VrtNTbrVrt_eY_QTV~UjaC7…

A|y¦ B t mNaC]Tt

89B1JKB14LFyF)~JKB«D.² ,F /,F=£wPRQTVBqVF_ +;8­dfqRaC]

dl]{_VF`ŠcaC˜i£

%a‘ ’®–5—pa“$–).Ž´5‘#’

µVF_^4 |V¥_QTVgPÅ`dl|ec]'acbrbFd%]kU|VF`sm_Q'aC_Wdfqsmœ_QTVžvdfqec_W`e7ec_WeC©~_QTV‡ec˜lz7]TecUAd«aC˜]K²

] t

²V]@²ªDn£ ]TVQ'acqr,89B«DGFq~D¨D¨DžaC]Tt¡r

G8

B«DGF~@B«D¨DwP®F ³ £ BVF]TbrV;]^8Ÿdfq_QTVqVF_#eC©

qV TVF]TbrVrqBdl]¡›GP QD3 

»

dl]¡–+QkdfbQŸ_QTVF`V­aC`V#]TeL_Qk`VrV­brec]TqVrbFk_dlŠpVž… »qs£ ]TV#Q'acq­‡8˜~ 5d

_QTVAbsaC]Tec]kdfbsaC˜—VFUY|VrtktNdl]kogdfq¾`VrtNTbrVrtŸ_ež_QTV­UjaC˜…mæ–+QTVF`V2dfq.ec]TVAeC©R_QTVAbrecUAk˜fV= 

`e7ec_.eC©´] ²¡]

t

²C] ²¿Dn£APRQTVAqVF_ +ƒ8gdfqYa¥brecUA'acbF_qk|TqVF_.eC© €bsaC˜l˜fVrtŸ_QTVA}~aCk§rz

©¶`acbF_aC˜i£›[•_­dfqWqQTes–+]dl]V€dloT£ …n£ªPRQTV‡tNdhgæVF`VF]_qQ'actkVrqAbrec``Vrqec]Tt_e!_QTVžqV {TVF]TbrVrq

B&¾ † F †&šuÀ qTbQ!_Q'aC_.VFdl_QTVF`I¾ À ~½Pkmæec`¹¾ À ¾ | ~·DwPkmæec`I¾ À ¾ | ~·D¨Dn£PRQTVF`VWaC`VAacq¾UjaC]z

qQ'actkVrq5acq+_QTV˜fVF]kon_QgeC©r,89B«DGF=m)aC]TtžQTVF`V.acq%UjaC]zgacq+_QTVtkVFon`VrV.eC©.4œ£

%a‘ !Z“ ' '‘"!x” 7–+!3—}”s.Ž5‘u’

µVF_L4¥|V_QTV—vdfqec_`e7ec_eC©u]#²%]Z²ƒDn£ ]TVQ'acqr,8•B«DGF´~ DwP¨P¨P$D%aC]Ttr G

8

B«DGFa~¯B«DwP¨P¨P¨P®F«³sv

PRQkdfqYqk|Tq_dl_k_dfec] aC]Tt¢qecUWVWqk`k`dfqdl]kog_dl˜ldl]kopq.opVF]TVF`aC_Vrt|{z!dl_.Q'arŠpVj|VrVF]q_TtNdfVrt¢dl]

U»¬œ[Ҍn‹xY•£ ]TVWQ'acqI‡58C~ 5d_QTVWbsaC]Tec]kdfbsaC˜œVFU|VrtktNdl]ko¡dfqYaC˜fqež`VrtNTbrVrtŸ_e‡_QTVAUjaCO… m

–+QTVF`V!ªdfq5ec]TV.eC©_QTVbrecUAk˜fV= ž`e7ec_q5eC©.]²˜] ²{Dn£wPRQTV.qVF_ +;8Ldfq%qQTes–+]gdl]s€dloT£%…n£

äƒä ΨÁNÈFÀs¿Ê

PRQTV#]{kUY|VF`.eC©tNdhgæVF`VF]_.qQ'actkVrq¾brec``Vrqec]Ttkq¾_eL_QTV˜fVF]konQ{_.eC©*r®8•B«DGF=mæ|kk_¾_QTVF`VAaC`V

qQ'actkVrq+–+QTVF`Vsacq%_QTV.tkVFon`VrVYeC©L4dfq,/N£

a—ŸŒŽ´–”n‘“9 '‘

µVF_4E~ / 4 /­|V_QTV.tkecUAdl]'aC_dl]koL`e7ec_5eC©_QTV.ec˜lz7]TecUAd«aC˜Ÿ]

t

²¨] 4 /N£—PRQTVYec_QTVF`

`e7ec_5dfq /I² /N£

]TVQ'acq)r®8•B«DGF5~ r G8

B«DGF5~ / D ³ £+PRQTVYdftkVsaC˜ / # dfq5`aCUAdh['Vrt¡dl]

? A

t B m

_Q'aC_Ydfqsm / #ª~3

t £ ~VF]TbrV­_QTVF`VjV= 7dfq_qYec]k˜lz ec]TVAdftkVsaC˜–+QkdfbQªbrec]{_aCdl]TqYqdlUk˜l_aC]TVrecTq˜lz

/aC]Tt/ ddl_qBdl]TtkV= ¡eC©œ`aCUAdh['bsaC_dfec]Ÿdfq0/N£[^_q5opVrecUWVF_`dfbAec]TV=h•qdftkVrt `VFk`VrqVF]{_aC_dfec] +;8

dfq~a­qk|TqVF_%eC©8 t <>J t <TJ t mkqQTe¦–+]‡dl]s€dloT£+…n£wPRQTVF`VYaC`V._•–—ejtNdhgVF`VF]{_~qQ'actkVrqs£

€dlonk`V…GDPRQTV%}~aCk§rzopVrecUWVF_`dfb5ec]TV=h•qdftkVrtW`VFk`VrqVF]_aC_dfec]j©¶ec`_QTV%Pµ`dl|ec]'acbrbFd™h•qQkd™©9_sm_QTV

qUjaC˜l˜fVrq_%vdfqec_%]{kUY|VF`/h•qQkd™©¶_BaC]Ttž_QTV / 4 /;h•qQkd™©¶_s£

‰AŠ ¸‘ ´’,‘"!3‘up”¨“•”¨–/—Ÿˆ—$#I”&%a‘¡”H—9Œ)!3– *a‘"* !C%–+#µ”+/ 8

L¯ 1 ‘ ¯  ¯43 s’N65³ 3  1 ’k“ ¯‡8 ³,75]^8 ’ 3 ´ ‘ ¯21 ‘ ¯  ¯43 s’N65³,3 ’ 1

=Ÿ8

¤V—bsaC]Y]Te¦–ªtkV[T]TV—_QTVw`VFk`VrqVF]{_aC_dfec]­eC©'aRecdl]_eC©$]^8£ƒPRQTV/_"w!u¨1!eC©AB&¾ Qy¼9F´~

ByB&¾ † F †&šuÀ QGB&¼ † F †&š}| F*™T]^8L_aCšpVrq%dl_q+ŠnaC˜lTVrq%dl]"8 <>‡8aC]Ttždfq%ec|k_aCdl]TVrt‡|{z‡acqqe7bFd«aC_dl]koWec]

_QTV [T`q_.bre7ec`tNdl]'aC_V­–+dl_QŸ_QTVq4æh•V= N'aC]Tqdfec]˜¼dl_q¾`VsaC˜ŠnaC˜lTVnmµaC]Tt!|z¡oaC_QTVF`dl]kogec]!_QTV

ec_QTVF`­bre7ec`tNdl]'aC_Vrq_QTVLqVF_#eC©5[T]kdl_VjŠnaC˜lTVrqY–+QkdfbQbsaC]ª|VW_aCšpVF] |z_QTVj©Ùec`UjaC˜œes–—VF`

qVF`dfVrq = ? A

8GB

B&¾IFB©Ùec`YaC˜l˜_QTVA_ecec˜fecondfVrq._Q'aC_YV= Ndfq_.ec]OJIB14LF=£ ~VF]TbrVAec]TVjtkV[T]TVrq ‡58acq

8 <>‡58£5y{dl]TbrV._QTV._ecec˜feconz‡ec]s‡58ŸQ'acq5|VrVF] bQTenqVF]!qeA_Q'aC_B_QTV©Ùec`UjaC˜µes–VF`BqVF`dfVrq

dfq5brec]ŠpVF`opVF]_Bdl]>‡58mkec]TV.qQ'aC˜l˜µtkV[T]TV_QTVB©Ùec˜l˜fes–+dl]ko D

ž¯ 3 5?65 ³,3 Ÿ( B`VFk`VrqVF]{_aC_dfec]UjaC!eC©]^8

"

&yW_^–—eCh•qdftkVrt!`VFk`VrqVF]_aC_dfec]ŸUjaC

"

+"%®%$a!9y%¨+ŸByB&¾ †F †&šuÀ QGB&¼ †F †&š}| F*™T]^8

=Ÿ8}ByB&¾ † FQGB&¼ †FyFa~¯B

©

†&š}|

¼ †4

¦#†

Qw²=p89B&¾ † FyF~¯B

©

†&š}|

¼ †4

¦#†

Qw²

8•B

©

†&šuÀ

¾ †4 †

FyF*™ 83<>‡8pv

àN

ä à Ã

Ÿ( %"w +ƒ8T: ~

=p89B&]^8#F%"&cys&( ¾}BaCk§rzžopVrecUWVF_`dfb`VFk`VrqVF]_aC_dfec]eC©w_QTV_•–—eCh

qdftkVrtH4æh•qQkd™©¶_L

¤V­–+dl˜l˜—qVrV#˜«aC_VF`._QTV­dl]_VF`Vrq_eC©dl]{_`e{tNTbFdl]ko¡_QTVAqdlon]ŸUAdl]TqY|V=©Ùec`V 8£ ÅVF_Tq.]Tec_V

_Q'aC_©Ùec˜l˜fes–+dl]kosUÓy{dfVsŒn‹Y•m{d™©L4Ÿdfq%a#vdfqec_+]kU|VF`smT_QTVB}BaCk§rzjopVrecUWVF_`dfb`VFk`VrqVF]_aC_dfec]geC©

_QTV­4Åh•qQkd™©9_Rdfq5a#brecUA'acbF_5qVF_%eC©ƒ]Tec]Nhi§sVF`eAUWVsacqk`VB©Ùec`+_QTV ¾anaC`+UWVsacqk`VesŠpVF` 8 <H‡58£

€'ec`%UWec`V.tkVF_aCdl˜fqsmTqVrV^U+yNŒn‹Y•£

8 ¯ ’ 1 6•8

]TVLbsaC]V= 7_VF]Ttªdl]a‡]'aC_k`aC˜R–asz¢_QTV¥tkV[T]kdl_dfec]eC©698Ÿ_eg_QTVk`e{tNTbF_AeC© 8 |z¢_QTV

`VFk`VrqVF]_aC_dfec]¢q'acbrV‡58›acqB©¶ec˜l˜fe¦–%qs£ ÅVF_$8 tkVF]Tec_V­_QTV­UYk˜l_dlk˜ldfbsaC_dfec]¢dl]E‡8 |z¡_QTV

tNd«aCopec]'aC˜µUjaC_`d™ žeC©tNd«aCopec]'aC˜

89B&4LFd'ec]TV¾Q'acq

6•87:)B_Q ¬wF*™83<>‡8s=? B&4q² N4 ,RQ#89B¬wFL² N4 ,R 8AB«DGFyFv

[•]›'aC`_dfbFk˜«aC`sm—_QTVj©Ùec˜l˜fes–+dl]koªbrecUAUYk_aC_dfec]¨`VF˜«aC_dfec]TqAQTec˜ftæmœ–+QTVF`V®rªtkVF]Tec_Vrq­_QTV

dftkVF]{_dl_•zžUjaCge¦ŠpVF` 8dæ`VrbsaC˜l˜Å_Q'aC_­`›tkVF]Tec_Vrq%_QTV.qQkd™©9_%e¦ŠpVF`]^8,D

=p8`O~ 6•8

=p8Le¦ŠpVF`]^8)m

6•8­B®ruQ

8uFa~ B®ruQ

8#F6•8¥esŠpVF`\JKB&4F=£

“} '‘,!

PRQTVBopVrecUWVF_`dfb`VFk`VrqVF]_aC_dfec]¡eC©ƒ_QTV¾opec˜ftkVF]ž`aC_dfeCh•qQkd™©9_+UjaCTqR_e=8

t

£PRQTVec]TVrq©Ùec`R_QTV

Pµ`dl|ec]'acbrbFd—]kU|VF`­aC]TtŸ_QTVWqUjaC˜l˜fVrq_.vwdfqec_.]kU|VF`UjaC_e"8

~ 8 < +£gPRQTVFzŸaC`V

qQTes–+] e9k‡_eWaWbQ'aC]kopV.eC©bre{ec`tNdl]'aC_VrqfRdl]T€dloT£œ‹N£

02(%%µ)R)%$ l "­Y "#€"L%$~)&

¤VbsaC]g]Tes–-q_aC_V._QTVUjaCdl]‡_QTVrec`VFU eC©_Qkdfq+]Tec_Vn£

8 ¯{³ ‘ ¯ A¨I¨+$<n™sJKB&4.FM'NP QDR

"

&( \4ayy ¨!$"!E 5<C"´_0y I# K!•

¨!# ;KB&<ŸQ

8AB&<}FyF*™

=p8•B&]^8#F)

«

ÅVF_Tq.acqqkUWV#_Q'aC__QTV4æh•V= 7'aC]Tqdfec]eC©´<dfq¾kk`VF˜lz VF`dfe7tNdfbn£¤Ÿ`dl_V<ªacq­<O~

P v | vwvwv aC]Tt¡qVF_5¾¤~ vwvwv | vwvwv aC]TtT¼>~ | vwvwv vwvwv¦£ ]TVQ'acqqB&¾%Qy¼}F5™n]^8)£µVF_

Tq¾brecUAkk_V

=p89B&¾%Qy¼9F=£#ˆBec_V­_Q'aC_B_QTV [T`q_.bre7ec`tNdl]'aC_VAeC©

=p8}B&¾%Qy¼9F~dfq­<¢|z¡tkV[T]kdl_dfec]Åm

äƒä ΨÁNÈFÀs¿Ê

€dlonk`V‹DPRQTV¾}~aCk§rzAopVrecUWVF_`dfb¾_•–eCh•qdftkVrt¥`VFk`VrqVF]{_aC_dfec]ž©¶ec`—_QTV­€ƒdl|ec]'acbrbFd™h•qQkd™©¶_sm7_QTV

Pµ`dl|ec]'acbrbFd™h•qQkd™©9_smaC]Ttž_QTVqUjaC˜l˜fVrq_5vwdfqec_%]kU|VF`/h•qQkd™©9_s£

aC]Tt¢_Q'aC_Y_QTVq'acbrV‡8–acq|kkdl˜l_qež_Q'aC_ &'(

)

³ 89B&4

F%~ Pk£gy{dl]TbrVW–VaC˜fqegš{]Te¦–

_Q'aC_œ_QTV*[T`q_œbre7ec`tNdl]'aC_V%eC©

=p8}B&¾%Qy¼}Fdfq

†&š}|

¼u†14

¦#†

~

8

**

8

¦}|

~Z<j|{z­tkV[T]kdl_dfec]Åm

–VQ'arŠpV

=Ÿ8}B&¾%Qy¼}F ~ ©

†&š}|

¼ †4

¦#†

Qw²

8}B©

†&šuÀ

¾ †4 † F

~ <pQw² &'(

)

³

89ByB 4 4 | 4 ¦}|

FB«D 4¡4

4 4¡4

FyF

~ <ŸQ &'(

)

³ 8}² B

| 4 ¦}|

4 4 •F

D5²O4

D²˜4

~ <ŸQ 8 | 4 ¦}|

4 4

4

²{D

~ B&<ŸQ 8}B&<9FyFQ

QTVF]TbrVƒB&<ŸQ

8}B&<9FyF*™ +ƒ8)£

2ec]TqdftkVF`%]Tes–-_QTV`VrbFdlk`e{bsaC˜aC]Ttž˜fVF_<s™nJKB&4LF¾–+dl_Q B&<pQ 89B&<}FyF*™ +ƒ8)£

PRQTV¡qšpVF_bQ eC©._QTVgk`e7eC©Ydfq_QTVg©Ùec˜l˜fes–+dl]ko¨aC]Tt dfqjdl]Tqkdl`Vrt |{z aªqdlUAdl˜«aC`LtNdfqbF`VF_V

aC`onkUWVF]{_Rdl]nU»}5[/Œn‹C| Y•£¤V%–+dl˜l˜_[T`q_—dl]_`e7tNTbrV¾aI[T]kdl_V~qk|TqVF_YeC© +ƒ8)m{–+QkdfbQ¥tkVFVF]Ttkq

ec] <ƒmaC]Tt–+QkdfbQªdfqq_aC|k˜fVWk]TtkVF`_QTVacbF_dfec]›eC©R_QTVjUjaC 698!–+QkdfbQ dfqYec]_e ec]¢dl_s£¥[^]

ec`tkVF`_eBtkV[T]TVR_Qkdfqp[T]kdl_VqVF_smc–—V–+dl˜l˜N_aCšpV—dl]{_eacbrbreck]_œaC˜l˜7_QTV œh^actNdfbœ_ecec˜fecondfVrq–+QkdfbQ

brec``Vrqec]Tt¡_eWk`dlUWVdftkVsaC˜fq –+QkdfbQ!tkej]Tec_¾aCkVsaC`Bdl]g_QTV#tkVrbrecUAenqdl_dfec]Ve/…Gf=£%PRQTVrqV

_ecec˜fecondfVrqWaC`V_QTVLV= N_VF]Tqdfec]Tq­ec]CJKB14LFeC©aSTh^actNdfbL_ecec˜fecondfVrqY©Ùec`#_QTVk`dlUWVrq¹S›–+QkdfbQ

tke]Tec_tNdlŠ7dftkVž_QTVgbrec]Tq_aC]{_j_VF`U eC©¾_QTV‡UAdl]kdlUjaC˜5ec˜lz{]TecUAd«aC˜¹oŸ8¿UÓy{dfVsŒn‹3Y•£ }5eckonQk˜lz

àN

ä à Ã

qVsaCš7dl]koTm%ec]TV dl]_`e7tNTbrVrq¥©¶k`_QTVF`L`Vrq_`dfbF_dfec]TqžesŠpVF`>JKB&4.Fg–+QkdfbQ dl]{Špec˜lŠpV _QTV¡k`dlUWVrq

_Q'aC_+–VF`V]Tec_5aC˜l`VsactNzžbrec]TqdftkVF`Vrtždl]>‡8£¤V¾–+dl˜l˜æk`esŠpV_Q'aC_5_QTVqVF_ dfq[T]kdl_VYqdl]TbrV

dl_q5[T`q_%bre{ec`tNdl]'aC_VYdl]TJKB&4.FBdfq%|eck]TtkVrt¥©Ùec`5aC˜l˜Å_QTV¾_ecec˜fecondfVrq5ec]sJKB&4.F=£

ÅVF_%Tq[T`q_+dl]{_`e{tNTbrVY_QTV¾©Ùec˜l˜fes–+dl]kojqVF_ D

~ ›™nJ­B4LFQ

&2Uja; AB < &AQDŸFQg©¶ec`%VFŠpVF`z¥k`dlUWVdftkVsaC˜ jqTbQg_Q'aC_ 4 &>~ D3 ,v

]TVQ'acq

<s™ Aqdl]TbrV9<& ¨Uja; }B < &pQDŸF—©¶ec`%VFŠpVF`z¥k`dlUWVdftkVsaC˜~£

# ¥qdl]TbrV#©¶ec`.VFŠpVF`z!dl]_VFopVF` aC]TtŸ©¶ec`.VFŠpVF`z dftkVsaC˜ ~mµec]TVAQ'acq & ·D9

Uja; }B < &pQDŸF=£

4 aC]Tt˜4

¦}|

qdl]TbrV 4 & ~ 4 & & ~ & d™© 4 & ~ DnmƒaC]Ttªacq

–—VF˜l˜ 4

¦}|

&>~ &£

B Q 4KFdfq5a#on`eckgqdl]TbrV_QTV(wh^actNdfb¾ŠnaC˜l'aC_dfec]Tq~aC`V¾k˜l_`aCUWVF_`dfbn£

~VF]TbrV.ec]TVtkVrtNTbrVrq5_Q'aC_ D

­dfq%q_aC|k˜fVk]TtkVF`%_QTVacbF_dfec]geC©p698_dNdl]TtkVrVrt

698 {4 ­² N 3R ­² # ­² 0v

€Tec`5VFŠpVF`z¥dl]_VFopVF`ªmTec]TV¾Q'acq\4

¦}|

B 4EFV4

¦}|

k£

PRQTV%špVFz7ecdl]{_—eC©Å_QTV%k`e7eC©ædfqw_Q'aC_ dfqw]Tec_ec]k˜lzWq_aC|k˜fV+k]TtkVF`_QTV~acbF_dfec]eC©}698#|kk_

aC˜fqe­k]TtkVF`%_QTVUYk˜l_dlk˜ldfbsaC_dfec] |zED x4œm'VFŠpVF]‡–+QTVF]T4dfq+]Tec_Ba#k]kdl_s£

ÅVF_Tq.brec]TqdftkVF`.]Te¦– _QTV#©Ùec˜l˜fes–+dl]kogqk|TqVF_.eC©

+ƒ8¡ec|k_aCdl]TVrtŸ|{zs[T`q_.VFU|VrtNdl]kog_QTV

ecdl]_q5eC©

dl]{_e 83<>‡8m'aC]Ttž_QTVF]ždl]_VF`qVrbF_dl]kodl_+–+dl_Q‡_QTVYbrecUA'acbF_5qVF_ +;8 D

~¯Br#Q

8uFB FAM +;8_v

8 ¯  ¯ 

59

3 5?

¯'£[^]TtkVrVrt¥˜fVF_Tq%k`esŠpV¾_Q'aC_5aC˜l˜æ_QTV.aC|Tqec˜lk_V¾ŠnaC˜lTVrq+eC©LJKB&4F

aC`Vj|eck]TtkVrt ec]ª_QTV[T`q_#bre7ec`tNdl]'aC_VLeC©5_QTVjVF˜fVFUWVF]{_qAeC© £ ÅVF_ <™ qTbQ

_Q'aC_%B&<ŸQ 8}B&<9FyF*™

+;8)£ˆBec_V)[T`q_+_Q'aC_R_QTV¾Tq'aC˜ÅaC|Tqec˜lk_V¾ŠnaC˜lTVBeC©L<‡dfqR|eck]TtkVrtæ£

€kk`_QTVF`UWec`V

äƒä ΨÁNÈFÀs¿Ê

d™©0 'dfq.aC]EW5`bQkdlUWVrtkVsaC]ŠnaC˜l'aC_dfec]ec`Bd™©0 & dfq.aC]!k˜l_`aCUWVF_`dfbAŠnaC˜l'aC_dfec]

qaC_dfq/©¶z{dl]ko14 & ~¶ Dnm—_QkdfqAŠnaC˜l'aC_dfec] aCkVsaC`qj|z›brec]Tq_`TbF_dfec]2dl]{‡*8maC]Tt

_QTq <7dfqR|eck]TtkVrtgqdl]TbrVB&<pQ 89B&<}FyF|VF˜fec]kopq%_e­_QTV.brecUA'acbF_BqVF_ +;8£

d™© A &jdfqœaC]Wk˜l_`aCUWVF_`dfb5ŠcaC˜l'aC_dfec]qaC_dfq/©¶z{dl]ko4 &H~ Dnm_QTVF]$<&jdfq|eck]TtkVrt

|zžtkV[T]kdl_dfec]geC©

k£

8 ¯ ’ 1

698 5? ³,3  ³ž³¯ ‘ ÅVF_\B $Q 8ABFyF™ mp–+dl_Q;™ £ zYtkV[T]kdl_dfec]Åm

_QTVF`VWV= Ndfq_q;B&¾%Qy¼}FI~ ByB&¾ † F†&šuÀ QGB&¼ †F †&š}| F%™C]^8 qTbQ_Q'aC_

=p8}B&¾%Qy¼9FI~iB#Q

89BFyF=£

W5]‡VsacqzLbrecUAkk_aC_dfec] qQTes–%q5_Q'aC_

=p85`

¦}|

B&¾%Qy¼}F~

54¡¾ À

4 Q 8

54C¾ À

4

v

ÅVF_¾Tq5]Tec_V_Q'aC_¾_Qkdfq¾brecUAkk_aC_dfec] –ec`š7q¾_Q'aC]kšNq~_ej_QTV#dl]_`e7tNTbF_dfec]ŸeC©aqdlon]

UAdl]Tq5|V=©Ùec`V

8dl]g_QTVV= 7k`Vrqqdfec]geC©

=p8£

]TV_QTq~tkVrtNTbrVrq%_Q'aC_

B$Q 8}BFyF~

=Ÿ89B&¾%Qy¼}F~

=p8` `

¦}|

B&¾ Qy¼9F~

6•8

=p85`

¦}|

B&¾ Qy¼9F

~

6•8IB®ruQ 8#F

54 ¾ À

4 v

] ec]TV#Q'aC]TtœB®ruQ 8uF

*

8 ~

=Ÿ8 )`

¦}|

B&¾%Qy¼}F¹™

+ƒ8)mæaC]Tt¡ec]!_QTV#ec_QTVF`¾Q'aC]Tt

*

8

™

*

8

V4

¦}|

B 4#\F £ BVF]TbrVnm

B$Q 8ABFyF*™ 698 v

8 ¯  ¯  5?Ass’kŽ ¯ Ž ° 698

6•89ByB®r#Q 8uFB F}M

+ƒ8 F

6•8IB®ruQ 8$F M 6•89B

+;8#F

~ B®r#Q 8uF 698}B ,F%M

=p8 `5B&]^8#F

B®r#Q 8uF nM

=p89B&]^8$Fa~ v

~VF]TbrVnmqdl]TbrV 6•8gdfq~ec]{_eLe¦ŠpVF`Yajq_aC|k˜fVK[T]kdl_V­qVF_smdl_BdfqBec]TV=hi_eCh•ec]TV­e¦ŠpVF`B_Qkdfq¾qVF_ £

z¥brec]Tq_`TbF_dfec]ÅmpB&<pQ

89B&<}FyF*™ N£ BVF]TbrV¾_QTVF`V.V= 7dfq_q5aC]‡dl]_VFopVF`qTbQ‡_Q'aC_

B&<ŸQ

8}B&<9FyF~ 6•8

B&<pQ

89B&<}FyFa~¯B+698 B&<9FQ

8}B+6•8 B&<}FyFyFv

¤V¾_Q{Tq5tkVrtNTbrVY_Q'aC_+_QTV.V= 7'aC]Tqdfec]geC©L<¡dfq+kk`VF˜lz¥VF`dfe7tNdfbn£

àN

ä à Ã

#/)%$5‡ +&

W qdlUAdl˜«aC``Vrqk˜l_œQTec˜ftkqdl]A_QTV+]Tec]Nh•vdfqec_—bsacqVR|z­dl]_`e7tNTbFdl]koYdl]A_QTV%`VFk`VrqVF]_aC_dfec]UjaC

=p8©¶ec`œ_QTV5brec]cx/koaC_VrqeC©æUWe{tNk˜lTq—q_`dfbF_˜lzA˜«aC`opVF`œ_Q'aC_¹Dnmp_QTV~bre{ec`tNdl]'aC_VE

†&š}|

¼ †

¦#†

£

[•]_QTVžec`dlondl]'aC˜~k`e{eC©eC©U»}~[Ҍn‹C| Y•mœ_QTVgaC]'aC˜fecopecTqjeC©¾_QTV‡qVF_ + !dfq)#KN4}RL©Ùec`jaC]

dl]{_VFopVF`j–+QkdfbQtkVFVF]Ttkqec]¸<£PRQkdfqqVF_¾dl] ]TeLUWec`V­q_aC|k˜fV#k]TtkVF`_QTV#UYk˜l_dlk˜ldfbsaC_dfec]

|{znD x4ªdl]L_QTV¾]Tec]Nhik]kdl_~bsacqVn£PRQTV¾dftkVsa#QTVF`V¾Q'acqR|VrVF]ž_e#dl]{_`e{tNTbrVYa­qVF_Rq_aC|k˜fV¾k]TtkVF`

_QTV5UYk˜l_dlk˜ldfbsaC_dfec]¥|zTD x4 |zjaC˜l˜fe¦–+dl]ko_QTV~tNdlŠ{dfqdfec]j|zA_QTV5k`dlUWVrqœ–+QkdfbQLtkeYtNdlŠ{dftkV5_QTV

]Tec`U eC©L4œ£

k

lr$&

UXWB[/ŒN…Y v£%W~`]TecN €aC]Tt y£.[^_ek£ vdfqec_ªqk|Tq_dl_k_dfec]Tq›aC]Tt }BaCk§rz ©¶`acbF_aC˜fqs£ 50&

¹ ¸¨&(•G6 u ! _/&!'m-.$eً,fDl…0.N…7‹nŒ 7mB‹nŒnŒN…n£peck`]TurVrq ec]_ecdfqVrq

t»[^]N©¶ec`UjaC_d{TV.PRQTurec`d{TVƒe !aC`]TV=hi˜«a;hœaC˜l˜furVnm)‹nŒnŒnŒ,f=£

UXW~š7d«†.xY y£_W5š7dlzaCUjaN£Rvdfqec_5]{kUY|VF`qBaC]Tq~on`VrVrtNz‡aC˜lopec`dl_QkU‡£%[^]'-­;&( y

"

1

u( !u1&!•

"

2 )_ ¨1!_­!_:)®«¡3"$w&"=mB'aCopVrq‡†7‹N…n£+tkVB`kz7_VF`sm

…s†n†.N£

UXW~š7d«†n†xY y£AW~š7dlzaCUjaN£Ly7VF˜™©9h^axbW]TVW_dl˜ldl]kopq­aC]Ttvdfqec_.]{kUWVF`aC_dfec]qz7q_VFUWqs£W[^] -­

&( H!_;"´®_¨1!$"Fmk'aCopVrq )… 7£¾˜l{–—VF`sm…s†n†n†N£

U%yNŒn‹xY­£ RVF`_QTu#aC]TtnW£y{dfVFopVF˜i£+}~aCk§rzL©¶`acbF_aC˜fq%©Ùec`5|VF_aWvdfqec_5]kU|VF`q¦£%v`VFk`dl]_sm

‹nŒnŒn‹N£

U2+yNŒN…Y­£ 2RaC]_VF`dl]kdBaC]TtœW#£œy{dfVFopVF˜i£¾VrecUWVF_`dfb¥`VFk`VrqVF]{_aC_dfec] eC©qk|Tq_dl_k_dfec]TqWeC©

vdfqec_%_•z7Vn£ #y!$") ; '¨&( •6«mTX nX$e/…s‹,fDN…s‹N…N…F‚n‚Tmæ‹nŒnŒN…n£

U»¬œ[Ҍn‹xY #£p¬daC]TtLy£[^_ek£PRdl˜ldl]ko.©¶`ecUqecUWV\4æh•bFk|kdfb%kdfqec_œ]kU|VF`qd)aC]Ttjdldi£æv`VFk`dl]_sm

‹nŒnŒn‹N£

UX€T`epŒnŒxY 2B£_€k`eckon]zp£+ˆ~kUY|VF`5`VFk`VrqVF]{_aC_dfec]aC]TtH[T]kdl_V#aCk_ecUjaC_aN£R[^]s€R£ ˜«aC]TbQ'aC`tæm

W#£Nˆ~econTVFdl`aNmTaC]TtHW#£ !anacqsmNVrtNdl_ec`qsm1 __"¹&!>" ;y¨% !_ q"K!_ƒ,_+

,11!#"=mN'aCopVrq5‹nŒ 7‹n‹.N£ 2RaCU|k`dftNopV ~]kdlŠpVF`qdl_•z¥v`Vrqq¦mT‹nŒnŒnŒN£Åec]Ttkec] !aC_QTV=h

UjaC_dfbsaC˜y7e7bFdfVF_•z ÅVrbF_k`Vˆ~ec_V#y7VF`dfVrqsm!wec˜i£'‹ c†N£

UX€T`epŒn‹xY 2B£A€T`eckon]zp£ 2—Q'aCk_VF` 4DYˆ~kUWVF`aC_dfec]ªqzNq_VFUWqs£L[•] )®«T +!_,"

!#"y3"=£ª£ Åec_Q'aCdl`Vnm 2RaCUY|k`dftNopV$5]kdlŠpVF`qdl_^zžv`Vrqqsm'‹nŒnŒn‹N£

äƒä ΨÁNÈFÀs¿Ê

U»}BaC#.n‹xY ­£}~aCk§rzp£BˆBecUY|k`Vrq.aC˜lopuF|k`d{TVrqBVF_¾qk|Tq_dl_k_dfec]Tq¦£ 0+ 96 '¨&( 9y!_ Fm

…n…sŒ$eً,fDl…F‚ )… .Nm…s†.n‹N£

U»}BaC#..xY ­£{}~aCk§rzp£Å}~ec_aC_dfec]TqRqk`—˜fVrq—on`eckVrqsm]TecU|k`Vrq%aC˜lopuF|k`dTVrq¦m7VF_Rqk|Tq_dl_k_dfec]Tq¦£

[^] q&!_&n Ÿ( y¸®"7-K ;"

"

_!_ " £

~]kdlŠ£ Rec`tkVsaCN ‡[=mkPƒaC˜fVF]TbrVn£lmµ…s†..N£œ¬ 7Å£'ˆ~ek£T‹N…nmŅs‹N£

U»}~[Ҍn‹naxY #£n}~ace.aC]Tty£n[^_ek£uWR_ecUAdfb5qk`/©ÙacbrVrq—aC]TtWqVF˜™©9h•qdlUAd«aC˜l`_dl˜ldl]kopqwd'aC]Tt­dldi£v`VFk`dl]_sm

‹nŒnŒn‹N£

U»}~[Ҍn‹C| Y #£¦}Bace5aC]Tt#y£;[•_ek£ ]Ykk`VF˜lzVF`dfe{tNdfb4æh•V= 7'aC]Tqdfec]–+dl_Qkdfqec_µ|'acqVn£{v`VFk`dl]_sm

‹nŒnŒn‹N£

UÓy{dfVsŒn‹xY W#£wy{dfVFopVF˜i£ª}~VFk`urqVF]_aC_dfec]2tkVrqAqz7q_SFUWVrqAtNz7]'aCUAd{TVrqAqk|Tq_dl_k_d™©Ùq­]Tec]k]kd™h

UWe7tNk˜«aCdl`Vrqsm'‹nŒnŒn‹N£wPƒejaCkVsaC`%dl]'*M, Ÿ( y¨

!_ u 3"/q"=£

U»PRQ{#.n†xY¤ £)v£PRQk`q_ec]Å£yGu"

"

1+&!23"q!• $a!#1/ "¨/0 ^,n£ µVrbF_k`Vrq~]Tec_Vrq

tNdfq_`dl|kk_Vrt‡dl]¥brec]cx/k]TbF_dfec]‡–+dl_Q¥_QTV 2ec˜l˜fe kdlkU y7VF`dfVrqsmNdl] C2&c 0+

yw10y"=m…s†.n†N£

àN

ä à Ã

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu - 35042 Rennes 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 Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (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