Z3 Comment!simplifier!efficacement!les!contours!?'
'
89' .[*+,' ?9' 5?1-' >)DD)*)?,' >9/-' *,.' ,N,=*)*,' *</-)-.,' ></*' C' -)A5?)D),=' ?,-'
*</.<1=-' SD=</.)B=,-T' >1' .,==).<)=,' ;.1>);3' J9)-' 01,?' -,=9' ?,' >,:=;' >,'
-)A5?)D)*9.)</' C' 9><5.,='\' K,1.(</' -)A5?)D),=' ?,' .=9*;' >W1/' 59R-G' >W1/'
*</.)/,/.G' ,.*3' ]1-01WC' 5=;-,/.,=' 1/,' A<>,-.,' D):1=,' :;<A;.=)01,'.,?' 1/'
=,*.9/:?,'S,N'H'U<'<1'1/'+,N9:</,'S,N'H'%=9/*,G'Q<)='%):1=,'6T'\''
'
8,-'5;>9:<:1,-'-,'-</.'?</:.,A5-'5<-;-'?9'01,-.)</',.'?,'>;E9.',-.',/*<=,'
>W9*.19?).;'91]<1=>W+1)3'F,5,/>9/.'>,-'.,*+/)01,-')/.,=A;>)9)=,-'</.'D9).'
?,1='9559=).)</',.'?,1='A)-,',/'5?9*,'/W,-.'59-'.=<5'*</.=9):/9/.,63'
'
89'5=,A)B=,' ;.95,'*</-)-.,' C'955?)01,=' 1/'019>=)??9:,' -1='?9'*9=.,' ></.'
/<1-'-<1+9).</-'-)A5?)D),='?,-'*</.<1=-3'^<)*)'1/',N,A5?,'9Q,*'?9'%=9/*,'H'
'
"/-1).,G'/<1-'.=9_</-'?,-'?):/,-'>,'D<=*,'>1'
.,==).<)=,' -1=' ?,' 019>=)??9:,' S,/' Q,=.' -1=' ?,'
-*+;A9'*)(*</.=,T',/'5=,/9/.'-<)/'>,':9=>,='
?,-'-5;*)D)*).;-':;<A;.=)01,-3'
"/D)/'/<1-'=,?)</-' ?,-',N.=;A).;-' >,-'?):/,-'
>,' D<=*,' ,/.=,' ,??,-'S59=D<)-' ?,-' *</.<1=-'
-1)Q,/.' ?,-' ?):/,-' >,' D<=*,TG' *,' 01)' /<1-'
><//,'?,'*</.<1=',/'=<1:,'>9/-'?9'D):1=,'*)(
*</.=,3'
'
8W;.95,' 1?.)A,' *</-)-.,' C' )/>)01,=' ?,-' ;?;A,/.-' 5</*.1,?-G' ?)/;9)=,-' <1'
-1=D9*)01,-' *<==,-5</>9/.' C' /<.=,' 5=<E?;A9.)01,3' 89' D):1=,' *)(>,--<1-'
=,5=;-,/.,' ?W)/;:9?,' =;59=.).)</' >,-' ,-59*,-' )/>1-.=),?-' D=9/_9)-' >9/-' ?9'
A</>)9?)-9.)</3'
'
Figure!3!:!Carte!finale!
''''''''''''''''''''''''''''''''''''''''''''''''''''''''
6'?,'-).,'+..5H$$:,<:=95+),(A1/):93<=:$'5=;-,/.,'1/,'A;.+<>,'-)A5?,',.',DD)*9*,'
5<1='.=9*,='?,-'*</.<1=-'>,-'.,==).<)=,-'-<1-'D<=A,'-*+;A9.)01,3'