('!((
 Version 2.


    
 $&('
) *+%, & '##'%%'## $'
      ) *+%, & '#"&%'## $'
) *%% '& '$+%, '$''%, '
   ) *+%, '&$ '
Philippe.Beaune@emse.fr ) * '& '#''%$ '
!"#   ) *+%, ' # $$ '
$ %$ #"%  & '% '& %% 

 
 
     

 

  
 

 

  



*$+%, -#,%.% / *$+%, & '##'%%'

) ('% '0'1 $+%, - 2 5$% -##'%%'6  '
2 &".%%'# . $ 1+$ '& .%& '
) '# ''03%, '-$. &% '"%,  %6.3
2 &  % #"% &1$ -% #"%
) '# ''"%, '-$ .& 1+$ '&78%." 
2 %'#%'    "$%"  2 .$ ' $%& '6'%' '6
'0'1 . $' '"$ #"'   %'%' '69
2 '0'. $'#'%% $'  2 ".%-#  #"'$%
"& '
     

 

  
 

 

  
 4

 : #"% *+%, & '#"&%'
) Π-; '<→;6
< ) ? & ' %$ '6& ',%.%
) Π=# ''% Π#=
 '∃6∀6& '#"&%'6& '
) Π=># ''% Π≠#
.%'61+$ '&78%."  '
) Π=#∧, ''% Π=# Π=,
) Π=#∨, ''% Π=#Π=, ) #%%# & "'$%6".%
) Π=#→, ''% '%Π=#$'Π=, ) $+$' '& @

     

 

  
 

 

  
 

*%% '& '$+$''%, ' *+%, '&$ '

) &3 '- )  
-##  '
2 #→,→# )
' '& -
2 >#→#→, 2 % ' $$   '& 
2 #→,∨,→ 2 %+ %$.% 
) (0 '- ) %#$ 

2 %? 6#1 B '6' )
-" ''%" ◊-#''%%$%"
2 B '=?#% 
)
#=>◊>#
2 %? 6#1 ?#% 6'
     

 

  
 A

 

  
 C

 *+%, '&$ '
 & '#''%$ '
) :#$%%'% - ) *+%, $''%, -F&
#→,",% E>◊#∧>, ) *+%, &$ -" $%&'
) #$'% '$+%, '&$ '- ' $ & & 'G
2 %, -" ''%  #''%$ )
-&'$ '& ' ''%$ '
2 &"%, -$%+%  %'" ◊-&'  &  ''%$
2 "#%'"%, -' % #%$
)   $%&78 ''%%$%"-
2 &3'%, -%  #%$
H⊆G3G
2  # $$ -?' #.%'
     

 

  
 D

 

  
 

*+&-' . $$ *+&-'"%, . $$

) 3 '%& $$+%, & '##'% ) 6K%=# ''% ΠK%6#=
%'- ) 6K%=># ''% 6K%≠#
2  ' $ & & '-G ) 6K%=#∧, ''% 6K%=# 6K%=,
2   $%%% H'G ) 6K%=#∨, ''%6K%=#6K%=,
2   3 '%& Π- ) 6K%=#→, ''% '%6K%=#$'6K%=,
Π-G3; '<→;6
< ) 6K%=
# ''% ∀KL'%HK%6KL$'
) % #"  ..&$ -E#%& 6KL=#
=IG6H6ΠJ &'& #%$% K
) 6K%=◊# ''% ∃KLHK%6KL 6KL=#
     

 

  
 

 

  
 


 *+&- 3 #$ '. $' H $%&78 ''%%$%"
# ># ># ) * $%H&'=IG6H6ΠJ# M -

# # 2 ".$ 3% - ∀K%HK%6K%
◊
# ># #
2 '%% - ∀K%KLK'%HK%6KL 
# ># #
HKL6K$'HK%6K


 # 2   - '%H ''%%  K%∈G
># $'∃KLHK%6KL KL ' %$
># >#
◊# ># 2   - '%H ''%% $'%$

◊# # # 78 3%' #'&  %'%.%%' 3 #$ -
#
># # HK%6KLHKL6KHK6K#

 

  

   ># 

 

  

  
4

H $%&78 ''%%$%"
 *+%, '&$ '-3% '

) * $%H&'=IG6H6ΠJ# M - ) *783% & ' -
2   - ∀K%∃KLHK%6KL N-
#→,→
#→
, ' $%&
2 '0"%, - ∀K%KL'%HK%6KL$' )  '3% '-
HKL6K% !- 
#→◊#
2 $%&%  - ∀K%KLK'%HK%6KL  O- 
#→#
HK%6K$'HKL6K - #→
◊#
2  4- 
#→

#
- ◊#→
◊#
     

 

  
  

 

  
 

 ( '#& 3% 'H *+&$ '-3%%, '
) 5$%&%"& '3% '- )  $ '3% 'N6!64  
2 '%H '".$ 3% -
#→# % $$+%, & '0 '.4
2 '%H ''%% -
#→

# ) %0? O% $$+%,
2 '%H '  -
◊#→◊
# &' %.O
2 '%H '  -

#→#→
#
)  %-# 3 #$   % #'
2 '%H ''0"%, -#→
◊#
# $+%, &"%, 6 # $$
2 '%H '  -
#→◊#
. ! M  $+%,  # $$ 
2 '%H ' $%&%  -◊#→
◊#
 '%& 4'%% %"
     

 

  
 A

 

  
 C

& $78%'%  $+%, *+%, '&$ ' 

) %# ' $%& $' '
# $%&  ) 3 '%E#$'% ' $%'H-
) P7Q78R .$  $%&   ) %-
& '$ '$+% 'F '%+%.% , # ' % &'
)  N-P778R '$ ' &  

E#%&&

'",  '$+%, '& ' '## '
%'' 'FF  '%+%.% , # ' % &'%'
&  

E#%&&
) * '0 '.'' ''% &% 'FFF 

     

 

  
 D

 

  



 *+&-' . $$ *+&-'"%, . $$
) 3 '%& $$+%, &$ - ) 6K%=# ΠK%6#= ''%
2  ' $ & & '-G ) 6K%=># 6K%≠# ''%
2  ' $ &  $%'%% 'H%'G ) 6K%=#∧, 6K%=# 6K%=,
''%
2   3 '%& Π- ) 6K%=#∨, 6K%=#6K%=,
''%
Π-G3; '<→;6
< ) 6K%=#→, '%6K%=#$'6K%=,
''%
) S& K '  & #%'KL ) 6K=T%U# ∀KL'%H%K6KL$'
''%
'%H%KL6K 6KL=#
) 6K=I%J# ''% ∃KLH%K6KL 6KL=#
     

 

  



 

  




*+&- 3 #$ '. $' *+%, '&$ '- 3 #$ '

) T%U TLU& 0# N!4 -0 '
2 %-% L
># 2 %L#-$8+ %%, $8+ L%#
L >#
%
L %
I%J# ># T%U# # ) %''%TLU& 0#  N!O4 -' %
% %
# # 2 %-NL
2 %NL#-$8+ %%, $8+ L'%#

     

 

  



 

  

4

 *+&$ '-##$%%' *+%,  # $$
)  !-%'  '$ ' ) 
  -
%'' '&'0$ V? '%', '%'
, 97W
2 $ $%&78 ''%%$%"' %
)  "!-' $+%, #& '
 $% # $$
' ' # $$ ' $$ ', $ '
"' 3'"%, ' 2
'%+%.% %&''$ '& '
.'
) ! - #"' %&
#+ '&%'%"' ' 2 ◊'%+%.% %&'& .
) 9$ '$+%, ' # $$ '
     

 

  



 

  



*+ #-&1$ ' O*-$%"% 

&%' 
) !"#$-#$'& ) # ' %'%# ' %#%%'
)
# ' %'%# ' %E'$ '%''.'
.#$'% '& '.'/:& 
) ◊# ' %'%# ' %E%'.
#$ #''" ) #S, ' %'%# ' %?',8E, ,$ '%E
) %$"-." &   %'.   

& ' ''%$ '/ ) # ' %'%# ' %& % %'&#''"
)
# ' %'%# ' %E'$ '%''#''"'
) .%%/
) # ' %'%# ' %E%'#''"
) *  #' ' #"' "#& ' ) #, ' %'%#"" %?',8E , ,$ '%E
& '& &  #'/ %'#''" #
     

 

  

A

 

  

C

 O*-'"%, (O*[-
) *%"% 
&%' X#''".%% .%.%% ) O #'&%' 6. ' 
) Iσ6π6%JY=''%-Iσ6π6%ZJY= ) ? 
#" '&  %'-
) Iσ6π6%JY=
''%-∀?≥%Iσ6π6?JY=
2 -# ' %&''$ '& '
) Iσ6π6%JY=S''%-
#''%$ '&.
∃L≥%Iσ6π6LJY= ∀?L>?≥%Iσ6π6?JY=
2 '-# ' %&'%'&
) Iσ6π6%JY=''%-
#''%$ &.
∃L%>L≥Iσ6π6LJY= ∀?L>?≥Iσ6π6?JY=
) 
# ' %'%# ' %E'$ '%''&
) 9
'$ '& '#''%$ '&.
) ◊#≡ S#
) 
# ' %'%# ' %E'$ '%''&78
%'& #''%$ &.
     

 

  

D

 

  
 

('!((


(O*

    

) (O*[ '##$ 3 -&'(O*
%#' ,8#"  # $'% (   $$ %)
%"&%  #""&"&8#" &
  
  
Philippe.Beaune@emse.fr
!"#  
$ %$ #"%  & '% '& %% 

     

 

  
 

 

  
 


 + '% $' *78% %' $( 
* ',
) %+ $78% %& #6$' 
  
) %& '%.% $$ '- &78 %& #
2 %'' )
%+ $78% %& #6$'%$ &%#' %
$78% %& ,'78%$'%, ,  $
 #
2 0 ) %$# %1  % &78 %& #" 6+ &%
) %& '- # %*&78 %&   #
) 4S+ &%% , ' '% %''# 
2 &"'%6% %6$%+%6 ++  6  (O*[-◊#
%369 ) S+  &%#'% ' '% %'# 
) ,%$%   0 '6'6#$'6  (O*[-
#
) ' % '&%%'6+ &%% ,8%$&#
% %'6 ++  '6%'9 ) AS+ 78#' '%&78 %$78% %& '$ '

 
#& ' '% %'
     

 

  
 

 

  
 4

(
*-%% $$ (
*-%% $$
) O #'$%"%  &%'  ) 3%'& $'03 -
) 3%'& $'03 - 2  . #,=&".
2  $+ ..-$78+ %
2 \$+ ..-$78+ # ∀@## 'X,/⇒∃≤∧@## 'X#/
2 @## '%-$78%' #&% '% '%, ' %VE#%&78%'W$'#$78"" 
2 ! %-$78% % & ' #&% 2 NK3#=&".#∧ $3#
2 %X%-$78%'%$78% 2 (#  3#=&". $3#⇒ NK3#
2 %Y%-$ %
2 +3'%78 '$78+ 3,%.%$78%
2 ../-  %' #&%'%$.. ' %
2 ! 3=&".! ∧+3
2 ' % '-◊#=&".∃3@## '3X#/
2 $K0'-
#=&".>◊># 2 9
2 * #=&".>#∧◊#
     

 

  
  

 

  
 

 (
*-& '#''%$ ' (
*-'# '%' '
) & '#''%$ '- ) \$3#=&".
2  $%N!4 -#, + %'&  \$3* #∧ $3>#∧
' $ & & ' ''%$ '
2  $%\N!-#, + %'&  T .  $3#∨ $3
>#
' $ & & '\ ''%$ ' >\$3* #U
2 \⊆$ '+ ' # $78%" %$ X%$' %'%'' 
#' ,78%$ #  #'+ X"$%' -
Y= $3#⇒\$3#
* & $78+  ', #'% %&'$ .6 
2 $ '+ ' # '%' #'%&".%% &'$ ''-
%$%, #78 '#' % $$  %$
Y=\$3#⇒ ◊+\$3#
78& ', $',78%$%, #
2 "  -
' %,78%$ # #$'M  %
Y=\$3#⇒ +\$3>#
     

 

  
 A

 

  
 C

(
*-% %. $$ (
*- '$78% %
) : &3=&". ) -$.% # %& #/
\$3T! 3 $3@## '/XU )
-(
* , 78 ' %
) -'%$78+  %#',  ' ?%'.%6
*78+  '78 ++ #'' $  E.% $78%- $'%$ ?'$78% %.&".
$78+ '78 ++ E% ,78%$ .% #%'E
) 4-#'&78#" V7#''%$ 7W%'$78+  %
.% 
#',  ' ?%'.%
) -(
* , ◊! 3
) : &
3#=&". ) -(
*$  E#%&  $J\$
\$3∃ ! 3T $3∃ 8@## '3 8X#/ ) A-Y≠: &
3#∧ $3
#⇒,⇒: &
3,
∧>\$3>@## '3 X#/U/X X#/

     

 

  
 D

 

  
 4

 (%%, '&  &1$ H
\ + ..-!:
)  %'&1$ & V7#"  7W ) O #'&%' 6. ' 6#''"
$%"%
)   #"'  #'$78% %& .% 
) .$%' '%%$% E(O*[%'-
%#'"
2 .$ '&78"'" $" 'E%'&"
) " ''% , $78+ '  ,78%$'' 2 .$ '&  %" $" '' %&"
%& .% % %#$1  )
#" '&3'$ ' %'-
) '&78% %'$%#$ '    $% $%
&&
) #" ' # $''&&'-
) # '%' & '\$FF 2 #%  6
?'6◊#.%'6S?',78E
2 %$'#1 '$ '.$ '&78"' &  %'
     

 

  
 4

 

  
 4


!:-#" ' 3 #$ ' !:-& '#''%$ '

' #6'6, )  
N!4 - ' $ & & '
#%$0 $$0#
 ''%$ '%', &  ''%$  '
#%$0$K0'   '   # $$
6' 6' 6'6, ) , N! - ' $ & & '\ ''%$ '6
% %$0 $$0,
'' ' $ & ' ''%$ '
% %$0$K0'' ) * '&"'%'#  M %" '
) * ''&"'%'%'%'&% M " '
' 6'6,
) * '+ '&% % , $ '''
"$%'$ '

     

 

  
 4

 

  
 44

 !:-' 3 #$  !:-& '#''%$ ''% 
' #6'6, ' #6'6, )  
-+ %,78%$# 
#% $$  "$%' ' ''

6' 6' 6' 6'

) )N!- ' $ & & ':
 ''%$ '( '& '' 3#$ ', $'
$78+ '78 ++ &   & $ '"$%' 
' '6# ' '6#

& ' ''%$ ' & '\ ''%$ '

     

 

  
 4 

 

  
 4

:" %$  #⇒. !:-'03

=.
p p
f f
) ]$ '&78"'=..&# % &
p d1 d1 ) '%3 '  %$ &78%&% %&&78" "  6 # #

~p ~p
& '.$ '&78"'6$'>#6#∨#
6∃3#3'& '
f
~f ~f .$ '&78"'
d1
~p d2 ) ' &' 6.%$' 6& ' 6' & & 6.%$ & 6 
~p p
b &  '& '.$ '&78"'^  '" "  
~f f
~f )  $#6\$#≡! '% # : &#'& '.$ '
~p ~p &78"'^# ' .$ &78"'
f f
d2
d1 d1 ) '%, ' .$ &  %'-#%$, ' .$
p ~p ~p &78"'
f ~f ~f )  .$ &78"' ' .$ &  %'
d2 ) '%, ,
'& '.$ '&  %'$'>,6,∨,
6
~p
B-mondes I-mondes ,S,
6◊,6 ,'& '.$ '&  %'
f
G-mondes      

 

  
 4A

 

  
 4C

 !:-'"%, !:-'"%, '% 
) &  =' & & ∨.%$ &  ) : && ' ⇒& ' -%'%$# .% & '' '
) ' &' =% %$ ' & &  % % $$ '
) .%$' =% %$ .%$ &  ) : &#⇒ $: &#
) & ' =% %$ &  
) \$#⇒ $\$#
) '%α .$ 6% ,% %   
#'%% & $78#"    "+% & ) : &#⇒\$: &#
  ) &  ⇒ $&  
) \$α⇒ $α-'%+  , #% $#
'% %6$'%$$ %%$0%' %&'$ ' ) : &#⇒%" %$ ◊>: &#- #''78 M FF
& ' ''%$ '^# ' % ) 9
) : &α⇒\$α-'%+ $78% %& .%  6%$
 & .%  6 %$%,8%$.  

     

 

  
 4D

 

  
 

!:- ++  ' %$%+#%

) ++  & -% %'% %?',8E%  %
 %$ "  $$  ?%'-  %1'#%  
: &%" %$ ◊#⇒%" %$ : &%" %$ ◊#S $#
%" %$ 
) ++  &" %"'%+$ %& &-% %'% %
?',8E%  % %' #$'$ % "$%'$ -
'-
: &%" %$ ◊#⇒
%" %$ : &%" %$ ◊#S $#∨> $#%$◊#

) ++  ''#"?+"'# %& &-% %'% %

?',8E%  % %' #$'$ '% - #-KKK ' .>%''%  ' %+  '
: &%" %$ ◊#⇒
%" %$ : &%" %$ ◊#S $#∨>\$#%$◊#