• Aucun résultat trouvé

Breaking Littlewood's cipher

N/A
N/A
Protected

Academic year: 2021

Partager "Breaking Littlewood's cipher"

Copied!
21
0
0

Texte intégral

(1)

HAL Id: inria-00071590

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

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.

Breaking Littlewood’s cipher

Damien Stehlé

To cite this version:

Damien Stehlé. Breaking Littlewood’s cipher. [Research Report] RR-4988, INRIA. 2003. �inria- 00071590�

(2)

ISRN INRIA/RR--4988--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Breaking Littlewood’s cipher

Damien Stehlé

N° 4988

Novembre 2003

(3)
(4)

Unité de recherche INRIA Lorraine

'&(*),+.-0/21435-768:9

;=<>5?A@CBCDFEHG5IKJL@MLNPOQJLR5JL@5M

@5STRVU0MLR5WKMYX$Z[?C\NPM]JL^_W@

`aN0b$@5Sdc*e4UPRf@fX

gdU0eKeNPa$SihK@a@fR<@5aRj<@kIl"m_nQoQopDrqsNPt[@5?u\Ka@vBQwQwQxvD y{zve4U0O|@fX

}~€f‚Vƒ7„K…|‚Q†[‡ IAyVnQˆQxŠ‰VS$<@‹Rf@5ML@5\KajU0S@fhC?ŒU0S$<@5?ŒU0S$JLR5JU0IŽ_NP<KIv‹hK@5IXNPa"‘J]S$S$ML@5’“N[N*hCeKaNPe”NQXj@fh

U•X$S$a@VU0?–R5J]eK<@5aŒ\4UPX@fh—NPI˜MLNPO_U0a$J]S$<K?–SjU0\KML@fXV™šJœ›:SZžZ|@VU0aXuMU0S@5aV‰’Ÿ@eKaNPe”NQXj@S$<@ aX$S

U0I4U0M]ZŠX$JLXN0›”<KJLXXR<@5?A@Q™|¡J]S$S$ML@5’“N[N*hAXWKOQO|@fX$SXS$<@=JLhK@VUHN0›WX$J]IKOHa@VU0MŠ›¢WKIR5S$JLNPIX£UPXSN[NPMLXSN

\KWKJ]MLhR5a$Z[eKSNPOQajU0eK<KJLReKa$J]?uJ]S$J]t|@fXV™Kt|@5I¤’<@5I¥RfNPIXJLhK@5a$J]IKOu?AN*hK@5a$I¥X@fR5WKa$J]SZŒe4U0ajU0?A@5S@5aXV‰

S$<@uNPa$J]OQJ]I4U0M“XR<@5?A@ARVU0Iž\”@&\KaNP¦|@5I§\*Z¨UXJ]?ueKML@AU0S$SjUPR¦¨\4UPX@fh§NPI§hŠJœ©‘@5a@5I_S$JU0S$JLNPI¡™Yª§@

O|@5I@5ajU0M]JLXj@S$<@XRj<@5?A@X$WR<—S$<4U0S&J]Sva@fXJLX$SXS$<KJLXAU0S$SjUPR¦‰"\KWKSuhK@fXR5a$J]\@U0INPS$<@5aŒU0S$SjUPR¦

’<KJLRj<¤JLXhK@5a$J]t|@fh›¢aNP?«\NPS$<¤eNPM]Z*INP?uJU0MYU0eKeKaNV¬[J]?ŒU0S$JLNPI,U0Ih®­ŸNPeKe@5aX$?uJ]S$<¡¯°XS@fRj<KIKJL^_W@

SNŒ Ih,S$<@vX$?ŒU0M]MaN[NPSXdN0›‹?AN[hŠWKMU0ad?vWKM]S$J]tPU0a$JU0S@&eNPM]Z[INP?uJU0MLXV™

‡

I,RfNPI*S$ajUPX$SH’J]S$<,S$<@fXj@

I@5O_U0S$J]t|@a@fXWKM]SXv’Ÿ@hK@fXR5a$J]\”@¤U•RVU0IhŠJLhU0S@›±NPa&U,t|@5a$Zž@³²ŒR5JL@5I*SŒNPI@³´µ’ŸUVZž›¢WKIR5S$JLNPIU0Ih

eKa@fXj@5I_SdU0I®NPe@5I¤eKaNP\KML@5?¶\4UPXj@fh¤NPI¥S$<KJLX’“NPa$¦™

·¥¸|¹º»v¼ ƒ7½€Q† ‘J]S$S$ML@5’ŸN*N[h‘¯°XiR5J]eK<@5aV‰Ša@VU0M”›:WKIR5S$JLNPIX{‰*MU0S$S$JLRf@fX{‰4­ŸNPeKe”@5aX$?uJ]S$<¡¯°X=S@fRj<KIKJL^_W@Q™

(5)

€ † I yVnQˆQxŠ‰YML@uRfG5ML>5\Ka@A?ŒU0S$<G5?ŒU0S$JLR5JL@5I2Ž_NP<KI2‹hK@5IXNPav‘J]S$S$ML@5’“N[N*h UeKaNPeNQXG

WKI§XjR<G5?ŒU¥hK@uRj<KJœ©”a@5?A@5I*SCa@5eNQXjU0I_SvX$WKapML@fXSjU0\KML@fXphK@AMLNPO_U0a$J]S$<K?A@fXV™YˆQw¥U0IXeKM]WXpSjU0ah‘‰

INPWXhKGfR5a$J]t|NPIXvMU¤eKa@5?uJL>5a@R5a$Z*eKSjU0I4U0M]ZŠX@hK@ŒRf@AeKaNPSN[RfNPML@Q™Y¡J]S$S$ML@5’“N[N*h—X$WKOQO|>5a@ŒMµ¯JLhKGf@

h‘¯WKS$J]M]JLXj@5aŒML@fXŒ›¢NPIR5S$JLNPIXhK@¥MU§tPU0a$JU0\KML@,aGf@5M]ML@®RfNP?u?A@•NPWKS$J]MLXhK@®\4UPX@¥eNPWKaRfNPIXS$a$WKJ]a@

hK@fXdeKa$J]?uJ]S$J]t|@fXR5a$Z[eKSNPOQajU0eK<KJL^_W@fXV™5?A@vX$J"Mµ¯°NPI•RfNPIXJLhK>5a@vhK@fXse4U0ajU0?A>5S$a@fXHhK@vXjGfR5WKa$J]SG

UPR5S$W4U0M]JLXjGfXV‰ML@XjR<G5?ŒU•NPa$J]OQJ]I4U0Me”@5WKS5S$a@RVUPXXGe4U0a&WKI@X$J]?ueKML@¤U0S$SjUP^_W@WKS$J]M]JLXjU0I*SAhK@fX

hKG5a$J]t|Gf@fXXWRfRf@fXX$J]t|@fXV™[qdNPWX=O|G5IG5ajU0M]JLXjNPIX=ML@deKaNPSN[RfNPML@HhK@sS@5M]ML@sXjNPa$S@s^*W¡¯J]MaGfX$JLX$S@Rf@5S$S@

U0S$SjUP^*W@¤X$J]?ueKML@Q‰?ŒU0JLX&WKI@¥U0WKS$a@¥U0S$SjUP^*W@e”@5WKS5S$a@aGVU0M]JLXGf@Q‰@5I˜WKS$J]M]JLXjU0I*SAh‘¯WKI@e4U0a$S

hK@fXpU0eKeKaNV¬[J]?ŒU0S$JLNPIXveNPM]Z*INP?uJU0ML@fXp@5Sph‘¯U0WKS$a@Ae4U0a$SMU?AG5S$<N*hK@uhK@Œ­ŸNPeKe@5aX$?uJ]S$<§eNPWKa

S$aNPWKt|@5a=ML@fXŸe@5S$J]S@fX“ajUPR5J]I@fX=hK@de”NPM]Z[IP?A@fX=?AN[hŠWKMU0J]a@fX“?vWKM]S$J]tPU0a$JLGfX{™KINPeKeNQX$J]S$JLNPIvRf@fX

R5a$Z[eKSjU0I4U0M]ZŠX@fXV‰‹INPWXhKGfR5a$J]t|NPIXWKI INPWKt|@VU0W RVU0IhŠJLhU0ShK@¥›¢NPIR5S$JLNPI§X@5IXŒWKIKJL^*@®S$a>fX

@³²ŒRVUPRf@C@5SieKaGfX@5I_SNPIXTWKI¥eKaNP\KML>5?A@pNPWKt|@5a$SdM]JLGuRf@HS$ajUftQU0J]Mµ™

¼ ‚V€ º … € † c[R<G5?ŒU¤hK@uRj<KJœ©”a@5?A@5I*SvhK@u‘J]S$S$ML@5’ŸN*N[h‘‰›±NPIR5S$JLNPIXphK@&MUtPU0a$JU0\KML@AaGf@5M]ML@Q‰

aGfXj@VU0WŠ¬WR5M]JLhŠJL@5IX{‰?AG5S$<N[hK@phK@v­ŸNPeKe@5aX$?uJ]S$<¡™

(6)

( )+*-,/.10324657,1890*

šJ]IhŠJ]IKOd?ŒU0S$<@5?ŒU0S$JLRVU0M[eKaNP\KML@5?AXNPIp’<KJLRj<X@fR5WKa$J]SZeKa$J]?uJ]S$J]t|@fXRVU0Ip\”@‹\KWKJ]M]S"JLX"NPI@‹N0›KS$<@

?ŒU7b$NPa‘O|N|U0MLXYN0›KR5a$Z[eKSNPOQajU0eK<KJLR‹a@fX@VU0aRj<¡™:2<_WKO|@I*WK?C\@5a"N0›[›±U0J]a$M]ZHRfNP?ueKM]JLRVU0S@fhCX$S$a$WR5S$WKa@fX

<4UVt|@‹\@f@5IvX$S$WhŠJL@fhCJ]ICS$<KJLX"M]J]OQ<_SV‰PU0?ANPIKOTS$<@5?  IKJ]S@‹ 4@5MLhKX;7@5M]M]J]eKS$JLR£R5WKa$t|@fX;7MU0S$S$JLRf@fX;{M]J]I@VU0a

RfN[hK@fX;0eNPM]Z*INP?uJU0MŠa$J]IKO|X£U0Ih\KajU0JLh&OQaNPWKeXV™_c*WKa$eKa$JLX$J]IKOQM]Z|‰PS$<@=a@VU0MŠI*WK?C\@5aX£U0Ih&S$<@Ÿa@VU0M

›¢WKIR5S$JLNPIXM]J]¦|@=<>@?‘‰/ACB/D4‰FE"G'HY‰P<4Uft|@=›±NPWKIh&INX$WRj<uWX@Q™/IH@5?ANPIX$S$ajU0S$J]IKOvR5a$Z[eKSNPOQajU0eK<KJLRVU0M]M]Z

J]I*S@5a@fX$S$J]IKOHeKaNPe”@5a$S$JL@fXN0›S$<@fX@‹›:WKIR5S$JLNPIXRfNPWKMLhv\”@ŸUi?ŒU7b$NPaY\Ka@VU0¦[S$<KaNPWKOQ<uX$J]IRf@“S$<@5ZCU0a@

U0M]a@VUPhŠZ®’JLhK@5M]Z¥WX@fh®›¢NPaHNPS$<@5aHU0eKeKM]JLRVU0S$JLNPIX{™‘gT@VU0M¡›¢WKIR5S$JLNPIXpU0a@&U0M]a@VUPhŠZ¥J]?ueKML@5?A@5I_S@fh

’J]S$<&t|@5a$Z›µUPX$SU0M]O|NPa$J]S$<K?AX‹U0IhuU0a@ŸUVtPU0J]MU0\KML@=J]IuU0M]?ANQX$S@5t|@5a$ZCRVU0MLR5WKMU0SNPaV‰QXNP?A@Ÿ<4U0ahŠ’ŸU0a@

hK@5t[JLRf@fXU0Ih•eKML@5I_SZ¨N0›“XN0›¢S’=U0a@&e4UPR¦QU0O|@fXV™KJs@5IRf@Q‰”hK@5t|@5MLNPeKJ]IKO®U0Ih¨hŠJLX$S$a$J]\KWKS$J]IKO¥XWR<§U

R5a$Z[eKSNPOQajU0eK<KJLRAeKa$J]?uJ]S$J]t|@Œ’“NPWKMLhžINPSp\”@UhŠJœ²ŒR5WKM]SCSjUPX$¦™¡;=<@ua@VUPhK@5apJ]I*S@5a@fX$S@fh§J]IžS$<@

J]?ueKML@5?A@5I*SjU0S$JLNPI•N0›?ŒU0S$<@5?ŒU0S$JLRVU0M"›:WKIR5S$JLNPIXiRVU0I¥ Ih¤S$<@pX$SjU0S@N0›S$<@CU0a$SJ]IML]yVo+N™

‡I yVnQˆQxŠ‰S$<@v’JLhK@5M]Z¤a@fRfNPOQIKJLX@fh®I*WK?C\@5aHS$<@fNPa@5S$JLX$SsŽ_NP<KI•‹hK@5IXjNPas‘J]S$S$ML@5’ŸN*N[h,eKaN0´

eNQX@fh®UŒR5J]eK<@5ad\4UPXj@fh®NPI®S$<@!ACB/D›:WKIR5S$JLNPI¡™­ŸNPIX$JLhK@5a$J]IKOS$<@CR5MU0a$J]SZ®U0Ih,S$<@p<KJLXSNPa$JLRVU0M

J]I*S@5a@fX$SN0›4<KJLXhK@fXR5a$J]eKS$JLNPI¡‰0’“@ŸOQJ]t|@Ÿ<@5a@Ÿ<KJLX"N{’Iu’“NPahKXNPa$J]OQJ]I4U0M]M]Zp›±NPWKIhvJ]IOL]yP+N‰PR<4U0eKS@5a

Q ¨U0S$<@5?ŒU0S$JLRfXi’J]S$<®?uJ]IKJ]?CWK?¶ajUV’ ?ŒU0S@5a$JU0MSRUT

V%'WX"Y%716Z[\ " $#&%'W ]_^FX^! @`aW /bcd!X^cbef%7Fb/%

]g3 Xc9#hXiFjF7W#kc#Yl%'mc%7Fb7SmYFn^"oprq=F Z!sbctu " 9&

v1Fjw#Ycef3 %7Fb'Fbk^"x OX^Fb' f#h d @sXFsya6#Y1 d X^ z [Xp{&b#Y|

#'d\6%7FZFi~}F|x-Fb7i€b7j\^‚ƒp{Y9/ „1`m#YC1 U‚… ††‡d|$ˆFb

S/|‰9X^m9FFib' ccU FƒyaŠ#'/ ]csyasF CF Œ‹€U‹1Ž



e‹X"‹1Ž



ep]pp7ayFj%'‚C"

-Fb7c‘yaO%'’& dp“VYF’%'OjF ]hX’yai%'•”1|$-/b•€b7j\^s‹1–7‹ Ž–

yao"m/ ]Z ]c F†^"[’”7—1pWV%X ]WF Zc\˜U% a"1™–€eŒFY‘%'\ UX\ @s9•c%X a"=%'

cbk Uccc Z‚"oc!yal%'“j\cUdXm^[!™

dš

™

Fš

p]pp-c9#k d ]ZFx[Xp

q= ]lcbtu " 9&z[„X^Z Fbs%71Œ™›9œgžŸ‘j\cc" F&Y/w^b7k" "Fjs|

^CeˆFY“%X ]ZF• aF'6hF3•vX Uo#h%'=F[l&bj\^6¡ o ]hX‚%'

c $#Yz[’yFh1Fj¢ %'FyX doOa“™–† @sh'CUcz[£"SX^Fy1o‰¤/p6q]as%kmdFj\\ UX

@‚bX_adFm•€b7j^Uya!j\cc"c‚ Fb7C~^i^Fkew^b'ŒFˆ6sh„1

@w9‚ZFc[_¥p&q3 F£^Wj1X_9^lX‰#kYX"&F„X/oceg/ ]Z"„ - ‘ "Fc¦

%'!F[’js C%pxXp§^m%713¨ ]!%'§U"}`-Fb7cyas%'©9FX"&&a!%'

1/oO 91’F!XFcceŠjs €b'ocUef Fhdª3”X«¬i­”k}F”&®-a"/`¯! p”X«/eŠ­F°X}F”¤/p

V%X @wcb7C“ Fb7SO^l UFc 9 ‘%'w%k1e33 %Y/%X F‚#kc#k_9\^W9F

Fm^U"y/[1Xp3q]a‚F&[•Fgs%X k‚%km @s!#'cc 9^ ]z [•yas%'"& ]!d %'j\

^ \Fb€ccd‘%' UFbC„jmF a[O”7—•9•”7­„FY•bd„1/oFhs6Uc’/cz "

%7F£%'‚Fh`F Z£ ]£ "Fp

(7)

ª J]MLXNPIAhK@fXR5a$J]\@fX‹t|@5a$Z&eKa@fR5JLX@5M]ZJ]I„LBQB+N4<N{’ SN?ANPWKI*SŸUHR5a$Z[eKSjU0I4U0M]Z[XJLX£N0›S$<@ihK@fXR5a$J]\@fh

XjR<@5?A@Q™ ‡ IhK@f@fh’J]S$<S$<@fX@Te4U0ajU0?A@5S@5aX=J]SŸRVU0I\@de”@5a›±NPa$?A@fh@5t|@5I\_ZŒ<4U0Ih‘™d\*t*JLNPWXM]Z|‰

S$<@5Z§U0a@ŒINPSpWKeŠ´µSN0´hU0S@ŒJœ›iNPI@RfNPIX$JLhK@5aXpS$<@UPR5S$W4U0M£eNV’“@5aN0›iRfNP?ueKWKSjU0S$JLNPI¡‰"\KWKSCS$<@

XjR<@5?A@•RVU0I\@,@VUPXJ]M]Z˜O|@5I@5ajU0M]JLX@fh SN§MU0a$O|@5ae4U0ajU0?A@5S@5aXV™=;YN2\”@®eKa@fR5JLX@Q‰Ÿ‘J]S$S$ML@5’“N[N*h

hK@³ I@fXU¨`‹X@5WhKN0´gdU0IhKNP? qTWK?v\”@5aE@5I@5ajU0SNPa¢`‹gTqE³‰‹U0Ih—WX@fX&J]SŒUPXU,NPI@³´µS$J]?A@

e4UPh¥SNuNP\KSjU0J]I,UuX$S$a@VU0? R5J]eK<@5aV™

c*WKa$eKa$JLX$J]IKOQM]Z|‰QS$<KJLXXRj<@5?A@<4UPX‹U0S$S$ajUPR5S@fhut|@5a$ZCM]J]S$S$ML@iU0S$S@5I*S$JLNPIAJ]IuS$<@=e4UPX$S K›¢SZCZ|@VU0aX{‰

U0Ih,S$<@ aXSd¦[INV’I U0I4U0M]Z[XJLXT?uJLXXdS$<KJLXse4U0e”@5aV™4ª§@vX<NV’ <NV’ SNA\Ka@VU0¦¥S$<@`‹gdqHE \_Z

WXJ]IKO•U¤X$J]?ueKML@U0S$SjUPR¦§\4UPXj@fh§NPI2hŠJœ©‘@5a@5I_S$JU0S$JLNPI¡™qs@5t|@5a$S$<@5ML@fXXV‰¡J]SRVU0Iž\@A@VUPX$J]M]Z¨?AN[h[´

Jœ 4@fhSNžUft|NPJLh˜S$<KJLXNP\_t[JLNPWXU0S$SjUPRj¦”‰\*Z—J]I_S$aN[hŠWR5J]IKO2XNP?A@¤ajU0IhKNP?uI@fXjXV™‹;=<KJLXŒXM]J]OQ<_S$M]Z

?AN[hŠJœ 4@fh `‹gTqE Xj@f@5?AXvSN,\@A?ANPa@a@fX$JLX$SjU0I_SV‰U0Ih2J]IhK@f@fhžS$<@NPIKM]Z§¦[INV’IU0S$SjUPR¦žJLX

\4UPXj@fhNPI?AN[hK@5a$I¥R5a$Z*eKSjU0I4U0M]Z[S$JLRHS@fR<KIKJL^*W@fXWX$J]IKO&S$<@sO|@fNP?A@5S$a$ZN0›YI_WK?v\”@5aXV‰Up 4@5MLhN0›

?ŒU0S$<@5?ŒU0S$JLRfXR5a@VU0S@fh§\*Z,J]IK¦|NV’iX¦*J=U0Ih ’<KJLR<2<4UPXpX@f@5IžX$J]OQIKJœ 4RVU0I*SU0M]O|NPa$J]S$<K?uJLRŒJ]?&´

eKaN{t|@5?A@5I_SXJ]I,S$<@CMUPXSdS’“NhK@fRVUPhK@fXV™,NPa@veKa@fR5JLX@5M]Z|‰’“@WX@pS$<@vS@fR<KIKJL^*W@&hK@fXR5a$J]\@fh

\*ZŒ­ŸNPeKe”@5aX$?uJ]S$<J]I„L]yVw+N‰Q’<KJLRj<Œ<@5M]e@fh‘‰_U0?ANPIKO|X$S“NPS$<@5aX{‰QSN\Ka@VU0¦uRf@5a$SjU0J]IŒt|@5a$Zu@³²ŒR5JL@5I_S

tQU0a$JU0I_SXdN0›gHc7:¢X@f@\LP+N"U0Ih©Lx+N¡›±NPaS$<@H?ANQX$SieNV’“@5a›¢WKMU0S$SjUPRj¦[X ³™

;=<@dR5a$Z[eKSjU0I4U0M]Z[Xj@fXŸhK@fXjR5a$J]\”@fhJ]IŒS$<KJLXŸe4U0e@5aŸX$<N{’S$<4U0SŸa@VU0M›:WKIR5S$JLNPIXU0a@dt|@5a$Zue”N[NPa

NP\Šb$@fR5SX£›:aNP? UpR5a$Z[eKSNPOQajU0eK<KJLRTeNPJ]I_S=N0›¡t*JL@5’p™*qd@5t|@5a$S$<@5ML@fXjXV‰|S$<@sNVt|@5ajU0M]MX$S$WhŠZuI4U0S$WKajU0M]M]Z

ML@VUPhKX£SNS$<@eKaNPeNQXjU0M4N0›¡URVU0IhŠJLhU0S@TNPI@³´µ’=UfZu›¢WKIR5S$JLNPI¡™deASNIN{’p‰|INpX$WK\@³¬Še”NPI@5I*S$JU0M

U0M]O|NPa$J]S$<K? SNHJ]I_t|@5a$S“S$<KJLX›:WKIR5S$JLNPIŒJLX¦*IN{’I¡™Ÿa$JL@ Z|‰Q’Ÿ@iRfNPIX$JLhK@5a“Us›¢WKIR5S$JLNPIi‰

›±NPa@³¬KU0?ueKML@=<>@?‘‰7’<KJLRj<uJLXeKWK\KM]JLRQ™Q;=<@NPI@³´µ’ŸUfZv›¢WKIR5S$JLNPIuSjU0¦|@fX‹UPX"J]IKeKWKS£U0Isœ´µ\KJ]SJ]I_S@5O|@5a

U0IhANPWKS$eKWKSX“S$<@œ´µ\KJ]S‹J]I*S@5O|@5a

 –

–!#"

?AN[h$

–

‰QS$<4U0S“JLXSNCX UfZ&S$<@ihK@fR5J]?ŒU0M”\KJ]SX

œ%&pSN'œ§N0›

( – ! ™

;=<@Œa@5?ŒU0J]IhK@5aAN0›iS$<@e4U0e”@5aJLX&NPa$O_U0IKJLX@fh—UPXC›±NPM]MLNV’iX{™ ‡ I˜c[@fR5S$JLNPIBŠ‰"’“@Œ›¢NPa$?ŒU0M]JLXj@

S$<@dNPa$J]OQJ]I4U0M”¡J]S$S$ML@5’“N[N*h`‹gdqHE U0IhŒOQJ]t|@sUpX$J]?ueKML@HU0S$SjUPR¦AS$<4U0S=U0M]MLNV’iXŸWX“SNpeKa@fhŠJLR5SŸS$<@

Xj@f^_W@5IRf@N0›I_WK?v\”@5aXHU7›:S@5a<4UVt*J]IKOX@f@5I¤t|@5a$Z›¢@5’ NPWKS$eKWKSX{™ ‡I,c[@fR5S$JLNPI•xŠ‰K’“@O|@5I@5ajU0M]JLXj@

S$<@XjR<@5?A@SNNP\KSjU0J]IUHXS$a@5SR<KJ]IKOp›¢WKIR5S$JLNPIŒ^*WKJ]S@X$J]?uJ]MU0aSNHS$<@iNPI@hK@fXR5a$J]\@fhuJ]I‘LzN™/:

<@5WKa$JLXS$JLR£U0S$SjUPR¦\4UPX@fhCNPIe”NPM]Z[INP?uJU0M[U0eKeKaNV¬[J]?ŒU0S$JLNPI&U0IhpMU0S$S$JLRf@a@fhŠWR5S$JLNPIvJLX¡hK@fXR5a$J]\@fh

J]I,c[@fR5S$JLNPI,m™KšJ]I4U0M]M]Z|‰KJ]I•c[@fR5S$JLNPI,ˆŠ‰K’Ÿ@phK@fXR5a$J]\@HS$<@pRVU0IhŠJLhU0S@CNPI@³´µ’=UfZ›¢WKIR5S$JLNPI¡™

) *,+.-ƒ0r.X80/8o*21 354'687:9

gd@fRVU0M]M aX$S“’<KJLR<eKaNPe”@5a$S$JL@fX“<4Uft|@dSNv\”@iX U0S$JLX 4@fhA\*ZŒUp`‹gdqHE!›¢NPa£J]S£SNv\”@iX U0JLhŒR5a$Z[eKSN0´

OQajU0eK<KJLRVU0M]M]ZAXj@fR5WKa@Q™ ‡I*S$WKJ]S$J]t|@5M]Z|‰|J]S‹<4UPX‹SN\”@@VUPXJ]M]Z&RfNP?ueKWKSjU0\KML@sU0IhuWKIKeKa@fhŠJLR5SjU0\KML@s@5t|@5I

Jœ›U0I®UPhŠt|@5aXjU0a$Z<4UPXTU0M]a@VUPhŠZXj@f@5I¥XNP?A@N0›"S$<@NPWKS$eKWKSV™•NPa@fNVt|@5aV‰U0I®UPhŠt|@5aXjU0a$ZX<NPWKMLh

INPS\@pU0\KML@SNAhŠJLXS$J]IKOQWKJLX$<¥S$<@HI_WK?v\”@5aXd<@X@f@fX=›¢aNP? ajU0IhKNP? I*WK?C\@5aXV™ª§@HOQJ]t|@p<@5a@

S$<@hK@³ IKJ]S$JLNPI•N0›UA`‹gTqE UPXeKa@fX@5I*S@fh¥J]IML]yQyN™

(8)

¤¸

‚

:¼ Œ: hK@5S@5a$?uJ]IKJLX$S$JLReNPM]Z*INP?uJU0Mœ´µS$J]?A@U0M]O|NPa$J]S$<K? JLXCRVU0M]ML@fh—U

eXj@5WhKNPajU0IhKNP?«O|@5I@5ajU0SNPaŸJœ›¡S$<@5a@T@³¬ŠJLX$SX=U0IŒJ]IR5a@VUPX$J]IKOv›¢WKIR5S$JLNPI¡‰ž i‰XNpS$<4U0S£›±NPa

U0I*Z,eKaNP\4U0\KJ]M]JLXS$JLRue”NPM]Z[INP?uJU0Mœ´µS$J]?A@ŒU0M]O|NPa$J]S$<K?,‰›±NPaU0I*Z¨e”NQX$J]S$J]t|@eNPM]Z*INP?uJU0M"‰‘U0Ih

›±NPaTU0M]M¡X$WŠ²ŒR5JL@5I*S$M]Z¤MU0a$O|@ ¯°X

!

`a#"$&%'

! !)(

&+*,§`‹a-"&%.0/

'21

!3(

&+*

!54

&

6

! š

’<@5a@7%-–hK@5INPS@fXTS$<@WKIKJœ›±NPa$? hŠJLX$S$a$J]\KWKS$JLNPI,N{t|@5a98;: š &#<

–

U0IhS$<@eKaNP\4U0\KJ]M]J]SZ¤JLXiSjU0¦|@5I

N{t|@5a9%' :a@fX$e¡™]‰=% .0/

'21

UPX’“@5M]MUPXiNVt|@5aiS$<@CRfNPJ]I¥SNQXX@fXN0›3,™

ª§@HIN{’ hK@³ I@eKa@fR5JLXj@5M]ZS$<@HO|@5I@5ajU0SNPasNPI¥’<KJLR<®’“@CU0a@’ŸNPa$¦*J]IKO™

¤¸

‚

:¼?>@BAC

‚f‚

¸|»¼‘¼

½CD]€

EFY@5Sœ‹‰'œKŽ:‰5G U0IhIH“\@e4U0ajU0?A@5S@5aXiS$<4U0SdRVU0I

\@pUPh0bWX$S@fhSNua@VUPR<•UuRf@5a$SjU0J]I®X@fR5WKa$J]SZML@5t|@5Mµ™

yQ™­“<N*NQXj@pUajU0IhKNP?³œ´µ\KJ]SiX@fR5a@5SiI*WK?C\@5aw ™

BŠ™ŸšNPai››¢aNP? wžSNJH5‰£NPWKS$eKWKSS$<@•hK@fR5J]?ŒU0Md\KJ]SXajU0IK¦|@fh˜œKŽ %&®SN œKŽ %KG N0›

AB/D  %†›

!

‰KS$<4U0SJLXSNŒXjUfZgT2

–-L0MON

AB/D  %†›

!#"

?AN[h$

N P

‡I*S$WKJ]S$J]t|@5M]Z|‰*Jœ›"’“@d<4Uft|@UpMLNPO_U0a$J]S$<K? SjU0\KML@d’J]S$<@5I*S$a$JL@fX=J]IaN{’iXV‰*’“@sa@5S$WKa$IS$<@d\KMLN[R¦

N0›\KJ]SX\@5S’Ÿ@f@5IAaNV’iX6 U0Ihm %EHU0IhA\”@5S’“@f@5IŒRfNPM]WK?uIXœKŽ % &iU0IhsœKŽ %EG§™P;=<@=?ŒU7b$NPa

’Ÿ@VU0¦*I@fXjXN0›"S$<KJLXXRj<@5?A@HJLX=S$<4U0SŸS$<@HMLNPO_U0a$J]S$<K?AXTN0›"S’ŸN&MU0a$O|@RfNPIX@fR5WKS$J]t|@HI_WK?v\”@5aXdU0a@

t|@5a$Z,R5MLNQX@uU0Ih,\*Z¥WX$J]IKOS$<KJLXseKaNPe”@5a$SZ|‰OQJ]t|@5I§UŒX$?ŒU0M]MI*WK?C\@5apN0›£¦*IN{’I NPWKS$eKWKSXV‰”S$<@

UPhŠt|@5aX U0a$ZRVU0I¥eKa@fhŠJLR5SsU0I_ZX$WK\X@f^*W@5I_STNPWKS$eKWKSXV™ dWKadU0S$SjUPR¦JLX=\4UPX@fh¥NPI¤S$<@s›±NPM]MLNV’J]IKO

XJ]?ueKML@ML@5?u?ŒU'T

A£¸ §„JQ “-"3R ^s%'sc#€y19FF£dBSdbkh Uc\Xfg‘^[7R$UT

! ' (

TO' M  ,JT'1eŠFh

"VR /XW

1

^•% @\c#k"y/9/O Fjw#'Fd•›m j\cm3 % dadp3-"§ ^•\œ3|y^ Œ &oOFh

Y ' (

ACB/D  %Z

!

e[\]:&pŒV%'‚a"F“/]k›^\ &iFh_\`:7e

!R /aW

1 Y ' !

!5b

›,:&

!dc

We/

–f  1 P

gŠyadpTª§@s aX$Si@³¬ŠS@5IhR«SN&S$<@H›¢WKIR5S$JLNPIXT"hR$ !

*#

!)(

%&

! ,

!

™K¡@5S

!3(

AB/D  % !

‰KXN

Y ' ( 6

!

™Kª§@pU0eKeKM]ZS$<@?ŒU7¬ŠJ]?CWK?&´µtQU0M]W@pS$<@fNPa@5?¶X@5t|@5ajU0MYS$J]?A@fXT

!R /XW

1 "6

! * ! ( !R /aW

f  1 "6% & !

*,iR /XW

f  1 "6

! * !

( !

"hR /XW

f 1 !

*#6 % & ! ,`"hR

/aW

f  1 !

*#6

! !

b

?ŒU7¬(

!

"hR

/aWf  1 !

! ! kj

"h š % &+*

!

b

?ŒU7¬(

!

"hR /aW

f  1 Ž!

*#

! ! kj

"h š % &+*

!

(9)

b

?ŒU7¬(

!

"hR /aW

f  1 ŽŽ!

*#

! ! kj

"h š % -*

!

™™™

b

?ŒU7¬(

!

/aW1 ! ! j

"h š %†›$*

!

b

/XW

f  1

P

;=<@pa@fX$WKM]SiRfNP?A@fX›¢aNP? S$<@H›µUPR5SS$<4U0SŒ \

–f  ™

‡S›±NPM]MLNV’iXC›¢aNP? S$<@AeKa@5t[JLNPWXva@fX$WKM]SpS$<4U0SS$<@› % !

´µS$< NPWKS$eKWKSN0›S$<@AO|@5I@5ajU0SNPaV‰

S$<4U0SŒJLXuSN§XjUVZiT WM  (

– LMON

ACB/D  %†› % &

!#"

B N

‰RVU0I\”@¤@fXS$J]?ŒU0S@fh˜›¢aNP? S$<@

¦[INV’ML@fhŠO|@vN0›S$<@W›(% &HeKa@5t[JLNPWXTNPWKS$eKWKSXi\*ZS$<@›¢NPa$?vWKMU'T

T WM  ( UT

WM  ,iR /XW

1

UT

! !

%ZR /aW

1

UT

!dP

;=<@d^_W4U0I*S$J]SZ T WM  , R /XW

1

UT

!

hK@5e@5IhKXŸNPIKM]ZANPI TQ‰]™]™]™]‰T W ‰*U0IhER /aW

1

UT

!

RVU0IŒ\@i\NPWKIhK@fh

\*Z§WX$J]IKO•S$<@ŒeKa@5t[JLNPWXML@5?u?ŒUŠ™;=<_WXV‰SN,a@fRfNVt|@5aAU0SvML@VUPXSvS$<@Œ aX$S\KJ]SXN0› T WM  ›¢aNP?

S$<@®eKa@5t*JLNPWXNPWKS$eKWKSXV‰“J]SX$WŠ²ŒRf@fXS$<4U0S

!R /XW1

UT ! ! b – Lf 

‰‹’<KJLRj<JLXŒJ]?ueKM]JL@fh \*Z˜S$<@

J]I@f^*W4U0M]J]SZ

! – LMON

R

/XW

1

ACB/D6

!

!5b

– Lf  ™ ‡ S›±NPM]MLNV’iX›¢aNP? ¡@5?u?ŒUžyuS$<4U0SpS$<@uO|@5I@5ajU0SNPa

N0›3IH@³ IKJ]S$JLNPI,B&JLXJ]IXj@fR5WKa@CUPXMLNPIKOUPXS$<@5a@C@³¬[JLX$SXiU0I„›£X$WR<®S$<4U0ST

› \

G% & %ƒAB/D ›[,:&

!dc!

œI,:&

P

‡ ›GJLXTX$J]OQIKJœ 4RVU0I*S$M]Z¥MU0a$O|@5aTS$<4U0I œžX$WRj<,U0I„›“?ŒUfZ¤INPSd@³¬ŠJLX$Si\KWKSdS$<KJLXdU0S$SjUPRj¦¤’“NPa$¦ŠXi›±NPa

U0I*Z&a@VU0M]JLX$S$JLRie4U0ajU0?A@5S@5aXV™*šNPa“@³¬U0?ueKML@Q‰|Jœ›gœ

( & : :K‰_S$<@dU0S$SjUPR¦ARVU0IŒ\”@?ANPWKI*S@fhUPX£MLNPIKO

UPX G b & :

U0IhJœ›œ

( & : : :K‰S$<@\NPWKIh¥NPI G \@fRfNP?A@fX & :

™

§„Kƒ† ;=<@HXjU0?A@Ha@VUPXNPIKJ]IKOu<NPMLhKXŸ›±NPaiUt|@5a$ZŒMU0a$O|@R5MUPXXN0›Y›:WKIR5S$JLNPIX5®J]IX$S@VUPh¤N0›

NPIKM]Z ACB/D”™ ‡ SCX$WŠ²ŒRf@fXvS$<4U0SC’<@5I  JLXCMU0a$O|@Œ@5INPWKOQ<¡‰"S$<@5a@Œ@³¬ŠJLX$SpS’ŸN,RfNPIXSjU0I_SX

Y

:

U0IhdXWR<¥S$<4U0SS$<@pXWRfRf@fXX$J]t|@phK@5a$J]tQU0S$J]t|@fXTN0›.•XjU0S$JLX›¢ZhT

/aW

1

!)(

&

 WM

!

š

\ 

š

›^\¥›

P

‡ IAe4U0a$S$JLR5WKMU0aV‰[a@5eKMUPR5J]IKOsACB/Dv\*ZŒUeNPM]Z*INP?uJU0Mµ‰ŠUajU0S$JLNPI4U0M›¢WKIR5S$JLNPINPaŸU0I¡´µS$<ŒaN[NPS“hKN[@fX

INPSiX Uft|@S$<@pXjR<@5?A@Q™

*,+.- 0268"! -&2$#F5 +.-%-

=@³›±NPa@ueKa@fX@5I*S$J]IKO,S$<@u?AN[hŠJœ 4@fhž`£gTqE&‰‘’“@ŒJ]I_S$aN[hŠWRf@XjNP?A@uINPSjU0S$JLNPIXU0Ihž’“@Œa@fRVU0M]M

XjNP?A@HWX@³›:WKM‘a@fXWKM]SXdU0\NPWKSS$<@pRfNP?ueKWKSjU0S$JLNPI,N0›a@VU0M‘›¢WKIR5S$JLNPIXV™

(10)

Q ¤¼

‚V„Š‚

€Œ„

½ ½

¸3

‚

:¼O

€

‡ I¤’<4U0Si›±NPM]MLNV’iX{‰K’“@phK@5INPS@C\_ZJ"

!Y š !

*S$<@pX@5STN0›S$<@J]I*S@5O|@5aXTJ]I¥S$<@pJ]I_S@5a$tQU0M^"

Y š *U0Ih

\*ZJ"

Y š *– S$<@CX@5SdN0›a@VU0MYI_WK?C\@5aXs\”@5S’“@f@5I

Y

U0IhsS$<4U0ST<4UVt|@vU0Si?ANQXSŒœ§hK@fR5J]?ŒU0M\KJ]SX

J]I2S$<@XSjU0IhU0ahž\KJ]I4U0a$Z§a@5eKa@fXj@5I_SjU0S$JLNPI¡‰S$<4U0SJLXCSN,XjUfZZ8



 š



M 

 š

P0P0P

š





<_™Yª§@

U0MLXjNhK@5INPS@H\*ZŒ\KJ]SXd''#"

*‘S$<@HhK@fR5J]?ŒU0M¡\KJ]SXŸ›¢aNP?  SN  N0›

‰ŠNPa=?ANPa@HeKa@fR5JLX@5M]ZS$<@

J]I*S@5O|@5aT '

"

?AN[h$

' f 'M  !dP

ª§@pU0MLXjNuI@f@fh®UeKa@fR5JLX@phK@³ IKJ]S$JLNPI•N0›’<4U0SsU0I¥@VUPX$J]M]ZRfNP?ueKWKSjU0\KML@Ca@VU0M‘›¢WKIR5S$JLNPI¥JLXT

¤¸‚ ¹ „º ‚ ¸ … ¼ Y‚V„K~ ¸ ƒ ¸ „ …|‚ .¼O3s¡@5S

Y š j

=™Š:

ݢWKIR5S$JLNPI "

Y š * ¶JLXXjU0JLheNPM]Z*INP?uJU0Mœ´µS$J]?A@¨RfNP?ueKWKSjU0\KML@ ¢`‹;T­ AJœ›pS$<@5a@®@³¬ŠJLX$S

U¥hK@5S@5a$?uJ]IKJLX$S$JLR¤U0M]O|NPa$J]S$<K? U0Ih U¤eNQX$J]S$J]t|@u\KJ]tQU0a$JU0S@ŒeNPM]Z*INP?uJU0M'

š

!

X$WR<2S$<4U0S

OQJ]t|@5I U0I_Z

j "Y š *–”‰ RfNP?ueKWKS@fXHS$<@_G ?ANQX$SHX$J]OQIKJœ 4RVU0I_S\KJ]SXHN0›

!

’J]S$< U0SH?ANQX$S

œ š G !

\KJ]I4U0a$ZNPe@5ajU0S$JLNPIXV™

T›‘RfNPWKaXj@Q‰|S$<@T@5ML@5?A@5I*SjU0a$Zu›¢WKIR5S$JLNPIX£M]J]¦|@wA?g;1E"G'H;1<>?g;"B1<;! "/?r;<>?

f 

;#"B1<

f 

;$ "/?

f 

U0a@`£;T­!NPI®UOQJ]t|@5I¥J]I*S@5a$tPU0Mµ™ “a@5I*SieKaNVt|@fh®J]IMLo+N¡S$<4U0STRfNP?ueKWKS$J]IKO%"B1<{‰k<>?‘‰U0aR5SjU0I¡‰&A?

U0IhiE"G'HRVU0I\@ThKNPI@dJ]I@fXXj@5I_S$JU0M]M]ZŒS$<@sXjU0?A@dS$J]?A@sUPXUp?CWKM]S$J]eKM]JLRVU0S$JLNPI®N0›¡S’“NJ]I_S@5O|@5aXV™

;=<@“RfNP?ueKML@³¬[J]SZCN0›KS$<NQX@›¢WKIR5S$JLNPIX"JLX¡S$<@5a@³›±NPa@ŸU0M]?ANQX$S^_W4UPhŠajU0S$JLRQ‰PU0IhC@5t|@5I^_W4UPXJœ´µM]J]I@VU0a

Jœ›NPI@HWX@fX=›µUPX$STU0a$J]S$<K?A@5S$JLRiLBQw+N™

&('

¸*¼ ƒ ¸ *) + ƒ ¸ ‚!, .-0/21 gq]a43 FhA? iF3#Y /jŒ#hb7oFe%'`j\&9F[fabh d /

!

/©^UmZ+Fzb'1o•9l#Y " @ /Oœ˜ ]865 %87 & ! !9

œ

!

AB/D

 œ c#k/ FkUe6%'

5

(;:

:::

&=< a2

!3(

A@?

!

/‘E"G7H !

<?>³ a

!3(

"A@BC "/? !

F‘<>? !

FD"B1< !

/Y

9

œ

!

]Œ%'`€b7j\^_yaW^" ]Y/c[sc#k/ FkwBS"b7 O9‚jsb7z $#Yz[!`œ3|y^" ˆ€b7j\^cdp

Q > } ƒ0„ ½ ¼ € ¸ ½ AC‚f‚ ¸|»v¼‘¼ ½

;=<@&?ŒU0J]IžeKaNP\KML@5? N0›=¡J]S$S$ML@5’“N[N*h‘¯°Xv`‹gTqE«JLXHS$<4U0SCRfNPIX@fR5WKS$J]t|@AM]J]I@fXpN0›ŸS$<@&MLNPOP´µSjU0\KML@

U0a@¥SjU0¦|@5I U0Ih˜<@5IRf@®S$<@¥tQU0M]W@fXAN0›pRfNPIX@fR5WKS$J]t|@®@5I*S$a$JL@fXU0a@®SN*N§RfNPa$a@5MU0S@fh ’<@5I˜

OQaN{’iXHSNJ]IŠ IKJ]SZ|™ dI@’ŸUVZ,SNXNPM]t|@S$<KJLXHeKaNP\KML@5? JLXHSNWX@vajU0IhKNP? M]J]I@fXV™ =@fRVU0WX@&J]S

JLXp?ANPa@ŒRfNPI_t|@5IKJL@5I*SV‰’“@ŒhKN¥INPSpWX@uS$<@hKNP?ŒU0J]I "! – f  š – , & !

*=U0I*Z*?ANPa@Q‰"\KWKS ": š &+*–

J]IXS@VUPh‘™*;=<@sNP\Šb@fR5SŸ’“@dJ]I_S$aN[hŠWRf@s\”@5MLN{’JLX=Uv`‹gTqE t|@5a$ZŒXJ]?uJ]MU0a“SNvS$<@TNPI@shK@fXR5a$J]\@fh

J]I£LzN™':T?ŒU?EfJ]IKOQM]Z|‰[S$<@U0S$SjUPR¦ŠX=NPIS$<KJLX“I@5’!`‹gdqHE U0IhNPIS$<@HNPI@£b WXS“?A@5I*S$JLNPI@fh¥U0a@

^*WKJ]S@X$J]?uJ]MU0aiSN[NK™

(11)

¤¸

‚

1 JTJLhKhK@5IugT@VU0M[qTWK?v\”@5a`aNP\KML@5? JsgTqs` ¡¡@5S.u\@ŸUd`‹;T­ ": š &+*( ": š &+*

›¢WKIR5S$JLNPI¡‰‘@Q™O™g<>?‘™¡@5S_œ‹‰YœKŽ:‰OG–U0IhkHT\@X@fR5WKa$J]SZ•e4U0ajU0?A@5S@5aXV™¡¡@5S j "!: š  !*– \@uU

Xj@fR5a@5SAI_WK?v\”@5aV™“;=<@¥X$?ŒU0M]Mia@VU0MdI_WK?C\@5aŒeKaNP\KML@5? RfNPIX$JLX$SXAN0›a@fRfN{t|@5a$J]IKO ›:aNP? S$<@

¦[INV’ML@fhŠO|@vN0›yT

" W š \KJ]SX /– LM  1

/– LMON 1 "" % W !

*5* š

›±NPa : b › b

H5‰*U0Ih’<@5a@sS$<@

W

¯°X=U0a@dRj<NQX@5IJ]IhK@5e”@5IhK@5I*S$M]ZU0IhWKIKJœ›¢NPa$?uM]ZAJ]I "!: š 

 !*– ™

¤¸‚ /O µEH@5I@5ajU0M]JLX@fhŒ¡J]S$S$ML@5’“N[N*h‘¯°XŸ`‹gTqEª J]S$<AS$<@iX U0?A@INPSjU0S$JLNPIXV‰|S$<@iO|@5IŠ´

@5ajU0SNPaTJLXS$<@H›±NPM]MLNV’J]IKOŒX$S$a@5SRj<KJ]IKOA›¢WKIR5S$JLNPIrT

š P0P0P

š ! j "!: š &

!*M 

– 4

š

P0P0P

š š š

P0P0P

š š

’<@5a@ W (

\KJ]SX2/

– LM  16 /– L

MON 1 "

2%

W !

*‰Š›±NPa=›

( & š P P P š

H5™

;=<@AX@fR5WKa$J]SZ§N0›=S$<@uO|@5I@5ajU0M]JLX@fh `‹gdqHE«JLXChŠJ]a@fR5S$M]Z M]J]IK¦|@fh SN¤S$<@A<4U0ahŠI@fXjXCN0›=S$<@

JsgTqs`™k:dX=WX$W4U0Mµ‰J]SJLXe”NQXjX$J]\KML@sSNua@³´µ¦|@5ZS$<@pO|@5I@5ajU0SNPa›:aNP? S$<@peKa@5t*JLNPWXiNPWKS$eKWKSV‰\_Z

WXJ]IKOS$<@=’“@5M]Mœ´µ¦[INV’IŒS@fRj<KIKJL^_W@ThK@fXR5a$J]\”@fhAJ]I‘LmFN™QqdNPS$JLRf@=S$<4U0SJœ›S$<@

W

¯°X‹U0a@INPS‹R<NQXj@5I

J]IhK@5e@5IhK@5I_S$M]Z|‰”@fX$e@fR5JU0M]M]ZJœ›

WM  ( W

%:

f€–

‰KS$<@5I¥S$<@pU0S$SjUPRj¦¥N0›S$<@HeKa@5t[JLNPWXTXj@fR5S$JLNPI

XS$J]M]M‘’“NPa$¦ŠXV™

;=<@5a@U0a@CS’“NNP\_t[JLNPWXU0S$SjUPR¦ŠXdNPI•S$<KJLXs`‹gTqE&‰K’<KJLRj<,OQJ]t|@vS’ŸNŒa@5MU0S$JLNPIXs\@5S’“@f@5I

S$<@“e4U0ajU0?A@5S@5aXJ]IS$<@ŸRVUPXj@“N0›U X@fR5WKa$J]SZvML@5t|@5Mµ™7;=<@“ aX$SNPI@“JLX"\4UPXj@fhvNPIS$<@£\KJ]a$S$<hUVZ

e4U0ajUPhKNV¬•U0Ih,OQJ]t|@fX #G\n™_™;=<@CX@fRfNPIh•NPI@RfNPIX$JLX$SXsN0›OQW@fXjX$J]IKOS$<@p aX$S`œ Ž hK@fR5J]?ŒU0M

\KJ]SXvN0› (

"%

W!

U0Ih S$<@5I2RfNP?ueKWKS$J]IKO f  !

‰‘’<@5I f 

JLXChK@³ I@fh2U0Ihž`£;T­s™

;=<KJLXdU0S$SjUPR¦<4UPXTRfNP?ueKML@³¬ŠJ]SZ$

– L

U0Ih¤S$<*WXiOQJ]t|@fXS$<@\NPWKIh’œ

Ž

\u™*™

=0 3 f*f0 801 351.X0f81h,1890*21 # -&2 1h,F,1K5

;=<KJLXU0S$SjUPR¦—\Ka@VU0¦[XŒS$<@¤XR<@5?A@®J]I IH@³ IKJ]S$JLNPI z,\KWKSAa@5?ŒU0J]IXŒ<@5WKa$JLX$S$JLR¥X$J]IRf@¤J]SuWXj@fX

S$<@ŒMU0S$S$JLRf@Œ\4UPXj@fhžS@fRj<KIKJL^_W@N0›s­ŸNPeKe”@5aX?uJ]S$<2SN¥ IhžS$<@X$?ŒU0M]M£aN[NPSXvN0›i?vWKM]S$J]tPU0a$JU0S@

?AN[hŠWKMU0apeNPM]Z*INP?uJU0MLX{™ ‡SpRfNPIX$JLXSXpN0›=U0I2U0M]O|NPa$J]S$<K? S$<4U0SCXNPM]t|@fXS$<@mJsgTqs` @³²ŒR5JL@5I_S$M]Z|™

;=<@v aX$SX$S@5e¨JLXsSN¤U0eKeKaNf¬ŠJ]?ŒU0S@ §\*Z•UeNPM]Z*INP?uJU0M’J]S$< a@VU0MRfN*@³²ŒR5JL@5I*SXpNPI¨J]SXHhKN0´

?ŒU0J]I§N0›hK@³ IKJ]S$JLNPI?": š &+*™¡;=<@5I¡‰¡’“@&a@fhŠWRf@uS$<@mJsgTqs` SNS$<@&eKaNP\KML@5? N0›Ÿ IhŠJ]IKO¤S$<@

RfNP?u?ANPIžJ]I_S@5O|@5aCaN[NPSXpN0›=XNP?A@u?CWKM]S$J]tQU0a$JU0S@AeNPM]Z[INP?uJU0MLXpNVt|@5a™Šª§@& I4U0M]M]Z,WXj@&S$<@

?vWKM]S$J]tPU0a$JU0S@­ŸNPeKe@5aX$?uJ]S$<ŒS@fRj<KIKJL^_W@dSNpXNPM]t|@TS$<KJLX‹MUPX$S‹eKaNP\KML@5? U0IhAa@fRfN{t|@5a“S$<@iXj@fR5a@5S

“™_;=<KJLX=U0S$SjUPR¦ŒJLX£R5MLNQX@5M]Zua@5MU0S@fhSNvUpI@5’ ?A@5S$<N[h LBŠyN”SNCXNPM]t|@TS$<@ieKaNP\KML@5? N0›‘ IhŠJ]IKO

S$<@i’“NPaX$S£RVUPXj@fX›±NPa‹RfNPa$a@fR5S$M]ZuaNPWKIhŠJ]IKOCS$<@?ŒU0S$<@5?ŒU0S$JLRVU0M›:WKIR5S$JLNPIX{‰_U0MLXNH¦[INV’IUPX‹S$<@

SjU0\KML@Œ?ŒU0¦|@5avhŠJ]ML@5?u?ŒU ¢; I³™";=<@AMU0S$S$JLRf@Ae4U0a$SN0›S$<@U0S$SjUPR¦ JLXCt|@5a$Z§X$J]?uJ]MU0aCSN¥S$<@

(12)

S@fRj<KIKJL^_W@CWX@fhJ]I©LzN™

‡ I¤S$<KJLXiX@fR5S$JLNPI¡‰’“@eKaN{t|@pS$<@s›±NPM]MLNV’J]IKOŒS$<@fNPa@5?‘T

&(' ¸*¼ ƒ ¸ !" ": š &+*( ": š &+*§^WF€[ glVmabh d /ib' "%m%'/e%'m‹FF

9i f€ [efjv



!

/ 1 ! ! (

‹ c !

pŒV%'"£%k\vF ]‚F©F1F %Xj /U i

j\=#'Fz[hFjs F ]•œeœ Ž /Y G£ef"•%71 a Hl ]lS/X"‚%7/ ‘^FbhmFy/3 ]„/j"

#kFx[FY/j‚ Fx[“3 %%'3#'FFj\"ocUe3%'•b7YXW“%'b7c ] `%7/-3 ]h^_v#YS/ ]h\^CFe

3dFzZc“%' gp

} ¼ §„Š‚ ~ ¹ „ ¼ ¹ „

;=<@U0eKeKaNf¬ŠJ]?ŒU0S$JLNPIN0›iRfNPI_S$J]I_WNPWX›¢WKIR5S$JLNPIX\_Z eNPM]Z*INP?uJU0MLXvJLX^_WKJ]S@U0I2NPMLh2?ŒU0S$<@³´

?ŒU0S$JLRVU0M"SNPeKJLRQ™€: t|@5a$ZO|N*N[hJ]I_S$aN[hŠWR5S$JLNPI,SNAS$<@J]?ueKML@5?A@5I_SjU0S$JLNPI•›µUPRf@5STN0›S$<KJLXTX$WK\Šb$@fR5S

RVU0I\”@›¢NPWKIhŒJ]I L]yVo+N™XJs@5a@’Ÿ@dRfNPIX$JLhK@5a=U0eKeKaNf¬ŠJ]?ŒU0S$JLNPIXŸ’J]S$<a@fX$e@fR5S‹SNCS$<@

INPa$?‘T

!0!

,

!0!

(

XWKe !

! ,

! ! j

": š

&+*

!dP

;=<KJLXJLXUd’“@5M]Mœ´µ¦[INV’I&›µUPR5SS$<4U0SS$<@fNPa@5S$JLRVU0M]M]ZS$<@5a@=@³¬[JLXSXUdeNPM]Z*INP?uJU0MŠS$<4U0S‹U0eKeKaN|UPR<@fX

U0I*ZOQJ]t|@5I®RfNPI_S$J]I*WNPWXi›¢WKIR5S$JLNPI,UPXiR5MLNQX@5M]Z¤UPXihK@fX$J]a@fhKT

&(' ¸*¼

ƒ ¸ - ! ¸

ƒ0€f‚Vƒ0„K€V€!,

")

=".n^‘ F& €bkFb6abY Fgp#r/‚F€[%$

:7e

%kmvF @"“_#kFx[FY/j‚ F ³cbk %‘%7/

!0!

,

!0!

b

$p

“WKSCS$<KJLXpS$<@fNPa@5? hKN[@fXpINPSC<@5M]e§ IhŠJ]IKO®S$<NQXj@ue”NPM]Z[INP?uJU0MLX&U0Ih OQJ]t|@fXpIN®J]IhŠJLRVU7´

S$JLNPI2N0›ŸS$<@ARfNPI*t|@5a$O|@5IRf@ŒajU0S@UPXvU›¢WKIR5S$JLNPI2N0›=S$<@AhK@5OQa@f@ŒN0›=S$<@ueNPM]Z*INP?uJU0Mµ™r:«t|@5a$Z

@³²ŒR5JL@5I*ST?A@5S$<N[h¤SNARfNP?ueKWKS@U&e”NPM]Z[INP?uJU0M"U0eKeKaNV¬[J]?ŒU0S$JLNPI¨N0›U& ›¢WKIR5S$JLNPI®JLXSNAWX@

­“<@5\*Z[X<@5tveNPM]Z*INP?uJU0MLX{™|;=<@hK@5OQa@f@‹­“<@5\*Z[X<@5t&U0eKeKaNV¬[J]?ŒU0S@dN0› RVU0IA\@ŸRfNP?ueKWKS@fh

J]Iže”NPM]Z[INP?uJU0M‹S$J]?A@u’J]S$<2I_WK?A@5a$JLRVU0MŸJ]I_S@5OQajU0S$JLNPI˜U0M]O|NPa$J]S$<K?AXV™ •NPa@&eKa@fR5JLX@5M]Z|‰YNPI@ŒRVU0I

RfNP?ueKWKS@Q‰"J]I e”NPM]Z[INP?uJU0M“S$J]?A@J]I ‹ U0Ih ‰"U0eKeKaNV¬[J]?ŒU0S$JLNPIXuN0›iS$<@RfN*@³²ŒR5JL@5I*SX&N0›iS$<@

hK@5OQa@f@w‹­“<@5\*Z[X$<@5tŒU0eKeKaNV¬[J]?ŒU0S@sN0›S$<@=›:WKIR5S$JLNPI¡‰_’J]S$<U0I*ZI*WK?C\@5a^uN0›¡hK@fR5J]?ŒU0M\KJ]SXV™

ª§@’J]M]MiX@f@J]I—S$<@I@³¬[SAXWK\X@fR5S$JLNPI—S$<4U0SuO|@5S$S$J]IKOžU0eKeKaNf¬ŠJ]?ŒU0S$JLNPIXŒN0›dS$<@RfN[@³²ŒR5JL@5I_SX

XWŠ²ŒRf@fXV™•NPa@fNVt|@5aV‰*’<@5IO‹J]IR5a@VUPX@fX{‰_S$<@H­“<@5\KJLX$<@5tU0eKeKaNf¬ŠJ]?ŒU0S@fX=N0› ¤RfNPI_t|@5a$O|@st|@5a$Z

^*WKJLR¦[M]Z|™‘šNPa›¢WKa$S$<@5aphK@5SjU0J]MLXvU0\NPWKSv­“<@5\_ZŠX$<@5t U0eKeKaNf¬ŠJ]?ŒU0S$JLNPI¡‰Y’Ÿ@&a@³›¢@5aSNMLB+N‰’<@5a@

NPI@CRVU0I Ih¤S$<@H›±NPM]MLNV’J]IKOAS$<@fNPa@5?‘T

&('

¸*¼ ƒ ¸ (' *)

' ¸ ~ ¹ € '

¸,+ „ ¼ ž„Š‚ :¼)!" ^~-. FY ": š &+* ": š &+*

ab7Y d FkeFY

%'‚X9FUW‹/-%'^[c%'Zc#1#YvF j/osya5fpŠV%'gª

!0!

,

!0!

b

!0!

/0

M 1

!0!

‹ %&

!dc

 M  P

(13)

‡

I—NPWKaRVUPXj@Q‰Y’Ÿ@RfNPIXJLhK@5aS$<@X$?ŒU0M]ML@fX$SuhK@5OQa@f@•‹ X$WRj<2S$<4U0S

!0!

k, !0!

b 

 L

™

šaNP? ’<4U0SeKa@fRf@fhK@fX{‰h‹¥JLXdeNPM]Z[INP?uJU0M]M]Z®\NPWKIhK@fh¨J]I,S$<@tQU0a$JU0\KML@fXWœ

Ž

U0IhkG§‰”U0Ih•’Ÿ@

RVU0I¨RfNP?ueKWKS@uU0eKeKaNf¬ŠJ]?ŒU0S$JLNPIXpN0›£S$<@RfN*@³²ŒR5JL@5I*SXN0›

’J]S$<§UueNPM]Z[INP?uJU0M]M]Z®\NPWKIhK@fh

I*WK?C\@5adN0›hK@fR5J]?ŒU0M¡\KJ]SXJ]I¥S$J]?A@pe”NPM]Z[INP?uJU0M¡J]I®U0M]M¡S$<@e4U0ajU0?A@5S@5aX{™

> } ƒ ¼ ~ ¸ ¼+¸ ƒŒ‚ ' ¸k ‚ ¸,¸ ƒ0€

c*WKeKeNQX@HIN{’ S$<4U0SdU0I®UPhŠt|@5aXjU0a$Z¦[INV’iXTS$<@^_W4U0I*S$J]S$JL@fX_"

Wš W

*‘›¢NPa=›£›:aNP? &pSN H³‰Š’J]S$<

W (

\KJ]SX /– LM  16/– L

MON 1 "" % W! * j "!: š N ,:&

!*P

;=<@ŸI@³¬ŠS"ML@5?u?ŒUsX$<N{’iX<NV’—SNdS$ajU0IX›¢NPa$? @VUPRj<ua@5MU0S$JLNPIJ]I*SNUT?vWKM]S$J]tPU0a$JU0S@=eNPM]Z[INP?uJU0M

@f^*W4U0S$JLNPI®XjU0S$JLX$ 4@fh\_ZJ]I_S@5O|@5adWKIK¦*IN{’IXT

A£¸ §„ ‚{&b#X#'d`%'/^" d/

– LM  1 /– L

MON 1 "

! * ( W 3 %

j "!: š & !

*–-pk-" ^l

FW‹i#'Fz[FYFjs Fc#1#YvF j/ F©ya5uF ": š &+*=%X %id/ ]]§c

!0!

,

!0!

b 

 L

p

-"

!C(

– LMON

!

p§V%X @`Y/9/ F’j\F€W%716WFbhi1 "%’ +tu " 9&6a`%'

#kFx[FY/j‚ F – L MON

9m%kWh/c"3 &oXpg" 'UH

!C(

– Ž

 !

p§V%' ]W\XF

‹\#'/x[FYFjs FK3 %O &oX"‚ tu " "&Ue§/YXª

– ! , – W ( – MON

% š

%k FY~/l ]YoXlb7khF3k_%7/3d/ ]]a[ : b 4 – L

FY

! ! b

‹ %

! – f  p

gŠyadp ŸZ¤S$<@ChK@³ IKJ]S$JLNPI N0› Ž‰K›±NPasU0M]M

J]I ": š &+*‰

! Ž ! , – LMON

'

!

!Ob M 



™4;=<_WX{‰

\*Z¨S$<@uS$a$JU0IKOQML@AJ]I@f^*W4U0M]J]SZ|‰YS$<@5a@Œ@³¬ŠJLX$SXCU0I§J]I*S@5O|@5a : b 4

–#L

XWR<§S$<4U0S

!

! ,

N , W !5b M 



%:Š™4­ŸNPIX@f^_W@5I*S$M]Z|‰

!

' – ! , – MON

, – W ! b

‹ %

! –f

 ™

ª§@pU0eKeKM]Z¡@5?u?ŒU¥yQyHSN&S$<@He”NPM]Z[INP?uJU0M ›±NPWKIh¤hŠWKa$J]IKOAS$<@HeNPM]Z*INP?uJU0MU0eKeKaNf¬[´

J]?ŒU0S$JLNPI¨eK<4UPX@N0›‹S$<@&U0M]O|NPa$J]S$<K?¥™‘¡@5S \@pS$<@hK@5OQa@f@s‹e”NPM]Z[INP?uJU0MNVt|@5a NP\KSjU0J]I@fh

\*ZU0eKeKM]Z[J]IKOAS$<@HeKa@5t[JLNPWXML@5?u?ŒU&SN

™KšNPaT@VUPRj<®RfNPWKeKML@ " W š W

*¡’“@H<4UVt|@vU0I¥@f^*W4U0S$JLNPIrT

–

" % W! ! , – W , – MON W

%

W ( :

W ! š

’<@5a@ £‰

W U0Ih W U0a@pS$<@pWKIK¦*IN{’IXd’J]S$<F:

b W 4

–#L

U0Ih

! W ! b

‹ %

!

–f 

™ª§@

S$ajU0IX$ݢNPa$? S$<@@f^*W4U0S$JLNPIX W !

NVt|@5a —J]I*SNA?AN[hŠWKMU0aT@f^*W4U0S$JLNPIXT

W Y !

% W (

:u?AN[h ŽW

! š

’<@5a@%

( – MON

‰ Y ( – j "!: š – f  !

W Y ! (

'

Y % – W ! ,:

– W

U0Ih

! W !)b

‹%

! – f 

™;=<@eKaNP\KML@5? JLXIN{’«SN, Ih

Y

‰YOQJ]t|@5I—S$<4U0S W Y !

JLX&X$?ŒU0M]M=?AN*hŠWKMLN ‰

(14)

’J]S$<2¦*IN{’IžeNPM]Z*INP?uJU0MLX W

™¡;=<KJLXCJLXvUt|@5a$Z SZ*eKJLRVU0M=U0eKeKM]JLRVU0S$JLNPI N0›MU0S$S$JLRf@Aa@fhŠWR5S$JLNPI

U0M]O|NPa$J]S$<K?AX{™

§„Kƒ†

:sX“R5MU0J]?A@fhJ]IS$<@TeKa@5t[JLNPWXX$WK\X@fR5S$JLNPI¡‰ŠNPIKM]ZUCeNPM]Z*INP?uJU0MI_WK?v\”@5aiN0›"\KJ]SX

N0›‹S$<@vRfN*@³²ŒR5JL@5I*SXHN0›

<4Uft|@vSNA\@CRfNP?ueKWKS@fh•SNu I4U0M]M]Z®O|@5STS$<@va$J]OQ<_Sse”NPM]Z[INP?uJU0MA™

=@fRVU0WX@N0›iS$<@hK@³ IKJ]S$JLNPI˜N0› _Ž‹J]I S$<@ŒeKa@5t[JLNPWXML@5?u?ŒUŠ‰"J]S&X$WŠ²ŒRf@fXS$<4U0S‚œKŽ %?G % &

hK@fR5J]?ŒU0MY\KJ]SXTN0›@VUPR<®RfN[@³²ŒR5JL@5I_SsN0›

<4Uft|@p\”@f@5I®RVU0MLR5WKMU0S@fh‘™

Q ¼ ¸

:„Š‚f‚

… ¸

~"„K…

ƒ ¼ ½

ª§@Ha@fRVU0M]MY<@5a@pXNP?A@H\4UPX$JLRs›µUPR5SXTU0\NPWKSMU0S$S$JLRf@fXV™€: RfNP?ueKa@5<@5IX$J]t|@pJ]I*S$aN*hŠWR5S$JLNPI,SN&S$<@

RfNP?ueKWKSjU0S$JLNPI4U0MUPX$e@fR5STN0›S$<4U0SiXWK\Šb@fR5STRVU0I®\”@s›±NPWKIhJ]IML]y{zN™

: C/ cJLX‹UHhŠJLXR5a@5S@X$WK\KOQaNPWKeAN0› –

‰QNPaV‰P@f^_WKJ]tQU0ML@5I_S$M]Z|‰|S$<@X@5SN0›U0M]MKJ]I_S@5OQajU0M4M]J]I@VU0a

RfNP?v\KJ]I4U0S$JLNPIXdN0›3ž

b œ M]J]I@VU0a$M]ZJ]IhK@5e”@5IhK@5I*STt|@fR5SNPaX

W j – T

( 8 .

W

 W W :

W j < P

;=<@OX"ojs ]hF&±‰U0MLXjNŒRVU0M]ML@fh©ZFxb7j\5‰”N0›‹S$<@pMU0S$S$JLRf@ JLXshK@5S

!V(

.

W



!0!

W

!0!

‰4’<@5a@

!0!

P

!0!

JLXS$<@WR5M]JLhK@VU0I®INPa$? U0Ih "  š P0P0P

š . *YJLX=S$<@vEHajU0?&´ c[R<K?uJLhŠSHNPa$S$<NPO|NPI4U0M]JLXjU0S$JLNPI,N0›

" š

P0P0P

š .

*™4;=<@vhK@5S@5a$?uJ]I4U0I_SHN0›£UuMU0S$S$JLRf@pJLXTe4U0a$S$JLR5WKMU0a$M]Z®@VUPX$ZSNARfNP?ueKWKS@v’<@5I ž ( œ

U0Ih•S$<@&?ŒU0S$a$Jœ¬ @³¬[eKa@fXjX$JLNPI N0›“S$<@ W ¯°XHJLXHS$a$JU0IKOQWKMU0aT‘J]I¨S$<4U0SpRVUPX@S$<@uhK@5S@5a$?uJ]I4U0I_SCJLX

S$<@U0\XNPM]WKS@tQU0M]W@N0›dS$<@ŒeKaN[hŠWR5SuN0›TS$<@hŠJU0O|NPI4U0Mi@5ML@5?A@5I*SXV™3: OQJ]t|@5I—MU0S$S$JLRf@ RVU0I

\@HX$e4U0IKI@fh\_ZX@5t|@5ajU0M¡hŠJœ©‘@5a@5I_S‚^dc9" š P0P0P

š .

*‰Š\KWKSO|@5I@5ajU0M]M]Z|‰4NPIKM]ZŒS$<NQX@RfNPIX$JLXS$J]IKO

N0›X$<NPa$SvU0IhžajU0S$<@5aCNPa$S$<NPO|NPI4U0MŸt|@fR5SNPaXvU0a@ŒN0›=eKajUPR5S$JLRVU0M£J]I*S@5a@fX$SV™Yš4NPa“›

b

ž‰‘S$<@m›µ´µS$<

js € j‚b7j N0›T‰"hK@5INPS@fh2\*Z W !

‰"JLXhK@³ I@fh UPXvS$<@X?ŒU0M]ML@fX$S®XWR< S$<4U0SCS$<@5a@U0a@

U0SML@VUPXS›‹M]J]I@VU0a$M]ZJ]IhK@5e”@5IhK@5I*SdMU0S$S$JLRf@pt|@fR5SNPaXiJ]I¥S$<@H<*Z*e@5aX$eK<@5a@CN0›ajUPhŠJ]WXuRf@5I_S$a@fh

J]Ik:K™g: t|@5a$Z®O|N[N[h®\4UPX$JLXs’ŸNPWKMLh,JLhK@VU0M]M]Z,a@VUPR< S$<@v aX$Ss?uJ]IKJ]?ŒUŠ‰\KWKSpUPXsXjN*NPI UPXWž^\ Š‰

S$<@5a@¥U0a@MU0S$S$JLRf@fXŒX$WR<˜S$<4U0SuIN¨\4UPX$JLXuX U0S$JLX 4@fX&S$<KJLXueKaNPe@5a$SZ|™‹qs@5t|@5a$S$<@5ML@fXXuS$<@’Ÿ@5M]Mœ´

¦[INV’I¡¡ U0M]O|NPa$J]S$<K?L]yVˆ+NRfNP?ueKWKS@fXUH\4UPXJLX‹›±NPa£’<KJLRj<S$<@Tt|@fR5SNPaX Q U0M]?ANQXS£a@VUPR<'RdS$<@

?uJ]IKJ]?ŒUŠ™;=<KJLXH?A@VU0IXHS$<4U0SHS$<@vML@5IKOQS$<§N0›£S$<@“›µ´µS$<¨X<NPa$S@fX$SHt|@fR5SNPasa@5S$WKa$I@fh¨\*Z®¡¡JLX

\@5MLNV’

W !

‰Š›±NPaiXNP?A@RfNPIX$SjU0I*S:’<@5I¥S$<@phŠJ]?A@5IX$JLNPI¥JLXŸ K¬K@fh ³™•NPa@HeKa@fR5JLX@5M]Z|‰K’Ÿ@

<4UVt|@S$<@H›±NPM]MLNV’J]IKOS$<@fNPa@5?‘T

&('

¸*¼ ƒ ¸ >= #r/“F€[\ F€9F&žŒ/Y_œu%ksv/ @"



&cbk %‘%7// ]Z" O^ @

" š P0P0P

š .

*a=lS1 U –

F§ F#Yb'er%'6-MFXFc %Xj Fb'x#Yb'= ]O ]j\-#kFx[FY/j‚ F

%k‚^" 6C"/%„yal%'“ F#Yb'ef’^Fc ] " "š

P0P0P

š .*§"/ ]]a[F ]ª

!0!

W

!0!5b

 W ! š › j "!& š ž !* P

Références

Documents relatifs

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334