From 65cad0d1543f5871f78c0ec18a292146712dafde Mon Sep 17 00:00:00 2001 From: Anri Kennel Date: Tue, 30 Mar 2021 16:16:19 +0200 Subject: [PATCH] fix title --- presentation/presentation.pdf | Bin 139246 -> 139570 bytes presentation/presentation.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf index 49a95aad7096c2616e91b97d1e55c410690c7ad7..f6711a38202a806d6beb8294c4d4d9b6d11cb657 100644 GIT binary patch delta 12002 zcmai)Lv)}EkcDI0w$-uGF*@kjwr%{eZQJRnW81c!bZmRxV$PZ6?Czp!QMIc2?!D@P z`P&Z@PXWfxne>~20kFsCLg_wNpRAr2MhLSf!f!>Up!vNa!X$?T?^#`$qINUxIt%RJ zI*o0OiX`<~D&gNu-yQG^B~By+BTBtkQYla*iY2-SOU=qhzl+h%YkmZV5Qp-24tf-Gq4$WKCWZ_TLZ#mV5;*_7Kr)M4+>2HSbV0z{ z2G80QMj02!wcM8cf!a9RXN?%S_*<*=36IIpZ7j8~_a>Z*`UO-3mMTv|>g_;DE}Eq` zx09u?a#NL%kwIE+lrbOO(yehI9wi$GtE9qk?D_!0O}b$|yq{K~R)J(T;>6Vi>X7HI z6DHY=WHer^5~v{2DlY&L^AmSPDy-vAwuv2}fuUYdGQIQ#g)8IR#wM7`4T?`;OQ9Tv z@hxfcOQn~i=JL9>AW)7?U`-l;Q*ncT_%3r|phh^tIQHJgWxb4c{7%k{T9BSH&fbrh zEYtJg_KNrXt1-du`Po?Fs&8c}6cq*Nek+h&yxJz#0^N;Y8BCW8uY)=0(56!8K9ymVv~4a>O;3;f`9Y?^`kp7Y=N!2CatIPT>anhM0N)x$M(}BetdKGUi`^C zin7i_MJ_K+kZSp%a`mtNp;rwwuVuo7x4sHN`JSI9=xuZy)sTDJ zA~)nq{ZFF`mPvao?(eJPr|S@>`%vO*?D3f_q1QFDl;(-Mm9IKJ8?0-!TERpb)54eR z*)h>+F>Tb&0+)&fS0;0j=`V}xvHIaxxvV4Y3dE85N|6z_9ir>^C-lPHL}`B7fm)=gQh_*Kou1xrbfH9O$`>#cj3t>(lUC<;88`&_$+n$NiJDr^~LRX6vX?9!&W) z)$8HGIJ{E75R1h^gO0p2QuGxbGs2$n_%l^hn+;i$p@GDY)3;%V>v=;otpHx$x6699 zk@}-x%0njhaN^%8Qny`bMU?1DJ?7pqJFD-TpQ|9w)sIL7ibn^Qyqxh3(FJTqUGhof zPl&j|M0Sz6>vb{YZsxp{8|11rp_&sGdI4}wR_4?^Pz(qzRu;~rzIs}~ z-Sl_1b{!)T12+T=>rV%FX$N;Oh!#*N91|$q>|G*?){YK72rvkDcUXA`G##enZ13r6 z^~baKg)T4G%Oz{~%gVS^87Q~_%l3^RZcUyw?qCo+Ry@3HetrTFBu+aQEiGwD6cngX zkz#-5c$A;`CP=d&Yv9~%AUXsD*(Z$vh;(^Z2l?te9FzgG@drMH#TwXDpPPZCKh`4F z85m~+n2&>_BdW8blbN#%mZ7)hJV*ctGd)T#m<>FbRAuGqc-1Hvj)|%usEII2JozkE z{y!TlcusJdfT^D-)F|Y=U}rFOpVXk~!leIpd)RsEKN&&x!JLA-U>Y2P*Flqk5{@BL z6;*c7`NWINL=cief_#eSd87ay*seNZGkJMHZUoH#6MGHpJ4*ID>Z^*k{S&>uz}X3G zvd@g!pLP@tLD>9zg3B`;5~KGS+2+dT+x}EMej!Q_WFRUm8pJt%2!3O2Sq;(x8jM*= zp-ZD8j8bTrR{ zDi3DPsH7Bp2H^L}se`L@ErT~1Qk7=QGlQ#6 ziCm%k%Kg5%<9d=oHj?Pz*p_>*L(xm`OmCanovtifd+aigP}{h{&ThVXx~YytM0oC? zQ>8rUi+5E?v;tBMAIf@k`;t?%rK1amd-v-kQb>w}A)5iWdvgNt37%t9M4j@CESzG1?o7FkvELrhx_HnZrP33>?$`mtP+;c@qd5q6Buvv96~__n!d*vk zB#)DfoTusUBGQe3`1!b)u@bJ|HN7`|j6L=EoCv#M`(9vr6QQ6(ljWwGiv!rzvWYCc zwlv}_mAU>uTxKU%ZkM0%AoaN^0zNGpfWO5>nQhntq+8~-7xycfpO$rXs{+_*o- z4Ib*->;sArDADsI3^Eo85Dp6dtkaleWI>QzWFe^b|>So)Jm#Ig>U z)e&l((#prdD%nIS*biuLPy2@OFscVfF=AJ2XJFAUGcjW{5;o#*_`9ku9b(uDDhp~^ z{uSiG<`N1G>Yil;SoBqw>c;!CX5cUX&-?hAJt> z;E>Jr8lFq|!9#61ohDzDt$BA;Mw~6y`F*I3LgvCwjOZs90zjwF(w|9Qtv#^Dh*o~a z5@3U=XhFJqruW?>e}=WRl9_^*rW4LayRQ;|B{b|jPoJWtacYfl@j*zE#QHY|p86vH zDcJ0q;cl=%io;eWrnHox2)uc$7nJ7Y%)!^RM-!dD%S&t-z3V3}? zx@Zb&{OsEyTR)i6{`}VzpBe>nH1*G&jUh#8N$B|+!|k8YAx5Vc$g{6jNLxM6V%@0T?RCsXs=HO9oF+nTjR7{{aiOpPiS z@hu6I30zl*+=Hi_O#!c^_Y$vO9?;ebdp{Z!EhV!L#d~(y_N&dep<^dsGc6|U>+ngM zJ3&P>UJ)4EUzrAn3vwSSXS2PyooDGl48>e!CzM$ImHPfCKRA$n$GYowp+&d9I{b&$ ze&-wvp;|!L#4pc2;rh9oi;zm}bxSHGx{_Od@aGOHMEV5HCB3?cV{V^Ykn$+F^;rbXda{f>V)RDY6&?-rNfzEKA!RkY~3Kj zAh=nJQ=VHwlPm>qGnw{G`|?Uqga95P>dvlYRvC43;;oA@T?frqDWeetT1Uq&_e1>* zPk(P)*=S02b)ImglBHly0dR!~Q)u*dY~N$&3x)=k->~$%?t4B(tm_j?^Ow@*7QE14 z0i{7MoLmN5DaC>Yxxb&Qt=R83NE}+1qbvwQTUK{qq=U!7TpfaT;i-Op=V1(cXptjo zUi$Ho$W<}13D`_#ht@_rJ{cQVWg4ZUWgV3(K_Nk02*^kwS0l#TKzU;+?Xfo*p4HhX zW|`A@_)!cfHo@@G;yIkPHEE}Fu2m)rUwbOCrV3{tgNN#IW}MOmjGGD9SsDb3&3R(5 zBsVs^8?T39*_^H?`p_iEU;wr6%hhxfr^<>&YjIPMnxP(d#bYW1pf={|&3A;eVL@c4 zF`f16kP!{74OXxU5E_V|Pd>tb{nB($FNR_$?T1Zs5hfoe;Wnz@T@w7|Ql+_iMqiq4 zFFa%7hV83`7C3_~2FBB!u97Pg!p!8o+mrPfF4iS5$1^k=_XhHI^nF3rm2quSl|5$Vc&j_?J%dOVBB2( zJk=$CxOs|PPL7J&QIoL0*<%pk*xXIzrrMEF8=30xr3q*jX6Uy<(+gx=UJO64cR_w6 z0{vXHpge_cvMUcgu)bo!^oWa6ml+@(N%VxSh{~A+m#XKm9?mR*xO(eXqoMl0K6b=i3lLkfE9|(VM8H+!!m%p36hy zca()Fc;{T(a_<6J4=%no6HHUI;&KVG_c9nAm_h7YQO0N5Za%>j*v2t=f5X7=fsZBtX@R`KVnz!+FeWRBG??yj?WGax<@E-xb)st6H{pF= z53ft?nn#b%QK@^y;+qx}QU;SI4E z5E{PxWy{aB$DTOB*?=FzaH#?(#rciphLbpUx+^cdc7zp=4-qod#cwlHlw+l%w{JJu z$VfSJ?VUl7RU#F=J2YRx($827%*#g0z-dTVK|nZ7%4o){Yq%rd1~20M0{aEx2@KO- z8x~-9Xf$qT3)D1^6F`iLt&XL5roguX6%U)|k~5hd1~|5;wm2;AbZy?7B)^7l2Gz|S zClNMDd_=b~+N2gPUk-zLMov+z1G~EAX#++`WLOYhCl%I0=gD6GY9hRa33g&*_#QTh zE9PQZjAL4!BD(w?5%W5ZzsI5;bZ%64wg=E?^+rzRmxni@Ki^2arQvnHR@(}Jq$-5= zbcx(DJc+BW&wK|-6aCh?C6ZObm!&oj>3ofo-K9&|94oO1E!_3TW*tn?`Lh>{#ani7 zr(bvIwja-v7%FZRTW??ZhS-dFVzCE@Xh@eb`k?Ap#zRKIXp)$}g_?iGDK=Dvxq1cb zM`S90KT%3^#<~C4Xr)&a=E_|HpxL++5F1pp;UO=L-1E+*MfqUmyD*Z-cMoum+##ef z_Ti>Wr2Zal)7mKB{&=-F3Z?=n*vAP~=`t1#y=uEF={GSvJj}(S0AG(p;OxGd?#RHt zSPF5PcLv98yLZ_o86MntK;UNcLw{i`cL@p@LKVl4*^h{TP%S>qv&n@pz zE-|8T1FJmtE} z+`KVZo<+m($P){dRKcQRPNd(6)fKWLdO!KWBz`^XDUhHy*QlT;I<$J^=ZNHyW$dtm zz=hq+Z<9}a78)HEOl711_Lb*4o_sGI8DO3nm#)np`Je}5!6aAI_S$PsJfbE00n<5o zy*fNFj-p>UIcc5-dp^F&%k3LCFPoGD>uR%;bM_98Lr{n!m$AsrmkottD_V}q9nm_~ zJXlf^*_TYR8%q!wR0&lr&zH}S&R43{RwpV++s`HnlJ?=|rNLYPo$)4W4Sh3uzO2Ga zP~JmHb;Wn2)B|j&5swS`f2S<#$W&a_*nrD`{)=tuy?5vU+3D-C7$KC`VqJGQD9H4R z0HQlo_YD!d_QkqBy#{&Qlx&v|w3U&x$ciNv{;GvFkK+q8DL$-IXmTD)=-3Mp*?@xT z#YySJ(^$VuL9-#?rgQQq*T;_m+pQgy%O+P1^zqozepB;6?w8S=Q5Dphizp=g`+M=>T@Nma$Mk zX7bPn#xXXJt9su`UHcQ(t?FEem6J7i9 zHF>_PRT$$dL?QxQ&j*zp*=;LQdj~{oq5hfic&5$sC9yKYGzga`4=~F*#WgH{@j$;C zc@h6Df3OF@+9jbP<_uclW>mnaW)b7h%_>7EpE78W(mmLcF7_CamE|~S>Eh?kHgY*1 zCuT@+^6v~~5R}`cCz77o%ch;RW%s3FJFOF2eCEc)6J)5eFsuvWVMrbivQ~@@aMR>J zg4Q=di+rRG=ElagAea~jGm=4?7EF`0y_U1jw{Zeku&Dd}h$yyh)augbsDc8_A%dZ) z1wGUV)l(+wj`&T{FJ8(4Y7m=xhPf#ZI!kc|^E7c{gWY!P3rMvMjqz_8%Xdw-8d-!H zoe$iYEu8)!=kxK_u$PZv1+r=S{cpNpWLNNvgRYSZx0 z#bbaDI0Y8Mqm&=xMD6&Q)aE&7Lz{;sRZZrCxE*rYa=7L~%$8SLB&}tEd@J>5{rw^NU5uZIJBd zok^FXYm>wwv%Io5v(taH=pnM{*o%l;5CFiV{wUttRy-)Ly4zos$6@JIzw0A<>WgC; zz4ytjsxKqvY|t*W=~dJ#MpjU6<@FUx=US<;qFr=&8r@G+9JyWTSEk4Sr5k)>}Pi>s7r6)(c#lEU~d2C38grDgrYqLF)VyN#BpA= z*z=J)?2TQmz1F~Oi2eN_Wk}wISGOa93CXLgFXNPDpDDY4T_`5Vw%83wLO2kO!n!WC z=Y!Ec7}G0|G0)#jDDd$1fhyb*{$`plcp||QLxlui{X(U=F3^b@6)6@!`eY(^PsMV z(rDEdG$jNh@Nax=nHeSL4F*_`lV}y!+2y1J8L?_#{9bf&lnrCu@!Pt!Tb5iFfK3{W z0J0ZmI_Wq=mi0e1^BN0q;6$Vv=+3g(C+tl0!B;iI5oYNn$$ZR;BC<0JMP z)3G(?OypGG_1)e@-i-OfV~8f43jc<$Gc)q$a?lRnZ08pLz9ns0a{;zQfEp`uN%iMm zw?3SfA((_wqIa2?o0e_qc~0#RA*G3n_wW2}}g=M;4c-`))Q8g|S9H$NPn0adxxy zs2lTssAIio8mc-G29VL0^c1-j&P}D$CLU-v-8X}{G<~(rT*>E7>KSx73lPG)%>^&)X>Z%&0XyhTU~A9;N4u9icZyc2qApY!9826SrRMEVm194 zR9Gu(N52maGeV7?sVW^6PrJJ5iupHa9!&$=obu{9fS(++B&oh~$({{f0P8lr_GG$VSHaL6l7u$y`GQb1}gfpSJ@ z=-O}n?XY!W2}IflG!0BH`O+oQs28+KKO+0l(OjaVX*agm2CO zYyBWs3>Br$QBr;+5dPRGkK)Y?(>#%X=#iV(r?bNb0hDxu9N8P}rIIle5l3?CKJA?! zx2Ebds_36a$z)Eb1q755Zh27J6QvBeJ>bK$m5BO+y<2l=-Ra}x1&CQ+ES+q$>K-beU-2CNKpezW!#O50>^5^jV0qUrxK`37u zSFDkn0$3encp(w5WzZq&@qcdEkS}cyu+q&*C($VlN^~q|4d~Kl>=QZt4_D3kB+9C) zyA9UXQG4Kuy+9%pI`5fLamwvSpsEMu$#+G3*}S{|;Uv9RO|YjgKt`zfVi#jKzeT{Q zUjxtdfHX%lM!o9z%L^;mnCY8m;BA(zcUA3s2H+W8=lso3TWTTZki&XTb7?L2gqB5> z$(&b&F6X05XL>SWGwiw8eF<+Ntw@THE9gCt z70?Dh4M)Vw6G}qMoE&b$Dr7u05xYj}qB3-P8LQ0x9(EcHi}OH!yzrB*d6~vkTF0cu zd2!@*zu$E3`gxaoVhy=gKkkm7V?Ru{9w{%v(q)@PnGO2F5XsRqx0O6>r5&eM@&&Of z>v3vk9uyQId?)|G*v6y2lSRB zo{9#=Jv$O>hf#Wup9i1kT46Z~Qm*VxIQc%U?Bt@}5>M5Or8jxVFgoJ0lb5<|kO zz2wGf(st^Eb|Vh2cs0YV>0pF2#@#*eSHVeWijT4~*yAVmMESiCy}Sb|dO3hHpHy5QQs8E>63s28ER7xK(^0ep|PCEK(weS1|u$G^^ZZn$d6;QH_F}e^zcckWN}a z$F-kN_;^d0n&bRaBm-q_i23bP%lpF`o$xwIvQ)NVvwwX-&4;~5UF9>d4Uju+H>tpV zuh)AkSEV(2JyJ|-Bbh4JR>p$3`_Dby;^E;gl&U}Od|I)tRv7lu%5z`1mIsE5Xt(;( zR#Bq%ei4wU@-*z)%}B5nwVXG?O~TeWr)zQLy{^G2PdYM`d#%ktz-TFRz)j<5&ZG0x znVT8W5eI9Lin1{7K?eKM0i*rd=p|Z+Sam{V8C1W+G`r1|WdrdYn}@T$bOunZL`Z_$ zVc0}oPc2F^@3&2_-V;RB1hqiI$Yj=1)jEc2mHw#lDP)+%RTS_vgxKIM5u0*;m7}p1 z#inC*)3f7CNm(i`3!W^58PN!(y3C_jI3ocDL@GZ+EH5zHL)L&7V05vHp^^`cM3B$$ zX#4WJ6fyomXiYAkh7aWV^$dIUx@3*OVbG^2OZ4giC|&>YRo|n%y4~z49c2?T5|dKg z>m*gs5=^7W|9gs9sfAZm=~ad$yxl1Ai}o7ZP%HSDk6O_ZCM~!rdl)&bYQ24%S`7UD z{s|fVbTaCRx#!dXKtE=8Z!0O#^w{OHS|4aL)9*{RK&SG< z^i%OILV1*&xKRH?%mUta3(Cvc$td(sl^}|9%yYrDD(cLvXEJA;VeBNGDIo$7{ssBA zZ|U6PqoYkbqpeN0y3#VEE1_1v*5ck2#?92# ziNu6DEf5*ZACi-WgOw)@8U>8#evq_EFKb`;Lid01GY}9Am+Xk z4%?zS#e*UW9nPC}WilFMdw_>LFoHS58LV_{7KTg=l5L=vbl`5C9@RCnH9vg2cXB%d zr%P+0PETnuNsJXVm3bD1E<9U&94VKE@$a|<_X~R+(}!tRV4bE(-28wR55;e;h-_J% zC}w8KSqWSp{6X>8WLOe@PMc73qC+Jl7XNZOoJArGeWc1sG>uUJ^_lr>U$O)v~Koqfr2RRP7 z`&@7CUn^1g>kBBGLKMSg6fk~xrk@JSu>{W42du!uH&Tg~Mf} zwh((M0eO$>_Op=XO{M%tR)Kx>nW&E1Z48+miw}4@p61t3{(}mnruc z#^)4BI=(s|4vCTkHk^f{6wM!_0>Q!~CAs}z^)@+@L>yzvw}AG&UTY0*ZNh4;?QiYE z8@&Q9-1NVAYmR*&ST)v9>IP1O6fw1zisWnylFdf-F{k=#1%zvHd~PQj5ZuGuxw9sO z>*@w7_0}MR2j5O8VUMJrHWVL?7NO;{utpN1P}j2wG2*Ay19B*e+Ex6#-4b9%zZ*Xp z4<(#j@e))@+W?m(38X-%Ov0|Pii~VzG}B(t&K+3M#>Ngu&udJWLE9?@qSqFnZyc_U5P8^g*DeS>wMZiGQs|Uelb;+Tf@&r?{@ThJX7S)L@rKQ(#|S?QDixoN_LL58Zfl?O6j8Sh2G z;4$tSb{NbV(s2A($KuqnfGzL?uQ^^%lstCIBLH|PV#+1iw505Jd*M#&Fwn;FlGQXZ z?XVGWIIO`PvPxDQG)|JXiZ+{z;x#(CT``?-oi)f>N?V6huXs+K_y60OW+<8a6g`{V zs6ceUfXI?EJGGhZltC$C-YcnX&iurY!Bk zCP3JG3BN+Ztjg_G6-IOZH`4AnrTY)g&|#bcS1smG-@_&AD_EA^-)rOPD%nL7$zB{( zNOsgol~~#BiY?*M(2c~TLUE{!VlxbwwX^%wLP6Z{di>roO!?OkH}Et^{3*x3tNg_o zDb;2{(cwz&P_W2JQTw`MSKUZcorpx5h5(f;FiKlI^lHjq8_h?(?gH0RNV=Ep8EOoy z%!&4y!S@&f5!qWaq|k8KyaP7% z;Jc6isBbpta7bK6`dTw(oCa=+;vf(cV+)8o8!dauy$2vAV3u*LgzRJ<;Yp8YK4*UR zyM~M=TDp^Xd+cZP7*oQ=86t?CU~P+oC#@ ziISzZkljhbLGW?iFwtc=km+H;SmcK+@xPi7m8@HGwScMtKnX>nnt6Rh#duI&{w=OohC zE|4%O>0UL1-_Z|o@S@q?sQ;F}ij8Xw#8_ zL|v4%=J8kJxfWXe#>D!0X~TS@=YkNhxw3>rW`aIe-t!n-UVf>1$sTMU`0-spQ|LT- zo4J{dly#2#RbEe(hiI3}RdgSPOH{f-Q4=_m|7yh9N`S~!JM#m-Qy`r~ojCtQH%amc zQVQqhYskQ9c5;xMCo39?+anOUEUhd~Gja>Hv(^?%rc=8pkLXLU>avK7cn1JJjtriM z3e?tiDptH2jkfmVh&cU^sw*)T+SQ`%w1<{sSai3Ro2;Ae2`^Quw|;UuQPduZZM$Iv z8SN28cJ27R-#uc{nhj&Ct1p$vo-N3A|rE-gD*8_XWUJsjwo&n3Cd3 zmg6Y?66QGlahYGMb{GU=C8k&Ka{h}iIQeXio*o%^k(y&Cl_oR@jp$N-`X+Dg zY;JhJCZ@>Jrv$_F*xj~B(eUrKs@XP`%c)C0+tZv{QMMd5Z$j4+j4R(vnlX3g^g+ia zAK&e7Oo=-qetFT>_VyYx->OU>rZIuv3L<>8zn_;CVGs76FCoL`l?6TR;c>uy0`aIzJk^zl5w1`$To)q{`(2IfpWyj|Vad{WHsY=UJO zTi>l1yg`gA-fT_Sj!Oc8wyYQo>8GAu2=Q6Id90eXTIxZy$jYNdgFlU zdecSGoK)W~$2)K~-e-Wi)EWYAh8OP58?pnL*bR6eA)-Ioq=Qsu$Qm}IRGNP*ttW&` z>gfqwUWU8!@3@$7@3I{bbVkA}g0BOAxR~brrt5K~ZPTyg=Uw0YMx^C=n`UCg4Wi6; zGroCgnnB*!{DPqrbUzqHLKSgoCk=Tg7 zxS%~&6^fl6!C&npyHmpMr2N226b{D>$P}o8_Jp$5Or1HcH*DMyNYf6^(WEkY{}jd< zM7H6|W?FkCX?^J7^IgRf0OLKG(p9tqr4cblpjU}I)#}WO@b*c6#6+*2_wWhBU}^TuHPLGK@0a`WIF9x zcgnSx)7|f45}{rs3A;XPYc0|P_jF7iwD(T<85*P?(7QsZEjb^*EDmOk99SJGXW@tWrt@+ z7v7Hac_FH~)#ca+Vqy2I?CXfdA2?~^P7`F7{4jswr3J!eyCUs1OY0btsx0qH6Gw%D z#Xj$BGz%A#M%B@9Wzn4z`bEPRYtvH2?yNK^l6cA5WQt!%+|DrxCdeK)`6^NvPQy?t z^vM{a76E7bEcM7_qTmv}NIk5I<1JDbvC6FtfncdmigpI2H>O|fD%~b`qT!7nT?2Q1 z=REF>DL?C**9jpPzjiw_MCOTh`n5>jC+2921?8?_T}gaRSi#Ri^X{eMOrfKF8wH4J zh$o?v){Of)B>BArURZgFCnXN75p(?77WlDz?tp5(OJme6r?Q}gl6xqMt=?0xU!?jm zH4+V!pzDePq!q-=F_oE!sgo7$VM~ptay#AYu^BVEt#=uxuxIv=ReDhP{Wu@c^SN@l zi21X4qC6tQsJ3(_syD=Pr&z>SF$(yve(RlWIl8emS+uU*c-ib}3)BjS=Nnb0=8!R; zl9X?^3uT#FP+Fl{SX!xCNLnK#fj-U)I`&8j9tEoOt34p|OXACEiiBW}ip>}b~!tA14tfI_ZTs&f2;v!<4!YuzOK@$G|w?y~rieo20yPs{71 zeD3%3m5m=6S{ssB|FxX#Px0c%c4-VFlrV^JA*>XqoRI<%5Jr>$wQv!H{dj+E6cM!b zd_tx8Py~|#aNa#mz=dl?=5>^*72I931=))PdW*StCG19=@^)s!1MLZn(2(e@0A!m5 zM)Y^EA&oHZRiAHpFHCelPV@kHxrjVv;%!@;M!2Qg@6*rAp03~#W>{rrL^fu4=NpLJ zel`!J`#O-QI*5rnu&O$!9|qu5DsQpASG?8^yay=%p6~G&fnChbP{!3zLJx5JJ;Kf~ z-PIu9@&QmE|F|1iyc^u^zEYX`e;qzcB+mZ=4v;xmO-x2d;}b~9MI}O`5pZ!?SxpMY zS5uy;R5<~UrP90m!78_uA|bsJl`nmd6ty<~N4g@dTM|t**V{C8!pa!fT3*%fTyOES tXfd1!W;8$aaNMReVUQ^PVaiH9b8~VMX%xmRm#L`HeqP^97zHF{6pj$MW%$*>z=Ay z4D-L7KgkHi4nu!_l9s%-2GfGIJB8~-`6ml3czJe6BGOV<}sIqS7J0Jt)#cD`d ziQ*ED#PgUSgu}>`^-@?0TNN&mO= z10ig|>8$P%8ION|folRKmXwMdX`u;NveBllqqI`cAWo@GH?cqv+p2nzDri9D1dCEm zJU)v5=Yo8l(3E;3y5)`1tK6>wBKC3PT?v{W9X0NQ_mdGVfFWg1MxDNhwbKy9fe=2slI2E4WJ#Th|-bCyx+ zu`*VY!98{EDo(aqS-(n?%)f!>G*s^#UXq92at=fXqS?r-7Rri(m zyWdVgCvZ{C;#faZXdWJIvACPo>)3Koq8g&yfbWV5S_%q^Vq#!a|0v(VzAHNhiZa8nNuxvs%7Fda zX37Jt!%|UwM@I#ak$u6yY4Wl=bded)nS~H_CcB06h*9B0xkz*a!Ys*F35;xzd=D=# z8O|5+2kg_`FEp zHUm{22pu@^K8k?vy)>YiM+v-t{Yv~w%?}IQOeYTacCyI*Cy3muhO+}3E{vSU+kKHY z%$xf;_-p%%FBTI&%+ck&l+fQ|bfcknnyP5&OW%ugYzynQ5(kHd=FH`*1rkV2R&2J! z27drA3vXpbKLvk7dTvJuB>B|J2L|5Tm4$k~#(<_gY^)H*?GfX&)Ofk(7-t_RtrJF;lN32ll2m zmuxMgZnB-5@t6v$+q%mbKu)6XIc3Q`_p(puX z0_ivO(4thR-HVsVGIQ+%|Fk8D>uK<{^yK6R{zYk#3iNu}fFYXv8R6r>DJ$?3=e3Iw zET8n_rpSmPkEj_^EZ6nr)}q|z10Ls{kQ%`Mp+d~BhKgN_wBW9IGM%X?_B6qo$)8GB637JE_74k^&f1*p zbeza8Yk0xRoT{0c7FJW77y|He3bxhIoJUXU(5Svk_&sp~zN<5=@rs^*0jZt7M`)55 z%i1h4DaRjk^i6)BE(eEL`(pfc*cDzSEd6dQ9Bz8kB%hyJ6YG^zsxRH%w=HswA>g18 zPXDbX?n+O6bIZ4Bk2A`60mGd7H=!s0NnE>+vvEQ-Bjq9E}d^TL$=&MkIXP_#r6Gom)#=59E2w> zqf_a%He_1PD7EdoN2T_j=q^VpdnYAU%JCH5cHcKs)D657XiM6#kUOR>SKD#VU-h5L zNtzevucmE!tH^hzP#)HS4$^Rvawrh1ct!ZC9v6OzWd*7?MaDccz`PqXdP^nZ*_0pa ztz8Wz4G$N@6{;u0ju6!7+l6t?GrojR1ZYMrzkP|V*l)WvsT>;q?lUW z@lZ7P!B%C33n4*qF>Qy; z`{Jpb-}ceYlGybi5U>V#Epu}%D)Q4ZvaKo+^5ZzB4?^{9v{X5M$#G&`lPqAdEUFU1 z>b$DBG5*p9qf-sO7P~Wc9#&1{72HF(=?hAGY@VwszaGk-FiIGXjBAvlUiVUDkejLO z`^5~03fs-Ood7$^X}}_-ihxyNIy(!h*ssc-jQV&Fc=7@PX%tQuLvHt7R|Io&6zTH7 z%&BBQYS^XWVZ(sC4(bI<_TJdgDQ(i!?dC?eh%ftd@pu7+I>iKKR$5=eK?(1gQ&Ltb z4850oefDWUaN_cF&#B?F>id|Zyrp$$tR%wF#egIp$N6Sv5+Xf~>=rH5wo*hmVRKCb z!&9vq+F}Jjesvt3swC{?phU`S@jJVcy5K5iTVLso&^YVT9m-| zifr|7>@m)AvyIlO&olVY&ib@k`?(d-{;;k3mGuue6dLlI6JtX)V9Q@*w-AKP-ZDDS~XR0yAY2tdOnA@$jpAE5Q`s^%|N z6D!~u@pGO&ON*OJnm%=jvKlL7yqEc3a7wU;@)zsE(gh@^8RTJ3X`@jsG)WeI!L#}i z-;V)Nqs~9E)>gn8Q!G&jnnjwN_@3NOKle0_YJ}Yza8APv8hA22OfD}lqaVbJX|$Ns zuo>qV3;<0ZmxnYW#QF==pXpYDz7YhVTG|Yq++`%=-1m(t5%ynKAG~)qW$s`#!F9!q z+(cn%6t#*k9eamAG{z^yF`NvPws3}$T@rw$NhAO~UT(D~qY)&ARb#B+20Ho(-xmE= z`Sj=R)Wv0|08Ie-BLpJ}Ys#w;3xy9|4f=H{>U}vD!J^CYNw_}ruG^U>9Jm}a}OLKLemlhg~gfY1V5$t@F6a#7m zs11UjVKg$C+$v`{l8pn$MyNEpBPaf+0~z7s3Z3oUlW0q}crRxH8ojC0I#5G>HDR~A zE#dRq9YSEyQwVCFvbYBjE?jPYOb#|{S4`?rA((E8g>RbmBDg3g3PJf)I*a9=7QaOP-g$URpwFHi-ay|UzQ7Jk zNF7rvuQXm+3$pT$zDH2xPwNjX&wZ%?sAa+&tNzb9d|P;UGWloq>_IZ;&^{>*)Ej>& zP`nxXdj%V>ya+d!-Z8rhi3YVs$O~6R0@V?%O(x}Uf|O9wc1!F6x3w=rcmaTC_E?(W zDEZ$HTcJ7y?j1({?HXQqo1a1qII!sIb%q_0n%Z>55Az)W(P_SHEAWOz%XS`@rYMN+=!A zKycWK+r>ONLFbByWnkyd%I_kn`1go%y+IaU3cC9&n~Z+GfuGH?(6A))wk%7L zkBG{+j06tn`vC0dH|+VyUf-esZE9~TTlq4xg@R4f(O2-*d)RhW#Rw4*4ztI8 zyiAN2%95?}tV`Xlvvu{%S&3>&;Z=G3(=EFGW83^-Nq^V)4D6NsT%daX2$cG*Z&9L2 zAj}N&>F)I=FexKcqkkQtetDI{t1 zrO2^keHIoV{Ry#B6DAmWYONxK>0UP4;qc5f#d7YV$CIKZ4}9S zfky%4kEFd|gbWpr?zOzH>$L6W2^XO-_Cst+@tC&AT9>i=;6wZb`NiCm0G=gg3*~-q z?3p;7$?o=SfBt?4d5U!9nxOGQj0hX;I9YR&$btOFFfetp2>3q7{u$Ce@!Da}{V>@{2v@HE}s7;=B>#30$HJsSC8P1BitzFVE9 zT-4M-nK>ejZdTgZ&vCE!&9HGLlP|{M!q> zyEjqOchIg<5>TR!srpH#V1bph)wN(CZYVU6CxyG?DpAufkn_hu^v2#ffbLdN8h(at z0Xy@crTixvL*Wi1VYQ!~+INF+mNC?FGrWCms-IXD`;KXLP!S*&KQnyB*oQjO`HJCT zThD@eQ9JJd9!uu|ZlVrB;cl@irwmIL-AqTEwg=e*7~p%h*CvlmRt=;e{y?VbOW2az zr|d`2YPn^8m2d|s*=Cg~t}aQP)0gj4q`WJ2QP#DqR#Oz|!O}L&su`olb4$>-V>=&r z+;82x)_zmzzuSrNV*klomj@`B5iN^)N)~=^pBKm56g}OvS~=eNU}5DcL*HF(@DX?6CA| z6lI*&rO-H3vakRYXE97VJ;7J{j@yONB5V>I9KUl*pI>ZT_~4!E>J3OQmC>qLO%oW2 zc{aMTo4$A{?Q~J|yVhf{6)83Qay;FzN(u7abb#)2$z1V4oi1yPmjUI-4UDbz&4OkY z<5(qLhYgqcxmMwQm3Webn0b=m;ja)xM`s+AVJI~Rg87A72${1x&=qmKjqqZ7jOCF( z=IO;1&AC=_Q{+EuS2;7dO@%Bw%Pi%k6J(Iuoh>^?RX{uE4(OF4EHei}b6z2VII^^D z0O+L#AH~yn(_G?_*?KBXfOQCq_%5w3L%3A+NSbnR&Akt9O;${Y$Q4{r_$$7u& z$HG)*(;~Ftx_Ys5+>J1~^f+FABouqt0mpN{kOrf^RTu5DtKQ$EG+WTdhSk-Iy&{<% z?!%3v*D9-w?(+K-dQLTB_uenG@~Mc61_VbbbvAPYSe-K0gXb|c?P(t9q)uS0?yS{$ z>{F%o_`Qigbow20EaImn9Wp~Tl<&Fi6Y(<#q?1}k2Jz3oCm0m^1e)I1cD8|O( zUWAJBrG*q&B2o0gx1P$D(rY9&VW7oWDeuU@$lIoyFF!JiyJqwRD@`k`F(8(9PDW_v z6?OK6q+0s!glI)x;y-N4vHarr0sIEba91~QzVfhhfG0%H}a zi?7!JVh=nveCC8E)21`;P~9@9Wj$&vrhl5;yHM+)5K3yPhpuAI>=_DQ;2mGqd? z*8-oxN`W5sa0jh}Eq;dFY|~=lcP^!jPShtVn5^zCFOYtRg-=|wc_q9XAQqBs_<~c+ zgTk->+EZ#Ej8M>`#wa=M8}%q2TJd(_UoT~koER<-$y9dd$I}y!7HxUWgD4S-%*ZSd zGx_|3YiU&wb?$T7t{5!?A;&n!a;8`QGtrYOQtgdArK5LXoJ`{ML5zb|MNa#y-tDIK z1X}VV!h+0Tmhcff77Za5I0n=47^%L(gK}?XA0O4$_`3F=ur6W#P}FEQyLJv_*@~4U z-5htMoW@5Qm*0zbZL3>kEt9#;0QmM&aVoj(2h6;yre&RAe3Vb`{?%0FJ!9h@n#_@h zD*lW|R^?2&1`V*EdVD{?p-$ERG?J*+lmqXn`DvJqzmphvAwJ6iq$FV{E&8(fuRcWU zMtOAwo45~bCP}zBsPZaOriloY#$2yXQwYd5K^XIizj!X&IvIm3@vjTGb~kj+mN)LJ zDNVS|J92Xi))!$pupU#C{<)1sbx@4&kSN6VN54gZ$Fsj8pd89*r}x2&DVjdcw~4}N zPY2RP1(6Qn<+5}GThUm5RNV6QZFisbWst_IBbpuxNlsFBHAxRPgBC3MrbBd2)KTTB z;~#R~-ShE2#D6gzKL_x6#{Q|^R^qEq()%-bSA^g|=MgeVM19RIcdpZR;*;2{mHos^ z?r}402x}#IW!Wdl@M_M8*m8f`Hd)(MlfS)J_ci(Oz*YJSQ2m^Gl&S4Ob#5F47Y;3j zprS0^f+^a4R6lvD;OTn$XWMr~-=mN$Bj_1lg)SjI&4|ib*cw~&a7`|eY ze2^EYeDN!tZkczziEjo`0E#`POT_`&x4$S6N8ZlhT*KABeXiyd7!X`h|#8=Blm| zGd%XC#Mxo)AEYe#R7%MyM$a#{{r)}hHB8EBrzCB_>NER>$ryxjCUwsV3|7JNY^=&4 zQ5H`WKKoGd=*;NN$E05*qf&GiIz)5NHrZZIbau2XWqIX;i>;s8VyD9HDvw6ydL7E` zJ)aa%lP*XnVBPSSh464TuU_uY!KkDrlnXdHQ>5+-@oq_?+`ZH$?E>;nU=31yqp#v$ z522#R{nOg2u?7ztdJY|m-@O%)uwj#3u1{hD=p{T40soQ(EuFt*RW)k9N@jjP(>p4b zn4p^B@6eQ>qPHv%o}H;t6F-W1xnb;ict2GG-fFS>z((ZV4-L+y?0G~Acp+8Ipd`J* zYgiL(x5D!wjHxurS4^cLurB%2`jV{V7fFxKF8P(p_8?KL$7?O7-ox*Qg*^p7iKF8* zL}1i-ZS8w&*ku}H%j&vtc_wkeIo?>}v}J(C;3-97k`Xlh5K*b>{mUyUlm(P3m+l21 zT&A@{`FDC&@E?bfx=%3m2h5-94;AvXEr#fqO?+sB88e|`}_Ev_NwS$Gc`t+eVamG~*NSq@b|VM%&t^q}8k ztwy&ET$peFsA}A?*qttILbPMF7*A@!N#JKt@100wki8(OG3<^l=lo;{#FJlD7pl4N z+AU;Evzv36Ns<767|2DOMfYodDNp*%!#I0;yh!A^qd~eLUaV!C&BMcM%mN2U0jXug z%kzd_5%R3%EcO32;rap-lFZ5)vuDrnAI)^@P}uCZS;ROUzr746Pg=%;F86OZ-8Ok6 zE~y`8Ai?Hf=!xv}_bf|7~edv-kQEfBzhgfeTPeQ!9$6?;!!PpeX1makJ|qV-2kc{c^vgR3Zv^z^22 zv4)@q6=@W~O>Z2AP(vX@2p{qMKyHje@)(k6^2o*XTqCPEJz>YeRz7Vx@hk~0wj-hXte#sjMf+w!Agn>R^U9aduT@MY#y?&qP<{(CyHAHK`j)?x!>!cxU zJKh#optaoIjHV?OfWtf9^=%t~TxKtS!;d;o-IXc?n^%IuVyJ+#)=Ltsa^e_0r4S6t z65KbMSUAx=uqMO3sfJH;k{kUEPq0?&gP&fi(@&rT#$_h-&yo)ij+0lTAhLD*sl?%M zsSB)SH(Lmp28|Ni3987#Hts4&xeDG@pJ$*t3h)-!92t4*2HD=@GUgo)mR4C+0}RZm z*c_ByEdI097I4laDIybdo5wRQI7UA;f&~8(yU>LXfLGen@VYKzgV~~=KXZAzlxSxe zj%H&`U8~`r4z~N4JZ%5zu_5ITqKr4@C8d|H^l?lv#KPGKzz>C_^%q zYgy%f(LUnDdJ5bUwcn_(tw-fTMc&~S0eAVmaGIJW$YTYdosJ#8es{e$03nqIYvrle zxz?Oxj9j|WPP_f9R8WZU6KEn zd3hNAz6_w35NfmAO0reI9;-JP)4M!KV!!i*NCMCAh1XU0+Xg!q)`>BAdJdKjCyZT;^U2d z_Wby203T80qXZGM`!!-K=Q^X_MRxFo4ozPx9i}+zm(ox1wAE3wy{=uNNA;bn)aDWs23r8k7o;qw~A+{E83*l zQgji184|LKde1Q2H0i-%@Un>R+>_Hzn(pV)*}!A^0xR?xG5vBVoo{nwIEizPAlc9H zKVI<-Mz)>ucIoQMbJVa*O%}99Bz*qpc$TEE3n0=onFyh{Vr&fBTM6y7r+ zZRCW5a%BDc9ReDH&~Q8S1_#t6oMw0*)~vK#cB78Ufakg1<4)bPHyM$~!UvpY!C-p0 z3x9Vo^jT&TLt@pBEK?oCin7!T2}GNbY{=j7V@{y^NroYe2?0@BHLO(xgJfAOF70^G zI1C30)3C^{s?{=u$I|Wzks&fh<<@LLF*1_9);BZ6T4vm3pz+>uG(?a3?Sw8=9Kg$! zCr-*ginkB3^b!*CFBxvsfe-M$e`XFqzI}Z^_xAQD5g6kPe(6Y$4PCeEiVd4+H}Hss z{PTM5wj8zl^(+`ObPQ=f7M&~MNrDZbfnrRl*;E|r;SO(1CAQ2S0`?RH&y?iW>xIku zn$;Y`G-4~9RfIt6HGao@Oiw90@5xzIMbyEZUnz+XqnrII^bE+j!HxV_g=!*)yTb5J3Z$0Wv&=UHgI{8Qvti;kPF!4iEK5i~ zA=Rl{9=sQf-`e?cK19HKZwHQV0#dN7N4&6Ms#s}20&=Z|ifwh$^QU@wBvr!3pL z?>ENqr!&RB{uyk#jK9V!8@-n`=oEBJQe}vv_9l^{LP=p?u0hn(S;ReI6 z8{}z-rH7qo10!Xy%#g{jbjFl8InbTpA&WB|vUwZGy9n@BRI57VKfbf>`(Y>bWN8(K zUz-!M5g;(L0?$DZCVl5@OS~;212ci=$iLLg$CG-t zKTK>T-U(#Phh}Xfn@m3c0^cijC=@ z&8E#``WbElEgh)tuZ2*`{tVgZoU`h3toE-U1&;PO05VkC3uY`?F@mU?G*&O7I6GX`u5P|W zNF2yq6tfwbZ6@Hp)|)~ZDX;W%DB;A!!5-n1>-CEQu^qmUt1yJ2@-n$+v{fH0)7)G8 z=N$bSh%p0ixoFlMLQhdpuf(YuFz=x_-=q7fq3&%xOzPaX7qpKd^XS!|cor~FQAmBZ zdBk^DH$?Z>3_*hNkD{l08f*%F3tvkv`4#}bNPDSOja%qG(8ZoQ?kb!^j1U$VHqNil1)^y}V&$j_^%%BpNV{ z42$50CI6m$?5kkX$(Ic!S?aXK!xRG8!y-ZY^@0|^>&7X!u^he}m;Hw1dGh9=GJjp{ zF~lt&qBtukrM(+ejJihO{gxeQQGhgNQTY(FIBk{H_42R2e61aGZ5HgqlWs3)m3~ua zzleFP28($8G+MV96Yc4|pNF_179W_Sy%!2-swWM6Xv{UTD&#*wjdc2=EzcC^=N!d26(v(L{gu-7BhGp5;fG61JW+umk! z$*=$oxu&K{k+fbJST>j0G65KDvhezfxAaqMvyF*Fe8B2?#c6y8O1gXB2Lx*)H5u2*~=xpD2|rWo-$_|iBv z2=hYM<0TKiNp)Yp4;Xq+j{^e`+_|w(e?6l(EmBL7w4y#x_-gDhr90O07;nGyD>n+4 z2)BUu1H-SCeD#&BiY4<#JC<|sQ{leRWH>m}6q;)t3t8|qTU1OA&>&bhr+Bs(OdA6$eEwENuS|eN>41uv& zZiw>wURhtc-Zhk+mgKPl8=IN2wFg#GVJ z3><>GH0s-J+ncGOj=(p>oYAA(P+w{T2t2}oxSki+>!t)sp>aoNH}>OcR(!c|P7RCH z2~IDHDT(3v#LBG$Lin!g1NQy8k@9zv?seJ2tU0*o?Vq<2{y;J?dUadFQ0O7;eD$<> z!MA21v2+NYZ8BCCEda&^Ab*5hxRY@s5F; zEoKD;F`C))9a!8i{bdV;LFBeankaN7kuzv70F+bR4AQ_Ejc=*!%gtP=hL7caUmxKC zY&bb00RN5Q0m-`MH4?mqa%)u7i%c+Zmh#q=DVcJv=Q_^ZeTjTxHjFlKDzuW4+_ zWZ^NUrb;#RoVl#RY(%b2(!fReuEL83>xDWYAal6^;2}|#7T$0l^YZZ87~UDNqUFj3 z$&%Yvdvwdez#NizB(%W{h$E8|y(p1YM`%*yQ>GNZ$^7BHuaDRAplZ1cd>bis?Apbr zH7;R$Q}03>84*ngdIuwpUJqJYY!r#SVxn~>d*r^Jq`Ij#UuTTYdmA;P{6byjYQ)AD z*Bv?F6d`pEl6>_76?vQ@LO-8(GuXJ&&3N8upg%(eN6R)(Pb-TwJLGFGiw; zTc>fW1!CoouvlNUkgDu1q`FI6*`58#l)FWBF-EGQit6qRNR!&I(!J?7D`bt-C^Y8w z<;WAdks@C|mMg@{DHCeQSTwOPNkZR{%eRPts)+rC3MmRVG3R8d8~yXeGbVNM(^d~< z8?D(VV&!g1O^ouRP2w61>J50APSj2s<*9bj;|SIEmUg6sS8-Rhq8y*K401af1C|#7 zG3}26Blb=2Ndh}^#XnW_U%R;qq{UH~{7CY5o8?3Iov)(25JlNIEecLHyTv8j z=)C}!AvTDqmbkW0wip}FJS&_p^M|ydbX^jXUR8xxw-B3-?Z*t&HcG?IaxD&nYpYOEaE^T z8k`ypQ*clYpyTj3LK|EhY#dxIY%N@FY=U5z+Xpw+O%TbANTqr$@NH!RB$@gjexRim zgTVEbSvVy)S;W}cI3>7*StZz*n8ldHxjDtfIJv}xMVMKb1c>*^e+xmSvkH}-XBji^D1d@ndc``GZj08CpyPx>m zPbp!%kZDAM_%H<1d^G3yaE8C%I;)xh7J+&^dl95F%pFYhJgm#>hi~|mMgHD+3cUh( zq#Zv#6v3~s1B9`IjHpB*CH|9pz1Zu)PH6#eOt6s2!-BbQ@u6wvK-}0>w20sgrj(bKA#pvnIJhUOwKTDr=#Dvun&v zVF-?Ge%}DO<)FCQAH22jKD9{DjxdtfIHxqCtX*T2KkAP_T%U@hq7q>-2sk(_ET*Qz z!|@5kq@tJ=F<%dx?#bSLm59knSNg?j{#oA1N-rNnm48MD7;AXcBpEwL%hkI*lQsCU z?<-^;&H?ChR#YRhUa61-7+M>IcpT&(QF5(N`-c)2sj$T0gmCQK>~Q4d;tCRQ{{vfs Bn|c5M diff --git a/presentation/presentation.tex b/presentation/presentation.tex index 0ba7ca2..697864c 100644 --- a/presentation/presentation.tex +++ b/presentation/presentation.tex @@ -61,7 +61,7 @@ showtabs=false } -\title{Heyawake en Prolog} +\title{Résolveur d'Heyawake en Prolog} \subtitle{Projet de fin de semestre} \author{Kévin Martins Da Veiga et Anri Kennel} \institute{Paris 8 - Programmation Déclarative et Bases de Données}