PRATIQUE DES LANGAGES FONCTIONNELS TYPES

HAL Id: tel-00009013

https://tel.archives-ouvertes.fr/tel-00009013

Submitted on 13 Apr 2005

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.

PRATIQUE DES LANGAGES FONCTIONNELS

TYPES

Emmanuel Chailloux

To cite this version:

Emmanuel Chailloux. PRATIQUE DES LANGAGES FONCTIONNELS TYPES. Autre [cs.OH].

Université Pierre et Marie Curie - Paris VI, 2003. �tel-00009013�

Habilitation

`

a Diriger des Recherches

pr´

esent´

ee `

a

L’UNIVERSIT ´

E PARIS VI

Sp´

ecialit´

e

INFORMATIQUE

par

Emmanuel CHAILLOUX

Sujet du m´

emoire

Pratique des langages fonctionnels typ´

es

Soutenue le 19 d´

ecembre 2003 devant la commission d’examen compos´

ee de

MM.

Guy Cousineau

Pr´

esident

Benjamin Goldberg

Rapporteurs

Michel Mauny

Christian Queinnec

Ga´

etan Hains

Examinateurs

Etienne Morel

`

a al-ma-ce et ma-ri-no,

mes passwords pr´

ef´

er´

es.

                  ! "   "  #"  "## $" %  &       " % '  "  " ( "    ")"  "    "  " ) *  )" "#    "##+ )"   , - ## "  . .  "## "# % %"  "   " "## $" %  &+ "  " "## /0 -+&  "##   "  " , -    "  % $ ""+) %  #  1 % - 2 )     (  3" #  (    " " #  $"" & 4 (  " #     " #  #%  ""  2  - " )" %      5678+ 5698 :  56;8<+5=98+5>78+ 57=8  56?8  "  9  6+ 56@8+ 5@78+ 56A8  5668  "  7+ 5>;8  "  >+ 5 A8+ 5>9 8  597>8  "  B -  @    "     - ))"#    !    3"  2 "  "  (    "  )  &    "   %  "      (  ("%  " " "  $ - "      "   &#  " )"    )  " ,       #   "  - "## $"   C  " "## )2       (  #   "##   "" ".$  (  C   )" D" "## )2      &E .."  F G )"##+2""  H "##$"&I" "##% J$ 

&K * " "## $" & %  & # "  "! 

- "   (  " "  "")  )"   " .

 )" '0Q.R# /+ "  "+.0 S)+  G" #+

T& +  U&+ T# V&+ G" 0&+ WX" 0"+ K G#+

 E  /Y ZY1

4 "")   )" S""   #  "+    +  &  !"+ !  +   (    " )"  ""# %     0 ' [ T& +%      (   "#   %  $ 2 " "    2&+ [ K2  T")#+ 0" 0&   E %            !%    )"   &#  C  "-  %   $ " " !"    + [ T V+%  $ #* ( 2  """   + [ S 0"+  # (   " "##  "    #     " ,  %  ""+ "  ' [ "% GGZ %           " $)"  & %    " "#   %    )D [  " )"  "\UW $ %  " G @ %+  +  ""        "    "## /0 -% #  &    !"   #]  2 "  "3 %    ,  "" )   ) ) "##   !   "   %  % +   ,+  "  " # 2        G" 0&  K G #+ ""#   

-#    " "(  )      " %  ""  " "       "   "#" "   " $#" "(3"         # "  "  " % "   "  % ""   )"  " "  G  "    "##     . "  b   "  #"+&    "  $ %\ %  " H% .   " "##FI+. "    "" "".   "##   " " c  &      % ' H%""  "  . .  "##  # I d  H " " )I  "  5>9 8   !"  %      )" #   3"   " H

efghijkl mln ogpqgqln rspthispplon hu evn

I   #")   %     "  "##    ( " $" "  "+ (   #. #%  " #   " ,  " " G    " ( %  #  (+   " %   "##  #   "     "##  "     " "  #  $""  " %     )    % c "& "  %    %   $ ""   $ ""  "## c    "   ( %      ( %   " "  " "## /0-     "  "##+ "  2 +  %      "  2   )( #  wxyzxz{| x}z~€‚ƒ€„…{| |†„…{y€{}| - "## "# %      ""       "(3"  ,  "##  $   +  "##     "##  %‡ c   "   "## %" ) % " 2  "##    "          "  -  5>9 8 (" " " )  "   " #  "## ˆ‰‰Š‹‰ŠŒ ŽŒŽŒ ‘’“‹ ”•‹–•–Š H — ln ogpqgqln mlefsqfg˜˜ghisp nsphlp l ™ lh mv š› ps˜œflk lheskfhgphio lp geegfgžh tspnhg˜Ÿ ˜lphmlpsk l gk¡¢k mlo ›

mlolkfn min egfihvn£ og tsptlehisp lhogqlp¤nl ml t¥gtkp m¦lkefst¤ mlph

m¦kpl ˜shi ghispegfhgqvl § og  sosphv m¦gœnhfgifl¡

¨ ©

¦gœnhfgifl ml og ˜gt¥ipl¡ ªp efl˜ilf oilk£ kp ogpqgql ml efsqfg˜˜ghisp elf˜lh ml pvqoiqlf

o¦gn el th «˜v tgpijkl ¬ ml o¦sfmipghlkf­ io gkhsfinl ˜®˜l ›

skœoilf ol˜sm¤ol mk ˜itfsefstlnnlkf

sk ol nunh¤˜l m¦l eosihghisp nkf ol jklo nlfg l v tkhv ol efsqfg˜˜l¡

¨ ©

¦gœnhfgifl mk ˜sm¤ol sevfghsifl¡ —

g pshisp mlrspthisp jklesnn¤mlnsknkplrsf˜l sk kpl gkhfl

ogeokegfhmln ogpqgqln lnh l˜efkphvl gk ˜gh¥v˜ghijkln lhpsp ›

qvpvfgol£ oln ogpqgqln nkœnhihklph mln ˜sm¤olnrsf˜lon gk tsptlehispn ekfl˜lph tgotkoghsifln¡

°

on u qgqplph lp l eflnni ihv¡

¨

¢œnhfgifl oln lfflkfn¡ °

o n¦gqihiti mloghlphghi l mlqgfgphif ogn±flhv m¦l v tkhisp­ kpefsqfg˜˜l

pl msih egn nl hlf˜iplf œfkhgol˜lph sk ml lpif ipts¥vflph lp tgn m¦lfflkf¡ ²p mln ˜sulpn

eskf uegf lpif lnh ol hu egql nhghijklrsfh mlnefsqfg˜˜ln lh og ˜inl lp ³k fl m¦kp ˜v tgpin˜l

m¦l tlehispn¡

¨

¢œnhfgifl oln ts˜esngphn ´i µ

¡ —

ln ogpqgqln mlefsqfg˜˜ghisp mspplph ogesnniœioihv ml mv tsk elf

kpl geeoitghisp lp mi ™

vflphn ts˜esngphn osqitilon£ eokn sk ˜sipn ipmvelpmgphn lh gkhsps˜ln¡

—

g ˜smkogfihv elf˜lh kpl nhfkthkfghisp ml eokn ¥gkh pi lgk ml o¦lpnl˜œol m¦kpl geeoitghisp

ts˜eol l¡ ¨ ¢œnhfgifl oln ts˜esngphn ´ ii µ ¡ —

¦l inhlptl m¦kpihvn ml efsqfg˜˜ln g sk lfh og esnniœioihv ml

olkf fvkhioinghisp mgpn m¦gkhfln tsphlhln jkl tlk ml olkf mv loseel˜lph¡ —

ln ogpqgqln ›

sœŸ

š

lhn tspnhihklph kpl gkhfl geefst¥l ml og fvkhioingœioihv elf˜lhhgph og fv goinghisp hf¤n fgeiml ml

efshshu eln¡ I ¶  "   2  ( )   ")"  "## %  "   " , " "   "## ' [ /) "   :< :< -         ""  #  % "    ‡ #   #     " "   "  [ /) "   :< :)"<\ "  ‡      )"#  )% "#""  " "##  "-     $    "".     " #   " " "   # " ""J    " ))"% ( [ /) "  " :)"< \ $ " #  + ".  (  , " J& +    #  $  " -    ) $"  , -))"% (   $  " &   "    "$ #%  (  ")  "  ·•¸•¹‰º¸ŽŒ‰Ž»“ŠŒ ¼¸Ž‹¹Ž¼•”ŠŒ ‘ŠŒ ”•‹–•–ŠŒ Œº»“Š‹‰ŽŠ”Œ c   " "## %"  % # $ ""    ' [ "  $ '  #     D %  !  + &   "     " ¹½¾¾Š‹‰ ¿•Ž¸Š À  (" " Á"  "" [ " $" ' #   " ""  (+ "b   "" $. $    $\ " $""  b   "  ""   $ " »“Š ¿•Ž¸Š À "  ""  ) " " !"    [ "#% ' " , " +"  )  " " \  #    !  !   "+   ")  .)  S     )  " ("c   " ¾½‹‘Š ‘º¹”•¸•‰Ž¿ À " Á"   (" [ " )2 '  " "# "    (   3" ,  "  "#   -   " "  "   : < & $ - )2  %  "   D"".  ! "    " ‘Ž¸Ž–º ¼•¸ ”ŠŒ ‘½‹‹ºŠŒ ¶    # 2  % "  " "## ' [

&# '  "##  ‡  &+& & %   %  Z" " ( 

  ‡    * "( - ,  (     À "

[

"&   '" )"       " $  : &<    " "

 $      " #"D    " ‡    $ "" 

&   :"&   "<+ !% % & :"&   1"<

[  '" (  #   "  " )2   " : %#<   " $ ""  "## $" "   " # "#%  "   "##  "  % %   $  ( ) H " #(I  ' [ * '    "(     [ ^ '"(  #   H$I [ ")" '    "" "   2     )  " ! S #" #"    ##    $ K   "##   "#  % $ ""  c    ( " ' [ 0& '"#%  $" %  & [ / ?B ' $+)2+%  &  " #% [  'c)2+ $+%   & %  &+ """ "     " $"" [ c)2  " '$"+ $+)2+& %   "   Š‹ÃŒŠÄ Ž‹Å“Š‹¹ŠŒ Š‰ º½”“‰Ž½‹ ‘’ “‹ ”•‹–•–Š -    "##  " "    "   ' [  )  " ^"  ( )"  " "## (D [   %      )    [   :%  Æ#<  " [   ##% [  "    %  "##   " "  -C        %"      %"  G ( " " #  )2    "     #  )  "## "+ ‡   " % "   " " )2c   ""    ÇÇ  c)2 +"#  " )2  / ?B  % "( )2  c)2  " 3"    ‡   $ #% "   - % "     Z    K#" Ȏ•ÉŽ”Ž‰º Š‰ Œ“¹¹ÃŒ ‘’“‹ ”•‹–•–Š -  )    "##  " %      +  "  " ""+  "    )   "##      \ "##  )  (+     "+    ! -     " " $%+       ( ( "    ' Z 0 - / G Z 0-   % $ "" 59;A8    )  "    "  " /   "   "##  " "  )%  ¯smÊ   " ,  ! 59B68K * "  "##    !+  " "  "" " !  "d   $"    " "  ,   b  !# " &  "## \ $  "## (+".  :<G " "   " $ # . +$  2+#+   %"      %"" %  " %"    "  )" " $   "       ËÌ Ú Ú

1 "      )"S""  ‡   " %" ##%  "##+    Æ#    +  "  :Ü ioolf gee <  " "#   )"  ^"+    $"   +     *  " + \ $    J)"   "##  b , (   ' [ " #  'U+ )"+ +ÇÇ+R" K+ [ "  !% 'Z%"+GZ+G"+ GVG [ "   Ý) 'V "+Þ "+Z [   H I '/+c)2 +S"#+ S" [    'G" [     'Z ""ß"Æ+ G"#+-+Z + 0-+S,"+ VÆ"" [  )" $  'G&+à [  c '0&+c1+ cá  "%"&   2  :%% < "  d   % "   "##  + ".  "      " (J%1    ' [

U 3R+U AA+U ?;

[ /=6  / ?B  ‡   &  "  ' [  9;+ 99+ +  9>   % "  $ " ". "##  " % "".     "  ' G"   ß) G"    $ +  " # ")2 ß) G " c)2    $  " $  4"  % K"J3    "  -"      #+  " % ""  "(! " "## "  "  À "     )"   #  (   ‡   "## - (    +&      +   " Ⓤ””Š ¿•¾Ž””Š ‘Š ”•‹–•–ŠŒã 'd     $ ""  "## "# % .    $ ( ( )    - Á H"# %I "   2 " "## G"# %  )  " (""  " ".   "  $" +$ (  # +""#  -$ ""  "##  $   ) %" "(  "    (" " Á" (  " #  W " $ "" )2  " $ "" $""- " Á "# %    (d   "  "## % "" "Á %  "## % "     "#    &" )2+  %  #    "   #"      "  )2      ) %   "  䎍Š•“ ‘’•ÉŒ‰¸•¹‰Ž½‹ ‘ŠŒ ”•‹–•–ŠŒ ¿½‹¹‰Ž½‹‹Š”Œ - "## $"  (  )+    # 9+      * :#  + &#  (< %  " "    T"  V "  HU" G# #  Z$å S##I 5 A9 8 % H ") $""   "   "    # I      ""   " $"   V#  H Ý& U" G #  # 0I 5=A8   #     " #  " G" % "  "  " #  "   $  " )"     "- #  $"" ,  " $      "  "d# H/ W  G# $/3 # #I59978

  "  % ( "á  " "   #  3""# /!"" "%"" " , "## $"  wxyzxz{| æ~y灀~yy{}| - "## $"  ‡ "!  " (   ' 9 & %   & %  -   % %"Á"  & ,Z"&#  %+Á"  "     "  "  #  Z " &#  & %+ ".  ,  "( # 4"  &# %+"" #      "!  &     ( -‡   # ")   & "( % $  #  2 :    " ) "<   " "  &  ""#   !  &4 " 

 &# & %+ " #  &(%  + i¡l¡  " #   "##+ ‡ (+ &    #  $(      & b "    "" c )  "      #  $)"   " (    # ")   #  7     - %    "## $"  ")  Á" ("  "(   "    #  3" &    ! &%  1   : ,  )<-  ""  #   $  !  " "     "%    $+   " )"(+       ¶ " ‡    " "   ,  ! &%  " % b  (  " # " : #   $< ' [ "   '" #   $  "  " #  "   " $- %  %+ %" &   ,  )+""  ‡   [ "  '" #   "  "   " $   $   "    "+ % $ %"  " - "## $"   "  #""" c ) " "  $ ""  ' [  & %  '0+"+VÆ"" [   & %  '0 -:/0 - Z0 -< [   & & %  '-+ Z +S"#

3" &   ( "  "##  & & %  V  "   -   (

V S-Gè 596>8d  " "##            578  -   5>?8  /0- Ⓨ Œ’ Š‹ ŒŠ¸‰ã  "  59B>8 H Ý&  $""##I  (# "  À ' [  "## 2    -JZ   0 -  ( , #   ÇÇ  +   "D"    2    "  " , "  ,    %D éêëìí îïðñò óôïí õö÷ëïïëñø

[  "## "    VÆ""   0& (  " &    "  .     "  ) " ( $ "D [  " # )"   "   %  "D [      "   "  "+     #  "    " "##  "  "2   .    R   $   "  "  "&- #  "  !  "  % '#   +% )  "     $  ‡   G"   +  %1  +& "& " " %       ·¸Ž‰Ž»“ŠŒ ‘ŠŒ ”•‹–•–ŠŒ ¿½‹¹‰Ž½‹‹Š”Œ - % %     " #   T)" 5@B8<+  Ý" 59B>8+  Z :596B8<  % "    " "  ,+ " ""  /0-ù Œ“¸ ”’ Šú¹•¹Ž‰º ' \  %   %     " $       (  "## $"  #      - %     """  "     %    $  c "" + " +    " G " "   " "  "## $"      " "  #       " %"    %  "  "  %  Tû d   #    " "  ))"   $ % "  "  "## $" $  )"  : hseol lo <  $   #  %" "   c  )"   "  ‡     "      # 4 " " (     ‡  "  # & %   " )"  \  #    "  " %   "    ) K % "  "     . : œuhlŸtsml <    )  ( : "  3ß  ü knh ° p ýi˜l <+    $     +  #      "#  E .    $  2F -  "##  "   #  )"& S $  $    # #]  4  " #  %          ##  * 4  " )"  "  "   .     $     "##   "% " Æ#  Z\d ' H "   &åI4     $ +"      : 3ß<  )""   " (    %  #   ^ !"  Šþº¹“‰•É”ŠŒ •“‰½‹½¾ŠŒ ' \ (  #    " "## $"   "     ()" - %  "  )   =;    #   ()"  #  #  " )"    #  ‡ ##%        ""  )% "  " : "  .<   "   4 "   #   $    ' ""   )  ))"%   #  " # Z ""      " +  ""  $ %     4 "##   Z ""ß"Æ " " ‡   -()"     #+   T)"  5@B8 %  9??9 %"        ()"   "   " 1    5@B8  "#    " ÿ
 
 
      ö÷öë ììëðôò ñ ìöòëñ÷ë ëììñìëï

Ž‹‰Š¸½¼º¸•ÉŽ”Ž‰º ' \  #  "    -   "## $"  %"%$  : "<3"  ^"  " $   ))"% (   "## "  "   " #  %    % b    !%  " -  #     )    "  À " (  $  +     "  "## 4  +    "##   $ :° ¯ —< % $"  $á# d   #     "   )      ^"  "##  "  #   - )   2    ɎɔŽ½‰û“ŠŒ Š‰ ¼½¸‰•ÉŽ”Ž‰º ' \  %  " "  ' " "## $"    ))"%+       2   " " ".$   "  V%  " "## $"    "   % \ $ " "## !   & "+ "   )"  % "   ))"%       "  #   "  " )  VÆ""+ c)2  "  Z  %  ) ))"%d   %")"  "  À "".    2 egt Ü gqvln        2   " " ".$   "  \ ( " C#   $ " 74 % "    2  " ( &   #  $‡ ' Ýå+Þ.Ýå   \ "##   G&      $  #  )  ))"% &    $ 74 )  ßÆ  ) #  "## ‘Žú¹“”‰ºŒ ‘’ •¼¼¸Š‹‰ŽŒŒ•–Š ' \ %   " , $     " "## $"  "     $ %   "^" #  " "##S $  % ‡ "  %     ' [ - " "".2 :

λ

.""<  "$   " :"  ( <    "(  " #    Z   )    % [ - &( "## $"   "#  ""   + " "‡ -    &(  [ - )   -     % "$""     [

- &# %  "$  &  ^"   "   "&  

 % [ -     " + " "  +  " .(    ^" [ - )"   b   $  "  "   #  c    " "   %    # d  "".  ‡      "")  #   "  À "  ^" ) (   $    "## %  )" "  "  -   " $""   " "( % "   " ""-&  &  ÇÇ    - &(  Vß0 - "     )" Š‹Ž¸½‹‹Š¾Š‹‰ ‘Š ‘ºŠ”½¼¼Š¾Š‹‰ ' - "  )  "## $" ,  "  "   "  $ :)" <      :"   S <   " " "    mlœkqqlfn   !" (J   - " "%   \ (   ‡ "   "  " "" :0Æ!"<+ #   :RZ<+   "       " )+   " ".$  3"   " $)"  "  Ýå 3" ( 

 "S " ") $   & "( $" " ]     mlœkqqlf  - %"%     # :° ¯ª <     "  )    " $)"  Æ##  ))"%+ " "  "    #    2         S  "   "    "      "     "## %  " "  "  "(-  -   "     %  "## $" "#  " C(     "  " :3-cT R3SÝZ<E"  #  +    "  $)"  "   2   )"  "  )"""  "  "# "## Œ‰•‹‘•¸‘ŽŒ•‰Ž½‹ ' 4 % $ ""  "## $" (   )( " V. %       -  -  -  " $ "" -  Z 0 - /0 - " $ "" 0- 4 " (  "       !   +     "##G   "##   Z      " )  %  )    3SSS 5>>8 % "   " 5?;8 -‡   ^"   $     "  "  ‡  !   # " "      "  )"  \      "   ""  "##   """   ".3"$ "     ( ‘ŽŒ¼½‹ŽÉŽ”Ž‰º Š‰ ¿•¹Ž”Ž‰º ‘’Ž‹Œ‰•””•‰Ž½‹ ' K % "  "    )   % "   "  "  "  "## $"+ (.    2 )"   ".$  !% 4 " "  " $   )    )"0  "   )"+"""   2    "  " "      "#" ") \  ""   "  "#" %" $ " "" + " % " )  )   4   ))"%       ".$ + À  $"   ¹½¾¾Š¸¹Ž•”ŽŒ•‰Ž½‹ ' K % " "## $"      % "  ""  & "   "  )"0"   (   2  "     ,  -  ( "      "   " "$   , [ S"#   á  "  S %  )  "## ".  " . #    %  "% G " "  "   á   3"  ‡  ) "    " d  "  S    " #   # " HI   ) %  "  )"] " %   ) % "##     " H  )"I  S" "      [ -  -   "3    "  "  3"#  "  3"  "        %  #     " "   ÇÇ   2  $ (    3"  " # "  "  ^"    ) d  "  3"# ( 2     # G0S :"   "&<   [ Z""##"   "64 "&.åÆ  ". -#3"  ,   &   &3"      "    ".     ))"% "     "      64 ¶ " ,  RW0-+"##    +%"   2     
  

"   + Z"   "##     /G3 " -  &.åÆ  $   " 7;;7- "##   selp nskftl "  -  V"%   "     "   -  0- %  )"   S""   $ G        U 1 3#  /""#   - %     "     "    -   "  %+  "  "  "+   )"    " $   "  #  0 " $ % ".    " % %  )   "   % "  #$   "

Ⓤ” ”•‹–•–Š ¿½‹¹‰Ž½‹‹Š”ã ' 3" &  "  " (   $ "" '   & & .

% +   & %    & %  -  $)"  &# % 

b ‡  "      " " # *  #  ( %  " $" $á# :))"%+)"+  <  " ")"  ß2    # .   " Á "#  "##$"    )" #  " "#  "%+ "        " "   c"  "$ """##$"   %  &    0-+ "  " )  " /0- wxyzxz{ $%&w c   "  " "   (  "## /0 - á  2 "#    "&  " "" 'ŽŒ‰½¸Ž»“Š ‘ŠŒ ”•‹–•–ŠŒ  ”• () 0-   "    " ˜lhg ogpqgql +À  + "   -U 5 A68- -U " -  0-    " 0- ,  -U  "   %.#  ( ) ' Z 0- :Z 0-<  /0 -:#" /) 0 -##<  "# "    " " "    -+" " )   -  -  -Z 0-  " ) #".( :S)#+K""")+G<Z    ! $ ""  "## :&(  "< 59;A8   "  "  " " $   Z0-Jd 59;8- /0- 5>@8+"" " "3dW3/+    ' [ /0- 59B@8 : =B.?7<  "    "  "  )"  0-Z     ) '*

ghlqsfitgo ¢œnhfgth+gt¥ipl

Z "  "  " -  -+   ) --06   (  )&. :3ß< [  ".-# 5?A8 : ?;.?A<    " "# : œ sshnhfgegœol <  & /0- "  ""  "" :,3d<+ T ^      " " " [ c)2  " 59;;8 : ?@.<  " "  œuhlŸtsml +,   " $  " . "  +  " "    "   "  "#.  "#""+2 " #  ". : ˜kohiŸh¥fl gmvl < 4  "  /0-   " 2   + "   "    )   %.# (    "596@8+  " 5B;8  0 -5678 /2 c)2  "   "##    "(  " & $"J $  $"  ))" -   !    !  !    !  .  
/  

0‰Ž”ŽŒ•‰Ž½‹ ‘Š ·ˆ() /0-  "  "  "   % ' #   -   ,  T&  5>A8  9??@    " " + "   # " U K %"&     )" ""+"  )    "  )   ))"  #    #! 0

-      ""## :&  &+"& %+ "+

 "< %   ") ( "  " "  &      " )"   c     " "  " c)2  " ". ‡ + "    %+ G + G (+G/U1+/0 -) "" "     %  #      "" :S/+Uß+4"+ S4U+ < 4   " H # )"I "  c)2  "  " 2        234563  " &  % +7898   -:ß S Þ  V ";<498=>?@    c ‡  " " #)"%  " : 234563 59;78< ""## " : " % "  c)2  "   "      599A8<+ % ) # - $ 3UG :° phlfpghispgo * sprlflptl sp Akpthispgo Bfsqfg˜˜ipq < #  %     ""  # C    "    2 À " "##  "  ") %   % " c)2  "    "    $   % c)2  "   ) "##+  "  %  ) #   ""  ".  G   %"  " %" /0-  %    ( " " " DE4F  " " !3"( ))"   "  (  "   "##  ""  -#   Ý" 59B>8  "   %    "##      2!  #   $" -    / # 5968 ("%     H )I "  "## $"   (  S"#   ‡ "  )  2 G†|{yx€~y H{| xIx…J    "   "   (     " "# " % $ "    " )  " # $"" & " $"  )"    ) "    #  % #        ·½¾¼Ž”•‰Ž½‹ c   " %   "  0-  ( ( ' 0- " "  "   " 56;8 %  " 0 -    "   "    "  c)2 """.$  dSß- )" )"  2  "%  0-  "  À "    " ^    "     )"    3"     "#   $     "        ( "  "  "   K * "   !         ()"   - )"  #  #   %   ""  " G  0 -  &   " ,   ‡ /0- . $ %   "   ".-#  c)2  "%  $ "$ "" "$ "" /0-G " "   )"  )"  ""  +    WX" 0" " "   " c)2  "  " ".$  dSß d   " "    K G#  "  "  0-  dSß c   K 
 !  L 
  L    M  N   

     O   " c /0-+  )" c)2  "+   ()" dSßG    )" c /0- "+$   eght¥ + "" )  " c)2 " ".$  -   , 0 - c ‡  )"  c)2  "  $" ")" "## %   ^ Pþ‰Š‹ŒŽ½‹Œ Š‰ ¹½¾¼Ž”•‰Ž½‹ Š¸Œ () c   " $" (  "## c)2  "  $   #   % "‡   c)2  "   "## )"   "G "  (  ( -   "    "  &  "## Z" 3"   "  "   2 S43/ ÊQ  "(  "## Z" &    2    (+" " ""  $+" &     &   "  " $   #  Z"  #  c)2  " - ( (    (  "##-   )" "   .   "    " #  )2 "%   " msRptgnhipq     (+ " <6<= D+  "  2 "  )2  ". ##- (  (  " # $"" ."""S""   ( ,      U&  "  " <DE4S7     ""  " "  "  !  (   #    /0 -  " h¥fl gmn + "    "   $  4    "   "   "  c)2  "    )"+  "  <DTU %  % $ " V‹‰Š¸½¼º¸•ÉŽ”Ž‰º K % " )"  0 -  #  #  " "## )" +  )"   ))"%    $  $ ( : rsfli qprkpthisp iphlfrgtl  AA °<-$á# 0-  "$" % *"    " #     #J  " -$    c)2  " .  " ‡  ^""    $ %  #  ))"%   "## /0-c   ( ( -    " )%   $   ))"%  hseol lo c)2  " "   "  "  " .0 S)  )%   "  "  ""   c)2  "   " D"". "  "  "" $" "  eokqip   "##  - (  "  $  %  $á *+     &# % " #  +c)2  "   G "   !  T# V&  ° ¯ — :° phlfrgtl ¯lntfiehisp — gpqkgql <  " " )2  ( "## ¶   !    "+   " " #")   " tgooœgt Ü  " ( "##c     $ #%    #  c)2  "  % " )2  "    !  c)2  " P‹Ž¸½‹‹Š¾Š‹‰ ‘Š ¼¸½–¸•¾¾•‰Ž½‹   #"  + "   " .   #   " "## $" & %  "&   %    "# - ( %   C   c     (   "      "-   "  ""  "" 8<4T58 "° ¯ª :° phlqfghl m ¯l lose˜lphªp ifsp˜lph < c)2  "" "  "  /"( 4Æ  U  4""       #  c)2  "+" c+ "  2+""   .   "  "  "+" #  "   #  "    "

   "  " #   - (  "   " .

 & %  &  0--$   &#   "  "  ^   "

  "&    %   (  " &  " "(S , " %  $  " "  ""   " ,  )+"   ""  " """ $   " "    +   *   ,    &  )2 c ! "   )   $   & " ( " G     *    " % $   :" & !"<   (  & c   " "#   T+  b6Tcd6Te " "   "  # " & !" P‹ŒŠŽ–‹Š¾Š‹‰Œ d ( "#   /0-  " (     . #  "" ,     "## "    #  ( , )"0 -    "## $ %  )"        ( $.  0/ZßSW  S  ( (‡  " &  " "   #   H &    I+    "## ".#  " )2  . "  0 -     "##    )(   "# %+   "+ &   (+3"  b ‡  (    . " !%+ "    %+&%  "#%K * " ‡ #  $      )" #S! " $ ")2 .#  #   $  " " ß3S ÊÊ  fŽg“ŒŽ½‹ ‘’ •¼¼”Ž¹•‰Ž½‹Œ - $"  , "    "     ". ## c       " )"     " ,   &  !% G  "    "  hseol lo  )%  "( . " "  # Ý)  $   ,   "      "##  -$á#      )  )   )"  "  À  $  " ( & 0  " ‡       $"  . ""  "   &  " c  "  " "  " c /0- "  "   ()"  dSß 4    "" !"     "" - ]   "     "!

s N PtP ` M u - " 0 -" ""  " " "  "## $" %  ' [ (" " Á" : "< [ (" " #  "  :$ < c   ^"   "## $"   VÆ""  -JZ   %  $   #    (" " #  "  :

λ

."$# 5==8< (" " Á" "( :*

sphipkghispBgnnipq © huol :GZ< 5?8<S""    "  7  "   " 56;8 4 "   0-   "## $"  + "  .$""  "##  ‡        "  " H )    "I  T&  Ê  G "  "  0 -  " 2  " "   =;+   2 ("" (  $  - ( ,    " $  '   + "&   "" "   "" "+   " "#   T 4    #   "    ""  +    )2 "    "  "  K * " "## )"    "   c       ( '   )+   )" )"      +  "  )" ) /" "   ) "# "  " #  "    " /0 5>=8   " ""  $   "    " "    " U/0 57?8   " "   ( "     "## )"       )"   "" -    ""   " ( ( %  "  "  0-    "   " ))"% (   ( ,  " (  ".    - (   " " "  0-+  "  0-  +  " )"   %  " #  $  )  " ""   -     "  " c /0-è59;=8+ )  "  " c)2  "   )"  "+ "".$  dSßZ)    " $")"    dSß"+  K G#+   WX"0" "c  %"  "D  ")"  "##    "   WX" 0" -     "   "$   & "  "  " Ë  LL  vw w   x ! w
y

z  ! {    é  LL  vw w   x  !  
!
  

|}~€‚ƒ „… |†‡€ˆ~€†‰ Šƒ ‡ˆ ‹Œ‹ {ç‚y€„…{| H{ ç~ƒŽ€}x€~y -$ "" "## 0 - % %C " %  "+  " "    ' [ " "&    %+ [ "" "" [  " !"#  $ -   )     " "%   " "))"% ( : fkpŸ hi˜l oiœfgfu <+" #    "  "- ))"% (  " #    :T< % " "   " - #   , $  " "   "## )"S! "  "   $ +"   &#+ " " ( Š¼¸ºŒŠ‹‰•‰Ž½‹Œ ‘ŠŒ ‘½‹‹ºŠŒ c # "  ( "   ' [ " "   %  "     :+  < [ " "  " # %  ' 9 ""  " D"  " ,     D 7 ""  " "D   "  )     %      "     H  I   "    H  )" I 4  " "&    % " ( "   " $ TT   ‡  ' Yöí Xë÷ïôò  ‘    
L   ’ 
    “” • “” – —— ˜ •    ’     —— ™ 
L  ˜š›› œ
 
L — ™
• ž š • 
  • ž   ’ Ÿ w • ‘  
LL  N ’  N ›› œ

LL — ™
• ž š • 
• ž ’ Ÿ w • ‘
LL w   ›› —  ’ ¡ ‘
LL ™ 
L w š “¢ › £ ›   ” ›› —    ’ “£ ›   › ¡ ” - $ TT   " $"" E   #  ¤  "%"  "% "#  E 3" &  "  ( %59;?8  "   "  ' [  $  ' " &

α

:¥<     Z  "   #     + ""  " ""  "      %  " c  % " "  " : œsl m < [  gm ¥st ' $   & : hgq <  2 ( "  $    " "(  "#""  "    ˆ¼¼”Ž¹•‰Ž½‹Œ ¼•¸‰ŽŠ””ŠŒ Š‰ ‰½‰•”ŠŒ S

λ

.""    "  $    $  -"

λ

"%%  ! "

λ

.""" ". 2  0-+    " $    $    d    " ^  0 - #  ‡      $    " " " :%  " #    <   " "    ""   "     " 0--    " /0- R7@.

„…„… ƒ|}‰€¦§ƒ¨ Šƒ |†‡€ˆ~€†‰ " " ""  " Tc ""   " " )2  c)2  " %  "     " $""      "  %  " " ©Ž”‰¸•–Š ‘Š ¾½‰Ž¿Œ - !"#  $    )"# &(%        "     " 3" #  &   &  0-- $ DT  " # 9> !  !"  "  " "  ( $ '"   $   " "   :ª«<+"  $     "    ‡ :7<   % :< - !"#  $  "% &    "  &     "     )   " "  " )     " &+" !"#  $         " 0- 599?8 - % ""      !"  "     )  ,    5979+?>8 K %  $    "  "  "  !"#+  "     "(".   H Rgfpipqn I ' !"#  "  "  "+   " "" - 0#  59;>8 V‹”Ž‹Ž‹– - ipoipipq  " "  "  "$""  #   "    $  À "   $ "   "  "#  3" &  ( %   ' "(  "  " ""    #  ¬ŽÉ”Ž½‰û“Š ‘’Šþº¹“‰Ž½‹ -))"%(  " "##$"  # ' [ " #  %    :T<+ [ "   #" " % "  #  #   " $""    "   "" $ +   "(    " " $""+ [ " #  ( '  +"    [ "$á#   $ &  :J+  < c   ))"%  )  %"" %  " %  #   º‹º¸•‰Ž½‹ ‘Š ¹½‘Š - #    "    ")  &(     "$   &#  "   "## )" ".  ‡  "##    :  <   "##  )    " )"   ""    ) 4    "   "  "    -     " #    " "  )"      """  #  "     "" À (.     ,  "  "  " ")  &( 2% )  "    ­ ‘Ž‰Ž½‹ ‘Š ”ŽŠ‹Œ -  " " " ,    #   " ))"% (  " &  (" Z" " %  #     "  ‡  "4 "      ‡ , %    "   "&  #   " \   "  "  ‡   #