29
HAL Id: inria-00073584 https://hal.inria.fr/inria-00073584 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. Meta-Theoretical Properties of lambda_phi: A Left-Linear Variant of lambda_sigma César Muñoz To cite this version: César Muñoz. Meta-Theoretical Properties of lambda_phi: A Left-Linear Variant of lambda_sigma. [Research Report] RR-3107, INRIA. 1997. inria-00073584

hal.inria.fr · HAL Id: inria-00073584 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

HAL Id: inria-00073584https://hal.inria.fr/inria-00073584

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Meta-Theoretical Properties of lambda_phi: ALeft-Linear Variant of lambda_sigma

César Muñoz

To cite this version:César Muñoz. Meta-Theoretical Properties of lambda_phi: A Left-Linear Variant of lambda_sigma.[Research Report] RR-3107, INRIA. 1997. �inria-00073584�

Page 2: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

ISS

N 0

249-

6399

ap por t de r ech er ch e

����������������� ���������������������������������� ������ ��!"� ����#��$���%�&��'��!"� ����#�

( )%*�+�,-*�./)1032)%*�465$+87:9;2�0%9<)�2=*�46)�> 0;?A@CBED

F 76)G?�*�,H7I4�J/)1+�2LKM+N2�46+8JO*P0;?A@RQ

S3TUWVYX[Z�\�]�^`_Hab�c[d1e�]

fMgihMj k lmfMgihMjn$TUIo Zqp�UWZ1rts svu

w�x1yz�{|z~}

Page 3: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination
Page 4: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� ����������� ������������������������������ ���� "!$#&%' �(� )�*�+����,�� ���.-/�0������,1���� 2!/3

SGTUWVYX[Z \�]'^`_Hab�c d$e�]$4w�5 y6�706 }/8:9�;6�<>=?6 @?ACBD=?E(=F6�@6�GHE(I)@JE(KL@NMPO>7$QRAC@?=JSTKL6

UWV A)XY6(GHZWA>S[ ID\L\RA V G^]L6 V 6�E 5 6 V E 5 6"</_D`La�bdc 8fe$;6(g V =F6 V a�hChdc 8P}�} \LI)BD6�M

ikj*l�m�npoLqCmCrts <uG 5 =?M�\LIC\R6 V�v 6$E(AD<LMw=J]>6 V 6(xL\>@F=JEy=?G�MzKLQLMwGP=?GwK>Gw=FAT<LM E(I)@JE(KL@F=*G 5 ICG�I)@?@FA v AD\R6�<uGw6 V 7�M({s <|\LI V GP=JE(K>@JI V�}Cv 6�\ V AD\RADMw6HI�g~I V =JIC<TG�A)�NG 5 6 �+�D��E(I)@JE(KL@?KLM } G 5 I)G v 6�E(I)@?@��R�R{ e A V G 5 =?M&E(IC@?E�K>@?K�M�IC<�]=?GwM�Mw=J70\L@FOT��G�Od\R6�]�gC6 V Mw=FAT< }�v 60MwGwKL]LO�=FGzM�706(GwI)��G 5 6(A V 6�GP=JE(IC@�\ V AD\R6 V GP=?6�M�{ w�5 6��+�D��E�I)@JE(K>@JKLM 6�<~XYA~OdMG 5 6kMzIC706�BD6�<>6 V IC@�E 5 I V IDEyGP6 V =JMwGP=JE(M�ICM0�R� } =�{ 6D{�I�Mw=?7�\>@?6|ID<L]��R<>=?GwI V O�� V MPGP��A V ]L6 V \ V 6�Mw6�<TGwICGP=?AD< }E(AD<d�+K>6�<TG�AT<�GP6 V 7�M v =?G 5 706(GzI~��g~I V =?IDQ>@F6�M }Cv =FG 5 I�EyAT70\RADMw=?GP=?AD<�AD\R6 V I)GwA V ID<L] v =FG 5 Mw=?7�K>@FGzIC<>6�ADKLMMzKLQLMwGP=?GwKLGP=?AD<LM�{ x A v 6�gC6 V(} � � ]>Ad6�M�<>ACG 5 IpgD61G 5 6k<>AD<d��@?6y��GY��@?=?<>6�I V MzK V XY6�E(GP=?gC6�\LIC= V =?<LB V K>@?61A)��� �vH5 =?E 5�V IC=?Mw6�M&Gw6�E 5 <>=JE(IC@�\ V ADQ>@?6�7�M^=J<kMwAD706 � V IC706 v A Vz� M({

���0��P����� ��H���?�����y�

 ¢¡y£y¤¦¥z§L¨?©¦ª¢«�¬z­y®(¯Y«(§�¯¦¥d¨J°¢§

&±C²´³Tµ¶�·D¶�¸�¶¢¹YºT¶z¸Y¹PºD¶ ���������G��» ¹¦¼~½T¶ ± ¹ » ½D¸ ³�^»�¾/¿(²À± ¶H·C¶^Á »� ½d¹z¶ ¿ ½Rà ��» ¹¦¼~½T¶ ± ¹ » ½D¸ ³ ÃDÄ�ÅÇÆ¢È�É)Ã>Ê�ËCÆ¢É�Ì �[�N������I��NÍ8� ¶¢·D¶wÎkÏ � ¸ ¿�± ¹w¶yÐ�$µ¶ ¦µ¶¦ÑTº »�± ¶�ÒRÏ�Ì�Ì0Æ¢Ð�Ì�Ó�Ô�Ì�É�É�Æ�Æ&Õ �$µ¶ ¦µ¶¢¹ » Ñ ² ¶�Ò+Ï�Ì�Ì0ÆyÐ�Ì�Ó�Ô�Ì�É(Ì�Ì�È

Page 5: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� ���1���W��������� ��� ������/��������1�W�����������f! # %� ,�� -/���W�(�0,1��� ����,��� �������� ��������������� !/3

���� l������� r�� IC<�M�Ey6�GkI V GP=JEy@?6 } AD< M�� =J<TG ;6 V 6�MwMw6�IDKdx E(I)@JE(KL@?M�IpgD6�E�MzKLQLMwGP=?GwK>Gw=FAT<LM�6(xL\>@F=JEy=?GP6�M|SdK>=ID]L706(GwGP6�<TG�]>6�M�GP6 V 706�M�IpgC6�E$]>6�M�7 ;6(GzI~��gpI V =JICQL@F6�M({ z < \LI V GP=JE(K>@?=?6 V�} AT<�\ V AD\RADMw6�KL<>6�g~I V =?ID<DGw60]�K�+�D��E(I)@JE(KL@ } SdK�� AD<�IC\L\R6(@?@F6/�+�+{ U ADK V @JI0gC6 V Mw=FAT<�\LK V 6�6(G�\�ATK V @JI�gD6 V MP=?AD<|MP=J7�\>@F6�706�<TG�G�O>\ ;6(6�]>6�Ey6E�I)@JE(K>@�AD< ;6(GwK�]>=F6�@F6�M�\ V AT\ V = ;6�G ;6�M�7 ;6(GwI)��G 5&;6�A V =?SdK>6�M({! *6�E(IC@?E�K>@�R��MzI)GP=JMP� I)=?G�@?6�M 7#"6�706�M�\ V AT\ V = ;6�G ;6�MB ;6�< ;6 V I)@?6�MW]>6/� � } E$� 6�MPGP� yI)��]L= V 6$%& KL<>6/\ VL;6�MP6�<DGzI)Gw=FAT<|Mw=?7�\>@?6 } �R<L=FGzI)= V 6�6�GH]>6�\ V 6�70=F6 V A V ] V 6 }& EyAT<d�RK>6�<DGH\RADK V @F6�M^GP6 V 706�MHIpgD6�E ]>6�M�7 ;6�GwI)��g~I V =JICQ>@?6�M& IpgC6�E ]L6�M^AD\ ;6 V I)Gw6�K V MW]L6�E(AD7�\RADMw=FGw=FAT<|6�GH]>6/MwK�QLMPGw=FGzK>GP=?AD<�MHMP=J7$KL@FGzIC< ;6�6�M�{

{ I)=JM�� � <>6�EyAD7�\RA V GP6�\�ICM�@JI V y6(BD@F6H<>AT<d��@F=J< ;6�I)= V 6^]>6 � � SdK>=R\RADMw6�]>6�M�\ V ADQ>@�y6�7�6�M�GP6�E 5 <>=JSTKL6�M�]�IC<LME(6 V GwIC=?<>6�M^IC\L\>@?=JE(I)Gw=FAT<LM�{

Page 6: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

g � ,1���� � ��^��(�1,

w�5 6 V 6�I V 6 Mw6(gD6 V I)@ gC6 V Mw=?AD<LMWA)��6yxL\>@?=?E(=FG�MzKLQLMwGP=?GwK>Gw=FAT<LM�E(IC@?E�K>@F=���MP6�6���A V 6yxLIC7�\>@?6�� *6�Mzh�������A V I0A~gD6 V gT=?6 v AC��MwAD706 A)�G 5 6�7 } QLK>G�IC@?MwAkID7�AT<>B�ACG 5 6 V M� [ h�� � } � � [ h���� } � [ � h���� } � �6�Mzh���� } � { K��<Lh�� � } � e U h���� }�������� {�H@?@G 5 6�MP6�E(IC@?E�K>@F==J70\L@F6�7�6�<TGW�>��E(IC@?E�K>@JKLMQTO�706�ID<LM�A)��I�@?I��(O$706�E 5 IC<>=JMz7"A)� V 6�]LKLE(GP=?AD<�A)��MwK�QLMPGw=FGzK>GP=?AD<�M({ s <0A V ]>6 V GwA/EyAT<LMP=J]>6 V 706�GwI~�g~I V =?IDQ>@?6�M } 70ADMwGHA)�G 5 6�7 5 IpgC6/I|MPG V AT<>B1] V I v Q�ICE � %�<>AT<d��E(AD<d�+K>6�<LE(6�AD<uGw6 V 70M v =FG 5 706(GzI~��gpI V =JICQL@F6�M({�ZWAD<d�RKL6�<LE(6IC<�] v 6�I � <>A V 7�IC@F=���ICGP=?AD<�I V 6�MzK���Ey=?6�<TG GPAu]>6�E(=?]L6�6�STKL=Fg~I)@?6�<�Ey60A)��Gw6 V 70M�{ x 6�<LEy6 } G 5 6�MP60G v Ak\ V AD\R6 V GP=?6�M MP6�6�7 GwAQR6/]>6�Mw= V ICQL@F6�=J<kID<DO|6yx>GP6�<LMP=?AD<kA)���L��E�I)@JE(K>@JKLM v =?G 5 706(GwI)��g~I V =JICQ>@?6�M^ID<L]�6yxL\>@?=?E(=FG�MzKLQLMwGP=?GwK>Gw=FAT<LM({w�5 6�� � ��E(IC@?E�K>@JKLM ��=?M AT<>6$AC��G 5 6�70ADMwG \RAD\�K>@?I V 6(xL\>@F=JEy=?G�MwKLQ�MPGw=FGzK>GP=?AD<LM�E�I)@JE(K>@JKLM�{ s G�=JM�I1� V MPGP��A V ]L6 V�V 6 vHV =?GP=J<>BMwOdMwGP6�7 v =FG 5 G v A$MPA V GzM�AC�N6yxL\ V 6�MzMP=?AD<LM�%�Gw6 V 7�MWID<L]�MzKLQLMwGP=?GwK>Gw=FAT<LM({ s <�G 5 =JMWE�I)@JE(K>@JKLM } � V 6�6�IC<�]�Q�ATKL<L]1g~I V =JICQ>@?6�MWI V 6V 6�\ V 6�Mw6�<TGP6�]�QTO$]L6!� V K>= XP<�� M=?<�]>=?E(6�M } ID<L] 5 6�<LE(6 } �>��GP6 V 7�M�E(A VzV 6�Mw\RAD<L]$GPA�B V ATKL<L]�� � ��GP6 V 7�M v =?G 5 ATK>G�MzKLQLMwGP=?GwK>Gw=FAT<LM({ZWAD<>�RK>6�<�Ey6�ID<L]�Gw6 V 7�=J<LICGP=?AD<�\ V AD\R6 V GP=?6�M�A)�W� � ��A V B V ADK�<L]�GP6 V 7�M I V 6$M 5 A v <u=?<"� ��Z�Z �hLa#��{ w�5 6�� � ��E(I)@JE(KL@?KLM�=?M<>ADG�EyAT<d�RK>6�<DG�AD<0BC6�<>6 V I)@LAT\�6�<�GP6 V 7�M$� � Z x *h�� � �¢}T5 A v 6�gC6 V � [$;%?ADhD`�� 5 IDM�\ V A~gC6�]�G 5 I)G�=FG�=JM�E(AD<d�+K>6�<TG�AT<0Mw6�70=F��AT\�6�<GP6 V 7�M } = { 6C{6(xL\ V 6�MwMw=?AD<LM v =?G 5 706(GwI)��g~I V =JICQ>@?6�M&AC��Gw6 V 70M�Q�K>GH<>ACGH706�GwI~��g~I V =?IDQ>@?6�M&A)��MwKLQ�MPGw=FGzK>GP=?AD<LM�{& G 5 6 V M�E�I)@JE(K>@?=�G 5 ICG I V 60EyAD<>�RK>6�<TG AD<�GP6 V 7�M v =FG 5 706(GzI~��g~I V =?IDQ>@F6�M�I V 6��(')��� Z x *h���� �¦} �+*�,-��� [ h���� � IC<L] �+.��� { K��<�h���� � { s <Ç\LI V GP=JE(K>@JI V�} � ' =?M�I�E(AD<d�+K>6�<TG/� V MwGY��A V ]>6 V�V 6 vHV =?GP=J<>B�MwO>MPGw6�7�{ ZWAD7�\LI V 6�] v =FG 5 � ' } �+� 5 ICM�@?6�MzMV 6 vHV =FGw=?<>B V K>@F6�M�IC<L]�=?G�=?M�E(AD7�\LI)Gw=?QL@F6 v =?G 5 G 5 6�/T� V KL@F6D{��K>G�=?G 5 ICM�IC@?MwAuMPAT7�61ID]>g~IC<TGwICBC6�M vH5 =?G V 6�Mw\R6�E(G�GPA�� * ,IC<�]�� . %��R�|=?M�I��R<L=FGzI V O�� V MPGP��A V ]L6 V MPO>MwGP6�7 IC<L]�=?GHI)@?@FA v M^EyAT7�\�ATMP=?GP=?AD<�IC<L]uMw=?7�K>@?GwIC<L6(ADK�M&MzKLQLMwGP=?GwKLGP=?AD<LM�{s <��+�|G 5 6�E(AD7�\RADMw=FGw=FAT<uAD\R6 V I)GPA V^v IDM�=J<DG V A>]LK�Ey6�]uGwA|MwAC@?gC6$I1E V =?GP=JE(IC@*\LIC= V�} ID<L]�MPA } GwA�BDIC=?<u@?A>E(I)@*EyAD<>�RK>6�<�Ey6C{ZWAD7�\RADMw=FGw=FAT< A)� MwKLQ�MPGw=FGzK>GP=?AD<LM0=J<TG V Ad]�KLEy6�M0Mw=J7$K>@?GwID<>6(ATKLM�MzKLQLMwGP=?GwKLGP=?AD<LM0G 5 I)G 5 IC\L\R6�<�M�GwA QR6uKLMP6(� K>@&��A V Mw6(gC6 V IC@\LK V \RADMw6�M�{ e A V 6yxLIC7�\>@?6 } G 5 6�70Ad]L6(@?=?<>BÇA)��E(@FATMwK V 6�M�A)�0IC< IDQLMPG V IDEyG�70IDE 5 =J<>60� � xi{�U h1��� � A V G 5 6 \ V KL<>=J<>BÇA)�Mw6�I V E 5 Mz\LICE(6H=?<kKL<>=F�RE(ICGP=?AD<LM&I)@?BCA V =?G 5 70M2��� �=x /h���� � {3��@?MwA } G 5 6�Mw6H��6�I)GwK V 6�M�=J7�\ V A~gD6HG 5 6 MzKLQLMwGP=?GwK>Gw=FAT<|706�E 5 IC<>=JMw7QTO IC@F@?A v =J<>B \LI V I)@?@F6�@�MzKLQLMwGP=?GwK>Gw=FAT<LM�AC� g~I V =JICQ>@?6�M�{4��K>GkI)@JMPA } E(AD7�\�ATMP=?GP=?AD< AC��MzKLQLMwGP=?GwKLGP=?AD<LMkIC<L] Mw=?7�K>@?GwIC<L6(ADK�MMzKLQLMwGP=?GwK>Gw=FAT<LM/I V 6 V 6�Mw\RAD<LMw=JQ>@F60A)�&G 5 6���AD@F@?A v =J<>B�<LAD<d��@F6(��GY��@F=J<>6�I V�V KL@F6 %56� 7��689�;:=<�7 � Ï �W��»�±�> Ð9? 7&{ s <d��A V 7�IC@F@?O } =F�v 6/=?<TGw6 V \ V 6�G@7�IDM�I1@?=?MwG } 5uICMHG 5 6 5 6�IC]�� K�<LEyGw=FAT<�IC<L]A:�ICM�G 5 6�GwI)=?@N� K�<LEyGw=FAT< } G 5 6�<�G 5 =JM V K>@?6$E(A VzV 6�Mw\RAD<L]�GwA|G 5 6MzK V XY6�EyGw=FgD6y��\LI)= V =J<>B V KL@F6D{w�5 6��CBLZWAD<LM �^V K>@?6 } 56� 7=�+8�:=<D7 ? 7 } =JMH=J7�\ V IDEyGw=?E�I)@ ��A V 70ID<TO V 6�ICMwAD<�M({ s <�� IDEyG } � { KE�<Lhdc�� 5 IDMHM 5 A v <�G 5 ICG� � 7�IpO�@?ADMw6�M$G 5 6uMwK�QdXY6�E(G V 6�]LK�EyGP=?AD< \ V AT\�6 V G�O�=J< I�]>6�\�6�<L]>6�<DG0G�O>\�6�M�MwO>MPGw6�7 ]LK>6�GPA�G 5 6F�GB�ZWAD<LM ��V K>@?6C{F�^KLGI)@JMwA } =J<L]>6�\�6�<L]>6�<DGw@FO }�H ID]LI)G 5 K V/5 ICM V 6�70I Vw� 6�] =J<I� H IC]Lh�� �WG 5 I)G/G 5 =JM$<>AT<d��@?6y��GP��@?=J<>6�I V/V KL@F6�=JM$]L=J��E(KL@FG/GwA 5 ID<L]>@?6=J< =J70\L@F6�7�6�<TGwI)Gw=FAT<LM�{ x 6 5 ICM V 6�7�I Vz� 6�]�G 5 ICG0=J<Ç� � v =?G 5 MP6�70=À��AD\R6�< Gw6 V 7�M�G 5 =JM V K>@?6k=JM�IC]L70=JMwMw=JQ>@F6 vH5 6�<ÇG 5 6��AC@?@?A v =?<>B1MzE 5 6�706�A)� V KL@F6�=JMH7�I)=J<DGzI)=J<>6�] %!5K�L:�M��+8�:�M�NE� Ï ����»�±�> Ð�? : M }�vH5 6 V 6:�Mk=?M�I�<>ADGwI)Gw=FAT<���A VPO M ��GP=J7�6�MQ R#S T:=< ����� <U:�VL{e AD@F@?A v =J<>B�G 5 =JM�=?]>6�I }�v 6|\ V AD\RADMw6�IC<�6yxL\>@?=JEy=?G�MzKLQLMwGP=?GwK>Gw=FAT<LM�E�I)@JE(K>@JKLM$G 5 ICG � 6�6�\�G 5 6kMzIC706|Mz\>= V =?G/A)���+� } = { 6C{IuMP=J7�\>@?6�IC<L]��R<>=?GwI V O�� V MwGY��A V ]>6 V \ V 6�MP6�<DGzI)Gw=FAT< } EyAT<d�RK>6�<TG AT< GP6 V 7�M v =FG 5 706(GwI)��g~I V =JICQ>@?6�M }�v =?G 5 I�EyAT70\RADMw=?GP=?AD<AD\R6 V I)GwA V AC�MzKLQLMwGP=?GwKLGP=?AD<LM IC<L] v =?G 5 Mw=J7$K>@?GwID<>6(ATKLMHMzKLQLMwGP=?GwK>Gw=FAT<LM({!��K>G�=?<�E(AD<TG V ICMwG�GPAk�+� } G 5 6$<L6 v E(IC@?E�K>@?K�M 5 IDM<>ADG�G 5 6��CBLZWAD<LM �WV KL@F6/ID<L]|=?G�=JM�6yx>GP6�<LMw=?Q>@?6�GPA 5 =?B 5 6 V ��A V ]>6 V G�O>\R6�]uMwOdMwGP6�7�M({w�5 6 V 6�MPG A)��G 5 60\�IC\R6 V =?M�A V BDID<>=��(6�]�IDMH��AD@F@?A v M�{ s <WBT6�E(GP=?AD< }�v 6�\ V 6�Mw6�<TG�G 5 61� � ��E(I)@JE(KL@?KLM�{$ZWAD<d�+K>6�<LE(6�ID<L]<>A V 7�I)@?=���I)Gw=FAT<�\ V AT\�6 V Gw=F6�M�A)��G 5 6|E(IC@?E�K>@JKLM/AC��MzKLQLMwGP=?GwKLGP=?AD<LM�I V 6�\ V A~gD6�] =J<0BT6�E(GP=?AD<LM�`�IC<L]W�R{ s <"BT6�E(GP=?AD<X� v 6M 5 A v G 5 ICG�� � =JM�E(AD<d�+K>6�<TGHAT<��>��GP6 V 7�M v =FG 5 706(GwI)��g~I V =JICQ>@?6�M�{ e =?<LIC@F@?O } =J<YBT6�E(GP=?AD<Z� v 6�MwGwK�]>OkG 5 6�Mw=J70\L@FOuG�O>\�6�]gC6 V Mw=?AD<�AC�� � { s <u\LI V GP=JE(K>@JI V&v 6�\ V A~gD6 MzKLQdXY6�EyG V 6�]LK�EyGP=?AD<�IC<�] v 6�I � <>A V 7�I)@?=[��I)Gw=FAT<|\ V AD\R6 V GP=?6�M�{

\ !$#*�E] ����� �����

w�5 6��R<L=FGzI V O�\ V 6�Mw6�<TGwICGP=?AD<�A)�^G 5 6�MzE 5 6�7�6�MzK>BDBC6�MwGP6�]�QTO H IC]�I)G 5 K V =JM�BTI)=J<>6�] QTO�G 5 61=?<TG V A>]LKLE(GP=?AD< A)��I�MPA V G�GwAV 6�\ V 6�Mw6�<TG^<LI)GzK V IC@N<dKL7$QR6 V M�IC<L]uID<kID]>6�SdKLICGP6�MP6�G^A)� V 6 vHV =?GP=J<>B V KL@F6�M^GPA1EyAT70\�K>GP6 v =?G 5 G 5 6�7�{w�5 6�Mw6(G$^ � A)� v 6�@F@ ��A V 706�]|6(x>\ V 6�MwMw=FAT<LM&=?M�]>6y�R<L6�]uQTO�G 5 6���AD@F@?A v =J<>B�B V IC7�7�I V %_a`cbedgf hji�k l k�m;npo6m�q igmDr�stdguwv m;ighjx#b�l�dym�dgf m�zju�{|l zjz }${;u#b�~�q�m|b�d3{|l zj{;q zjq iEk ngu#k�u#igm;vthjb�� ���p�6�����C�c�

a

Page 7: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

����� ��� ��� � � � 8�:��#� �g�&6�GwI �

����� � � 7�� ��� ��� �L5 8��G7�< :�� ������� � � � *IC7�QR]�I ���� �Y� � 7�� ��� � � 7�� � � 7�� �y��\L\ �� � 7��;� �!� ��� � � 7<��w� ��ZW@FATM �5K� � 8�7E� ��� � ����I V ZWAD<LM �� �j:��#� ��� � � s ] ���� 8�7 � <�� ��� � � �!�(8��G7�<�� � � { IC\ �:���<�7 ��� 7 � s ]+B �: �� ��� M��9< ��� 8 7 � ��� :�M!<�7 �CB 5 =F��G¦ZWAD<�M �: �� ��� M��9<D:�� ��� :�M!< :�� ������� �CB 5 =F��G B 5 =F��G �5 8�:�� ������� ��� :�� �CB 5 =F��Gwb �5K�L: M � 8�: �� ��� M�� ��� : M �CB 5 =F��G B �

e =?BDK V 6�a$% w�5 6 V 6 vHV =FGw6�MPO>MwGP6�7 �R�R{

�uo>m ��npo���l % %"! b$#�7�%�&�� ��' � n ��l �)( � % %"! 5*#C�+�,#� � #�� � 7��- ��j�l(m�.�m���m/.10�2*l 73(4� % %"! : M #� 8�75#�7P<3�

6 6/]>6y�R<L6 G 5 6/MwOdMwGP6�7 � � =J< e =?B�{�aD{ w�5 6�MPO>MwGP6�7 # =JM^ADQLGwI)=J<>6�]�QTO|] V AT\L\>=J<>B�G 5 6��g�&6�GwI ��V K>@?6�� V AT7 � � {w 6�E 5 <>=JE(IC@F@?O } � � =?M/<LACG�I�@F6(��GY��@F=J<>6�I V/V 6 vHV =FGw=?<>BuMwOdMwGP6�7 ]LKL61GPAuG 5 6Z�CB 5 =F��G B �/V KL@F6D{ x A v 6�gC6 V(} =?GwM/]L6(gd=?ICGP=?AD<�=?M<>ADG 5 I V 7�� K>@*Mw=J<LEy6/G 5 6/Gw6 V 7 v =?G 5 I�]LADKLQ>@?6/A>E(E�K VzV 6�<LEy6�=J<�G 5 =JM V K>@?6$E(ID<uQ�60EyAD<�MP=J]>6 V 6�]�ICM�I1EyAT<LMPGzIC<TG({ s <uADG 5 6 Vv A V ]LM } Mw=J<LEy6/<LICGwK V I)@*<TK�7$QR6 V M�I V 6/<>6(gD6 V�V 6�]LKLE(6�] } G 5 6��+�C��E�I)@JE(K>@JKLMHE�IC<uQR6/EyAD<�MP=J]>6 V 6�]�ICMH@F6(��GY��@F=J<>6�I V =J<kG 5 6$MwA V GA)��GP6 V 7�M�ID<L]kMzKLQLMwGP=?GwKLGP=?AD<LM�{

6 6 V 6�7�I Vz� G 5 ICG^G 5 6 V 6 vHV =FGw=?<>B0MPO>MwGP6�7 # =?M�<LACG^EyAD<>�RK>6�<TG } <>ACG&6(gD6�<�@?A>E(IC@F@?O�EyAT<d�RK>6�<DG } AD<�AT\�6�<|6(xL\ V 6�MwMw=?AD<LM�{6 6�E(ID<�E 5 6�E � 706�E 5 ID<>=JE(I)@?@?O } ��A V 6(xLIC7�\>@?6�KLMw=?<>B�G 5 6 [H[ )��� 87:9Ch � � MwO>MPGw6�7 } =?<1A V ]L6 V ��7�IC<dKLIC@>AD\>Gw=FAT< } G 5 ICG # 5 IDMG 5 6���AC@?@FA v =J<>B1E V =FGw=?E�I)@�\LIC= V M %

&<;>=@?BADC �E0+l�F {G� � 7=�3H � I � � 7��C�j:��#� � I ? � � 7�<D:�����{&<;JC �E0+l A@C �10Rl F {K� �J�G7�<�� � <3�MLj�NH � I � � 7��G� �!�C� �OLJ� � I ? � � 7<w�1� <��OL � ��{&<; -�PB.EQ�m�R ADS o�TNF { 7 H � I �|5 8�: �� �����J� � <�7 � ? 56� 7�� 8��|: �� �����J�9<�7 � {&<; -�PB.EQ�m - ADS o�TNF {!: Mw<�7 H � �|56�L:�M��+8�:������cM�� � <�7 � I ? 5K�L:�M!<�7�� 8��;:�� ��� M���<�7 � {&<;4U o ��j ? o ADC �E0+l F {���� �L5�8��|�C7�< : �� ������� � <U�|5 8��1� <D: �� ������� �|�a� � H � I ���+� � � 7=�G� �!� � I ?�+� �J5 8��a�G7�<3� � <D: ������V�J� � ��{

s � v 6�EyAT<LMP=J]>6 V G 5 60� �^6�GwI ��V KL@F6 }Hv 6 5 IpgC6�ID]L]>=?GP=?AD<LIC@F@?O G 5 6���AC@?@FA v =J<>B E V =?GP=JE(IC@�\LIC= V|v =FG 5 G 5 6)�g��\L\ �|V K>@?6$%� � � � 7=� 8�7���H W/X I �a����� ���Y� � 7�� W/X I ? � � � � 7��(8��a�G7�<D:�� ������� � < �Y� 8�:�� �a� ��{x A v 6(gD6 V�}v 6uI V 6�BCAC=J<>B GPA \ V A~gC6kG 5 ICG0G 5 6�Mw6�E V =FGw=?E�I)@H\LIC= V M�I V 6 # �?XYAC=J<LICQ>@?6u=?<ÇG 5 6�MP6�G0AC��6(x>\ V 6�MwMw=FAT<LM�G 5 ICGEyAT<TGwI)=J<u706(GwI)��g~I V =JICQ>@?6�M^AT<>@?O|A)��MwA V G�GP6 V 7 } =�{ 6C{�<>A�706(GzI~��gpI V =JICQL@F6�M^A)��MPA V GzMHMzKLQLMwGP=?GwK>Gw=FAT<uA V <LICGwK V I)@�{ w�5 =?M�MP6�GH=?M]>6(�R<>6�]uIDM^G 5 6/Mw6(G^A)�[Z]\_^�`DaVb>c�d�e@f16(xL\ V 6�MwMw=?AD<LM&A)��^^�1IC<L]�=?G�=?M�<LACGP6�]uQDO ^MgW{

}

Page 8: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� ��� 2�.�m/.E0:2 5 ; i ?�? .�m�.E0�2�F�� e���e��Gf�e�� e�ID]L]>=?GP=?AD<� �\ f����a1c f cf��� e `]e� c� ����4c \ f��$f:^��\��4^�� `��b� "! !#!73%:&�� �� $! ! 73%�&�� "! �

w�5 6 ��AC@?@?A v =?<>B1\ V AD\R6 V GP=?6�M^I V 6�\ V A~gC6�]|QTO|MwG V KLEyGzK V IC@�=?<�]LKLEyGw=FAT<�AD<�<LI)GzK V IC@?M�{U � � ��o 5 ; i ?3? .�m/.E0:2&%�n�0�T � n�m�. � l�F(' c�� ^f*) ,+ ! ^ f��.-/���4c\ f�� f�^��\��4^�� `�01 �3254Kc�6�6 \�Y^��a87�a8�):9 $! !;!< �= �32?> `�`@c@�]a1^��a87/a8�):9 I��!A "- � ! � $! � $-B�C �328DMaE����GF3e��Jc:9 b ! �H �328DMaE����/I+\*�:��eD`�`]c��J9 )73%:&���! � !473%�&���!K �� �L �32?>M�N�Jc�OP4Kc�6Md c `�a8�a1c f�9 : M < : � ��Q ? : M�N � �

%�n�0+TG0Rl�.�m/.10�2 5SRT� e `]e��c� # b�f:c��N6$^��� @c��N6 ` aVf ^ g a�`��e��Kf�e:�VUN)��� eW @c��8� c�ONaVfX�����4^�6Y6$^���0�uo>m ��npo�� l 0808Z b$#�73%:&�� ��' � n ��l �)( � 0808Z 5*#(5K�L: �� ��� M�� �3#)��� #� � #\[ #�[=� 7�L[�- ��j�l�m/.�m �Nm�.E0�2*l 7 0808Z : � #�7 L

7�L 0808Z :�� ��� M�� #� 8�7 v =?G 5 � 8�7^]! 5 8�: �� �����J��IC<L]� 8�7^]! 56�L:�M��+8�:������cM��

O_� e��4e�[ a�` ^36 e�Y^b`7�^��Da1^�U�� e c� `]c��NG�e��N6��a �4c�c� �� e = V MPG v 6$E 5 6�E � G 5 I)G�G 5 6���A V 7�MH]L6�MzE V =?QR6�]�QTO�G 5 6$IDQ�A~gD6�B V IC7�7�I V I V 6 # ��<LA V 70IC@���A V 7�M({ w�5 6�< v 6/gD6 V =À��OG 5 I)G�G 5 6 V 6�I V 6�<>A1ID<DOk7�A V 6D{ bcf d � k �1� � �0���feH�$�����1,w�5 6k=?]>6�I�A)�HG 5 =JM$<>A V 7�I)@?=���I)Gw=FAT< \ V ATAC��g1=JM/GPA Mw\L@F=?G$G 5 6 # ��E(I)@JE(KL@?KLM$=?< G v A�Gw6 V 70=?<LICGP=J<>B�MwO>MPGw6�7�M } ID<L] GPA�KLMP6kIMzK���Ey=?6�<TGWE(AD<L]>=?GP=?AD<�GPA�\ V A~gD6HGP6 V 70=J<LI)Gw=FAT<�A)�NG 5 6 KL<L=FAT<1A)�NG 5 6 MwO>MPGw6�7�M�{=� MP=J70=F@JI V GP6�E 5 <>=JSTKL6�=JMWKLMw6�]�=?<F� { K��<Lh�� �IC<�]F� e U h�����GPA1\ V A~gC6 GP6 V 70=J<LI)Gw=FAT<|AC��6(x>\L@F=JEy=?GHMwK�QLMPGw=FGzK>GP=?AD<�MHE(IC@?E�K>@F=�{� ��� 2�.�m/.E0:2^h ;JC 0 � � ��m�o>m�.E0:23F(i e�Bj ^f��!7kUJel�OGcM�4e�� ^��a1c f�`m��e��Kf�e:� c fn�� e `]e��ok� � e `]^�)��� ^�Bj E(AD7�7$KLGP6�MA~gC6 V 7 a *^f�� c fp�q) a r @c��*^f*)/[�(ts:(5u(vko `D\*���w�� ^�l[ x ? s ^ f��3s � ? u$�� e��Je e5y�a�`:�`{z|vko `D\*������ ^�[ � ? z ^ f��}z x Q ? u + a��Ve@�~�� eG @c��8� c�ONaVf���� a1^f���4^�6|� c��E��`�0

[�� ��j � � � � � � �7N�

s z� � �7� � � � � �

� � �j}�u

6 6/KLMP6�G 5 6���AC@?@FA v =J<>B v 6�@F@ � <LA v <k\ V AD\R6 V G�O1A)�EyAT7�7$K>Gw=?<>B V 6(@JI)Gw=FAT<LM({U � � ��o"h ;�� oLq P ��o�. n A � � npl�PB0��$.�m@� F$i e��j ^ f�� 7�UJe~�OGc��4ef� ^��a1cf�`{��e��Gf�e:� c f ^8`]e��o `D\*���n�� ^�`0 1 �Wj ^ f��7 ^��Je.�e��N6 aVf�^��aVf�� ^f�� = �lj��Jc�6�6 \��eD` c�7 e��t7 + �� e@f��� e.�4ef� ^��a1cfVj�� 7)a�`}�e��N6 aVf�^��aVf����

`

Page 9: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

: �� ��� M��9< �Y� � 8 ����� 8�� ± NE� 8�7 � �+� 7 �CB 5 =F��G¦ZWAT<LM � �: �� ��� M�� N �F< �Y� � 8 ����� 8�� ± NE� 8�:���� � �+� :��!N ��� �CB 5 =F��G¦ZWAT<LMaV �: �� ��� M��9<D:�� �+� : �� ��� M�N ��� �CB 5 =F��G B 5 =À��G�� �

e =?BDK V 6 } % w�5 6 V 6 vHV =FGw6�MwO>MPGw6�7 # �

� �L5�� � ! a� � ���4� � ! � � �4� �� � � � � � ! � � �4� �B � � � � �� � � � 7���� � ! � � �4� �B � � 7�� �� �j: M1� � ! � � � �� � � 8�7=� � ! � � �4� �B � � 7�� �� � 7�<��!� � ! } � � 7�� �� 4� � �!� �� � b�� � ! a� � 7�%�&�� �� � � ! aW 4� � � �

e =FBTK V 6�` % s <TGw6 V \ V 6�GwICGP=?AD<|��A V \ V A~gd=?<>B0G 5 6�GP6 V 70=?<�I)GP=?AD<kA)� # �w�5 6 # ��MwOdMwGP6�7 =?M�Mz\>@?=FG�ICM���AC@?@FA v M�% # � !����CB 5 =F��G¦ZWAD<�M �¢} �GB 5 =F��G B 5 =À��G ��� ID<L] # g !���� *IC7�QR]�I �¦} �y��\L\ �¢} ��ZW@?ADM �¦}

�1��I V ZWAT<LM �¦} � s ] �¢} � { ID\ �¦} � s ] B �¦} �GB 5 =À��Gzb �¢} �GB 5 =F��G B ��� { s <�A V ]>6 V GwAkIC\�\>@FO *6�7�7�I }>} v 6$<>6(6�]�GwA�6yx>GP6�<L] # g v =FG 5G 5 6�=?<d�+<>=FGw6/IC]L]L=FGw=FAT<LI)@ V K>@?6�M V 6�\ V 6�Mw6�<TGP6�]kQTO�G 5 6 V K>@F6�M�MwE 5 6�706�M^AC� # � � e =?B�{ }1� {s � v 6$GwI � 6�G 5 6�MP6�G@^ g ICMMo } # � ICM~j IC<L]X� # g �# � � ICM 7 } G 5 6�<�G 5 6�EyAT<L]>=?GP=?AD<LM�A)� �6�7�7�I } I V 6$MzI)GP=JMP��6�]�{e = V MwG v 6/\ V A~gC6 G 5 ICG # � IC<L]Y� # g �

# � � I V 6�QRACG 5 Gw6 V 70=?<LICGP=J<>B1MPO>MwGP6�70M�{%�n�0+TG0Rl�.�m/.10�2&h #

� a�`}�e��N6 aVf�^��aVf����a �4c�c� �� 6 6�gC6 V =F��O1G 5 ICG�G 5 6/\RAC@?O><>AD70=JI)@�=J<TGP6 V \ V 6(GzI)GP=?AD<kBC=?gC6�<|=J< e =?B�{R`0]L6y�R<>6�MHI V 6�]LKLE(GP=?AD<kA V ]>6 V ��A V # � {& �GB 5 =F��G¦ZWAT<LM � {2� �j:������cM��9< ��� 8�7 � � � ! } } � � � �� � � �4� �B � � 7�� ��� } � � � �� 4� � 7=� � ! � �L:�M$<�7�� ��{& �GB 5 =F��G B 5 =À��G � {t� �L: �� ��� M��9<D:��$� �:! } } � � � �� 4� � ! � ��� } � � � �� aW � � !-� � ! � �L:�M!< : �� ������� � ��{ bcs <0A V ]>6 V GwA�gC6 V =F��O/G 5 I)G$� # g �

# � � � V 6�]LK�EyGP=?AD<�M�I V 6�MP=J7$K>@JI)Gw6�]�QTO 3 � V 6�]LKLE(GP=?AD<LM!� e =FBR{�� �¢}Cv 6H]>6y�R<L6HG 5 6^��AD@F@?A v =J<>B7�IC\L\L=?<>B0� V AD7 ^ � ��6(xL\ V 6�MwMw=?AD<LM&GPA�^ � ��6(xL\ V 6�MwMw=?AD<LM�%

� m;{;m;b�dgz } ���=l b i���l b�dgm��$lDf l i��[u#q b v2lDiyh��!k zjm;n k�nyu�u��9u��1dgm;n��!hjb�l�dghju#b���u#nKdgf m����c{|l zj{;q zjq i��G� ��l b���� �! G�"��hji6k ngu�u��9q�iym;iKdyf�m3iym��$l b�dyhj{zLl�#�m;zjzjhjb x dgm;{Gf b h�$�q m��C� ��l b���%#�! C�

Page 10: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

�Y� � L � � 7�� �+� � � 7��:� Ly� 7�� �y��\L\ ����+� � � 7�� �+� �p�Y� �L5�8��G7�< : � � � � *ID7$Q+]LI �� � 7��C� 7�LJ� �+� � � 7�<�7�LJ� ��ZW@FATM �56� � 8�7=� �+� � ����I V ZWAD<LM �� � ����� �+� � � s ] ��C7�<�7�L � <�7�L L �+� 7�< �G7�L <�7�L L � �y��MzM ��Y� 8�7 � <�7�L �+� � � 7�LJ�+8��G7�<�� � � { IC\ ����w<�7 �+� 7 � s ]>@ �7P<���� �+� 7 � s ] V#�:=<w��� 8�7 � �+� 7 �CB 5 =F��G¦ZWAT<LM �5 8�: �+� ��� ����I V B 5 =F��G �56� 7�� 8��|:3<�7 � �+� 7 �CBLZWAD<�M �

e =?BDK V 6t� % w�5 6 V 6 vHV =FGw=?<LB�MwO>MPGw6�7 3

5 ! 5��� !t� �� � ! � �� � 7�� ! � � 7��: � !����: ������V�J� ! :: ������1�� ��� M��E� ! :3< : �� ��� M��� 8 7 ! � 8 77�<�� ! 7�< �

U � � ��o�� ; -B. � ����o>m�.E0�2<0+Q ; -�PB.EQ�m C 0:2*l�VF]F : �� ��� M�� < ��� � 8 ����� 8�� ± NE� 8�7 � � I ? 7 �a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< {& ! bL{��^O|]>6(�R<>=?GP=?AD< } : ������V�J� <U��� � 8 7 � ! :3< � � � 8 7 � {���K>GHIC@?MwA } :3< � � � 8 7 � � ? 7W{& ! 73%�&�� L � {��^O|]>6(�R<>=?GP=?AD< } : ������1�� ��� M � �E� < ��� � 8 ����� 8�� ±� N�g 8 7 � !

�;:=< : �� ��� M � � � < � � � 8 ����� 8�� ±� N g 8�7 � {��^KLGHI)@JMPA } �;:3< : �� ��� M � � � < � � � 8 ����� 8�� ±� N�g 8 7 � � ?:=< � : �� ��� M � � <U��� � 8 ����� 8/� ±� N�g 8 7 �|� Ï �� �� Ð � I ? :3< � � ±� N�g 8�7 � ! :=<U� � ±� N g 8 7 � � ? 7&{ bc

U � � ��o���� f-^ g + :=< : M ��Q ? : �� ��� M�� �a �4c�c� �� 6 6 V 6�ICMwAD<�QTO�E(ICMw6�IC<LIC@FO>Mw=?M&AT< { bcU � � ��o�� ; -B. � ����o>m�.E0�2<0+Q ; -�PB.EQ�m C 0:2*l��BF/F : ������cM�� N � < �Y� � 8 ����� 8/� ± N�� 8�: M � � � N ? : �!N6M � �a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< !�{& ! ! b�{��&O �6�7�7�I�` } : ������cM�� < �Y� � 8 ����� 8�� ± N�� 8�: M � � � I ? : M � {

Page 11: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

& ! ! 73%:&���! L � {��^O|]>6(�R<>=?GP=?AD< } : �� ��� M�� NB�� ����� � � < �Y� � 8 ����� 8�� ± NE� 8�: M � � !�;:=< : �� ��� M�� N � � � < �Y� � 8 ����� 8�� ± NE� 8�: M � � {���K>GHI)@JMwA } �;:�< : �� ��� M�� N � � � < ��� � 8 ����� 8�� ± NE� 8�: M � � � ?:=< �;: �� ��� M�� N � � <U��� � 8 ����� 8/� ± NE� 8�: M � �a� Ï

�� � Ð � I ? :�< : � � N6M � Ï� ¶ ¾�¾/¿ � Ð � Q ? : �� ����� � N6M � � ! : �� ����� � � N6M

! : �!N6M � { bcU � � ��o�� ; -B. � ����o>m�.E0�2<0+Q ; -�PB.EQ�m -BP�.EQ�m�VF]F : �� ��� M�� < : � ��Q ? : �� ��� M�N ��� �a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< {& ! bL{��^O|]>6(�R<>=?GP=?AD< } : ������V�J� < : � ! :=< : � {���K>GHI)@JMwA } :=< : � Ï � ¶ ¾�¾/¿ � Ð ��Q ? : �� ������� {& ! 73%�&�� L � {��^O|]>6(�R<>=?GP=?AD< } : ������1�� ��� M � �E� <D: � ! �;:�< : �� ��� M � � � < : � {��^KLGHI)@JMPA } �;:=< : �� ��� M � � � < : � � ?

:=< � : �� ��� M � � < : � � Ï �� � Ð ��Q ? :3< : �� ��� M � N ��� ! :=< : M�N � Ï � ¶ ¾�¾/¿ � Ð ��Q ? : ������cM�N ��� { bcU � � ��o�� ; -B. � ����o>m�.E0�2<0+Q ; -�PB.EQ�m -�F/F 5K�L: M �+8�: �� ��� M�� � I ? : M �a �4c�c� �� �^O|E�ICMw6�ID<LI)@?O>MP=JM&AD< {& ! bL{��^O|]>6(�R<>=?GP=?AD< } 56�L: � � 8�: �� ������� ! 5K� ����� 8�:D{���K>GHIC@?MwA } 5 8�: � ? ���8! : � {& ! 73%�&�� L � {��^O|]>6(�R<>=?GP=?AD< } 56�L: �� ��� M � � �+8�: �� ���E�� ��� M � �E� ! 5K� : �� ��� M � � �+8��|:3< : �� ��� M � � � {���K>GHIC@?MwA }

5K� : �� ��� M � � � 8��;:�< : �� ��� M � � � � ? : ������cM � � ! : M { bcH A v v 6�M 5 A v G 5 I)Gt� # g �# � � � V 6�]LKLE(GP=?AD<LM�I V 6�Mw=?7�K>@?ICGP6�]|gd=JI 3 � V 6�]LKLE(GP=?AD<LM�{

U � � ��o��Pi e�T[ ^ f��.s U4e aVf ^ g `D\*���3�� ^� [ � ���d��� �? s + �� e]f [ ��Q ? s �a �4c�c� ��-�^O�=J<L]LKLE(GP=?AD< AD<�G 5 6�]L6�\>G 5 AC�&G 5 6 V 6�]>6yx V 6�]LKLEy6�]�=J<([�{ �^G�G 5 6�QLICMw6�E(ICMw6n[ =?M�I # � V 6�]>6yx�{ �6�707�Iu` } �6�7�70IF� } *6�7�7�I ��ID<L] *6�7�7�I�c�\ V A~gC6|G 5 6�E(ICMw6�M �GB 5 =À��G¢ZWAD<LM�� �¦} �CB 5 =F��G¦ZWAD<�MaV �¦} �GB 5 =À��G#B 5 =F��G � � IC<L]I�GB 5 =F��G B � {w�5 6�ACG 5 6 V E(ICMw6�M�I V 6HADQTgd=FATKLM�QTO1]>6(�R<>=?GP=?AD<1AC�NG 5 6 G V IC<LMP��A V 7�I)Gw=FAT<�{��^GWG 5 6 =?<�]LKLEyGw=FAT<�MwGP6�\ v 6 5 IpgC6HG 5 6H��AD@F@?A v =J<>BE(IDMP6�M %& [)! ��� ID<L]ks !.�+� L }Wv =FG 5 � � ? � L { �^O ]>6y�R<L=FGw=FAT< } [ ! � � ID<L] s !.� � L { �^O =?<�]LKLEyGw=FAT<5 O>\RACG 5 6�Mw=?M } � ��Q ? � L ID<L]uMPA } [ ��Q ? sR{

& [ ! � � ID<L]�s ! � L � } v =?G 5 � � ? � L {e�^O�]>6(�R<>=?GP=?AD< } [ ! � � IC<�] s ! � L � {e�^Ou=?<�]LKLEyGw=FAT<5 O>\RACG 5 6�Mw=?M } � ��Q ? � L ID<L]uMPA } [ ��Q ? sR{

& w�5 6�ACG 5 6 V E(IDMP6�M�I V 6 Mw=J7�=?@JI V GPA1G 5 6/\ V 6(gd=?ADKLM&AD<L6C{ bc%�n�0+TG0Rl�.�m/.10�2 � � # g �

# � � a�`}Ye��N6 aVf�^��aVfX�X�a �4c�c� �� �6(G�[ } s�Q�6$=?<Z^ g�{ 6 6$MwIpO|G 5 ICGr[� �s|=F��IC<L]uAT<>@?O|=F� s � I ? [�A V � s*! [�IC<�]W� � [(� �� � � s1� � � { H ACGP=JEy6$G 5 ICG3 N�=?MWI v 6�@F@L��ADKL<L]L6�] V 6(@JI)GP=?AD< � � x �9���� } � 7 IC<Lh�� � � { 6 6HgD6 V =À��O } QTO�K�MP=J<>B *6�7�7�I 9 } G 5 I)G�G 5 6HA V ]L6 V �=?M�I V 6�]LKLEyGw=FAT<A V ]>6 V ��A V � # g �

# � � { bc6 6/IC]L] V 6�MzM&G 5 6��+<LI)@NE(AD<L]>=?GP=?AD<�AC� �6�7�70I } {

%�n�0+TG0Rl�.�m/.10�2 � #� ��c�6�6 \�Ye@` c�7 e�� � # g �

# � � �

Page 12: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� �� ��MwMzKL706�G 5 ICG�IC<�I V Q>=?G V I V O�6yxL\ V 6�MzMP=?AD<k[ =?< ^ g V 6�]LKLE(6�M�=J< AD<>6 # � ��MwGP6�\ GwA"s IC<L] s V 6�]�KLEy6�M�=?< AD<L6� # g �# � � ��MwGP6�\�GPAnuL{ 6 6 \ V A~gD6 } QDO�=J<L]LKLE(GP=?AD<|AD<�G 5 6�]>6�\>G 5 AC��G 5 6 V 6�]>6(x V 6�]LKLEy6�]1=J</[ } G 5 I)G&G 5 6 V 6�6yx>=JMPGzMlz MzKLE 5

G 5 I)G [ � � � d� � �? z ���5Q ? u�{��^G�G 5 6/QLIDMP6�E�ICMw6~[�=JM�I # � � V 6�]>6yx�%& �GB 5 =F��G¦ZWAT<LM � { 6 6 5 IpgC6�G 5 6���AC@?@FA v =J<>B�MwKLQ>��E�ICMw6�M�%

� [ ! : �� ��� M���<U��� 8�7 � Ï � º ²��F³ ��»�±�> Ð�? : Mw<�7 ! suID<L]F:�M!<�7 ��� ? :�M!<�7�L ! u }�v =?G 5 7 ��� ? 7�L {!�^KLGI)@JMwA } [ ! : �� ��� M�� <U��� 8�7 � � � ? : �� ��� M�� < �Y� 8 7 L � Ï � º ²��?³ ��»�±1> Ð ? : M <�7 L !&u�{

� [ ! : �� �����J�9< �Y� 8�7 � Ï � º ²��F³ ��»�±1> Ð ? :���<�7 !�s�IC<L] :���<�7 Ï � · � Ð ? 7 !^u�{3��K>GHI)@JMPA }[ ! : �� �����J�9< �Y� 8�7 � Ï � º ²��F³ ��»�±1> Ð ? 7 ! u�{

� [ ! : �� ���E������cM��E��<U��� � 8 ����� 8�� ± N�g 8 7 � Ï � º ²��?³ ��»�±1> Ð ? :�� ��� M���< �Y� g 8 ����� 8�� ± N g 8�7 � !&s|IC<�]s Ï � º ²��?³ ��»�±�> Ð ? 7 ! uL{3��K>GHI)@JMwA } [ Ï � º ²��F³ ��»�±�> Ð�? 7 !^u�{

� [ ! :�� ���E�� ��� M�� N ���1< �Y� � 8 ����� 8�� ± N�g 8�:���� � Ï � º ²��F³ ��»�±�> Ð(? : �� ��� M�� N �Y<U�Y� g 8 ����� 8�� ± N�g 8�:���� � !KsIC<�] s Ï � º ²��F³ ��»�±1>�� Ð ? :��!N ����! uL{3��K>GHI)@JMwA } [ ! :������1�� ��� M��E� N �Y<w��� � 8 ����� 8�� ± N�g 8�:�� � �Ï � º ²��F³ ��»�±�>�� Ð ? :��!N ����!^uL{

� [ ! : �� ���E������cM��E��<U��� 8�:�� � Ï � º ²��?³ ��»�±�> Ð ? : �� ��� M���<D:�� !&s|ID<L] :������cM��9<D:�� Ï � º ²��?³ � º ²��?³ Ð ?: �� ��� M�N � ��!^uL{3��K>GHIC@?MwA } [ ! : �� ������� NB�� ��� M���< ��� 8�:�� � Ï � º ²��?³ ��»�±�>�� Ð ? : �� ��� M�N � ��! uL{

& �GB 5 =F��G B 5 =À��G � { 6 6 5 IpgD6�G 5 6���AC@?@?A v =?<>B1MzKLQd��E(IDMP6�M %

� [ ! :�� ��������< :�� Ï � º ²��F³ � º ²��F³ Ð(? :���<D:�� �������O!As�IC<�]0:���<D: �� ������� Ï � · � Ð�? : �� ��������!Au�{��^KLG/I)@JMPA }[ ! : �� �����J�9<D:�� Ï � º ²��F³ � º ²��F³ Ð�? : �� ����� N ����! : �� �������Y!^uL{

� [ ! : �� ���E������cM��E��< :�� Ï � º ²��?³ � º ²��?³ Ð�? : �� ��� M���<D: �� �������3!;skIC<�] :�� ��� M���<D:������V� � Ï � º ²��F³ � º ²��F³ Ð�?: �� ��� M�N��� �������E��! uL{3��K>GHIC@?MwA } [ Ï � º ²��?³ � º ²��?³ Ð ? :������1�� ��� M�� N ����! :�M�NB�� ��������!^u�{

�^G�G 5 6�=?<L]�KLEyGw=FAT<�MwGP6�\ v 6 5 IpgD6�G 5LV 6�6/E(IDMP6�M %& [k=JM^<>ACG # � � V 6�]>6yx�QLK>Gms�=JM&I-� # g �

# � � � V 6�]>6(x�{ H ACGP=JEy6 G 5 I)G V =?B 5 GY� 5 ID<L]�Mw=?]>6 A)��I # � � V K>@F6 E(ID<�<>6(gD6 V A~gC6 V @JIC\v =FG 5 I$MwG V =JEyGWMzKLQd��6yxL\ V 6�MzMw=FAT<�A)��I � # g �# � � � V 6�]L6yx�{ s <�G 5 =?M&E(IDMP6�=?M^<>ADGW]>=[��E(K>@?G^GPA$gD6 V =À��O�G 5 I)G&G 5 6�]>=JI)B V ID7

=?M^Ey@?ADMw6�]|=?<kG 5 6���AD@F@?A v =?<LB v IpO % [ � � ? z ���tQ ? u�{ 6 6�M 5 A v�} ��A V 6yxLID70\L@F6 } AT<>6�E(ICMw6 v =FG 5 G 5 6P�g��\�\ �WV K>@?6$%[ ! ��� �Y� � 7�� � � ? �Y� �Y� � 7NLJ�K! s }�v =?G 5 7 � � ? 7�L } IC<L]�s ! ��� �Y� � 7�LJ� Ï � ÑTÑ>Ð ? � � 7�LL� � � 7�LJ�N!Ku�{�^KLG^IC@?MwA } [ ! ��� �Y� � 7�� Ï � ÑDÑ>Ð ? � � 7�� � � 7�� ���5Q ? � � 7�LL� � � 7�Lj� !&u�{ w�5 6 V 6�MPG^AC��E�ICMw6�M^I V 6�MP=J70=F@JI V {

& [ !��� [+L�(ts LJ� � ��� ? ��� [+L L�(ts LJ� ! s }Wv =FG 5 [�L ��� ? [�L L } IC<L]ks !��� [�L L�(�s LL� � � ? ��� [�L L�(�s L LJ� ! u }Wv =FG 5s L ��� ? s L L {��^KLGHI)@JMPA } [ !��� [+L�(ts LJ� � � ? ��� [�L�(ts L LL� ��� ? ��� [+L L�(ts L LJ�:!^u�{

& [ !��� [+L[� � � ? ��� s L[�:!;s })v =?G 5 [�L � � ? s L } IC<L]Ys !���� s LJ� ��� ? ��� u�LL� !^u }~v =FG 5 s L ��� ? u�L�{3�^O/=?<�]LKLEyGw=FAT<5 O>\RACG 5 6�Mw=?M } [+L ��� ? z � � Q ? u�L } G 5 6 V 6(��A V 6~[ !���� [+L[� ��� ? ��� z!� � � Q ? ��� u�LJ�:! uL{ bc

' P � 0Rn � � 5 RT� e `N)�`:�e�6 # a�`}Ye��N6 aVf�^��aVfX�X� �� � �������1l b v � � �E�1l ngm3b u dyl�dyhju#b�i��[u#n6{|u#b�dgm���d�m���k ngm|igiyhju#b i6dgf�l�dE{;u#b�dyl hjb ��ngm|igk�m|{Cdgh ��m;z } ��dco6uwv hji��gu#hjb�dpiyq # �cm���k ngm;iyiyhju#b�i��tl b v�� � l b vlUi dynghj{;dEigq # �cm���k nym;iyighju#b��D�

c

Page 13: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� ����^O �6�707�I }>}CUWV AD\RADMw=FGw=FAT< }>})U&V AT\�ATMP=?GP=?AD<�`�IC<L] UWV AD\RADMw=FGw=FAT< � } � # � �#g �# � � =JM�GP6 V 70=J<LI)Gw=?<LB�{ w�5 6 V 6y��A V 6 }# ! � # � �

#g � =?MHIC@?MwA0GP6 V 70=?<�I)GP=J<>BR{ bc

C 0Rn�0��E��oLn�� 5 i e�T[;UJe aVf ^Mg + �� e@f [ � ^�`8^�l� e�^�`N�c f�e # b�f�c��N6 ^��� @c��N6��� d ��] �1,�� �� ,����

w�5 6uGP6�MPG0��A V E(AD<d�+K>6�<LE(6uA)� # =?M�7$K�E 5Ç5 I V ]L6 V G 5 ID< G 5 6�GP6�MPG0��A V E(AD<d�RKL6�<LE(6kAC� 3 { z gC6�< =F��G 5 6�G v A�MwOdMwGP6�7�MI V 6uGP6 V 70=J<LI)Gw=?<>BR{ s <Ç� ICE(G } # =?M�<LACG1@?AdE�I)@?@FO EyAT<d�RK>6�<DG1AT< AD\R6�< 6yxL\ V 6�MzMP=?AD<�M1IC<L] � Ht& hCb���\ V A~gC6�M0G 5 I)G�@?A>E(IC@B V ADK�<L] EyAT<d�RK>6�<LEy6uE(ID<L<>ACG0Q�6u706�E 5 ID<>=JE(I)@?@?O�gD6 V =À��6�]�{ x A v 6(gC6 V(} G 5 6�Z V =FGw=?E�I)@ U I)= V � M/@?6�7�7�IX� � x K>6/9Db�� �¦} =�{ 6C{�IGP6 V 7 V 6 vHV =FGw=?<>B�MwO>MPGw6�7 =?M�@FA>E�I)@?@FO�EyAD<>�RK>6�<TGH=F��=?GwM�E V =?GP=JE(IC@�\LIC= V MHI V 6^XYAC=J<LIDQ>@F6 }+5 AC@J]LMHI)@JMwA���A V B V ATKL<L]�6yxL\ V 6�MzMw=FAT<LM��� Ht& hDb � � %|I�Gw6 V 7 V 6 vHV =?GP=J<>B�MwO>MPGw6�7 =JM$@?A>E(I)@?@?O�E(AD<d�+K>6�<TG$AT< B V ADK�<L] GP6 V 7�M�=À��=FGzM�E V =?GP=JE(IC@&\LIC= V M$I V 6|B V ADKL<L]>�XYAC=J<LIDQ>@F6D{

6 6 v IC<TG�GwA \ V A~gC6G 5 6^EyAD<>�RK>6�<�Ey6�AC� # AD</G 5 6^MP6�G�AC�RSdKLICMw=À��AD\R6�<�6(xL\ V 6�MwMw=?AD<LM } = { 6C{�EyAD<>�RK>6�<�Ey6�AC�RI�7�ID<DOT��MPA V Gw6�]MwOdMwGP6�7 v =FG 5 70=Àx>6�]�AD\R6�<�ID<L]uB V ADK�<L]�MPA V GzM({ w�5 61Z V =?GP=JE(I)@ U I)= V � M *6�7�7�I�=JM�<>ADG�G V K>6$��A V BC6�<L6 V I)@*7�ID<DOT��MPA V Gw6�]MwOdMwGP6�7�M } QLK>G� B(B 9Dh ��\ V AT\�ATMP6�MHI�BC6�<>6 V I)@?=[��I)Gw=FAT<���A V `]c��Nr��c�6Md ^��a�U�� e `N)�`N�e�68`¢{w�270ID<TOD��MwA V GP6�] V 6 vHV =FGw=?<>B�MwO>MPGw6�7=JM�MPA V G�EyAT7�\LI)Gw=?Q>@?6�=F�*��A V 6(gC6 V O V K>@?6�� ? - } G 5 6/MwA V GWAC����ID<L]|G 5 6/MwA V G&AC� -0I V 6�G 5 6/MzIC706C{U � � ��o� ;JC n�.�m/.�qDo���%�o�.�n �Fl U � � ��o+F�i e�Gj UJe ^ `]c��N~��c�6Od�^��a�U�� e/�4e�O_�Da8�aVfX� `N)�`N�e�6 + j a�`�� c@��^��8� )���c f� \_e@fpa e�7�e��N)3���Da8�a���^���d ^a8� a�`��]c aVf:^�U�� ef�a �4c�c� ��t� B(B 9Dh ��{ bc

�^6y��A V 6�\ V A~gd=?<>B # ��EyAD<>�RK>6�<�Ey6 }^v 6�M 5 A v G 5 I)G|E V =?GP=JE(IC@�\LI)= V M�A)� # I V 6 # �?XYAC=J<LICQ>@?6�=J<�G 5 6�Mw6(G�AC��SdKLIDMP=F��AD\R6�<6yxL\ V 6�MzMw=FAT<LMw^ g {%�n�0+TG0Rl�.�m/.10�2 � ;/;>=@?BADC �E0+l�F C n�.�m/. qCo���%�o�.�nF�� f ^Mg + � � 7�� ^f�� � � 7�<D:�����^��4e # b��]caVf�^XU�� e@�a �4c�c� �� s G�MzK���Ey6�M�GPA�\ V A~gD6�G 5 I)G�7�IC<�]7�<D:��&I V 6 # �?XYAC=J<LICQL@F6&=?<^ g {� �6�G "7�IC<TO # ��<>A V 7�I)@D��A V 7 A)�67W��ZWA V AD@F@JI V O0a �¦}G 5 6�<�7 ��Q ? "7�IC<L]�7P<D:�� ��Q ? "7�<D:��){ H A v v 6&E�IC<�\ V A~gD6WQTO/MwG V KLEyGzK V IC@d=?<L]�KLEyGw=FAT<$AT< "7uG 5 I)G "7P< :�� ��Q ? "7&{ bcU � � ��o 5 R � f-^ g + �;: M <�7 � <3� ^ f���: M < �C7�<3� � ^��4e # b��]caVf�^XU�� e@�a �4c�c� �� 6 6/\ V AdE(6(6�]|QTOkMwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<kAD< { bcU � � ��o 5+5 � 27 a�` ^ # b�f�c��N6$^��� @c��N6 + �� e]f 7�< �1� <3�OL � ^f����C7�<3� � <��OL ^��4e # b��]c aVf:^�U�� e$c f ^ g �a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD<Z7&{��^O UWV AD\RADMw=?GP=?AD<�a }>v 6 5 IpgD6�G 5 6���AD@F@?A v =?<LB0E�ICMw6�M�%& 7 ! � 8 7�L { w�5 6�< } 7�< ��� <3�OL � Ï !1¿ ÑdÐ�? � � � <��MLj�+8��G7�L�< �1� <��OL �|� {��^KLGHI)@JMPA } �G7�<�� � <��OL Ï !1¿ Ñ� !1¿ Ñ>Ð�?� � �!�G� �OLJ� 8��a�G7�L <�� � <��OL � Ï �*ÂF»�> Ð ? � � � <��OLj� 8��|�G7NL <�� � <��ML � {��&O|=?<L]�KLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M } 7�L�<U��� <��OL � ID<L]�G7�L <�� � <3�OL�I V 6 # �FXYAD=?<LIDQ>@?6�=?< ^Mg&{

& 7 ! : M {��&O �6�7�7�I�a�b } :�M!<U�1� <��OL � IC<L]Y�;: M$<�� � <3�OL�I V 6 # �FXYAD=?<LIDQ>@?6�=?< ^ g�{ bc%�n�0+TG0Rl�.�m/.10�2 � ;/;JC �E0+l A@C �10Rl F C n�.�m�.�qCo_�r%Ho�.�nF�� f-^ g + � �J�G7�<�� � <�� L �[^ f�� � � 7<w�1� <�� L � �[^��4e # b��]c aVf�^XU�� ef�a �4c�c� �� s G�MzK���Ey6�M�GPA/\ V A~gC6^G 5 I)G$�C7�<�� � <��OL�IC<L]-7P<U��� <��ML � I V 6 # �?XYAC=J<LICQ>@?6H=J<�^MgW{ �6�G "7 IC<TO # ��<>A V 7�I)@>��A V 72A)�74��ZWA V AD@F@JI V O�a �¦} G 5 6�<A�G7�<�� � <��OL ��Q ? � "7�<�� � <3�OL�ID<L] 7�< �1� <3�ML � ��Q ? "7�< �1�Y<��ML � {2�&O *6�7�7�I�aCa } G 5 6�Mw6G v A0@JICMwG�MwK�QLMPGw=FGzK>GP=?AD<�MHI V 6 # �?XYAC=J<LIDQ>@F6�=J< ^ g { bc%�n�0+TG0Rl�.�m/.10�2 � ;/; -�PB.EQ�m�R ADS o�TNF C n�.�m�.�qCo_�r%Ho�.�nF�� f-^ g + 56� 7=� 8��|: �� �����J�9<�7 � ^ f���7 ^��Je # b��]c aVf:^�U�� e@�

9

Page 14: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� �� *6(G "7ÇIC<TO # ��<>A V 7�IC@ ��A V 7 A)�D7 ��ZWA V AC@?@?I V O�a � {��^O U&V AT\�ATMP=?GP=?AD<�a }>v 6 5 IpgC6�G 5 6���AD@F@?A v =J<>B0E�ICMw6�M�%

& "7 ! :��){ w�5 6�< } 5K� 7��98��;:������V�J�9<�7 � ��Q ? 56�j:�� �(8��;:�� �������9<D:�� � Ï � · � º ²��F³ � º ²��F³ � · � Ð ? 5 8 : �� ������� Ï � º ²��?³ È�Ð ? :��){�^KLG^IC@?MwA } 7 ��Q ? :��){

& "7 ! :�� ��� M��P{ w�5 6�< } 56� 7�� 8��|: �� �������1<�7 � ��Q ? 56�L: �� ��� M�� �+8��|: �� ��������<D:������cM�� � Ï � º ²��F³ � º ²��F³ � · � Ð�?5K�L: �� ��� M�� � 8�: �� ���E������cM��E� Ï � º ²��?³ � Ð ? : �� ��� M��z{���K>GHIC@?MwA } 7 ��Q ? :�� ��� M��z{

& "7 ! � 8]�/{ w�5 6�< } 5K� 7�� 8��;: �� ������� <D7 � ��Q ? 5K� � 8/�w� 8��|: �� ������� <U�Y� 8/� �;� Ï�Á ¿ ¸ ��»�±�> � º ²��F³ ��»�±1> Ð�?� 8��|:���<�� � Ï � · � Ð ? � 8]�${=��K>GHIC@?MwA } 7 ��Q ? � 8/�/{ bc

%�n�0+TG0Rl�.�m/.10�2 � ;/; -�PB.EQ�m - ADS o�TNF C n�.�m�.�qCo_�r%Ho�.�nF�� f-^ g + 56�L: M <�7��+8��|: �� ��� M�� <�7 � ^ f���: M <�7 ^��Je # b��]c aVf:^�U�� e@�a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< {& ! bL{ w�5 6�< } 5K�L:�M!<�7���8K�;:�� ��� M���<�7 � Ï � · � Ð=? 56� 7=�=8K�;:������V�J�9<�7 � {4��K>G|IC@?MwA } : Mw<�7 Ï � · � Ð�? 7&{4�^OUWV AD\RADMw=FGw=FAT<kc } 56� 7�� 8��|: �� �����J�9<�7 � ID<L]Z7 I V 6 # �FXYAD=?<�ICQ>@?6�=?< ^ g�{& ! 73%:&�� L � { �6�G "7 IC<TO # ��<LA V 70IC@���A V 7 A)�w7 ��ZWA V AC@?@JI V O a � { �^O U&V AT\�ATMP=?GP=?AD< a }�v 6 5 IpgD6$G 5 6���AD@F@?A v =J<>BE(ICMw6�M�%� "7 ! :��${ w�5 6�< } 5K�L:�M!<�7E�+8��;: �� ��� M��9<�7 � � Q ? 56�L:�M!<D:��2� 8��|: �� ��� M��9<D:�� � {��^O *6�7�7�Ika }

56�j: M!<D:��!�K8��|: �� ��� M��9<D:�� � ��Q ? 56�L:�M�N �2�+8�: �� ��� M�� N �${U�^O � 6y�Y{*a } 7�%�&�� �� ! ! 7�%�&�� ! �¦} G 5 6�<56�j: M�N � � 8�: �� ��� M�N ��� Ï � º ²��F³ � Ð�? : M�N � {���K>GHI)@JMPA } : M <�7 ��Q ? : M�N � {

� "7 !<� 8@�/{ w�5 6�< } 56�j: Mw<D7E�+8��|: �� ��� M��9<�7 � ��Q ? 56�j:�� ��� M � �9<U��� 8]� � � 8��|: �� ���E������cM � �E�9< �Y� 8/� �;�Ï � º ²��?³ ��»�±�> � º ²��F³ ��»�±1> Ð ? 5K�L:�M ��<��w�38K�|: �� ��� M�� �9<�� � {4��K>G|IC@?MwA } :�M!<�7 ��Q ? : M���<��/{4�&OÇ=?<�]LKLEyGw=FAT<5 O>\�ADG 5 6�MP=JM } : M���<3� IC<L]F56�j: M���<��w�+8��|: �� ��� M�� ��<�� � I V 6 # �?XYAC=J<LICQ>@?6�=J< ^ g&{ bc

U � � ��o 5 h � �7 a�` ^ # b�f�c��N6 ^��p @c��N6 + �� e]f)�C7�<D: �� ������� � < ��� 8���� <��ML �a� ^f�� �G7�<3� � <��OL ^��4e # b��]c aVf:^�U�� e cf^ g �a �4c�c� �� 6 6k\ V A>E(6(6�]�QTO�MwG V KLE(GwK V I)@�=J<L]LK�EyGP=?AD<�AT<X7&{ w I � 6 � L L ! � 89�1� <3� L �¦} QTO U&V AT\�ATMP=?GP=?AD<Ça v 6 5 IpgC61G 5 6��AC@?@?A v =?<>B1E�ICMw6�M�%

& 7 ! � L98 7NL { w�5 6�< } �C7<U: �� �����J� � <��OL L Ï !1¿ Ñ� !1¿ Ñ>Ð�? � Ly�L: �� ������� �C� �OL LL�+8��|�C7�L�<U: �� �����J� � <��OL L �Ï �*ÂÀ» > � º ²��?³ ��»�±1> � · � Ð ? � LG� � <��MLj�+8��|�G7NL <D:�� ������� � <��OL L � {���K>GHIC@?MwA } �G7�<�� � <��OL ��Q ?� Lg� � <��OLj� 8��|�C7�L�<�� � <3�OL � {U�&Ok=?<�]LKLEyGw=FAT< 5 Od\RACG 5 6�Mw=JM } �C7�L�<U: �� �����J� � <��OL LNIC<L]F�C7�L�<�� � <��OLNI V 6 # �FXYAD=?<LIDQ>@?6=?< ^Mg&{

& 7 ! : M {=�^O� �6�707�I|a�IC<L] �6�7�7�I�a } �C7�<D: �� ������� � <��OL L ��Q ? : �� ��� M���<3�OL L Ï � º ²��F³ ��»�±1> Ð�? :�M$< ��� <��OL � {=�^O �6�7�7�I�a�b } :�M!<U�1� <��OL � IC<L]F�;: M$<�� � <��OL�I V 6 # �FXYAD=?<LIDQ>@?6�=?< ^Mg&{ bc

%�n�0+TG0Rl�.�m/.10�2 � ;/;4U o ��j ? o ADC �E0+l F C n�.�m�.�qCo_�r%Ho�.�nF�� f-^ g + ��� �L5�8��|�C7�< : �� ������� � <U�|5 8��1� <D:�� ������� �|�a� ��^ f����� �L5 8��|�C7�<�� � < : �� ������� � ��^��4e # b��]c aVf�^XU�� ef�

h

Page 15: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� �� s G�MzK���Ey6�M�GPA/\ V A~gC6^G 5 I)G$�C7�< : �� ������� � <U�|5 8��1� <D:�� ������� �|� IC<L] �C7<�� � <D: �� �������*I V 6 # �?XYAC=J<LICQ>@?6H=J<�^ g { �6�G"7 IC<TO # ��<LA V 70IC@ ��A V 7 A)�D7I��ZWA V AC@?@JI V O�a � { w�5 6�< } �C7�<D: �� �����J� � < �|5 8��1� < : �� ������� �a� ��Q ?� "7�<D:������V�J� � < �a5 8���� < : �� ������� �a�¢} ID<L] �C7<�� � <D: �� ������� � Q ? � "7�<3� � <D:�� �������z{ �^O �6�707�I a }>} G 5 6�Mw6|G v A�@JICMwGMzKLQLMwGP=?GwK>Gw=FAT<LMHI V 6 # �FXYAD=?<LIDQ>@?6 =J< ^MgW{ bcw�5 6���AD@F@?A v =?<LB�@?6�7�7�Iu=JM/KLMw6�] =?< G 5 6|<>6(xdG/Mw6�E(GP=?AD< GPA�\ V A~gD6�G 5 I)G$�+��=JM/E(AD<d�RKL6�<TG�AD<W^ g�{ s G$=?M/\ V A~gD6�]�QTOMwG V KLEyGzK V IC@�=?<�]LKLEyGw=FAT<�AD<Z7 =J<�G 5 6/MzIC706 v IpO|G 5 ICG �6�7�7�I�a } {U � � ��o 5 �Pi e�@�G7�<D:������V�J� � < �Y� 8�:�� � ^f��Z7SUJe �OGc `D\pU�`N�a8�\��a1c f_`$aVfW^ g � � �7 a�` ^ # b�f�c��N6 ^��p @c��N6 + �� e]f�G7�<D:������V�J� � < �Y� 8�:�� � ��Q ? 7 �%�n�0+TG0Rl�.�m/.10�2 5 R # a�`.� c@��^��8� ) ��c f \_e]f* cf ^ gl�a �4c�c� �� e = V MwG } � � =?M$I�MwA V G�EyAT70\�I)GP=JQ>@?6�MPO>MwGP6�7 } = { 6C{�Gw6 V 7�M V 6�]LKLE(60GwA�GP6 V 7�M�IC<�] MzKLQLMwGP=?GwKLGP=?AD<LM V 6�]�KLEy61GwAuMzKLQd�MwGP=?GwK>Gw=FAT<LM��+IC<L]uMw6�E(AD<L] } E V =FGw=?E�I)@�\LIC= V M^A)� # I V 6 # �?XYAC=J<LIDQ>@F6�=J< ^ g � U&V AT\�ATMP=?GP=?AD< � }LU&V AT\�ATMP=?GP=?AD< � }�UWV AD\RADMw=FGw=FAT<�c }UWV AD\RADMw=?GP=?AD< 9�ID<L] U&V AT\�ATMP=?GP=?AD<Çh � { w�5 6�\ V AdAC����AC@?@?A v M1MPG V IC=FB 5 GP��A Vwv I V ]L@FO G 5 6�\ V AdA)� A)� �6�7�7�I h =?< � B(B 9Dh ��{[ 6�70I Vw� G 5 I)G�=F�NG v A$6yxL\ V 6�MzMP=?AD<LM�I V 6$^ � �?XYAC=J<LICQ>@?6 } G 5 6�<1G 5 6(O�I V 6H=J<1\LI V GP=JE(K>@JI V ^ g �?XYAC=J<LICQ>@?6C{ w�5 6�<1=FGW=?MWMwK9�1E(=F6�<TGGPA1E(AD<LE(6�<TG V I)Gw6 AT<|G 5 ADMw6�E V =FGw=?E�I)@N\LIC= V M^A)�_j G 5 I)GHI V 6�<>ACG�XYAD=?<�ICQ>@?6C{ bc' P � 0Rn � � h # a�`�Jcf \_e]f*GaVf ^ g �a �4c�c� ��D�^O w�5 6(A V 6�7 a } # =?MWGP6 V 70=J<LI)Gw=?<LB$IC<L]1QTO UWV AD\RADMw=?GP=?AD<�a�b } # =JM�@?AdE�I)@?@FO�EyAT<d�RK>6�<TG�AD<�^ g } MwA$QTO H 6 v 7�ID<�� M �6�7�70I } # =JM�EyAT<d�RK>6�<TG({ bcC 0Rn�0��E��oLn��^h�i e�T[;UJe aVf ^Mg + �� e@f [ � ^�`8e5y ^���J� )*cf�e # b�f:c��N6$^��� @c��N6n�a �4c�c� �� �^O�ZWA V AD@F@JI V Oua�ID<L] w�5 6(A V 6�7 } { bc� !$#*�E] �1,�� ���,����

��<$KLMP6(� K>@dGP6�E 5 <>=JSTKL6�GPA�\ V A~gD6�EyAT<d�RK>6�<LEy6W=?<�6(xL\>@F=JEy=?G*MzKLQLMwGP=?GwKLGP=?AD<LM�E(IC@?E�K>@?=C=JM�G 5 6OaVfpYe��Ydp�4e��^��a1c f�6$e��� c@�$� � x I V 9Ch � � {��ICMw6�] AD<�G 5 =JMk706(G 5 A>] } � �6�Mzh�����\ V AT\�ATMP6�M1I BC6�<>6 V I)@�MwE 5 6�706�A)�$ICQ�MPG V IDEyG�\ V AD\R6 V GP=?6�M vH5 =?E 5 I V 6�MzK���Ey=?6�<TG�GwABDK�I V IC<TGP6�6$B V ADK�<L]�E(AD<d�+K>6�<LE(6�AT<�6(xL\>@F=JEy=?G/MzKLQLMwGP=?GwK>Gw=FAT<LM�E(IC@?E�K>@F=�{��H@?G 5 ATK>B 5 G 5 61=?<TGP6 V \ V 6�GwI)Gw=FAT<�706(G 5 A>]�E(IC< QR6KLMw6�]ÇGPA \ V A~gC6�EyAD<>�RK>6�<�Ey6�AD<ÇGP6 V 7�M v =FG 5 706�GwI~��g~I V =?IDQ>@?6�M ��� [$;%?ADhC`�� �¦}&v 6�KLMw6�I�Gw6�E 5 <L=?SdK>6uG 5 I)G v IDM�EyAC=J<>6�] =J<� � x 9�9�� %/G 5 6���A � ATKLE 5 =F� x = � =?GwI � M *6�7�7�IL{ w�5 =JM�@?6�7�7�Iu=?M�KLMw6�] =?< � Z x �h�� �&GPA�\ V A~gC6�EyAT<d�RK>6�<LEy61AC��� ' } IC<L] =?GGwK V <LMWADKLG�G 5 I)G&=FGW=?M^70A V 6�]>= V 6�EyGWG 5 ID<1G 5 6 =J<DGw6 V \ V 6(GwICGP=?AD<1706(G 5 A>]1��A V @?6y��GY��@?=?<>6�I V E(IC@?E�K>@F=+A)�N6(xL\>@F=JEy=?G^MwKLQ�MPGw=FGzK>GP=?AD<LM��� U I)BTh���� � {U � � ��o 5 � ;�� 0��_0 �*q�P�. A .�� .�m�o �Fl U � � ��o+F(i e� j ^ f���7 UJe.�OGc��Je�� ^��a1cf�`��e��Kf:e:�*c f ^ `]e�To `D\*���3�� ^�`0 1 �j a�`Y��cf \_e@fp[^ f��V�e��N68aVf:^��aVfX� + = ��7 a�` `N��4cfX��� )V��cf \_e@fp[^ f�� C � 7 ^ f��nj �Jc�6�6 \��e aVf"�� em @c��8� c�ONaVf�� OG^�) + @c�� ^f*){[B(�s:(5unvVo + a m[ x ? s ^ f��{[ � ? u + �� e@f��� e��4e e�y�a�`N�`Wz vVo `�\*���/�� ^�Ts x Q � x Q ? z ^ f��u � ? z +a��Ve@�~�� eG @c��8� c�ONaVf���� a1^����4^�6 � c��E� `�0

[�� ��j � � � 7 �

s u� � � � � � �j.��7,j.� � � � � � �� � �j.�z

RT� e]f��� e�4ef� ^��a1c f j.��7,j.�$a�`.��cf \_e@fpJ�a�b

Page 16: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� ��t� Z x �h�� ��{ bc6 6�GwI � 6�G 5 6/Mw6(G$^ g ICMmo } # ICM j"ID<L]�����IDM27 }LvH5 6 V 6�����=JM^G 5 6/\LI V IC@F@?6(@?=���I)Gw=FAT<�AC�U�g�&6�GwI � ]L6y�R<>6�]uQDO %

� [ 6(��� �[ �:� [ � �+� � � �IC7�QR]LI�� ���� �+� � �

� �+� � L � �+� � L �g��\�\�� �� � �+� � L � L� �+� � 7 ��� � ��ZW@FATM� �� � 7=� ��� � � �!�

� ��� � 7 �+� � ��ZWAT<LM� �� 8�7 �+� � 8@�7 ��� 7 L � �+� � L ��ZWAT7�\�� �7�<�� ��� 7 L <�� L

� �+� � L � �+� � L � �^6(GzI�� ������ �3� ��� � L � � L 8�: � �%�n�0+TG0Rl�.�m/.10�2 5 5 � f ^ g + # ^f������8`]^��a�`? :)3�� en��c f��a8�a1cf�`8ct i e�6Y6 ^ 1�H �VRT� e��4e� @c��Je + # ����� # �*a�`���c f� \_e@fp cf^ g �a �4c�c� ��$�Pa � �&O w�5 6(A V 6�7 aHID<L] w�5 6(A V 6�7 }>} # =JM�GP6 V 70=J<LI)Gw=?<LB�ID<L]�EyAT<d�RK>6�<DGAT<P^Mg � � }�� ���=JM�MwG V AD<>BD@FO$E(AD<d�+K>6�<TG }Mw=?<LE(6t� �^6(GzI � QTO$=?GwMw6(@F�+=JMI @F6(��GY��@F=J<>6�I V MwO>MPGw6�7 v =?G 5 <>A/E V =?GP=JE(IC@L\LI)= V MU� � x K>6/9Db�� � �dIC<L] � ` �¦} IDMwMzKL706^G 5 ICG�IC<0I V Q>=?G V I V O6yxL\ V 6�MzMw=FAT<�[k=?<�^ g V 6�]LKLEy6�M=J<1AD<>6 # ��MwGP6�\�GPA.s } IC<L]�=J<�AD<>6 ���P��MwGP6�\1GPAYuL{ 6 6 \ V A~gC6 } QDO0=J<L]LKLE(GP=?AD<1AT<�G 5 6�]L6�\>G 5A)��G 5 6 # � V 6�]>6(x V 6�]LKLE(6�]�=J< [ } G 5 I)G�G 5 6 V 6�6yx>=JMPGzM z"MzKLE 5 G 5 ICG s ��Q����Y��Q ? z"ID<L]�u ��Q ? z/{w�^G�G 5 6$Q�ICMw6�E�ICMw6{[�=?MI # � V 6�]>6(x�%& �g��\�\ � { w�5 6 V 6�I V 6 G v A�E�ICMw6�M�%

� [ ! �Y� �Y� � 7=� Ï � ÑTÑ>Ð ? � � 7�� � � 7=�B! s�ID<L]A�Y� �Y� � 7=� � � ? ��� L � L � � 7�LL�3! u }+v =FG 5 � � � ? � L }� � � ? � L�IC<�]Y7 � � ? 7�L {2�^O�]>6y�+<>=FGw=FAT<�A)����� } � � 7�� � � 7�� � � ? � Ly� 7�LJ� � LG� 7�LJ�3!Pz${e��K>G I)@JMPA }��� L � L � � 7�LL� Ï � ÑDÑ>Ð�? � LG� 7�LL� � Ly� 7�LJ� !;z/{

� [ ! �|���+� �N�Y� � 7�� Ï � ÑDÑ>Ð�? ���+� � � 7�� � � 7�� !<s�IC<L])�|���+� ���F� � 7�� � � ? � LG� � L(8�:����C� 7�LJ� !Au }*v =FG 5�

� � ? � L } � � � ? � L�ID<L]A7 � � ? 7NL { �6(G "7 L G 5 6 # ��<>A V 7�I)@*��A V 7 A)�$7�LU��ZWA V AD@F@JI V O }�� { w�5 6�< }s ! ����� � � 7�� � � 7�� Ï � ¿(¾�� · ¿ Ð�? ����� �L5�8��G7�<D: �� ������� � � ��� � 7�� ��� ? � L �L5 8��G7 L < : �� ������� � �;� � L � 7 L � 8�: � �Ï �*ÂF»�> !1¿ Ñ Á ¿ ¸ ��»�±�> Ð ? � LG� � Ly� 7�L[� 8��|�G7NL�<D: �� ������� � < � � LG� 7�LJ� 8�:�� ��� � ��Q ?� LG� � LG� "7 L � 8��|� "7 L <D: �� �����J� � < � � LG� "7 L � 8�:�� �|� � Ï � ¶ ¾�¾/¿ Æ¢Ì�Ð ��Q ? � Ly� � LG� "7 L �+8 "7 L ��{���K>G�I)@JMPA } � Ly� � L(8�:��#�;� 7�LL�Ï �*ÂF»�> !1¿ Ñ � · � Ð�? � Ly� � LG� 7NLL� 8�7�LJ� ��Q ? � Ly� � LG� "7 L � 8 "7 L ��{ w�5 =JM�E(IDMP6�=JM�G 5 6 AT<>@?O|=J<DGw6 V 6�MwGP=J<>B�AD<>6D{

& � *ID7$Q+]LI � { [ ! ����� � � 7�� Ï � ¿(¾�� · ¿ Ð�? ��� �J5 8��C7<U: �� �����J� � ��!�s�ID<L] [ ! ����� � � 7�� � � ? ���+� L � � 7�LJ��! u }v =FG 5 � ��� ? � L IC<L] 7 ��� ? 7NL {��^O1]>6y�+<>=FGw=FAT<�AC����� } �+� �J5 8��G7�<D: �� ������� � � ��� ? �+� LG�J5 8��C7�L�<D:�� ������� � �!�z/{���K>GHIC@?MwA } ���+� L � � 7�LJ� Ï �+¿�¾ � · ¿ Ð ? ��� Ly�J5 8��G7�L <D: �� �����J� � �:!&z/{

& w�5 6�ACG 5 6 V E(IDMP6�M�I V 6 Mw=J7�=?@JI V GPA1G 5 6/\ V 6(gd=?ADKLM&AD<L6C{�^G�G 5 6�=?<L]�KLEyGw=FAT<�MwGP6�\ v 6 5 IpgD6�G 5LV 6�6/E(IDMP6�M %& w�5 6 # � V 6�]>6(x$=?MI�MzKLQd��6yxL\ V 6�MzMP=?AD<$A)�+G 5 6����Y� V 6�]>6(x { [ 6�7�I Vw� G 5 I)G�I�MwG V =?E(G�MzKLQd��6yxL\ V 6�MzMw=FAT</A)� I����P� V 6�]L6yx$E(ID<<>6(gD6 V A~gC6 V @JIC\ v =FG 5 I # � V 6�]>6yx�{ w�5 =?MH706�IC<LM^G 5 I)G����P� V 6�]>6(x>6�M^I V 6�\ V 6�MP6 V gD6�]�Q�6(��A V 6�=?<TGP6 V <�I)@ # � V 6�]LKLEyGw=FAT<LM�{s <|G 5 =?M�E(ICMw6�G 5 6/]L=?ICB V IC7 =JMHEy@?ADMw6�]|=?<�G 5 6���AC@?@FA v =J<>B v IpO % s ��� ? z IC<�]Vu ��Q ? z/{

aCa

Page 17: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

& w�5 6 # � V 6�]L6yx IC<L] G 5 6 ���P� V 6�]L6yx I V 6�]>=JM�XYAD=?<TG({ s < G 5 =JMuE(IDMP6 } [ ! ��� [+L�(�s LJ� � ? ��� [+L L�(ts LJ�$! s }Hv =FG 5[+L � ? [+L L } ID<L]{[ !��� [+L�(�s LJ� � � ? ��� [+L�(�s L LJ�:! u }�v =FG 5 s L � � ? s L L {��^KLG�I)@JMPA } s$!���� [+L LY(ts LL� � � ? ��� [+L L�(ts L LL�!�z"IC<�]Vu !���� [�L�(ts L LL� � ? ��� [+L L�(ts L LJ�:!;z${

& w�5 6 ���Y� V 6�]>6(x =JM|IÇMwKLQ>��6(x>\ V 6�MwMw=FAT< A)�/G 5 6 # V 6�]>6(x { s < G 5 =JM�E(ICMw6 } [ ! ��� [+L[� � ? ��� s LJ�$! s }Hv =FG 5[+L � ? s L } IC<L] ��� [+L[� � � ? ��� u�LJ��{��^O�=J<L]LKLE(GP=?AD< 5 Od\RACG 5 6�Mw=JM } s L ��Q�� � ��Q ? zOLWIC<L] u�L ��Q ? zML } G 5 6 V 6(��A V 6��� s LJ� ��Q�� � ��Q ? ��� zOL[� !�z IC<L] ��� u�LJ� ��Q ? ��� zOL��:!�z${ bc

' P � 0Rn � � � ;JC 0:2 � � � 2*q � F �+� a�`��c f� \_e@fp c f ^Mgm�a �4c�c� �� H ADGP=JEy6�G 5 I)GH�R��� # ���� # ��� �+� � { �6�Gm[uQR6�=?< ^ g�{ s �,[ W X Q ? skIC<L] [ W X Q ? u } G 5 6�<�QDO UWV AD\RADMw=FGw=FAT<�aCa }G 5 6 V 6 6(x>=?MwG z MwKLE 5 G 5 I)G s � ��Q � � ��Q � Q ? z ID<L]�u � ��Q�� � ��Q � Q ? z/{ BTA } s W/X Q ? z IC<�] u W/X Q ? z/{ bc� � ��t�����:����� ������ � -1� �W���(�1,

6 6�E(AD<LMw=J]>6 V I0MP=J7�\>@?OD��G�O>\�6�]|G 5 6(A V O }>vH5 6 V 6 G�Od\R6�M�I V 6�BD6�<>6 V ICGP6�]�� V AT7 I�MP6�G&AC��QLIDMP=JE G�O>\�6�M�IC<L]kG 5 6�I VwV A v O�� VG�O>\�61E(AD<LMwG V KLEyGwA V { 6 =?G 5 ATK>G�@?ADMwG AC�WBD6�<>6 V IC@F=?G�O v 6�GwI � 60AD<>@?O�AT<>61QLICMw=?E�G�O>\�61<LID706�]�Y{ *= � 60G 5 61MP=J7�\>@?OD��G�O>\�6�]�L��E�I)@JE(K>@JKLM^=J<�]L6 � V K>= XP<�� M�<>ACGzI)GP=?AD< } G�Od\L=?<>B�E(AD<TGP6(x>GwMt� AC��� V 6(6�g~I V =JICQ>@?6�M � I V 6�MwG V KLEyGzK V 6�]�ICM^@?=?MwGwM�AC�*G�O>\R6�M�{w�5 6�B V IC7�7�I V AC�*GP6 V 7�MHID<L]�EyAD<TGw6yx>GwM^=JM %

' � T � l � ( � % % ! G# �<� �C 0�2+m �� m�l�� % % ! � �3# � � �

w Od\R6�]�Gw6 V 7�M�]>=��+6 V � V AD7 KL<TG�O>\�6�]1AD<L6�MAT<>@FO0=J<�ICQLMwG V ICE(GP=?AD<06yxL\ V 6�MzMw=FAT<LM({ 6 6 \ V 6y��6 V I�4,��\������ `N�)�� e�<>ADGwICGP=?AD<vH5 6 V 6�G�O>\�6�M�A)��ICQLMwG V ICE(GP6�]|g~I V =JICQ>@?6�M^IC\�\�6�I V 6yxL\>@?=JEy=?GP@?O�=?<�G 5 6/MPO><TGwI)x�{' � n ��l �)( � % % ! ����� #D��� � � # �����

w�5 6$� � ��E(I)@JE(KL@?KLM&=JMH70A>]>=À�R6�]�ICE(E(A V ]>=J<>B�GwA�G 5 =JM�<>6 v MPO><TGwI)x|A)��ICQLMwG V ICE(GP=?AD<LM�{ x A v 6(gC6 V(} =?G�=?M�<>ADG�]>=J��E�K>@FG�GwA1MP6�6G 5 I)GH\ V AD\R6 V GP=?6�M^AC��BT6�EyGP=?AD< } IC<�]k`�I V 6�\ V 6�Mw6 V gC6�]N{w Od\L=?<>B V K>@F6�MHI V 6 =?<LMz\>= V 6�]�� V AD7 G 5 ATMP6�AC�� � v =?G 5 AD\R6�<�Gw6 V 70Mt� � �ix /h1� � � %

�1��I V �� � ��� 5 % �� � ��� � % � � *ID7$Q+]LI ���� � � � � % �<� �

��� � % �<� � ���*� % � �g��\L\ ���� ��� �Y� % ���� 7���� � � � % � ��ZW@FATM ���� � � 7�� % �

� { 6�GwIpg~I V#������ o % ���

� s ] ���� : � � ���� : M ��� �GB 5 =F��G �� � ��� : ������cM�� ���

��� 7���� L � L � ����� ��ZWAT70\ ���� � <�7�� ���� � % � ��� 7�� � ��ZWAD<�M ���� � 8�7�� � � �

U � � ��o 5 � ;4= 2"! � npl/.10�2�F�� ��� � % � ^ f�� ��� 7#��� + �� e]f

a }

Page 18: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

1 � a [� ! 5 + �� e]f � ! � � � L��= � a [� !;o 2�^36$e��^ b`7 ^��Da1^XU�� e�9 + �� e]f � ! � � ^f�� � ! � � �C � a [� ! � � � � � L + �� e]f � L � ��� � L�% � L ^ f�� � ! � L � � L��H � a [� ! ��� L � L �:+ �� e@f ��� � L % � � � ^f�� ���*� L % ���L � a [� !<� Ly� �!� + �� e@f ��� � ��� L ^f�� � L � � L�% � �� � a 27 ! :�� + �� e]f � !����� � a 27 ! :������cM�� + �� e@f � ! � L � � L ^ f�� � L � : M � ���� � a 27 ! � L98@� + �� e@f ��� � L�% � L + ��� � � � L ^f�� � ! � L � � L�� ^ f�� � a 27 ! 7�L�<�� + �� e@f �#� � ��� L + � L � 7�L ���V�

a �4c�c� ���^O�=J<L]LKLE(GP=?AD<�AD< \ V ATAC��]>6 V =?gpICGP=?AD<�{ H ACGw=?E(6�G 5 ICG G�O>\>=J<>B V KL@F6�M I V 60MPG V K�EyGwK V IC@ } =�{ 6D{$G 5 6 V 6�=JM AD<>6 V K>@F60��A V6�IDE 5 E(AD<LMwG V KLE(GPA V AC�*GP6 V 7�MHID<L]�MwKLQ�MPGw=FGzK>GP=?AD<LM�{ bc' P � 0Rn � � � ;� 2�. � � � 2 � l�l$0�Q�m � T � l�F1 � � � � � � % � � ^f�� � g � � % � g + �� e]f � � ! � g �= � � � � � 7���� � ^ f�� � g � 7#��� g + �� e@f � � ! � g �

a �4c�c� �� �^O|Mw=?7�K>@?GwIC<L6(ADK�M�MPG V KLE(GwK V I)@ =J<L]LKLE(GP=?AD<�AD< � IC<L]Z7&{ bc����� � ������������� �"!$#$� %��&�"!('�)+*U � � ��o 5 � ;5� � m�o A n � ? � F�� ��� ��� � � � �3� % �}+ �� e]f ��� � � � 8�:��#� % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� � � � � % � � � IC<L]Y� Q � ���*� % � } QTO �6�7�70Iua �$ID\L\>@?=F6�]�GPA 5 Od\RACG 5 6�Mw=JM�A)��@F6�707�I�{} {�� � ��� � % �/} QDO# �6�707�I�a��0ID\L\>@?=F6�]|GwAZ�Pay��I � {`�{ ��� :�� � ��} QTO|G 5 6�� s ] �&V K>@?6C{�R{ ��� � 8�:�� ��� � ��} QTO|G 5 6���ZWAT<LM ��V K>@?6�IC\L\>@?=?6�]�GPA �Pa(��Q � IC<L]Y� ` � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6���ZW@FATM �&V K>@?6�ID\L\>@?=F6�]�GPA � }1� IC<L]Y� � � G 5 ICG ��� � � � 8�:���� % � { bcU � � ��o 5 � ;JU o ��j ? o A n � ? � F�� ��� ��� � � � � � 7�� % �.+ �� e]f ��� � � � � �J5 8��C7�<D: �� ������� � � % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� 7�� � IC<�]Y��Q � � � � � � � % �/} QTO *6�7�7�I�a��0IC\L\L@F=?6�]kGPA 5 O>\�ADG 5 6�MP=JM^A)��@?6�7�7�IL{} { � I � � � � � � % � L�IC<�] ��Q � � ! � � � L } QTO �6�7�70Iua �$ID\L\>@?=F6�]�GPA �Pa(��Q � {`�{ ��� :�� � ��} QTO|G 5 6�� s ] �&V K>@?6C{�R{�� � ��� : ������V�J� � ��} QTO|G 5 6��GB 5 =À��G �^V KL@F6�IC\�\>@F=?6�]�GwA ��` � {�L{�� � ��� 5 % � } QTO|G 5 6��1��I V �WV K>@?6C{��{�� � ��� 7P<D:�� ����������� } QTOkG 5 6���ZWAD7�\ �&V K>@F6�ID\L\>@?=F6�]kGwA �Pay��I � ID<L] �g� � {

a�`

Page 19: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

c>{�� � ��� 5 8��G7�<D:�� ������� � ��� � � } QTO�G 5 6���ZWAD<�M �&V K>@?6�ID\L\>@?=F6�]�GPA �y� � IC<L]Y�g� � {9�{�� � ��� � �J5 8��C7�<D: �� ������� � � % � L } QDOkG 5 6���ZW@FATM �WV K>@?6�ID\L\>@?=F6�]�GPAZ� } ��I � ID<L]F��c � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6�� *IC7�QR]�I �&V K>@F6�ID\L\>@?=F6�]kGwA ��9 � G 5 I)G ��� � � � � �L5 8��G7P< :������V�J� � � % � � � L { bcU � � ��o 5 � ; i*T3T A n � ?�� F � ��� �Y� �Y� � 7=� % �}+ �� e ��� ��� � 7�� � � 7�� � % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� 7�� � IC<�]Y��Q � � � �Y� �Y� % �/} QTO *6�7�7�I�a��0IC\L\L@F=?6�]kGPA 5 O>\�ADG 5 6�MP=JM^A)��@F6�7�70I�{} { � I � � � � % � � � ID<L]F� Q � � � � % � } QTO *6�7�7�Iua���IC\L\>@?=?6�]�GPA �Pa(��Q � {`�{ ��� � � 7�� % � � �/} QTO�G 5 6���ZW@?ADM �&V KL@F6�IC\�\>@F=?6�]�GwA �way��I � IC<�]Y� } ��I � {�R{ ��� � � 7�� % � } QTO�G 5 6���ZW@?ADM �&V KL@F6�IC\�\>@F=?6�]�GwA �way��I � IC<�] � } ��Q � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6��y��\L\ ��V K>@?6�IC\L\L@F=?6�]�GPA ��` � IC<�]Y�g� � G 5 I)G ��� ��� � 7�� � � 7�� � % � { bcU � � ��o 5 � ;�C �10Rl A n � ? � F�� ��� � � 7=�G� �!� % �}+ �� e@f ��� � � 7P<3�w� % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� � ��� IC<�] ��Q � � � � � 7�� % �$} QTO �6�707�Iua �$ID\L\>@?=F6�]kGwA 5 O>\RACG 5 6�Mw=?MHA)�*@?6�7�7�IL{} { � I � � � 7���� LNID<L] ��Q � � L � � % �/} QTO *6�7�7�I�a��0IC\L\L@F=?6�]�GPA �way��Q � {`�{ ��� 7�<�� ��� L } QTO�G 5 6���ZW@?ADM �&V K>@F6�ID\L\>@?=F6�]kGwA �Pay��I � ID<L]F� } ��I � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6���ZW@FATM �&V K>@?6�ID\L\>@?=F6�]�GPA � } ��Q � ID<L]Y� ` � G 5 I)G ��� � � 7P<��w� % � { bcU � � ��o"h_R ;�� o�n C 0:2�l A n � ?��� F�� ��� 56� � 8�7�� % �}+ �� e]f ��� � % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� � 8 7���� IC<�] ��Q � � � 5 % �/} QTO *6�7�7�Ika �0IC\L\>@?=?6�]kGPA 5 O>\�ADG 5 6�MP=JM^A)��@F6�7�70I�{} {�� ! � � � L } QTO *6�7�7�Iua���IC\L\>@?=?6�]�GPA �Pa(��Q � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 �6�7�7�Iua���IC\�\>@F=?6�]�GwA �way��I � IC<�]Y� }�� G 5 I)G ��� � % � { bcU � � ��o"h 5 ;4=@? A n � ?�� F�� ��� � �L:��#� % �.+ �� e@f ��� � % � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� :�� � � IC<L]F� Q � � � � % �/} QTO *6�7�7�Iua���IC\L\>@?=?6�]�GPA 5 O>\�ADG 5 6�MP=JM^A)��@F6�7�70I�{} {�� ! �W} QTO �6�7�70Iua �$ID\L\>@?=F6�]�GPA �Pa(��I � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 �Pay��Q � ID<L] � }�� G 5 I)G ��� � % � { bcU � � ��o"hph ;JS o�T A n � ? � F�� ��� ��� 8 7 � <3� � � + �� e@f ��� � � �!�(8��G7�<�� � ��� �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� � ���8L�IC<L]Y� Q � �8L � � 8 7���� } QTO �6�7�70I�a ��ID\L\>@?=F6�]�GPA 5 Od\RACG 5 6�Mw=JM^A)��@F6�707�I�{} { � I � � L � � % �/} ��Q � � L � 7�� � L L IC<L]Y� E � � ! � � � L L } QTO *6�7�7�Iua���IC\L\>@?=?6�]�GPA �Pa(��Q � {`�{ ��� � � �!� % �$} QTO|G 5 6���ZW@?ADM ��V K>@?6�IC\L\>@?=?6�]�GPA �Pa(��I � IC<L]F� } ��I � {

a��

Page 20: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

�R{ ��� 7�<�� ��� L L } QTO|G 5 6���ZWAT7�\ �&V KL@F6�IC\�\>@F=?6�]kGPAZ�way��I � IC<�] � } ��Q � {6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6���ZWAD<LM �&V KL@F6�IC\�\>@F=?6�]�GwA ��` � ID<L] �g� � G 5 I)G ��� � � �!�(8��C7<�� � � � 8 � L L { bcU � � ��o"h�� ;4=@? - A n � ?��� F�� ��� :��=<�7�� � + �� e]f ��� 7���� �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� 7�� �8L*IC<L]Y� Q � �8L � :�� ��� } QTO �6�707�Iua �$ID\L\>@?=F6�]kGwA 5 O>\RACG 5 6�Mw=?M^AC��@?6�7�7�IL{} {�� L ! � } QTO *6�7�7�Ika �0IC\L\>@?=?6�]�GPA �Pa(��Q � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 �Pay��I � ID<L]F� }�� G 5 I)G ��� 7�� �|{ bcU � � ��o"h � ; -BP�.EQ�m C 0:2�l A n � ? � F�� ��� : �� ��� M���<U��� 8�7 � ��� + �� e]f ��� :�M!<�7���� �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� � 8 7����8L�IC<L]F� Q � �8L � :������cM�� � � } QTO *6�7�7�I�a��0IC\L\L@F=?6�]kGPA 5 O>\�ADG 5 6�MP=JM^A)��@F6�7�70I�{} { � I � ��� � % �/} ��Q � ��� 7���� L L } � E � � L+! � � � L L } QTO �6�7�70I�a ��ID\L\>@?=F6�]�GPA �Pa(��I � {`�{��8L L � : M � � } QTO *6�7�7�Ika �0IC\L\>@?=?6�]kGPAZ�Pa(��Q � ID<L]F� } ��E � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6���ZWAD7�\ �&V K>@F6/ID\L\>@?=F6�]|GwAZ� } ��Q � ID<L]F� ` � G 5 I)G ��� :�M$<�7�� �k{ bcU � � ��o"h�� � ��� :�M � � � � + �� e@f ��� :������cM�� ��� �a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< {& ! bL{ 6 6 5 IpgC6 G 5 6���AD@F@?A v =J<>B 5 O>\RACG 5 6�Mw=?M�%

aC{ � ! � � � } QDO �6�7�7�Iua���IC\�\>@F=?6�]�GwA 5 O>\RACG 5 6�Mw=?M�{} { � � :�� ��� } QDO|G 5 6�� s ] �&V KL@F6D{`L{ � � � � :������V�J� ��� } QDO|G 5 6��CB 5 =F��G �^V K>@?6�ID\L\>@?=F6�]�GPA � }1� {

6 6/E(AD<LE(@?KL]L6 v =?G 5 �wa � IC<�] ��` � G 5 I)G ��� : �� ������� ���k{& ! 73%�&���! � { 6 6 5 IpgC6 G 5 6���AD@F@?A v =J<>B 5 O>\RACG 5 6�Mw=?M�%

aC{t� I � � ! � � � LNIC<�] ��Q � � L � :�� � � � � } QTO �6�707�Iua �$ID\L\>@?=F6�]kGwA 5 O>\RACG 5 6�Mw=?M�{} { � L � :������V� ��� � } QTO�=?<�]LKLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M�IC\L\>@?=?6�]kGPAZ�Pa(��Q � {

6 6/E(AD<LE(@?KL]L6 v =?G 5 G 5 6��GB 5 =À��G �^V KL@F6�IC\�\>@F=?6�]�GwA � }�� G 5 I)G�� � � L � : �� ���E������V� �1� � � } =�{ 6D{ ��� :������cM�� ���k{ bcU � � ��o"h � ; -BP�.EQ�m�-�PB.1Q m A n � ? � F�� ��� : �� ��� M��9<D:�� � � + �� e@f ��� : M!<D:������V� � ��� �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� :�� ��� LNID<L]F� Q � � L � :������cM�� ��� } QTO *6�7�7�Ika �0IC\L\>@?=?6�]kGPA 5 O>\�ADG 5 6�MP=JM^A)��@F6�7�70I�{} { � I � � L ! � � � L L IC<L]F��Q � � L L � : M ��� } QTO *6�7�7�I�a��0IC\L\L@F=?6�]�GPA �way��Q � {`�{ ��� :�� ��������� �8L L } QTO *6�7�7�I } �0IC\L\>@?=?6�]�GPA �Pa(��I � IC<L]Y� } ��I � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 G 5 6���ZWAD7�\ �&V K>@F6/ID\L\>@?=F6�]|GwAZ� } ��Q � ID<L]F� ` � G 5 I)G ��� :�M$<D:�� ������� ���|{ bcU � � ��o"h � ; -BP�.EQ�m�R A n � ? � F�� ��� 5 8�:������V�J��� � + �� e@f ��� :�� ��� �

a��

Page 21: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I � ��� 5 % �$} � Q � ��� :������V�J��� �8L�IC<L]F� E � � ! � � � L } QTO# �6�7�7�I�a��0IC\�\>@F=?6�]kGPA 5 O>\RACG 5 6�Mw=?M^AC�*@?6�7�7�IL{} { � ! � � � L } QTO *6�7�7�I�a��0IC\L\L@F=?6�]kGPAZ�way��I � {`�{ � L � :�� ��� L } QTO �6�7�70I�a ��ID\L\>@?=F6�]|GwAZ�Pa(��Q � ID<L]F� }�� {�R{ � L+! �8L } QTO *6�7�7�I�a��0IC\L\L@F=?6�]�GPA ��` � {�L{ � ! � } QTO �Pa(��E �¦} � }�� ID<L] �g� � {��{ ��� :�� � ��} QTO|G 5 6�� s ] �&V K>@?6C{

6 6/EyAD<�Ey@JKL]>6 v =FG 5 �y� � ID<L]F�g� � G 5 I)G ��� : � ���k{ bcU � � ��o"h � ; -BP�.EQ�m�- A n � ? � F�� ��� 56�j: M�� 8�: �� ��� M���� � + �� e@f ��� : M � � �a �4c�c� �� 6 6 5 IpgC6 G 5 6���AC@?@FA v =J<>B 5 O>\RACG 5 6�Mw=?M�%aD{ � I ��� � 56�j: M1� % �/} � Q � � � : �� ��� M�� ��� LWID<L] ��E � � ! � � � L } QDO �6�7�70I a���ID\L\>@?=F6�] GPA 5 O>\RACG 5 6�Mw=?M$A)�@F6�707�I�{

} { � I � ��� : M � � L L IC<L]Y� Q � � L L � 5 % �/} QTO *6�7�7�Iua���IC\L\L@F=?6�]�GPA �way��I � {`�{�� L L ! � ��� } QTO *6�7�7�Iua���IC\L\>@?=?6�]�GPA � } ��Q � {�R{ ��� : �� ��� M�� � � } QTO *6�7�7�I } ��IC\L\>@?=?6�]�GPA � } ��I � IC<L]F� ` � {�L{ � ! �8L } QTO w�5 6(A V 6�7 ��ID\L\>@?=F6�]|GwAZ�Pa(��Q � ID<L]F� � � {��{�� ! � L L } QTO �Pa(��E �¦} ��` � IC<�]Y�G� � {

6 6/EyAD<�Ey@JKL]>6 v =FG 5 � } ��I � ID<L]F�g� � G 5 I)G ��� :�M � �k{ bc' P � 0Rn � � � ; - �*j�� � q)m � � ? �*q)m/.10�2�F(i e�T[ ^ f��s$U4e aVf ^ g `D\*���3�� ^� [ W X Q ? s + �� e@f& a m[ a�` ^(R+e��N6 ^ f�� ��� [ % �.+ �� e@f ��� s % � � ^ f��& a m[ a�` ^�I�\pU�`N�a8�\��a1c f ^f�� ��� [ ��� + �� e]f ��� s ��� �

a �4c�c� �� 6 6�M 5 A v G 5 I)G�G�O>\>=J<>B�=?M�\ V 6�MP6 V gD6�]���A V AD<L6y��MPGw6�\ V 6�]LKLEyGw=FAT<LMP� =�{ 6C{ W X ? �¦} IC<L] G 5 6�< =FG�=JM/IC@?MwA|��A V G 5 6V 6y��6(xd=?gC6 IC<L]|G V IC<LMw=?GP=?gC6�E(@FATMwK V 6� =�{ 6D{ W�X Q ? � { *6(Gl[ x ? s�QR6�I/AD<L6y��MPGw6�\ V 6�]�KLEyGw=FAT< }dv 6�\ V AdE(6(6�]|QTO1=?<�]LKLEyGw=FAT<AD<0G 5 6H]>6�\LG 5 A)� G 5 6 V 6�]L6yx V 6�]LK�Ey6�]0=J<Y[�{��^GG 5 6�=J<>=?GP=JI)@�E�ICMw6m[�=?M V 6�]�KLEy6�]0ICG�G 5 6HGwAD\0@?6(gC6�@ } IC<L] v 6^E(AD<LE(@?K�]>6 v =FG 5 �6�7�70I�a�� } *6�7�7�I�a~c } �6�707�I�a/9 } �6�7�70I�a�h } *6�7�7�I } b } �6�707�I } a } *6�7�7�I }I}L} �6�7�7�I } ` } �6�7�70I } � } �6�7�70I } � } �6�707�I } c�IC<L] *6�7�7�I } 9L{A�^G0G 5 6u=J<L]LKLE(GP=?AD< MwGP6�\ v 6 V 6�MwAC@?gC6 v =FG 5 �6�7�70IÇa���IC<L] =?<�]LKLEyGw=FAT<5 O>\�ADG 5 6�MP=JM({ bc����� � ����� ��� � )���������'���� !('�)+*BTG V AT<>B <>A V 7�I)@?=���I)Gw=FAT< A)��G�O>\�6�] GP6 V 7�M|]LAT6�Mk<LACG 5 AD@?] ��A V �+�R{ s <�� IDEyG } IDM|M 5 A v < QTO � { 6�@?h1��� } �R��]>Ad6�M|<>ADG\ V 6�Mw6 V gC6HMwG V AD<>B�<>A V 7�I)@?=[��I)GP=?AD<�AC�*�>��E(IC@?E�K>@JKLM({ w�5 6 MwID706�EyATKL<TGP6 V 6(x>ID7�\>@F6�70IpO�QR6 V 6�\ V A>]LKLE(6�] v =?G 5 MwAD706 7�=J<>A V70A>]>=À�+E(I)Gw=FAT<LM^=J<k6(xL\>@F=JEy=?GHMzKLQLMwGP=?GwK>Gw=FAT<LMHE(IC@?E�K>@?=NICMH� ' ID<L]��R�R{H 6�gC6 V G 5 6(@?6�MzM }Dv 6 \ V A~gC6HG 5 I)G^�R�0=JM v 6�I � @FO�<>A V 7�I)@?=[��=?<LB/AD<1G�O>\R6�]16(xL\ V 6�MwMw=?AD<LM } =�{ 6D{G 5 6 V 6�6yx>=JMPGzMWI/MwG V I)Gw6(BDO�GwA�R<L]�� � ��<>A V 7�I)@���A V 7�M�=J<|G�O>\R6�]|6yxL\ V 6�MzMP=?AD<LM�{ s <k\LI V GP=JE(KL@?I V(}Tv 6�M 5 A v G 5 ICG���A V # ��<>A V 7�I)@R��A V 7�M } G 5 6 V 6�]LK�EyGP=?AD<�A)�� �^6�GwI � ��AD@F@?A v 6�]|QTO�I # ��<>A V 7�I)@?=[��I)Gw=FAT<�=JM�MPG V AT<>BC@?O|<>A V 7�I)@?=��(=J<>B�AT<|G�O>\R6�]�6yxL\ V 6�MzMw=FAT<LM({

a��

Page 22: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

w�5 6�\ V AdA)� v 6�\ V A~gd=?]L6�E�IC<�QR6|IC]LID\>GP6�] GPA�� � =J< I�MPG V IC=FB 5 GY��A Vwv I V ] v IpOD{ w�5 =JM�BC=?gC6�M�IC<�I)@?GP6 V <�I)GP=?gC61\ V AdA)�GPA�G 5 ICG$=J<L]>6�\�6�<L]>6�<TGw@FO ]>6�gC6(@?AD\R6�] QDO � 9 *hTc���{ w�5 I)G0\ V AdAC�^=JM0QLICMw6�]�AT< I�Ey@?6(gD6 V G V IC<LMw@?ICGP=?AD< GPA MP=J7�\>@?OD��G�O>\�6�]�L��E�I)@JE(K>@JKLM�{ s < EyAD<TG V IDMPG }�v 61��AC@?@FA v MwG V I)=?B 5 GY��A VPv I V ]>@?O�G 5 6�\ V AdAC�^AC�HMPG V AT<>B�<>A V 7�I)@?=[��I)Gw=FAT<���A V G 5 6�Z&I)@JE(K>@JKLM$A)�ZWAD<�MPG V KLE(GP=?AD<�\ V AD\RADMw6�]u=J<0� 9 6�KLh�����{ w�5 60EyAD7�\>@?6yx>=?G�OuA)��QRACG 5 \ V AdAC� MH=JM�Mw=?70=?@?I V { w�5 6$Gw6�E 5 <>=JSdK>6$G 5 I)G v 6�KLMP6�=?M6yx>Gw6�<L]>6�]�GPA1]>6�\R6�<�]>6�<TGHG�O>\R6�M^=J<W� { K��<�hTc���{

6 6�]>6y�+<>6���� � IDM�G 5 6�Mw6(G�G 5 I)GWEyAD<TGzI)=J<LM�I)@?@�G 5 6 # ��<>A V 7�I)@>��A V 7�M�A)�p^ g { s � [�=J< ^ g } [k]>6�<>ACGw6�M�=?GwM # ��<>A V 7�IC@��A V 7�{� ��� 2�.�m/.E0:2 �Pi e�l[B(�s v���� � + OGe$`]^�)��� ^�l[�� � ��EyAT<TgC6 V GwM/Yc/s + f�c�Ye:�wU�)/[ � X ? s + a � [ Ï�Ä�¶ ³P¿ Ð ? z ^ f��s ! zY� �6�G�� Q�6�G 5 6/MP6�G^A)���+�C��MwG V AD<LBC@?O�<>A V 7�I)@?=[��=?<>B06yxL\ V 6�MzMw=FAT<LM&A)� �����R{

U � � ��o"h�� � [� a�` ^/Ye��N6 aVf��� ^ f���7)a�` ^$`�\pUD`N�a8�\��a1c f aVf��� + �� e@f � 8�7"v�����a �4c�c� ��wBT=J<LEy6 �)(#7"v��� }dv 6 E�IC< V 6�ICMwAD<�QTO1=J<L]LKLE(GP=?AD<kAD<��6��� � ��K�G7 ��� { 6 6�E 5 6�E � AT<>6y��MwGP6�\��+�C� V 6�]LKLEyGw=FAT<LMWA)�� 8]�/{& � 8J� � X ? � 84�OL }dv =?G 5 � � X ? �OL�{ s �B��v��� } G 5 6�< �OL�v��� } ID<L]��K�Y� � ��K�1� � ���K�Y� � ��K�1�ML � {=�^O=?<L]�KLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M } � 8]� L v��� {

& � 8J� � X ? � L18�� }dv =?G 5 � � X ? � L { s ��� v��� } G 5 6�< � L v��� } IC<L]��K��� � ��K�1� � ���K�Y� L � ��K��� � {�&O|=?<L]�KLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M } � L98]��v��� {

& � 8@� � X ? :�M+{���K>Gt:�Mk=?M�I�� �)��<>A V 7�I)@ ��A V 7 } G 5 6�<�=?G�=?M^=J<��� {s <�6(gD6 V O�E(ICMw6 } � 8@� V 6�]LKLE(6�M^=J<kAT<>6y��MwGP6�\kGPA1I��+�D��MwG V AD<>BD@FO1<>A V 7�I)@?=��(=J<>B1MwKLQ�MPGw=FGzK>GP=?AD< } G 5 6�< � 8]��v��� { bcU � � ��o��+RPi e� �)( 7 v���� � + @c�� ^f*) `D\pUD`N�a8�\��a1cf � + 2 1 9 a � � �!��v��� + �� e@f � v��� � ^f��^2 = 9 a 7�<���v��� + �� e@fZ7$v��� �a �4c�c� �� 6 6�\ V A~gD6�QTO�MP=J7$K>@?GwID<>6(ATKLM^MPG V K�EyGwK V IC@R=J<L]LKLE(GP=?AD<kAD< �:IC<L] 7�G 5 I)G^=F�3� � X ? � L�IC<L] 7 � X ? 7�L } G 5 6�<��A V ID<TO|MwK�QLMPGw=FGzK>GP=?AD< � } � � �!� � X ? � L � �!��ID<L] 7�<�� � X ? 7 L <3��{ �6�G � QR6/I�MwKLQ�MPGw=FGzK>GP=?AD<uMzKLE 5 G 5 I)G � � �!� v��� { 6 6 V 6�ICMwAD<�QTOk=?<L]�KLEyGw=FAT<kAT<��6� � � �!� � { 6 6/E 5 6�E � AD<L6y��MPGw6�\

�+�C� V 6�]LKLE(GP=?AD<LM�AC�G� { �6(G � L�QR6�MzKLE 5 G 5 ICG � � X ? � L {!�^OkG 5 6$ICQRA~gC6/\ V AT\�6 V G�O v 6 5 IpgC6 � � �!� � X ? � L � �!� {BT=J<LEy6 � � �!� v��� } � L � �!� v��� IC<�]��K� � � �!� � ���K� � L � �$� � {��^O�=J<L]LK�EyGP=?AD< 5 O>\�ADG 5 6�MP=JM } � L v���"{ s <kID<DO�E�ICMw6v 6HADQ>GzI)=J<1IC<�6(x>\ V 6�MwMw=FAT< vH5 =?E 5 =?MWMPG V AT<>BC@?O�� � ��<>A V 7�I)@?=��(=J<>B }T5 6�<LE(6M� v���"{ � MP=J<>B$I$MP=J70=F@JI V I V BDKL706�<TG v 6�E(ID<\ V A~gC6 G 5 ICGe7 v���"{ bc� ��� 2�.�m/.E0:2 � RT� e `]e� c� HQ�ICMw6 Gw6 V 7�M"! aVf���� � a�`��e��Kf:e:� U�)1 ��[�v�! + a m[ v ��5�(�56�j:�� ��� M�� � ��+= � � mo a�` ^�6$e��^ b`7 ^��Da1^XU�� e$^ f��7^]! :��$a�` ^ `D\pUD`N�a8�\��a1cf aVf��� + �� e@f o v#! ^f��.o)� 7=� v�! +C � � [� v#! ^ f�� � a�` ^/�e��N6 aVf��� + �� e@f �Y� �F� v�! +

� ��� 2�.�m/.E0:2 � RT� e � 6�O V 6�]>6(x ct ^��e��N6 � v$��� � a�`��e��Gf�e:� U�)1 � � [� a�` ^%� � b`�4e:��e�y + �� e]f � a�` a81`%& e�)��4e:��e�y += � � [� � ^ `'&�e�)��4e:��e5y8� L + �� e]f ��� �Y� � ^�`%& e�)3�4e:��e5y8� LJ�(*)g` ����hji=igdgnyu#b x#z } b�u#n��$l zjh,+;hjb x �.-�� � =hji�l2b�q � #�m;n3oEf hj{Gf #�u#q b v�i�dgf m zjm|b�x dyf u��6m���m;ng} b u#n �$l zjh,+al�dghju#b iym�$�q m;b {;m�#�m|x#hjb�b hjb xeoEh dgf

�0/ �G� 1�2E�43#�#�! G�

apc

Page 23: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

6 6 vHV =?GP6 � � X�? � L vH5 6�< � � �C��E(AD<TgC6 V GzM�GwA*� L QDO V 6�]LKLEy=J<>B�=?GwM � 6(O V 6�]>6(x�{

� ��� 2�.�m/.E0:2 � > `]e� ct }Ye��N68`w^ ����� � a�`HMzI)GwK V ICGP6�] a 1 �e^ ���� += � ! �)^ +C � � [� � X�

? � L + � L�vZ^ ^ f�� � v��� + �� e]f � v ^{�� � ��oLn � % ��f=JMHMwICGwK V I)Gw6�]kIC<L]uI)@?@�G 5 6/MwICGwK V I)Gw6�]�MP6�GwM�I V 6�<>AD<L6�7�\>G�OC{6 6/<>ACGw6 G 5 6/EyAD@F@?6�E(GP=?AD<kA)�MwICGwK V I)Gw6�]kMP6�GwMHQTO������ } =�{ 6C{������ ! ��^ ����� � #�^�=JM�MzI)GwK V ICGP6�] � {

� ��� 2�.�m/.E0:2 � � !^M(a^ L�v������ + OGe���e��Gf�e�� e `]e�=^ � ^ L+! ��� v$��� � # � vZ^ %P��� �Y� v ^ L � �U � � ��o�� 5������ a�`��� c�`]e:� \ f���e�� �\ f����a1cf `Yd ^��Je@` + a��Ve@� a $^O(�^ L�v������ + �� e]f-^ � ^ L�v�������a �4c�c� �� 6 6/7$KLMwG�\ V A~gC6$%aD{ s � [�v ^ � ^ L } G 5 6�< [�v��� �

} { s � [�v�! } G 5 6�<V[ v ^ � ^ L ��IC<L]`�{ s � [�v ^ � ^ L } s �X�

? [�IC<L]Vs/v��� } G 5 6�< s/vZ^ � ^ L {w�5 6^� V MwGG v A�\ V AD\R6 V GP=?6�M�I V 6�\ V A~gC6�]0]>= V 6�EyGw@FO�� V AD7 ]>6y�+<>=FGw=FAT<LM�{ 6 6�AD<>@?O�E(AD<LMw=J]>6 V G 5 6�@?IDMPGE�ICMw6C{� �6(GGuYvZ^ } MwA�QTO]>6(�R<>=?GP=?AD< } ��sYu � � X�

? ��[ u � IC<L] ��[ u � v ^ L { x 6�<LE(6 } =?G&MzK���Ey6�M&GPA�\ V A~gD6HG 5 I)G@��sYu � v��� { BT=J<LEy6~s:(5uYv��� }dv 6\ V A~gC6�QTO|I�MP=J7�\>@F6�=J<L]LK�EyGP=?AD<kAD<#�K��s � �K�Ju � G 5 I)G^=F�U��sYu � � X ? [+L } G 5 6�<V[+L v��� { w�5 6 V 6y��A V 6 } ��sYu � v��� { bc� ��� 2�.�m/.E0:2 � RT� e�G�O>\�6�=J<TGP6 V \ V 6(GzI)Gw=FAT<1� KL<LE(GP=?AD< a�`���e��Gf�e:�$aVf�� \*���a87 ef� ) c f��)�d�eD` ^ `_ @c��8� c�O�`�0

� � c� � ! ��� � � � � � � ! � � � � � � � � � � �

� � ��oLn � %��^O *6�7�7�I0`�a } ��A V IC<TO�G�O>\�6 �$} � � � � � v�� ���/{U � � ��o���h�i e��� v$���1� + a G @c��8^��8� � vA� � � � � + � � � 8�: � �TvA� � � � � + �� e]f��"� � � vA� � � � � � � � � � ���a �4c�c� �� *6(G � v � � � � ��{)�&O ]L6y�R<>=?GP=?AD< } �|��� � � � �8�Y� � X�

? � � � 8�: � � } IC<L]ÇQDO 5 O>\RACG 5 6�Mw=?M } � � � 8�: � �.v � � � � ��{x 6�<LEy6 } =?G�MzK���Ey6�M�GPA�\ V A~gC6�G 5 I)G �a���"� � � �K�Y� v#�� { ��K>G } � � � 8�: � � v �� } MwA�QTO �6�7�70I1`Db } � v#�� �RID<L]QTO 5 Od\RACG 5 6�Mw=JM }B� v �� { 6 61\ V A~gC6�QTO�I�MP=J7�\>@?60=J<L]LK�EyGP=?AD<�AD<��K�Y� � ��6� �Y� G 5 I)G�=À�@�|��� � � � � �Y� � X ? � L }G 5 6�< � L�v��� { w�5 6 V 6(��A V 6 } �|��� � � � �3�Y� v��� { bc� ��� 2�.�m/.E0:2 � RT� e�g~I)@JKLI)Gw=FAT<LM8ct � + f:c��e5�VUN) � � � � � + a�` ^ `]e� ct `D\pU�`N�a8�\��a1c f_` aVf���� � ��e��Kf:e:� aVf�� \*���a87 e��q) c f �^�` @c��8� c�O�`�0

� � � � � � ! ��:�M #N @c��8^ fp)$f�^��\��4^�� �� � � � � LL� � ! � � � �c� �X� � � 8 7 #�� vA� � � � �Y( 7kvA� � � L[� � �

U � � ��o���� � [� vX� � � � �[^ f��7$vX� � � � � + �� e]f � 8�7 vA� � � � � � ���a �4c�c� �� H ACGw=?E(6�G 5 ICGO� 8�7 =JM�<>ADGH<>6�E(6�MzMwI V =?@FO|=?< ���1��{D�^KLG�G 5 6 V 6/I V 6�G v A�E�ICMw6�M�% � 8 7 !<� 8 7 A V � 8�7 ! : MR{s <uQ�ADG 5 E(IDMP6�M v 6�gD6 V =À��O1G 5 I)G � 8 7 vA� � � � � � ��{ bcU � � ��o������ 27"vX� � � � ��^f�� ��� : M � � + �� e]f : M <�7 vW� � � � ���

a/9

Page 24: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

a �4c�c� �� �^O|MwG V KLEyGzK V I)@�=J<L]LKLE(GP=?AD<�AD< ID<L] 7&{& ! b�{ �^O *6�7�7�I�a��9�y� ��v 6 5 IpgC6 � ! � } IC<L]�QTO�]L6y�R<>=?GP=?AD< } : � <�7 ! 7 } MPA�QTO 5 O>\�ADG 5 6�MP=JM } : M <�7 v

� � � � �:! � � � � ��{& ! 73%�&�� L �¦} 7 ! :���{��^O|]>6y�+<>=FGw=FAT< } : M < : � ! : � vX� � � � ��{& ! 73%:&�� L �¦} 7 !)� 8/�/{��^O�]L6y�R<>=?GP=?AD< } � ! � � � L*IC<L] �PvX� � � LJ� ��{D�^O *6�7�7�Iua��(��c �¢} � L � :�M � � � } MwA�QTO=?<L]�KLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M } : M � <���vX� � � � ��{���K>GHIC@?MwA } : ������cM � � < ��� 8]� � ! : M � <���{ bc

U � � ��o�� ��' c�� ^f*) � + � � � � � ���� �a �4c�c� �� 6 6/\ V A~gC6�QTO�MPG V KLE(GwK V I)@ =J<L]LKLE(GP=?AD<�AD< 7 G 5 ICG�=À�D7 vW� � � � � } G 5 6�< 7"v���"{& 7 ! : M { s <|G 5 =?M�E(ICMw6 7 =JMHI��+�C��<>A V 7�I)@+��A V 7 } G 5 6�<�G 5 6/E(AD<LE(@?K�MP=?AD<|=?M�G V =?gd=?IC@ {& 75! � 8��/{ �^O�]>6(�R<>=?GP=?AD< } � ! � � � L } �Kv � � � LJ� � } � vI� � � � � ���� { �&O�=J<L]LK�EyGP=?AD< 5 O>\�ADG 5 6�MP=JM } �Av��� }G 5 KLM v 6�E(AD<LE(@?K�]>6 v =FG 5 �6�7�7�I } h0G 5 I)Ge7 v��� {

� ��� 2�.�m/.E0:2 5 RPi e�3�)(#7$v ��� � + OGe���e��Gf�e1 � � `]^��a�`8� eD`}�� ^��� a�` c� }�)�d�e �.+ f�c��e:� U�) � # !<� % �}+ a � � � �!� vA� � � � �� @c��8^ fp) � vA� � � � �`�= � � `]^��a�`8� eD`}�� ^��7 a�` c� .�)�d�e � + f:c��e5�VUN) � # ! 7���� + a � 7<�� vA� � � � � @c�� ^ fp) � vX� � � � �`�

%�n�0+TG0Rl�.�m/.10�2 5 h ; -B0 �32 ? 2 � l�l 0+Q # ! F1 � � ��� � % �.+ �� e]f � # !<� % �}+= � � ��� 7���� + �� e]f � # ! 7#��� �

a �4c�c� �� �^O|Mw=?7�K>@?GwIC<L6(ADK�M�MPG V KLE(GwK V I)@ =J<L]LKLE(GP=?AD<�AD< � IC<L]Z7&{& � ! 5R{ *6(G � vX� � � � � } G 5 6 V 6�I V 6�G 5LV 6(6�E�ICMw6�M�%

� � ! :��){ w�5 6 V 6y��A V 6 } 56� �$��! 5�v#! � � � � � ��{� � ! : �� ��� M��w{ w�5 6 V 6y��A V 6 } 5K� �!��! 5K�L: �� ��� M��g�Tv�! � � � � � ��{� � !<� L98�7�L { w�5 6 V 6y��A V 6 } 56� �!��!<� L {��^O|]>6(�R<>=?GP=?AD<uIC<L]# �6�7�70Iua �9�wa �¦} � ! � � � LNID<L] � vX� � � � ��{

& � ! 56�j:�� ��� M�� ��{ �^O �6�7�70I a �9�y� �¦} � � : �� ��� M�� � � ID<L] � � 5 % � { *6(G � v � � � � � } QTO =?<�]LKLEyGw=FAT<5 O>\RACG 5 6�Mw=?M } : �� ��� M�� <3� vA� � � � ��{ H ACGw=?E(6�G 5 I)G 5K�L: �� ��� M�� �;� �!��! 56�L: �� ��� M�� <��w�:! 56� : �� ��� M�� <��w��{��^O�=?<�]LKLEyGw=FAT<5 O>\RACG 5 6�Mw=?M } 56� : �� ��� M�� <��w�TvX� � � � � } IC<L]�G 5 KLM } 56�j: �� ��� M�� �C� �!� vA� � � � ��{

& � !&o ��o.=JMHI�706(GwI)��g~I V =JICQ>@?6 � { *6(G���vX� � � � � } G 5 6 V 6�I V 6�G v A1E(ICMw6�M�%� � ! :��){ w�5 6 V 6y��A V 6 } o)� �!��!;o v�! � � � � � ��{� �K]! :��){ w�5 6 V 6y��A V 6 } o)� �!��!;o)� �$��{3�^O �6�7�70I�`1� } ��v��� } G 5 6�<uQDO�]>6y�+<>=FGw=FAT< } o)� �!��v#! � � � � � ��{

& � ! o)� 7NLL�U��o =JM�I�706(GzI~��g~I V =?IDQ>@F6 � {w�^O# *6�7�7�I�a��(��c �¦} � � 7�L� � } � � o % � IC<L] � � o)� 7�LJ� % � { �6�G� v � � � � � } QTO�=J<L]LKLE(GP=?AD< 5 O>\�ADG 5 6�MP=JM } 7 L <�� v � � � � ��{ H ADGP=JEy6�G 5 I)G o)� 7 L �;� �!� ! o)� 7 L <��w� ! o)� 7 L <��!��{-�^O=?<L]�KLEyGw=FAT< 5 O>\RACG 5 6�Mw=?M } o)� 7 L <��w�TvX� � � � � } ID<L]�G 5 KLM } o)� 7 L �;� �!� vX� � � � ��{

a�h

Page 25: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

& � ! � � � � � � { �^O *6�7�7�I�a��(� ` �¢} � � � � � � � %�� � }�� � � � � � � � % � � � � � IC<L] � ! � � � � � {��^O]>6y�R<L=FGw=FAT< } � � � � � ! � � � � � � � � � ! � � � � � � � � � � � � ��{ �6�G���v0� � � � �*ID<L]����1� � QR6$I�<>ADGwI)Gw=FAT<k��A V 5 8��G7�<D:�� ������� � {�&O1]>6(�R<>=?GP=?AD< } ��� � � � � � � � �!��! � � � � � � � �D�1� � ��{3�^O �6�7�7�I0` }>} =?G&MzK���Ey6�M�GwA0\ V A~gC6�G 5 ICG���A V ID<DO � vX� � � � � � }� � � ���1� � �C� � 8�: � �TvX� � � � � ��{��&O 5 O>\�ADG 5 6�MP=JM�IC<�] �6�7�7�I$`D` } � 8]� vX� � � � � � � � } G 5 6�<|QDO0=J<L]LKLE(GP=?AD< 5 O>\�ADG 5 6�MP=JM }� � � 8]�w�:! � � � ����� � �;� � 8�: � � vW� � � � � ��{

& � ! ��� � � � � {Z�^O �6�7�7�I a �9� � �¦} � � � � %�� � � ID<L] � �5� � %��|{� �6(G8��v � � � � � } QTO ]>6(�R<>=?GP=?AD< }��� � � � � � �!�*! � � � � �$� � � � �$� � { �&O =J<L]LK�EyGP=?AD< 5 Od\RACG 5 6�Mw=JM } � � � �!� v � � � � � � �*! � � � � � � � � � � �$ID<L]� � � �!� vA� � � � ��{ x 6�<LE(6 } �Y� � � � � � �!� vX� � � � ��{

& 7 ! : M { s <|G 5 =?M�E(ICMw6 v 6�ID\L\>@?O �6�707�I1`���{& 7 ! � L18�7NL {��^O �6�7�70Ika��(��9 �¦} ��� � L�% � L } ��� 7�L ��� L IC<L] � L � �8L:! �k{ �6�G � vA� � � � � } MwA�QTO|]>6(�R<>=?GP=?AD< }

7<��<! � L � �!�(8 7 L <���{D�&Ok=?<�]LKLEyGw=FAT< 5 Od\RACG 5 6�Mw=JM } � L � �$�Tv0� � � LJ� �*ID<L] 7 L <��PvX� � � L[� ��{ eRV AD7 *6�7�7�I1`C` v 6EyAD<�Ey@JKL]>6�G 5 ICG � L � �!�(8 7 L <���vW� � � � ��{ bc

' P � 0Rn � � � i e���)( 7 UJe8e5y]dp�4e@`�`Da1c f�` aVf��������1 � � ��� � % �}+ �� e@f � v��� �= � � ��� 7���� + �� e@fZ7 v�����

a �4c�c� �� 6 6 5 IpgC6�:���vW� � � � ��{ x 6�<LEy6 }aD{!�&O UWV AD\RADMw=FGw=FAT<�a }L} � �j: � �:! � vX� � � � � } ID<L]uQTO|]>6y�+<>=FGw=FAT< } � � � � ������ {} {!�&O UWV AD\RADMw=FGw=FAT<�a }L} 7P<D: � ! 7$vA� � � � � } IC<�]kQTO *6�7�7�I1`�� } � � � � � ����"{ bc

' P � 0Rn � � � � � � � % � ^f�� � � 7 ��� + �� e@f � ^ f��P7 ^��4e�OGeJ^ &@�q) f�c��N6 ^��"a��]aVfX� + ^f������\ `O� ^f��P7�� ^�7�e��� ��b�f�c��N6 ^��� @c��N68`��a �4c�c� ��� *6(G � ! � IC<L] � ! 7 } G 5 61MzKLQdXY6�E(G V 6�]�KLEyGw=FAT<�\ V AD\R6 V G�OW� w�5 6�A V 6�7 � � MzIpOdM�G 5 I)G�G�O>\>=?<LBk=JM�\ V 6�MP6 V gD6�]KL<L]L6 V�V 6�]LKLE(GP=?AD<LM }N5 6�<LEy6 � � � % � ID<L] � � � � �k{ w�5 6 V 6y��A V 6 } QDO w�5 6(A V 6�7 � } � IC<L] � I V 6�Q�ADG 5 =?< �� {e =?<�I)@?@FO�<>ACGw6 G 5 I)GHI�� � ��<>A V 7�I)@+��A V 7 =?<���� � =?M�I���� � ��<>A V 7�IC@R��A V 7 GPAdA�{ bcj ] �1,��H������(�1,��

6 6 5 IpgC6�\ V AD\RADMw6�]�I�g~I V =JIC<TG^A)�� � } <�IC706(@?Ok� � { w�5 =?M�E�I)@JE(K>@JKLM�6�<pXYA~O>M&G 5 6/MzIC706�BC6�<>6 V I)@N\ V AD\R6 V GP=?6�M&AC�� � %& I0Mw=J70\L@F6�IC<�]|�+<>=FGzI V O1� V MPGP��A V ]L6 V^V 6 vHV =?GP=J<>B�MPO>MwGP6�7 }& EyAD<>�RK>6�<TG^AD<kGP6 V 7�M v =?G 5 706(GzI~��g~I V =?IDQ>@F6�M }& v 6�I � @FO1Gw6 V 70=?<LICGP=J<>B�AD<�G�O>\�6�]|Gw6 V 7�MHIC<L]& v =FG 5 E(AD7�\RADMw=FGw=FAT<|AC��MzKLQLMwGP=?GwK>Gw=FAT<LMHIC<�]�Mw=J7$K>@?GwID<>6(ATKLM^MwKLQ�MPGw=FGzK>GP=?AD<LM�{

��K>GN=J</EyAT<TG V ICMwG+GwA�� � } � � 5 ICM�<>ACGNG 5 62�CBLZWAD<�M � V K>@?6�IC<L]�MwA } =?G�=JMN@?6y��GY��@?=?<>6�I V =J<�G 5 6�MwA V G�A)�>GP6 V 7�M�ID<L]�MzKLQLMwGP=?GwK>Gw=FAT<LM({�H@?G 5 ADK>B 5 � � v IDMH]>6�MP=?BD<>6�]uGPA|IC@F@?A v MH706(GzI~��g~I V =?IDQ>@F6�M } =FG 5 IC\L\R6�<uGwA|Q�60KLMw6y� K>@*=?<�G 5 6$MzIC706�� V IC706 vH5 6 V 6�� �

=JM({ s < \LI V Gw=?E�K>@JI V QRACG 5 E(IC@?E�K>@F=&M 5 I V 61G 5 6�MwID7�6�]L6�MzE V =?\>Gw=FAT<�A)�H<>A V 7�I)@���A V 70M�{ e A V 6yxLID70\L@F6 } G 5 6 5 =FB 5 6 V ��A V ]L6 VKL<>=F�RE�I)GP=?AD<|I)@?BCA V =?G 5 7 gd=?I�6(xL\>@F=JEy=?GWMzKLQLMwGP=?GwKLGP=?AD<LM&\ V AD\RADMw6�]�=J< � �ix /h1� ��E(ID<1Q�6�6yxL\ V 6�MzMP6�]�=?<|� � } I)@J7�ATMPG v =FG 5 ADKLG70A>]>=À�+E(I)Gw=FAT<LM�{ { A V 6�A~gC6 V�} MP=J<LE(6u� � 5 IDM�<>ACG0G 5 6�MzK V XY6�E(GP=?gC6u\LI)= V =J<>B V K>@?6 } =FG�=JM1KLMw6y� K>@^��A V ID\L\>@?=?E�I)Gw=FAT<LM vH5 6 V 6

} b

Page 26: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

G 5 6�Mw6u��6�I)GzK V 6�A)�/� � \RADMw6�GP6�E 5 <>=?E�I)@�\ V ATQ>@F6�7�M } ��A V =J<LMwGwID<LEy6 5 =?B 5 6 V ��A V ]>6 V 6�SdKLI)Gw=FAT<LI)@HK�<>=À�+E(I)Gw=FAT< gT=JI�6yxL\>@?=JEy=?GMzKLQLMwGP=?GwK>Gw=FAT<LM ��� [ h�� � � A V�5 =?B 5 6 V ��A V ]>6 V G�O>\�6/MwO>MPGw6�7�Mt��� { K��<�hTc�� � {

��<LACG 5 6 V @?6y��GP��@?=J<>6�I V g~I V =JIC<TGHA)�W� � =JM�G 5 6�� '>��E(IC@?E�K>@?K�M ��� Z x �h�� � � {�� '�=?M�� K>@?@FO�E(AD<d�+K>6�<TG�AT<uAD\R6�<�GP6 V 7�M } <>ADGAD<L@FO v =FG 5 706�GwI~��g~I V =?IDQ>@?6�M�A)� GP6 V 7�M�Q�K>G�I)@JMPA v =?G 5 706(GzI~��g~I V =?IDQ>@F6�M�A)��MwKLQ�MPGw=FGzK>GP=?AD<LM�{ x A v 6(gD6 V�} �('�=JM=?<�EyAD7�\LICGP=JQ>@?6v =?G 5 G 5 6�6yx>Gw6�<LMw=FAT<LI)@ V K>@F6 � / � ]LKL6�GwA�G 5 6�� ICEyG�G 5 I)G�MzKLQLMwGP=?GwK>Gw=FAT<LM ����ID<L]X5P81:1I V 6�<>ADG�� 'd��EyAD<TgD6 V GP=JQ>@F6D{ � � 6(O\RAC=J<DG�=J<�� � =?MHG 5 6/\ V 6�Mw6 V g~I)Gw=FAT<�A)��G 5 =JM�6(xdGw6�<LMw=?AD<LIC@�6�SdK>=?gpIC@F6�<LEy6D{ 6 6/E(AD<pXY6�EyGzK V 6�G 5 I)G�� � 6�<pXYA~O>M^G 5 6/E(AD<d�RKL6�<LE(6\ V AD\R6 V G�O1=?<�=?GwM�6(x>GP6�<�MP=?AD<LIC@�gC6 V Mw=FAT<�GwATAR{i|q � 2�0��$� � ?�� � � 2+m�l{ ID<DO�G 5 IC< � M�GPA�I)@?@>\�6 V MwAD<�M*E(AD<TG V =?Q�K>GP=J<>B GPA G 5 =JM v A Vw�+} =?<�\LI V GP=JE(KL@?I V GwA 9 =?@F@?6�M � A v 6 �+} �&6�<pXPIC70=J< 6 6 V <>6 V�} � V K�<>A��I VzV IDM�ID<L] 9 AT\LI)@JIC< H ID]LI)G 5 K V ��A V G 5 6�= V KLMw6y� KL@ V 6�70I Vw� M IC<L] MzK>BCBD6�MwGP=?AD<LM�AD<�G 5 61MzKLQdXY6�EyG�A)�&G 5 =JM�\LIC\R6 V { w�5 6ICKLG 5 A V =JM gC6 V OuB V I)Gw6y� K>@ v =FG 5�w�5 AD7�ICM@� V GwM�IC<�] x ID<LM 7 IC<TGP6�7�I1��A V G 5 6(= V�5 6(@J\ v =?G 5�w�5 6(A V 6�7 a } =?<�\LI V GP=JE(KL@?I Vx ID<LMO7 ID<DGw6�7�I�MP6�<L]�GPA1706/I�MP=J7�\>@F6 V \ V ATAC�*GwA1G 5 ICGH\ V 6�MP6�<TGP6�] 5 6 V 6�=J<�I�\R6 V MPAT<LI)@�E(AD7�7$KL<L=?E�I)GP=?AD<Y��� 7 ID<Lh�� � � {

� �� D� ��� ,��H� �

� ��Z�Z *hLa�� { { ��QLID]>= } �{RZ&I V ]>6�@F@?= }dU { � W{�Z&K V =?6�< } IC<L]��L{ ���L{ ;6(gdOC{ z xL\>@?=?E(=FG�MzKLQLMwGP=?GwK>Gw=FAT<�{���c \��Df:^�� c� ' \ f����a1c f�^��a �4c����4^�6�6 aVfX� } a�� � � % `dc���1��a�� } a�hCh�aC{� � [ h�� � [ {��&@?AdA ID<L]X1{ x { [ ADMw6C{ U&V 6�MP6 V g~I)Gw=FAT<�A)��MwG V AD<LB�<>A V 7�I)@?=JMwICGP=?AD< =J< <LID706�]Ç@?ID7$Q+]LI�E�I)@JE(K>@?= v =FG 5

6(xL\>@F=JEy=?G�MwK�QLMPGw=FGzK>GP=?AD<�IC<L]�BDI V QLICBC6/E(AC@?@F6�EyGP=?AD<N{ s <^4 I� b �L 0V4Kc�6Md+\��e��I��@a1e]f���e aVf"�� e�8e��� e���� ^f���` }H A~gC6�7$QR6 V a�hDh��L{� Z x *h���� U { � �{WZ&K V =F6�< }�w { x I V ]>=?< } IC<�] ��{ ���L{ ;6(gdOC{�ZWAD<d�RKL6�<LE(6�\ V AD\R6 V GP=?6�M0AC� v 6�I � ID<L] MwG V AD<LB E�I)@JE(K>@?=^A)�

6(xL\>@F=JEy=?GHMzKLQLMwGP=?GwK>Gw=FAT<LM({���c\��Df�^���c� }�� e{>�4�� } �D`(� }�� % `�� } �>`Chdc }I{ I V E 5 a�hDh���{� �=x /h�� � 9 { � A v 6 �+} w { x I V ]>=?< } IC<L] Z�{6�= V E 5 <L6 V { x =?B 5 6 V ��A V ]>6 V K�<>=À�+E(I)Gw=FAT<�gd=JI|6(xL\>@F=JEy=?G/MzKLQLMwGP=?GwK>Gw=FAT<LMP� 6(xT�

Gw6�<L]L6�]1ICQ�MPG V IDEyG � { s < a �Jcf��e�e:� aVfX�` + R+e@fp��.>Mf_f+\_^�� ������� Ip)�6Md c `�aV\�6 cf i c���a�� aVfw4Kc�6Od�\�Ye�� I��]a1e]f���e }\�I)BC6�M�`�����d`dc � } BdID< � =?6(BCA } Z&I)@?=À��A V <L=?I }t} �� } h��DKL<>61a�hCh1�>{ s�z�z�z ZWAT70\�K>GP6 V BTA>Ey=?6(G�O U&V 6�MwM�{

� e U h���� { { Z�{ e { e 6 VzV 6�= V I }!� {(�6�Mw<>6 V(} IC<L] �{ U K>6�@ {^�>��E(IC@?E�K>@F= v =FG 5 6(xL\>@F=JEy=?G�MzKLQLMwGP=?GwK>Gw=FAT<LM�ID<L]uEyAT70\RADMw=?GP=?AD<vH5 =?E 5 \ V 6�Mw6 V gC6 ����MPG V AT<>B0<LA V 70IC@F=���ICGP=?AD<�{ i /4 I } aDa�`Ch } a�hCh��L{� 9 6�KLh���� x { 9 6�K>gC6 V M�{E� M 5 A V G�IC<L]���6(xd=JQ>@?6H\ V ATAC�RAC�pBTG V AT<>B H A V 7�I)@?=[��I)Gw=FAT</��A V G 5 6�Z&IC@?E�K>@?K�M�A)��ZWAD<LMwG V KLEyGw=FAT<LM�{s < U { � OdQ>XY6 V IC<L]P��{ H A V ]LMwG V��AD7 } 6�]>=FGwA V M } RB)�d e@` @c�� a �4c�c� J` ^ f�� a �4c5���4^�6 ` + � fpYe��Df�^��a1cf�^�� � c�� &/`:� c�dR�� a�� I�� �H } gCAD@?KL706�hCh��$AC� i �4 I } \�I)BC6�M�a����d`�9 } �1_IDMPGzIC] } B v 6�]L6�< } a�hCh��R{ Bd\ V =?<>BD6 V {� 9 *hTc � ��{ 9 ADKLQLIDK>@?GY� *I VzV 6�E(S+{ � <>6�\ V 6�K>gC6H]>6�GP6 V 70=J<LI)=JMPAT<�� I)=JQ>@F6 ]LK�� 3 ��E�I)@JE(K>@�{ w 6�E 5 <>=JE(I)@ [ 6�\RA V G [H[ ��`DbChCb }

� <>=?G ;6/]>6 V 6�E 5 6 V E 5 6 sCH�[Hs ��� [ A>E(SdK>6�<LEyATK V G } �CID<TgT=?6 V a�hChTc>{� 9iw �9Ch�����{ � �0{ 9 = V I V ] }dU { w IpOd@FA V(} IC<�] �0{ *I)��AD<TG({ a �4c�c� 8^ f��(R�)�d�e@`¦{^Z&IC7$Q V =J]>BC6 ��<L=FgD6 V MP=?G�O UWV 6�MzM } a�h�9DhL{� x I V 9Ch�� w { x I V ]>=?<N{�ZWAD<>�RK>6�<�Ey6 V 6�MwK>@?GwM���A V G 5 6 U K V 6wBTG V AT<>B�Z&ICGP6(BDA V =?E�I)@ *ACBD=?E^Z�Z�Z %~�L��E(I)@JE(KL@F=dICM�MzKLQLMwOdMwGP6�7�M

AC��Z�Z W{�RT� e�c��4e��a��J^�� 4Kc�6Md+\��e��{I��]a1e@f��Je } �1�9� }1� % } h�a��d`�� }L} a�h�9Ch�{� x �9���� w { x I V ]>=J<uIC<L] �/{ �Ipgd=F@?@F6D{ UWV ATAC�*AC��Gw6 V 7�=J<LICGP=?AD<kA)��G 5 6 V 6 vHV =FGw=?<LB0MwO>MPGw6�7 MzKLQLMwG�AD<�E(E(@ {�RT� eJc��4e��a���^��4Kc�6Od�\�Ye��}I��]a1e]f���e } ��� % } h�a��>`�� }L} a�h�9���{� x={�U h�� � w { x I V ]L=?< } �{ { I V IC<LBC6(G } ID<L]P��{ U ICBDIC<LA�{ e KL<LEyGw=FAT<LI)@ QLIDE � ��6�<�]LM�IC<�]1EyAD7�\>=?@?6 V M v =?G 5 =J<1G 5 6�@JIC7$Q+]LI)�

Mw=?BD7�I�E(IC@?E�K>@?K�M({ s < w�5 AD7�ICM��)A 5 <LMzMPAT< } 6�]L=FGwA V�} RT� e � c�� &/`N� c�d cf �� e � 6Od�� e�6$e]f*�^��a1c f c� ' \ f����a1c f�^��i ^ f��\_^f��e@`�� �L { ��ICMwGwID] } B v 6�]>6�< } BT6�\>GP6�7$QR6 V a�hCh��L{� x K>6�9Cb�� 9 { x K>6�G({HZWAD<d�+K>6�<TG V 6�]LK�EyGP=?AD<�M %D��QLMwG V ICEyGH\ V AT\�6 V Gw=F6�M�IC<L]�ID\L\>@?=?E�I)GP=?AD<�M^GPA�Gw6 V 7 V 6 vHV =FGw=?<>B�MwO>MPGw6�7�M�{

�B�q>��4_���(� }v} c9� � �¢}+& EyGwADQR6 V a�h�9Cb�{} a

Page 27: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� �6�Mzh���� � { �6�Mw<L6 V {&ZWAD<d�+K>6�<LE(6/\ V AD\R6 V GP=?6�M^A)�6(xdGw6�<LMw=?AD<LIC@NIC<L]u<>AT<d��6(x>GP6�<�MP=?AD<LIC@��>��E(IC@?E�K>@?= v =FG 5 6yxL\>@?=?E(=FGHMzKLQd�MwGP=?GwKLGP=?AD<LM � 6yx>GP6�<L]>6�]�IDQLMwG V ICEyG � { s < x I V I)@J] 9 IC<9��=?<>BD6 V�} 6�]>=?GPA V(}*a �Jcf��e�e:� aVfX�` c� {�� e � �� � f*�e��Df:^��a1c f�^��4Kcff @e��4e@f���e c f(DMe�O_�Da8�aVfX��R+e5����f+a1Z@\_e@` ^ f��V> d�d��"a���^��a1c f�`w28D.RX> b �� 9 } gDAC@JKL706�aCa�bC`�A)� i /4 I } \LICBC6�Ma�9����+a�hDh }1H 6 v � V KL<LM v =?E �+}�H � } �tB9� } a�hCh���{ Bd\ V =?<>BD6 V ���6 V @JI)BR{

� Ht& hCb�� � {K/IC\LK V(}+U { H I V 6�<L] V ID< } ID<L] e { & GPGwA�{ & <�B V ADKL<L]>��E(AD<d�RKL6�<LE(6/A)��Gw6 V 7 V 6 vHV =?GP=J<>B|MwOdMwGP6�7�M({ � f@ @c��Db6$^��a1c f ^ f���4Kc�6Md+\��^��a1c f } 9�� �Pa � %?a�� �>`La }W{ IpO�a�hChDbL{� [ h���� e {(/ID7�I V 6�]L]>=J<>6 IC<L] �/{ [ =?ADM�{��"�>��E(IC@?E�K>@JKLM-yI�@JI0]>6t� V K>= XP< v =?G 5 6(x>\L@F=JEy=?G�MwKLQ�MPGw=FGzK>GP=?AD<LM�{ s < a i ��iTa {

H Z!B } a�hCh1�>{� [ h���� Z�{��= V E 5 <>6 V IC<L]�Z�{ [ =?<LBC6(=JMzMP6�<�{ x =?B 5 6 V A V ]L6 V 6�SdKLI)Gw=FAT<LI)@^KL<>=F�RE�I)GP=?AD< gd=?I�6yxL\>@?=?E(=FG1MzKLQLMwGP=?GwK>Gw=FAT<LM({U 6 V MwAD<�I)@�EyAT707�KL<>=JE(ICGP=?AD< } a�hCh���{� 87:9Ch�� � {�/IC\LK V IC<�] x {_7 5 ID<>B�{ [H[ %9� V 6 vHV =FGw6 V K>@F6�@?IDQ�A V ICGPA V OT��KLMP6 V � M�7�IC<dKLI)@�{ w 6�E 5 <>=JE(IC@ [ 6�\�A V G 9Ch~��bC` }

� 6�\�I V Gw706�<TG�A)��ZWAD7�\LKLGP6 V B>Ey=?6�<LE(6 } w�5 6 � <>=FgD6 V MP=?G�O�AC� s A v I } a�h�9ChL{� �6�Mzh���� U { �6�MwE�IC<L<L6C{ eRV AD7 � 3 GPA0����I�XYATK V <L6(O0G 5LV ADK>B 5 E(IC@?E�K>@?=RAC�N6yxL\>@?=?E(=FG&MwKLQ�MPGw=FGzK>GP=?AD<LM�{ s < a �Jcf��e�e:� aVfX�` ct �� e =�1 `NT>Mf_f_\_^���>�4�� I ���_aGi > bJI ��� >�4�R�I�)�6Od�c�`DaV\�6 c f a �DaVf��]a d�� eD` ct a �Jc����4^�6Y6 aVfX� i ^fX��\_^�� eD` }

\�I)BC6�M!�Cb ���Ch } �DIC<dKLI V O�a�hCh���{� [ � h���� U { �6�MwE�IC<L<>6�ID<L] ��{ [ ADKLOC6 V � � 6�BC@?= { z xL\>@?=?E(=FG$MzKLQLMwGP=?GwKLGP=?AD<LM v =FG 5 ]>6 � V K>= XP< � M�@?6(gD6(@JM({ s < ��{ x Mw=JIC<>B }

6�]>=?GPA V�} DOe�O_�Da8�aVf�� R_e:����f_a1Z]\_e@` ^ f��.> d�d��"a���^��a1c f_` } gDAC@JKL706�hLa���A)� i /4 I } \LI)BD6�M } h�� �>`Cb�9 } Z 5 ID\�6�@ x =?@?@ }H A V G 5 Z&I V AC@?=J<LI } a�hDh��L{(B>\ V =J<>BD6 V ���6 V @JI)BR{� { 6(@Jh���� U { �C�/{ { 6(@?@?=�y6�M({ w O>\R6�]��L��E(I)@JE(KL@F= v =FG 5 6(x>\L@F=JEy=?G MzKLQLMwGP=?GwKLGP=?AD<LM 7�IpOu<LACG�Gw6 V 70=?<LICGP6D{ s <PR�)�d�e:� i ^�6�U5��^4K^��E�@\B� a ^ f��k> d�d�� a��J^��a1cf�` } <TK�7$QR6 V hDb } =J< H Z!B+{tBT6�EyAT<L] s <TGP6 V <LICGP=?AD<LIC@0ZWAD<d��6 V 6�<LEy6 w ZU� � h�� }

B>\ V =J<>BD6 V ���6 V @JI)B } a�hCh1�>{� { KE�<Lh���� Z�{ { KE�<>A��C{�ZWAD<d�RKL6�<LE(6^ID<L]0\ V 6�MP6 V g~ICGP=?AD</AC� MwG V AD<LB <>A V 7�IC@F=JMwICGP=?AD<$=?<�IC<�6yxL\>@?=JEy=?G�MwKLQ�MPGw=FGzK>GP=?AD<LM�E(I)@JE(K>�

@JKLM � 6yx>GP6�<L]>6�]�IDQLMwG V ICEyG � { s < a �4c@��eJe:�aVfX�` + � � e�7�e]f >Mf+f_\_^�� ������� I�)�6Od�c�`DaV\�6 c f i c5�a��8aVfk4Nc�6Od�\�Ye��I��@a1e]f���e }(H 6 v � V KL<LM v =?E �+}9H 6 v �)6 V Mw6(O } �DK>@?O�a�hDh���{ s�z�z�z ZWAD7�\LK>Gw6 V BTA>E(=F6�G�O UWV 6�MzM�{� { KE�<Lhdc�� Z�{ { KE�<>A��D{ { 6(GzI~��G 5 6�A V 6(GP=JE(IC@+\ V AT\�6 V Gw=F6�MWAC�*]>6�\�6�<L]>6�<TG^G�O>\�6�MwO>MPGw6�7�M v =FG 5 6(x>\L@F=JEy=?G&MzKLQLMwGP=?GwKLGP=?AD<LM�{ s <

\ V 6�\LI V I)Gw=FAT< } a�hChdcd{� H IC]�h���� 9 { H IC]�I)G 5 K V { U 6 V MPAT<LI)@�E(AD7�7$KL<L=?E�I)GP=?AD< } a�hCh��L{� U I)BDh���� ��{ U ICBDID<>A�{ZWAD<d�RKL6�<TG�6yx>GP6�<LMw=FAT<LM^A)�� ' { U 6 V MwAD<�I)@ EyAD7�7�KL<>=JE(I)Gw=FAT< } a�hDh���{� [$;%?ADhC`�� �${ [�;%FATM({;4Kcf*��Da�UD\��a1c f_`��^w� ���e��\*��e���e1� bt��^�� �@\B� ` ^�7 e5����eD`$`D\pUD`N�a8�\��a1cf�`*e5y@d��"a��]a8Ye@`¢{ UW5 � G 5 6�Mw=?M } �${U I V =JM � sws¢} a�hDhC`L{� B(B 9Ch�� { {@BdE 5 70=J]>GY�|BdE 5 IDKLMwM�{ 4Kc�6Od�\�Y^��a1cf�^��8^�`Yd e:��1` c� ^ f c�����e��DbY`]c��N�e:�;� c5�a��$ONa8��^Ye��N6 ��e:�f� ^��4^��a1cf�` }

gDAC@JKL706|`Ch1��A)� i e5���\��4e�8c��eD` aVf 4Kc�6Md+\��e��3I��]a1e@f��Je ^f�� i e:���\��4e c�Ye@` aVf$>M�N�a �l�@a1^�� � fpYef�8�"aE� e@f���ey{B>\ V =J<>BD6 V ���6 V @JI)B s <LE){ }(H 6 v ��A Vw�+}9H � } � B�� } a�h�9DhL{

� � x 9�9�� x {���A � ATKLE 5 =�ID<L] w { x = � =FGzIL{2� V 6 vHV =?GP=J<>B�MwO>MPGw6�7 ��A V E(I)Gw6(BDA V =?E�I)@�E(AD7$QL=?<LICGPA V M v =?G 5 7$K>@?GP=J\>@?60I V BTKd�706�<DGzM({ U&V 6�\ V =?<TG } a�h�9�9L{

� 7 IC<Lh���� x { 7 IC<TGw6�7�IL{ w 6 V 70=?<LICGP=?AD< A)��Gw6 V 7 V 6 vHV =?GP=J<>B %k=?<TGw6 V \ V 6�GwICGP=?AD< ID<L] G�O>\R6�6�@F=J70=?<�I)GP=?AD<N{ � c\��Df�^�� ct I�)�6�UJc��"a�� 4Nc�6Od�\�Y^��a1cf } apc��wa � % } `�9�Cb } �CID<TK�I V O�a�hCh���{� 7 IC<Lh���� x {�7 ID<DGw6�7�IL{ U 6 V MwAD<LIC@+E(AD7�7$K�<>=?E�I)Gw=FAT< } a�hDh��L{

}I}

Page 28: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination
Page 29: hal.inria.fr · HAL Id: inria-00073584  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� b�h d��m�v m�ngm;{Gf m;ny{Gf�mD`�� `c�Y�1u#ngnGl hjb m��02�m;{Gf�b u#k��u#zjm�v m��=l b�{;} ���Knyl�#�u#hji ���6l��!k q ipiy{;hjm;b�dyh �$�q m������Unyq m=v q �#l nyv�hjb��Ku dyl b h�$�q�m ����� ���������% �������=` ����� �� ���� � �����=���� b�h d��m�v m�ngm;{Gf m;ny{Gf�mD`�� `c� m|b�b m;i ��`cnghjiGl � �pl��!k�q ipq b h ��m;nyigh dGl hjngm�v m��Km|l q zjhjm;q �! "#��%%$ ���&��� � �Km|v�m��� b h d��m�v m�nym;{Gf m;ng{Gf m�`�� `c� f��u#b�m�� �=zjk�m;i ��% �wl���m;b�q m('��m;zjh �)�3hLl zjzjmCd �* 3��� ���1 �+��,��6���-�Km;v m����� b h d��m�v�m�nym;{Gf m;ny{yf m�`�� `c� u�{�$�q m;b {;u#q ngd �.-=u��$l hjb m3v�m�� u#zjq {;m|l q � u�{ $�q m;b {;u#q n d �.��� ���" �

/ 3���# !���-� ��� � �����W�6m;v m��� b h d��m�v�m�nym;{Gf m;ny{yf m�`�� `c� � u#k�f hLl��c�=b�dghjk�u#zjhji �0$#����%!ngu#q�dym�v�m|i��1q {;hju#zjm;i �*��� �� �*���#���"$ � ,�� �E`c���c��� 26`��1,3��` ��Km;v m��

µ� · ²´³ ¶¦½D¸�������� à �^»�¾/¿y²À± ¶H·D¶&Á »( ½T¹z¶ ¿ ½Rà �W» ¹¦¼~½D¶ ± ¹ » ½T¸ ³ ÃCÄ�ŠƢÈpÉ~Ã�Ê�Ë)ÆyÉ(Ì �[���������6����Í � ¶¦·D¶zÎ|Ï � ¸ ¿(± ¹z¶yÐ�����I� È*2 � Ó%3 Ô�Ì�Ó�Ó