From ca2470ce26187c7be2c722bc2ff54011525c94f4 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Couturier?= <raphael.couturier@univ-fcomte.fr>
Date: Fri, 6 Sep 2019 17:08:50 +0200
Subject: [PATCH 1/1] new

---
 chap2fig8.png  | Bin 0 -> 11054 bytes
 chapter2.tex   |  86 ++++++++++++++++++++++++++++++++++++++++++++++++-
 references.tex |   3 +-
 3 files changed, 87 insertions(+), 2 deletions(-)
 create mode 100644 chap2fig8.png

diff --git a/chap2fig8.png b/chap2fig8.png
new file mode 100644
index 0000000000000000000000000000000000000000..32382651a960479e5b60a8a4f2ed95aea6516413
GIT binary patch
literal 11054
zcmaKQ2UJsQ5M~e&0f_|x=?_s<Izb?Sbd@4iL<B-nq}LFdbfl>CUW4>50i-1$U4nG!
zE!040(uGLh8{gaAv*+wC=a6%A@67!3P5EYSK51zv(NZ&0gFql!73IgzK_GGk5Qyyj
z@&(}Y{dSi)@PG{QTuA|h>SJ96zFf4FSC<EYDxzpkUQ+<yshpJc5g^bF7t%l3j0J}W
z2*lH-@>u?bhw;XA*t-&R_NAZkN$;OGKe*G78*kLb%Jd)zDu#V^S$g!yo4BpK@Xz-x
z4#K8{<9S6=#Z>>e^p;nT0b4z>-_N?JyxqTA(#_G)(S&0@>i2O|!>OP^{P5cN^b3!R
z_008!<Coo_ZXeL18q!hI19atk@7!0mF%}#cSp}>^QvlYXf4^Sxky&s3w;geuXd3*_
z)1G?uw%XUGPg(0>;nVz6Pus^gEPtJiKf03>HO<RWPnbTN7jZjgsy_{%u3c8T?bC50
zs6O5ot?ot}SaG~m)DJVO^}7;2?TdAgHLK02sJHL_fNeG-?q;RAyGtWIb0Uo*@nTz}
zUo@r7YG*ynh>O?D)TH<R6$Y?v5JlW}26h(C*Bd_sudJIHq@O)+=@_e8?abJ7=lr9;
zppSJZX)*`A8ap0md*^KwWwaSsUuQQIb(Mo-hwkkeYejkEwG+M_J~JY6$=vqW!C!9+
zdXq{?q1zZc8&7w?NSJ09-c4nzr}l;a&!fxsDhy=~e)N5t>TKS4JLhKOIwvzDE9l3b
z@@Acx4eiJIr@-%-&!C^^&%C3cS;dj5=F?MRFXbu%OMgoyX-y;jDh{qwcFyGfbDS1l
zw8>F_+{T4>gE&bsq0_J6G%jr>(&j)`nj2=cvFUL44u`4eD?UYykgX7QG>cf&hXB&C
z-%M$7?U5BCB&E*1Hq$xZN3Jc*=yWsSYC>i;gah3`Zi)rGa~OAS0Y7poW2<9wpK4PP
zUu$mg##!Ku*5mp}&X0aklO(SlG9@RT%+I8`SOCX6+yid(H<zB=Gc|y{qGlQL3)rmX
zmtCGwFnB#Z8+DnyR%eUceS9YcPIB1ylEX2jDjm&UjP$<I6yu<(W2EdCc1qL_VOMdd
zJaAzLlip(`a=imBPbTz2$3S~C{b$=DA6r2Y6grV|b9lC)H=ty$*1>+R_|V6e1APeI
z$)_WtHY|ckFtt-9l626euNntmW^Z9E`rzfVIz33<wGBLeclkxO-`PDfFIP+F6vW8t
znc@Vp#2{{OYXAvZp8Pqa{z+mi8O)s_F;-k>F(b0~18F;R7`N4_^0v=4JL@V8ffC=>
zltG|0KlFcN<c^dWtIV;Ov8}`+*G&j1#NBw|<)<;0gr#Ib0&89hqD|ryJBnl({v^_m
zG#eqK`;KIpHke}*k?N7ygxc98BknX^*!uDAb>B`$OWf_#Kfh}gPAF_=z)g9lDF|(t
zxz_CR`A=)hSOAccH37HHt{(6!qmqCduSq}uHYCts`OVAes&JxZpBvViD6*W5Rz3eL
zJA%niR}stA(X1ya{dJ>|@S?!v`?TV+jbwu?qOWTGrTM+lM>!7>D3j{XhKR^3pFLrA
zeK8#e)|P#)3+r6zT^@pePG!lpe*1w<@l_(rlLzp3Gux+464wdSQ|5}3`)3DRP3Ns8
zVt?(&TlB@udRB-mr;hw85?Q|Ai?mgjvivo3?~BA(q;X$@#Mt}BzF3KliZkEVR0JSB
zQc#a@rgtU4)Ui+&0*s<nW##k{UrrxVY9zYNv5#I{u6X*PQo4lR_rkqj+*~n+NMr1N
z;w@Kf$Y2lV3gO({sYd7(U`IQiN=dtk8~L<#Kn;zYnK=`08syFvs?6^+4}pJc=M$NS
zj&D7%Xicd6bM+(aYznOSN2Ey&?JRJ<6up&ra_FnS^6lZQB$N(??Eam4h7dh(-97G@
zI=1x4^GRy(nYP5G=ySu2Br$CbvZZQh=4$EXm&@@~dSwC}gcPT0Tf0f=R4r~8%Ve?}
zi^WiX63k)Zw4^k2e~0SWHYCMqzr=mgK26Hvm6r_?k+vK|HCFso_O&`XWCXJOIpr}o
zY^pB<q1pEjUF2A@lbPhbwa*zc+%VZxbcE1+-E)_|jZ`Uam?L#Brh%>_XkF`*1o0?n
zZ|k|2^Dm^=>(peY>Eb>1)+_51oQTcp2WG9Vs2Zfm{8193ui=r28k%!41tGy5MkOAq
zDr2aQ4*2$P8Pa=`&VjFB8A&CMltu{5J`|q6-xY+9`GWW!#4@aJ-WS9&mM@Xy^*-52
z(MxC<oXp0}`Xt2(2k#jcn!oQ!{<;+omtF>^G5)=MN0!rlF;{5*k9KBHiqnbPb~yUP
z!%shKVt|t<GNLAxt+<Q~!W+iun-;^{;GCAN!iOT)!KsLUZKhKw1tEd-apShTG|1>8
zDR+I#Q=M*_x6<0}b@tzKP9lb%=X0K{nn*ZRWiVN^Ml5yer1LI5uW6@$6=U9)VxuUz
zRh8z1e>ab8Vt4*)Gw|JEP}8k{uemy1YD}mk=pwV#pa<h@&fK_L#S;BVCf}Q^O+WZ>
zS{Bo0=Ew2Pd%7=Trms8aGXpS<q|ScJu>7n3ZLKI;WZolzN~u8&3K{?JfW->oMPF{*
zk|5QQ9=J3`bK-cpDT>%1RerX!zqRKxbBl3p$2O#W*7vX=Sd!5~wq8bNK|!duvin7v
z<xB#<V}%)K5Ds7ViTB~!vCA0^P3Q6QlIWqgpr>!Gcky5FF+**@xj<65D))g4X1!Ue
zhx11xa}y%-KOFBaszG-}=Ie%jy*oZ^$5*aaDfAjZpAi){v0Ll~(~l1MhO3469ZnZS
z7zcyuClg*~UZIQ3!JWJiori`}jeRxNh^HERZ_z(E3z#k*+kF6;HyD~e6rSf9ZSTZT
zOVFWSHXxbkP!y-16HS!F&J8d34ezT6&GQW5nO^x8r@m(G3o7XsT5bs{X;!}15|k5k
zs525I)vwiJ(F&)gL!m1^;DUIqwu{7k05nf-S<s;_=F~e$&(CmM2T!+NV{SiIgN8!d
z0C+itNIHS;54*gw^ZV|8T`uS(cic|n9&uC1Z!0nb_yCuAZ~YqCGVwfR^jw-U@grI`
z>_+DJknVjbNOqFzABAl0N7?x!I-!}CkjR5?MrX_Ve#X|kfi!S>lO`46On7a!JvZLp
z!v3-llTt>b%*>4Jd4rF4Z^?PS?CgxdIiuStakgnY3Y~Od7byUUyulhN*oR^c=Xb}J
z&2?Z0-!UrlxzdOkq}fwpCBvK90{qkSCRW2Mhu>r2+sS?(yc(l*>lak9Er_6LD&xyM
zOq9o+^=%ET+7K}0<Li4{knR{wSy{Y&?92R-s*8^l$CqLr1Z<uqm;50AoISCTB<kVo
zJI-p;EgLYVQg?3=%r1W^xX?9<?V2(KtV-u5&dTrv0@mRA70ZQC#<p}m)vOCtRL08l
zKfO|qrvomGE~(bt-r>S$K9{~{)G`+X*Qy4`q3qUvK&|9t#mn2dmJe8tO2ArKgt*P{
z#}o1J*PN+({I6ClUWXO<&JECX=T4m&6$tjc-WzsrKm#ic8Lf5EP;jz@p!HkUhhGA6
zr9|g0Fj4lFh_CWozQshDUMR4-rp(AhX;gHVQ2dF3iIPoHV%4ULo{4f=l5<rd`vn6J
z1nl|ph||dD(`|gF-`!Z$C|?X*D3sg`weXMr@kpW{$Ay(<&S2Cg5`8>%dPHL~OVFiZ
z;H&x;{bsXstM1?GU7%^{zabQVB^VWa5)BtZB{>+eP+euB%$cG?Y~1+}PX0L@lmA8$
zOV*j6Ys)Y4mUY`~gUTq)niKDD;?M#6NX<m)g4gS*M$$pRXny)StfB&zjM!j*%y^x?
zJ{{iOL`8OGP3lr=B&Iq%&P50{tLIneXdiu({0vQZg&&IyC-*f}4<@|Pz>>`>u-knM
zs@XI&XBC=YaMD&3zK8cuSNZw4rxSW>hDKP+k90BB&7}2?bnz-5RCu_93=h;cZ#XK6
zkYJ+3Q;nSpC;0{oyC2J)@(Zj?#EiMy3)i}Ri3NM=ET*D(2)Vbe<jgG@Ym)R8cWfJC
zljGn*{&51onE?mnxB42p`qd?wC{L-!+$oYgexT{hfZGLYm(dgYfHRp&`$iL%)xb&9
zMSs2ua3CPyqvu3XqsHD&=*kmxDhnp_85TFqxx<Lbyt{D`=H!bF_75AB)T$IK8-}Rd
zYtMxD8h?j?J#u$=(Q<$fRyu-Xn*$`v@;*lB4?r{mM}K>aurmUd3tQz$_zhUElfEb)
z0G`Sj?UDkv_FMpeVk7{a9ML`4-#Iut+}gnNmQtR};BCg?hkF|vdwbHpdViLiy7gS{
zoApd<R6yTDz>#hu_|}YBVd7TooAbuj$a0^_-Pw*~!%5;{<CV6)#ZZX{mm>buQCF2o
z?0Y8MCA?+TDjNgflkLaC<(7@Z0o22r34j+)>|?WH5U>Hh%WH5mS!7TP+3k?zBWzio
zmFd)iAsCl)5yHje7i_xcCz1_WT>X-0cAf4n#ofc_vMgRl-C@*m&}>J}e=t+7<+6{G
zxJL$_Yn4n64~#2x%(DxZuq21XIJDb;l32dz>~uF>9^0}5Q!Mbjh3LEbYiX^>KRl2e
z?O^kj9nnYssEuAH;~r%5zn(`k^VHlx*e<JMTb6FX*{bG@drl?2bRz2Q^v|dQsfT9i
ze@3b^QNqxC%y;l}*Yy<f4p?Mm*LLfZImwmw*<^$RlWw?}o}9^B*0wlXqd0iDY85S>
zhk$fDqDS<ya`Zz8NWY`oW6^MzCxts5`Qdv>tc3$etNeRJ=|1$7UlOkdpI}+6;JA4t
zran$NDkr?sB9+LG|4o!$-XQBL6vw~0avrq9lyOO~Nm1Cc!BOj%x)O`wmf`rxXu;{F
ztLZXNwQ27aCC6@gj2`Ycnj`lc{nF1_9=&K2f+H*Y%1EZxiHo(A(D-n2Pk?Mc|7BzF
zO3Hs<?R(Kf=NYhDT~kx%FO65j=2Vr7{uo5V9uj!AT6s52o%{y*fm|MM-kTT=N0d<y
z-@h|t162{oG>?L)Vae=0hv%|OnU;+cYP|c$%lw99&wLvF)M;iLXJqm0snz^(cNl%@
z-r~lT45&)BGLisZmyw+{I|=rq#=H!sLrc`XW%Z$!Ke%pO@y*A_ySBz}_H=Xb*PwCg
zo|=RG>Et^LIl6^#^}U08__JdVzpzejyutq4n<@g552vGy4RF7so)z{Ii#hS{uXzwR
zbx)fZ^fpNBA3nccTqXU-9UO~#%882XMsE)!C7RxfMcuByAP^1PPR^B@o%s?AFHgvo
z>ZOsd-Zz{sQMhKNF-X5}aG)&Uk($eU?{R#1pw36k4dckdQrYGP9^9Q(a6Fgm9ma1w
zSY&QDUr=0lpr>*j5<&sn-ZM*d&v|{gM)++*k5=hfiV<`i)C|4O{o@}RVPb5wqLL--
zRdP}Q+s(Rkh3&V!pEI=5&cCTFwp709QK?&A)JV<9s8y>d=Nl%;2SrPEn6o-v6RsU0
z3#i&xDt6tztwL-TX5zwRvI@KFeZ0*?=@acj8b5}9<zBi!lzUE{-_|J$KqHc$y=DEa
znk6L}RCDG*EOv^{GTZzEi-9>c!hyDI`R8dk=JrnIzB;Z%fsDKzrW{`k0pB-^SJ30}
zddvEv;5?aEcj0~M7T%a%b?p&>8vAMSy{an<!dyoQD?cI`j*%4UYv4g<*NW*qQoh6Z
zFf%S$ip%jWYgN{VWGP|%Lg`8uZIPEQ)M!fB{dtgGFEsN~smy1Zf#(Qp@W#M5yB39Y
zn)&{S#97@Ag^!pG6Ii=~a%u@b1w(e#!>zCqztUe9sBO!7(~~&Hw)na;srb!tMOn88
zGIi~%FqI+}>&NTvTAWP8=*9Ony3+(6(#-3PgY(v$QE%#IS%_j`Y$=?WOuCVFfbn*V
z?*lV1v9#%<m#&opy|A8+fwI7g>JRiDiJ&?pBnS$HRmpHbk<$_jGuH+bHJ87`{tiY%
zh`{&}3q~)Pfj$Dmqp094zf9c@`*DMb5}EzDXC(Emp`ReJ_-B=wnZS3&btcM({BLmq
z!g}!NAJALv+QNG7p}DgHGodJ4be&!>_y;<}<Yl3J5~KsRF98?FC$=6~8P}M$D0I^#
zC8sfbK0+DN44pfzna>w(@qE3Om-lYg*>!b`Aya#Ty{9^w`s<aa@%IP@Jy6qYWfm~5
z`HKCq;jK*BV>49xqiC2=RXU0DxqrPAVtkX+L~7E8$vF5%G^|-fc+9}!2Xrn)YSfsN
zxZn0VJ)*bBV`-Gx-@=q>0Ke_|36pAJrA^gdy0^YhC$CH4{pE3eXp0<RAdjKUP)o@1
zqxyQi;H;BS%ykI(R+lC=I64|G=l8rvl>LUGpAWHEDEpwytCIpZri0~AGkEn9XX>JJ
z33ujq*IJ4CYqAwDhI`kPZ$9+AaV0Gh<8n=piIIU|Zu&S3v?7G}A2<aEx|wY*Lleo|
zt>I03n>O?-6Q$h^1Icl)W=Hqu@>nt>bOtp)7WbEZ6g^zB#2FE>G_L?3YHOC{4TWn(
z@jx-3i<vCZwj&oWaQ6oVgp;T4df%wJfiR5f0YKa7VMVV4Iw6d2O!aR3fM!y7nPq<B
zsokFg6f=zLza9ges3~YEw*<t|)Kua^X58N(QjNLfch?aBPlSrU==oKXo+=-z!iK%E
zKxLp<o#e-u0JB&`k1GcR)tY=PF>0<u(;dp<vR)omKNBAIsV3I;_EkyvVjj*3OD26e
z=}(K^JA0CuJ5L05ir;K5e@r4{Of1_4P+MuDKZe0N5-eDMV%{ftNt2|mn3wGzK!Che
zmHwfJsr0A_+-hcGtP3X(g>LbbaT03S8-UUtDPnT>1fH!JpucN2bOFSXTPe6>@mH@P
zvg7~<0QgyEgWCFcFR`gZv;2Sp#T(m&(vt@NC~o9E{sK(spXmmI>pE{7)=klR!D2zY
zx>$aoU7od%RfUrq>%c#Sb#>rIcbv+oX|3iV{Hy?Q&w(E!-Ue7BQPFl<W-h#gO3n>B
z`xF4N!Qe230faEv3^V`BdXv>|6(Qlg48Tq@IX2gBAc=opqGf18VKYF;dj}NShV>z}
z03GnufE&*~A*legq~wN4JjELgXZf_&YF@lpH2i12F={%;%wZi0#6C2rTN`T+u%Rd$
z1<b{Yv=phk>)F!-bBMn9n!sZw;+0Mc<Q5u$)qL3351?(%0*6X;QoI1_DP8I|0atRN
z8Y+SZQU72kElNMENt*ZNqR1ta#0k%_?Wy@+<W<gPW@ly3^Ab9VqJKo~PpM1xbPo>>
zt}|vw`Ie0$AP(k?<^3Ds$43d~TSIxo{T+rzffJ@!fs@(aM(3@v3uC|Unf2Irq06OH
zllWhim&0GT_lDCj9qc5$4E#f}7j<+ch1lSAy4=w)-!H}}z$DK9Xy2&mKPHqT1E$$B
z@6H~6aJV&M{oB&|UTgpygQpSmi%Oejsg6{l(}-oS?akX59C#m9b&7Y^^Sr+G9G~I1
zH8k37WYbS9mPe5iAA)Io!nrp1yx=WRSbU^zQIOJj26}R{7wX?ix;JJ96qr_-GZUp#
zC?km(b$R0fQVh^pf&b(KmbS9*Na2vUps@b^TJ=w)zL20oTLRCR^=9JSI*>6T3oy5S
zsYj$HWS>`c7M9kG3Vezt985AIuq@QhEe&(yB&{-M+6FtN9wyiOt$B%UXW?O@>iU6-
zK{Vaf32gyP_s&cUoL14E5D6aqf8^MT4R(q#vai^lY`sg!52iF>1$fZ}MzQOpvUFgV
zP%lGHe4}yFG6Z|r;Q{Ph7oj1x>p~E4AE8xpkdu_o8tSpo?j>bUR-{rheT6guN&BPg
zuI}SAk~dKpRq9D#J*0ZO@P_9ZR$d;Jy8y97dg-FO+u@g_!J(JOqPth_7{2N23}8h2
zYb1yO_*$!-)X{tzc^xgUVUn&Mw-6dPA87`bJgp&F{N!KqiJelP3f=Vs`lDm%dES2V
zl;<F>1XAZjfxcY)`!SXZg6>Vwt|(<<B-iL^5gmKH|MHE4Ew)qUlKDdIKZ@9vk1*PZ
z@pyQEe;@}c#Lcc3O}`Ko5Y*|=SW7VOk%-$)^S1>y4qDi?UQZI|4Pt~^dUvqX!1_yn
z5q9q_D{kTTO8Ya?E(Q)(u{U;q92H1GHpa$8Nw+%sfLQ#`v?NiSfOHDE&Ru^vBgNDa
zojawB0vbNWy-c;_BF@y!g0)Jij#dRL3|bWvA{M)-*U@T5<tPbHs#(5eZMbfKQW1_R
zt!!)Has4!4@zS{)A5Qa$d$_O<X-nWPIrt5Qwm^o}bj7B;%Ic8z#>N!J<<Fk=<G(pF
zSvCl=ZXEQ0Mb2ynGhAssW+8o^CeYLr+TXwmDGj`%^oyCpyk8*}xYD*q&1a+=pQR8D
zikE%5&%rGZ9GOp~Phz{8w)8s;&wSdvdL3(5jqrN?vxrd0mhWiH%iYG;uZ;y(zZ2D;
znSBIg3N_!&9&U&=tm`XQz93BZOAdO@)She!mCSF4N$jX=zFW`SKJFt~>1RtV?5WRi
z&E5azcsR>hxV(KVHVo}|)H|{=)b?e6oCEmX+jHr^y&2@sT?7Y#)Su%)pw!<k5njiM
zqhugxTc21ymJEdCHH=96{PW5A-tO)$^PhdXC}Fz5Du?bnd`i~Si7E!Q=CPypRDQ4q
z-{Z>HX}^aY^(QEP*2*S0Y$P;N&Z*kju^h#BQD~*gP~yrl4ZXW#P)*>R&)ePsVZ%_6
zf7~w{N09^?Q0ABM8RK;)`7`EaYu08mVB7xSeR{C7Z`*CY54;qd9SWB6O;3~E+;{d$
z1HA41bA)!O8EzNg?LK1gn$F3tS+e!#`hLJ*l2Ql*^(u>Q`gl?k>s#|I5n&Os>09fz
zhj~McHqKfvM-Rlh&$$$Ba_@q^8a%ADUe&a%cd)D#J6rW?j(HOxmCyRud=Z?nBC5A!
zsPBmsO?{ieQTFWA`9TBy8J&CiPz;5@a}3B6{=h2gXd<x;W3EqF;N1W@NH(@n9Qt{q
z*PlHD#WRLZZhUrg@2Er_!94QV<g{{|pV+X1j*a#)+p1EgYI)SKTxYWA4&4lzvMTbY
z*Jxl9ZxYU@A4QPQ754}0O_H5T<owm>s9QtKC%DN`_N_YwbWzAj==lhI8w6YR6;TLu
zofAG|$;yKvN^N}tPBF}s&7Hp`nCYZoNuprTf&PI+LL{@U&Rq6M)5iih=$l4Hj-)6(
zdgW+LKe4<-q2{ZtN(A{oTt1OJL2h&=qL?#R<1#qN>7q|0BB+bbWFK>uC+1e&RNtD&
zYu)ii@84Xf<hmMi|L@cvPA}*4Gw#s5C)Gsh6hvixsy0Y=Ci1W|uIg+tabiDziP6ZX
ztqYZxU<8UD(9H<!QONmJW*~hwG7JIn)c!*7ura+bA^Dg&N!hF)F9EU2`U{+GaC!WJ
z8~U{^E9k`=eZp@EcH4sHCx?FeKmip-LpoAl%^8#k0Wl>{=|;+QM2ShkGM&kUSj{6j
z>>1Ga&jmNFSwW>*gb)TASa<c42y#;wM2gNTcF^Mk%?kmLay&-+`-L%IsxH5aKoEaQ
znxia@ZlaYV$o;1Xkb?gGoE$JCP)ytY++&{_C1KI$RzPwxW%tY^d{8PC&8}lwKmmKa
zhm3t@ry=FCd5EMoBH#uUb>ISgycGn|tM>&SVab|H;xWwoGxHaKN{1w;At8FfWRfr^
z{I%J}y#3%Rv;B8dN5-I)G>CiS&&SyNTw_WYzSnxecIIQT%#@%moP+}9r!rv}$BL&O
zjbU~b7=$b6p{HN#G^Jg7s{QO)Q&M1p(KA(c5Z?pD-JpZ(CR`XeI_tv|YoAGo;A8lH
z{(b{Uh}(QqF3a=EgbaZFzEVmz9|Kx@UF{5i@DL0deSny_f}6hpR83!2PlL^`zsQ}q
z%^jj%&4oA$A5u0C0az0u#ETT0X@E=BS_Jl?d4}+dpcii)oV#$ek~qgh$~KZvI>cT5
z!?7X|MpbKP6+Wk<c8-vXpklEk4Ez`gc2_#n-T_Yh%2L(YexX1gmxU#h6T$KzsBv5&
zlpto2$8kgRVn1XRfRr>3Nc!<HN+A_?J_1LUu2uFta7tsk2eKN+EqdNZR5Y)0r!8^t
z0HMzO#@>Yl6Yl{2OAfdJ7Cu`xgEDzH5-_jkUc@d>->R&2v_3VQJmR-MH8W=fX+0HD
z7pS__{<@6Ch@bz|*w{eO1}LQA%!m%>EYbU5FQX`28*@P(nVjMpKO#%(JEND;)fvx-
zsloZ*k3fa05$Xc*6h8Cj;vqu6%kP(J8lo6p+8r{3GRs4|U{=&!3gD;LL6@9;0Z(>2
zWupNsa=m@td<AXhc>t`Bs!4!fE<s<e+yh-HwgQB}(SDDmfry2~TRBVOgn_!cH60MO
z^d>-uHu5!$%-<{(dBMH>BxfC{=!ZO(DPe3H51^#dIEl^bd;t95Z3dc~d=|Cjf_}bx
zwGwFcpC6>vH9qhH#SGf?M0Kt@nKRjeOx5k2qq>n`J=oa}DeFg-F9~k~_6|*ufF--#
zOsqCin-Wx0=gZAVgA{|uo{(<==l$jvm7v(P1H!ZYt*GtvQ6l~d4<l$hx2Ub1xu7$B
zr4GxVk!K{WXE;&4ND}As?h}+*GmFz9XuypyVxwq!K-GoU`^Whqa%{2B*@p+X*JQ+R
zhlzFLbIbcb$mIXzma8+)Bl8Q47iUW<dQR=A7HpzN?Nf618w@SR(h^Nv_Gx+R6JNTK
zfl8@4wxVR_r4xC7!IwO15&;7Lneb|^#^;-@^W7pCsM#lt1{ce%_w?^@0sS`9i=cUw
z$SVf~$KeyjX0WEK=%y73Q->{u10e;M_3x0%v`>-5sijDfijQw`6QEc3i$MSWaZ~#c
z_9(7f;2g6H1aXp%2Dg(jp9*^lz|<;idy)zh0BnWxGoZgl$i;QvK3CZT#8S1tHTS*&
zf?^C5d~+ed<s#~v^nl<MfZ`-=kleMJXO+O{0}Z3zU#QLP+{gjMl-~rDY*kL0Vc3A4
zy`_@CCh#2pIpJK*6YwaZ7!90-(;?N09G?@v_u~%kf*$)UXEM1h<_AvCQgIApmad0<
z8*7+JY=<4G1fR5aID3n>i(vRs{cD~PX?g0kU$!VfT~ryJ{C<44&g-cDjjutaH^2V>
z8UNoT`C#tar5RgG<2BC`N3YI6WE0bBAHzkJ*SYLdj2sPo2S&ud{4y|@pa9*xArs+s
zD0iT?`MJaL&x8T6RWx@>t~teUyT^4=fY?4!pgN+6<BRc_yp!b#fI^^31r!b{afZM`
zl1Wq1Rs`qL#(*+?$Zw+c?VP&+B1U=v0a*HeL43xtjGM6#NcUGxDOheNkn5lMuja64
zcR0RvF3BE}IAlIV(5W&eja1^L1M|KtHJvFGpr1F{HWP)@U}vA^fRMA^W`J^3x?dSz
z1cGT5aG|!vO1&=}<iFMqURLx9%u0owG0g*Vi@D9x55zFnyGX{WLn-=}*Y*I7xfhZ+
znx|IIhn63J&f6}2HRqk(n19S&0EFE9CffVR!8xA_H2nBOcPXCRU0Nrxf6zfjkA}t3
zA)^!s|0Xp@mdul@KW*dcKl63pIH-+o=LbsZErZM>e3+Tb#3E|BTQwq0&yk_Jd`ES%
zVmyJ=1^<_}X^7&V&v3LhoBX=9JPyoZznbsdwYVGKNB$|TEjM>-us(bu-o%Nnl{T2A
z0iE2C5yOY!U4g9Ze0le`XUY>U=#3J|F&e2z3^~a1BY<z4sm|K@upo+rD;exwER#xt
zZr*-jd1%*;?V&{6Wss`&oJ}@%niNM|ew%LoJ_&d84!|o^`Wg9YNGb{trOw<MLmDj1
zT;RNl)H1#+PW)Q<8vt1g0AfYs9~sh+ofIIa0a#qO2_6`-Am)*maXP@7==*SZ5h#6s
z4#mG~qkn$&ASp-ww(1WhfL5FfIZ8tUzJY3WXa3%wnk<3;oqL=cTEoDc7*jfW=;d{O
zl2miLyR|3n)6(8CR>q$+(jL+zd;3@2DPn6g(?V1nv#!9v{np^9!P|UR095$+%WK|J
z9=C?y6iErMW(8V_XKT)TnwT%LJT``nAzd$~7C)olNr!a?!=uCta<nz0Xkt;}=?nC%
zfXVMukp)ed_mbxIlOqG)^WVX#Ftar~XU#FR6)<*&w~DdtT?uNscG|5Ajk3A|Cm)w;
zR=ZJC6QvP;N9^{6<(<=3W=R-HmG!VehFZ#hC%0DMc;3sdVa<qoWfR}}gS-rgz2Qmo
ztG%<vfvTmtE$t>T8(df`O#K;1DE^te*KmK0H*IxsDXANxb?@8MdQDEVJ<KiUCb3I1
z-I}#CP+iRk9&2ZSeVP$<rEs84K+`2zousz_FXYVMh^P12JCpAJatBBY*kzvoDGwF&
zP}c*JW>e4{Gor69aLxw|5r0ph7~(>48h_22Y0W`j9dcVrk_%m8i^S7A08LQ^Bxv|9
z12jW}RTCI-YB!->HjO}Q(7QnUw7zyOWlRI-I6){Pb?9wLuCZy)6)L81yPM^IU}qq0
zM~d3ynF<xnhvC^^id5YGTa%Yn33WA&j6mOd?|x@|ku%6#Ydj2;MJP3gl+3%r!2$J6
z&xNuvC_SxzXwcQXKkp6LCKnxgPJfPMSIO9a@)Kw`BK;!k|EN_--CKTIbqvi2KxefQ
zaFVgN`VLp`djgW<suE9i)r#x(6ZK%Gl=GEj<tIfU_JR^)q?NM(4TvYdc_2*8hE#oT
zuhAf*Zc4^BkOKJPX+VxiMduO^0(ApaoYgGsUu;VfdZZp;c8i2=VE&dGihDVmZ0^n^
zOHOeu_8qXbn@O^ob^k4G>eQ*Ue(DgSXB>iwOe^#PWmCiW;;xArDMso6frbD~;OG{g
zkr629kF}$WrRfMSkcy=x;H_!pCUjg4SWz!bvi$m5-#OhlnW+1#I5BwSekr-!AGKtY
z=Dh<^%oHQ;Yu>b-9j~ZH8~H8ek0*aF7+2;1(z|ZM=<=oi7sKpJ*6`85a5vPB1qbW+
z<NnvSKa}_iKX|m}-s@mTooM2DJmp}2(e&~>-9L@~-e097j%~dhhqggSH%kn?$tXQ)
zI+vOlMxg#PR*qWV4@JTL8a*4mmJ~Nh^jelelA(|u0q|zpu*#LZ5HD;#;9h=1aqIKJ
zrGyDm9IAmhRK0d^+@W{@Y?yQ45!y930|4^#NtTDL!02f70!(a-4+5g2HmuEugf#{e
zxj=R?2}W@_r5EBWKd40ehM@j~z~!(fsjw#>>WOF3obnjqLD0~(OL%>N@8W=E*B?ok
z;fB3d2K<mB3^JHBkB5#zL7($$$=rd0(2B!U^a}bPZ;E10=7E8J0&%ZCq}UF>BI+>F
z?;`4NTakV0L-y^LMV!}dQ?XGf?bQ|4k5v(Z{%x#=_*MoG2pr2ZrclEyZa6V=w_{4Y
zV@kRJ?HF0>80r26PYGHH0a*4YX`9VdNwLLE)mF_ExkS5z_ht^BwsX-A9w|)Ddl)8y
zSI^{2f7!fvH1kiX-!sFeywZ(l9f<XhgOQCIaLGH%?&W(dxokdcTPAvx$$M5wvUPa4
zw@0!x+c6d~*~=+4!}}WFyRl)w-Zzrv>XsXWKP@RBH<6g(R~$eNL=yAY$u-Y=UPsIS
ztCNV39Nr0u5U&-tdB^7$#p|%T>JgZrXgo23+Q+Bosc#svclYAgR!sx<@wC88%1q-@
z#fda(^;KL|k&>QL(w-K{f&YvhwH&zQ4jk?D)k$n8;Au;qS=$~bc6@b)O|$NH?KrT8
z)_mc3A^t(aP-133%W4=KxJK}Btdp$k`M~V!89yqO0N(BMHV|+(mHZi2b>`y_$MbEj
z$w_`Ty!X)I>Vgf&Am_B?%!*Al`Ov&^?tZ&4c0(Svp(uH$qyE)Or^^>c>r>*+Q+V~&
u)#wn3nI;std@qLrw30vyd*=Dsv8+ZQ!(+i>)NK&(r}9MOF-pPo{r>>xUjlgm

literal 0
HcmV?d00001

diff --git a/chapter2.tex b/chapter2.tex
index 3ffdbe5..8c52f22 100644
--- a/chapter2.tex
+++ b/chapter2.tex
@@ -1217,10 +1217,94 @@ See, for example~\cite{Lahanierc} and the two implicit cones below (i.e. Figures
 \subsection{Motivation}
 
 
-As soon as the number of variables becomes excessive, most of the available techniques become impractical.
+As soon as the number of variables becomes excessive, most of the available techniques become impractical\footnote{This paragraph is strongly inspired by paper~\cite{Grask}.}.
 In particular, when an implicitive analysis is carried out by calculating association rules~\cite{Agrawal}, the number of rules discovered undergoes a combinatorial explosion with the number of variables, and quickly becomes inextricable for a decision-maker, provided that variable conjunctions are requested.
 In this context, it is necessary to make a preliminary reduction in the number of variables.
 
 Thus, ~\cite{Ritschard} proposed an efficient heuristic to reduce both the number of rows and columns in a table, using an association measure as a quasi-optimal criterion for controlling the heuristic.
 However, to our knowledge, in the various other research studies, the type of situation at the origin of the need to group rows or columns is not taken into account in the reduction criteria, whether the analyst's problem and aim are the search for similarity, dissimilarity, implication, etc., between variables. 
 
+Also, to the extent that there are very similar variables in the sense of statistical implication, it might be appropriate to substitute a single variable for these variables that would be their leader in terms of representing an equivalence class of similar variables for the implicit purpose.
+We therefore propose, following the example of what is done to define the notion of quasi-implication, to define a notion of quasi-equivalence between variables, in order to build classes from which we will extract a leader.
+We will illustrate this with an example.
+Then, we will consider the possibility of using a genetic algorithm to optimize the choice of the representative for each quasi-equivalence class.
+
+\subsection{Definition of quasi-equivalence}
+
+Two binary variables $a$ and $b$ are logically equivalent for the SIA when the two quasi-implications $a \Rightarrow b$ and $b \Rightarrow a$ are simultaneously satisfied at a given threshold.
+We have developed criteria to assess the quality of a quasi-involvement: one is the statistical surprise based on the likelihood of~\cite{Lerman} relationship, the other is the entropic form of quasi-inclusion~\cite{Grash2} which is presented in this chapter (§7). 
+
+According to the first criterion, we could say that two variables $a$ and $b$ are almost equivalent when the intensity of involvement $\varphi(a,b)$ of $a\Rightarrow b$ is little different from that of $b \Rightarrow a$. However, for large groups (several thousands), this criterion is no longer sufficiently discriminating to validate inclusion.
+
+According to the second criterion, an entropic measure of the imbalance between the numbers $n_{a \wedge b}$ (individuals who satisfy $a$ and $b$) and $n_{a \wedge \overline{b}} $ (individuals who satisfy $a$ and $\neg b$, counter-examples to involvement $a\Rightarrow b$) is used to indicate the quality of involvement $a\Rightarrow b$, on the one hand, and the numbers $n_{a \wedge b}$ and  $n_{\overline{a} \wedge b}$ to assess the quality of mutual implication  $b\Rightarrow a$, on the other. 
+
+
+Here we will use a method comparable to that used in Chapter 3 to define the entropic implication index.
+
+By posing $n_a$ and $n_b$, respectively effective of $a$ and $b$, the imbalance of the rule $a\Rightarrow b$ is measured by a conditional entropy $K(b \mid a=1)$, and that of $b\Rightarrow a$ by $K(a \mid b=1)$ with: 
+
+
+\begin{eqnarray*}
+  K(b\mid a=1)  = - \left( 1- \frac{n_{a\wedge b}}{n_a}\right) log_2  \left( 1- \frac{n_{a\wedge b}}{n_a}\right)   - \frac{n_{a\wedge b}}{n_a}log_2   \frac{n_{a\wedge b}}{n_a} & \quad if \quad \frac{n_{a \wedge b}}{n_a} > 0.5\\
+  K(b\mid a=1)  = 1 &  \quad if \quad \frac{n_{a \wedge b}}{n_a} \leq 0.5\\
+  K(a\mid b=1)  = - \left( 1- \frac{n_{a\wedge b}}{n_b}\right) log_2  \left( 1- \frac{n_{a\wedge b}}{n_b}\right)   - \frac{n_{a\wedge b}}{n_b}log_2   \frac{n_{a\wedge b}}{n_b} & \quad if \quad \frac{n_{a \wedge b}}{n_b} > 0.5\\
+  K(a\mid b=1)  = 1 &  \quad if \quad \frac{n_{a \wedge b}}{n_b} \leq 0.5
+\end{eqnarray*}
+
+These two entropies must be low enough so that it is possible to bet on $b$ (resp. $a$) with a good certainty when $a$ (resp. $b$) is achieved. Therefore their respective complements to 1 must be simultaneously strong.
+
+\begin{figure}[htbp]
+  \centering
+\includegraphics[scale=0.5]{chap2fig8.png}
+\caption{Illustration of the functions $K$ et $1-K^2$ on $[0; 1]$ .}
+
+\label{chap2fig7}      
+\end{figure}
+
+
+\definition A first entropic index of equivalence is given by:
+$$e(a,b) = \left (\left[ 1 - K^2(b \mid a = 1)\right ]\left[  1 - K^2(a \mid b = 1)  \right]\right)^{\frac{1}{4}}$$
+
+When this index takes values in the neighbourhood of $1$, it reflects a good quality of a double implication.
+In addition, in order to better take into account $a \wedge b$ (the examples), we integrate this parameter through a similarity index $s(a,b)$ of the variables, for example in the sense of I.C. Lerman~\cite{Lermana}.
+The quasi-equivalence index is then constructed by combining these two concepts.
+
+\definition A second entropic equivalence index is given by the formula
+
+$$\sigma(a,b)= \left [ e(a,b).s(a,b)\right ]^{\frac{1}{2}}$$
+
+From this point of view, we then set out the quasi-equivalence criterion that we use.
+
+\definition  The pair of variables $\{a,b\}$ is said to be almost equivalent for the selected quality $\beta$ if $\sigma(a,b) \geq \beta$.
+For example, a value $\beta=0.95$ could be considered as a good quasi-equivalence between $a$ and $b$.
+
+\subsection{Algorithm of construction of quasi-equivalence classes}
+
+Let us assume a set $V = \{a,b,c,...\}$ of $v$ variables with a valued relationship $R$ induced by the measurement of quasi-equivalence on all pairs of $V$.
+We will assume the pairs of variables classified in a decreasing order of quasi-equivalence.
+If we have set the quality threshold for quasi-equivalence at $\beta$, only the first of the pairs $\{a,b\}$ checking for inequality $\sigma(a,b)\ge \beta$ will be retained.
+In general, only a part $V'$, of cardinal $v'$, of the variables of $V$ will verify this inequality.
+If this set $V'$ is empty or too small, the user can reduce his requirement to a lower threshold value.
+The relationship being symmetrical, we will have at most pairs to study.
+As for $V-V'$, it contains only non-reducible variables.
+
+We propose to use the following greedy algorithm:
+\begin{enumerate}
+\item A first potential class $C_1^0= \{e,f\}$ is constituted such that $\sigma(e,f)$ represents the largest of the $\beta$-equivalence values.
+  If possible, this class is extended to a new class $C_1$ by taking from $V'$ all the elements $x$ such that any pair of variables within this class allows a quasi-equivalence greater than or equal to $\beta$;
+
+\item We continue with:
+  \begin{enumerate}
+  \item If $o$ and $k$ forming the pair $(o,k)$ immediately below $(e,f)$ according to the index $\sigma$, belong to $C_1$, then we move to the pair immediately below (o,k) and proceed as in 1.;
+  \item If $o$ and $k$ do not belong to $C_1$, proceed as in 1. from the pair they constitute by forming the basis of a new class;
+    \item If $o$ or $k$ does not belong to $C_1$, one of these two variables can either form a singleton class or belong to a future class. On this one, we will of course practice as above.
+    \end{enumerate}
+  \end{enumerate}
+
+After a finite number of iterations, a partition of $V$ is available in $r$ classes of $\sigma$-equivalence: $\{C_1, C_2,..., C_r\}$.
+The quality of the reduction may be assessed by a gross or proportional index of $\beta^{\frac{p}{k}}$.
+However, we prefer the criterion defined below, which has the advantage of integrating the choice of representative.
+
+In addition, $k$ variables representing the $k$ classes of $\sigma$-equivalence could be selected on the basis of the following elementary criterion: the quality of connection of this variable with those of its class.
+However, this criterion does not optimize the reduction since the choice of representative is relatively arbitrary and may be a sign of triviality of the variable.
+
diff --git a/references.tex b/references.tex
index c98a3d5..d8cae26 100644
--- a/references.tex
+++ b/references.tex
@@ -138,7 +138,8 @@
 \bibitem{Grasg} Gras R., Briand H., Peter P. (1996) Structuration sets with implication intensity", Proceedings of the International Conference on Ordinal and Symbolic Data Analysis - OSDA 95, E.Diday, Y.Chevallier, Otto Opitz, Eds., Springer, Paris, 147-156.
 
 \bibitem{Grash} Gras R., Briand H., Peter P., Philippé J. (1997) Implicative statistical analysis, Proceedings  of International Congress I.F.C.S., 96, Kobé, Springer-Verlag, Tokyo , 1997, 412-419
-Gras R., Kuntz P., Couturier R. et Guillet F., (2001), Une version entropique de l'intensité d'implication pour les corpus volumineux,.Extraction des Connaissances et Apprentissage (ECA), vol. 1, n° 1-2, 69-80. Hermès Science Publication.
+
+\bibitem{Grash2}  Gras R., Kuntz P., Couturier R. et Guillet F., (2001), Une version entropique de l'intensité d'implication pour les corpus volumineux,.Extraction des Connaissances et Apprentissage (ECA), vol. 1, n° 1-2, 69-80. Hermès Science Publication.
 
 \bibitem{Grasi} Gras R., Kuntz P. et Briand H. (2001) Les fondements de l'analyse
 statistique implicative et quelques prolongements pour la fouille de
-- 
2.39.5