From 9904db4b89f8ca820ac15378809c74650a1de6d7 Mon Sep 17 00:00:00 2001 From: Thibault Martin Date: Thu, 7 Nov 2019 16:37:31 +0100 Subject: [PATCH] update inria logo --- assets/img/author/inria.jpg | Bin 10431 -> 0 bytes assets/img/author/inria.png | Bin 0 -> 8118 bytes html/authors.html | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 assets/img/author/inria.jpg create mode 100644 assets/img/author/inria.png diff --git a/assets/img/author/inria.jpg b/assets/img/author/inria.jpg deleted file mode 100644 index e000305f0f7e3d00a4312df654a2813b5d2a5885..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 10431 zcmbVx2UwHK)9;%ELhro?kluTj-jOD~2M7>aLI~ADN1BQVNUx$&1Ochi1Ox;`svsy* zq<0lT6uCkF$8+v|zVqFCza`n{_s%;rJ3BKwyBp4C&K3bi?NFo#0O;!r0))Wd?Q9#M z(h73(2?Ia?9*(RG0B4I3AulWzttckuA1DfUN4X+I-B5mFp>VXAgs8X}psX5-hP(M7 zurODIC(>VqYwuYn7YymH!euRUN&FI86XAu_3&$WXhZ|eCh5NWExO1sqgeiwAhWerX z5Lh@Y)X&#HP%%`6>z8sx96l$DalwAEV0~1$)XztS*<3P(X`(O)n2e~Dh?}^C1WZ;| zR6<%tR#rk7CMhlVcb0w&9!v?GZyYih3h|)3JD1j z4UrN>VLZho6ciNBbx2Bz;5bAA!~C)EP!az??!Po>Ap+enNHi9S@`s&kgu9}Guqs?Q zOMg$n5B*2&f9b1#FkZU!-?RGpojc%{+CZ#1;%|HZOT~c}VQ7SyIU*1hgmFXQ*tySz z(TbWF1RRUPSfEh8e|gc=3x!1mdZExT&C9Yderu$^J1Qhl;1~a;ON#pbfmpb|8$w@8 zg$t)a6p3_K)RvJ@msOCHlarB@laSDslb6)c(bSQV(@>Yy($bdJ`b$;|;AW_{J+Ycr-C0EH?kH2gA7Kv>tIlRuwPSFME<)iGXJXYKeF!sZj0={%8KEP5jzj; zKLY(1370+R@K4&}9{wag!XKCI7+hMPEs@&jYic^1nw#k88)*X|5CD+s86o{qU`hb+ z^T%S$bv0l%wstUr5daJj0Z>2!0N`$c=u4M%EY8=VzP2VT5XbcQnmk8e-{2M`u1$#O znZjV_=>MZpxuG#w005cdWTf12DU8FhIP4pOMW566ahTTC=NyC27d)BX-TnOCaXjZXquu@7&v7pfCjf@9oqwZab#_YVVr-*Y~f0;tb@3&S~CRzg8mRzy-1=l(zK zzkT_K>%Rx*vHi{Q+3Z)$K=i|Z)BcwIn}#X@0Qp0lZ&LrJxn=`EQyc&=&i+liPy_%J zu>jEc`XBS5KhKwcR5B#OP4wKMf7<_*;ScA(gMW-CdOqGC-@&vH9`GPvEbQE=ZYW<| z^??QAHUk7qHlvL{vV3{ z!-jMCJFjto=KfEB)>#ywd`$~Lc7_2w8WI5FP=I>_`V%)JA}ip00ENJPpd6?M>VPJo4R{Xp0YktjFa^v3 z3&0An1?&S~f$ty?hyX+eq5(01I6yogA&?|U9&{0;4Kf0mgKR-AAWx7#CFe#W8%m(HKi-G0A>R>~#1=tbn2@U{< zgJZ$Bz**oDa22=_{2V+4o&qm`x4?%G073$xhj2nfAo37RhzZ0F;sL=xu0xU_nUE4l zHKY~N51D{0K(-;@@Su1!crZK>JS99mJWD(`ya2rGcqw=}c#rTJ@p|zl@D}m*@qXfy z;j`ik;Va_ns4dhRdIg#S&4<=N zyP#vxW#}OR0Ra<%5P=GT2?3k{OAt?xO;AP9Nia^ZLU2q-LdZcVNvK0;N9a!&O_)ho zLD)e!PPj(+orsc%he(mggvgyJjOaGeeWF&P*F-Bs--)S+`G{4BEr`8|qlmMJtBGF_ zza#!kLPEktqCjFsf+UF~$s&0|GC;CO@{N?5RFG7Y)PXdJ^cLwu(k{}sq@T&i$au-r z$n40lWVgu5$$H4<$&Sfs$VJKZ$=%5#$aBdX$;ZieDTpX|DAXyOD8eZ+De5U+Q*2Wb zQSwr1Qo<>(Q|3~(P)<`GQqfRJP?=EqQKe8-P`#vDrzW80rPii)r;epArS73#rh(9K z(`eGT(ZtZ)r+GoMLJOtkqt&PNrcI`OOglomPe)BBO=m?HN|#I5PPaf0q35O7r}w45 zO{$*~EegQ>%OVOg+V*ghvKrygezXEEmp=XWkXE=#Uxt{SfQ z+{E1S+#cNN+}+&!7dS3lx^VSE<%L-uA|81jFP?im{X9p!e7x4YH+Y+P*ZCOv^!dX1 zD*4{=lkuza2k@8hPYOT<>Hb3>+E=2TWr79(3NyCHW$&P6UyZd#sJ z-c&wCen0_VK|>)zp-thNqO2lTu}*PMNkqvFe+5@#Ubpds6^(ysU4RH;OMuWzYrlRIG%`Pp7mabNk)`&K> zwxxEC_Ph?4j;Btg&c3dU?iJlGJ$yYwy*ql-`fU1c`sMoj266`140;Vo4KEw!7%mwJ z8exoDFM%%^T)KPdoiUHGzj2cZV4`nw*W|q^pJ{;UGc%}}sadYss=0*uRrCJKG?$$( zS6u#Tpc5TF>45wMRj#5@QD1v&;cV`*`Rso^00ptzvL z;ETbz!N(z1A@!kDq5h%6VS-_aVQb+!;bm9wuDD(4zRGzu>gwV(^=rk~LDyZccSmqX z#73+{>P9|_B98KjdKE1mofiEi#yX}omMu0ib~#Qrt}>oH9uq%(L+M6g0$u_#VI)y1 zF+1^Rl6%r%vUqZ4@{bg^l);-4H?wY@-SW6Ka$ELxK`J!WKlRNW)jN;UsM5mImhWD= z+n5eZPfGui;hga@Q#!No9`U`Pdka}cSC6z>`>m7Mv_+p?>r?019y}xrnWuWb);>(sn`N5_k*`dZ^nc;?4GOrp& zWJelb%e`(MRTym@Qy%LWR~>&op*7JrsXsY1Wjr?_v%$09 z=OW+Xze{>g`95==b-v_-z=xUz*@gB+t;OM`%S&_1Zp&LA13&&)iCraI&0OPHD_@sf zZ`;t>7~QnrT-iczecz7Xq1wsY<==g}r?xk|Z?nI0fH^q(l=7MB^TRLFU%C%X59h!7 zef@rvbj)=8=$rhv{uAqyweKN62!3Rp3Y@n7H2nGQ%sT{OxCRKr8^o!^6YJgW}^uiJ-VI2_Y0pNJ2_XOhQadN=f>w zQIe8VP*RYS($LV-($KK7u&}Ul{AnQE-bY4C#z;xY$V^8?$NcBT|0_7_2B-*e$DVZv zhzbBxfgn_%vtHmG?$`r{oZpH5G(3DT1d2OzfB+o*pD(}=JPG~*Aovg>Ldb6&ATU5B0pV1qHsg|{!Gi~IQ^Lff?ksAU z)2i(k*Nz>yN|`>#Xj0>pfuT6vf6M_bzgsBpnKDf*)k_e9U2mth+cc}`lA_WL0C zX%C0+6!#uiT7E5*KPM}%x%IuOiyt|^L0MZq%pThO`uztbK&#MB;!``2?*d5c439l} zh|pGYAAFSBib(%*(spN04ViL`QvI-}!cn-2Ik~flx?Dd{^lE*3J7ln>zN93-qh);S zQy1gs+G2ml6*iVFf$0*dy=xo=OXw?23`;#}?PF`Z=>(j~v)PLLQYUgD3lB;|Olk&8 zUw2-utf?`wu@Ah?AM_sA9n_N>IHo&0uT4(WrQQ6l#5mUE%p+*&xc)rwIwf$E1lt!D zlDp!-{KceRS>Aa;V$I#48Qpp<`^W%dfhY{S!P6D?LHpeaJKo!|y|6W|m z!O{;k5H3uFxHJRdgMW~It?Y`;x-tJ=5bp7H+rGxJ(zJ&2d-bu)X^MK>Y2~zAC4;kp zVcKTPOsYPCDt$=^hGMztY0zez|902I7L7+!yPo7FJ27{K>t=bgIFs7UgF{r+pt~~< z3fuCWGor!UsNA6ZjAV?{_VI-Tw`h*Tk2wbK@0SJYn001lfxdfNRi*d8pJMrXefgMb zlY33|bD8TIAZbY`uf1^w6lG-z*>7!Hw1iK+g%>-;g$GUx6bH7xFH6fA3$_$gpMF~j zv9EQVDzDLWBG2FKz1>z(uofV=xcAcX`m92s(9@6J?K~w)Ry$7R*Qen!`%UKF2)UpO zV}}-l4SrH@q66aNVuOCR;B>enBt)`m#f3hr2+2pK7mFTpRp^Jh5{)uZ#9@mel@<@!{a@~Ztc z`@}&RW6fwi`&)w&42+yP&n?R7ynZTA73JUGs7&`8i%u>tW7+r>K3oaFg^#4;qFW{n z#Sm9FXrxYhemE}vxo~sico36!h|yd=hA#tw!V;wG#?CWvxqU8AkKQc|W&!y%3&NOtUHkPrvHp51!AI|vz6a>GtlV|; zzQuu`vgy9r?9V5kIhLBYOy?@=r=bwYn-Gz4*hXe$e|0}bU=ePnp6*1X;2Ru2TL2B~@5ZCD4%7gH!f?9Ekh5TkfP@5irlir)8| zml3VBSN#VmPU<+S0up1?u71oFF3=2W7#%RG(;t2*kyUlK zQ{drXclXT3UA|BE2^dD{FgKr^*zUK`47ONvx!M1Cnt0zK`HpmQ1}5B!cjOG<71*jf z8RUO)r|)eTy3aNunRVUaE{)<4ua=RZK5K_sZk>;4$G8yQ$#18C!BAE3=hsz1{Y-aD zqUzF;)3jNX^Jm?55)T zQWb2J$he}_`z0W)-|2$GP7p`xOZd3%DsC%y%tc>V;_I*YsC+xfAs~sM`WuU=0E@&Y zk6iP$didluDNI$W@dE+hh~Je0gd6P)fGjoJkn$rpCaDsaxT5*8Yf29sgf}>>wo%Vq z%VKXl3P<+jUqDFZQC}1`DV+>(>w4z4rC4RX$Z~BybmPQw^~12c(n4T@oYaJgs!@{^ z3Reo4l$ao(j?x6;9iYW6|lC=3| z=CZ)>z^&~evF-~BbnJ~<0x3nWPxYwL{`Z6&CvVt$$q~oG2C2^ ztVBQN*41@+f3Fu!^`&W);Qr`q4(TW}uok^iXBCT2D$6sj4}x|K$PtAmMq0Y!TPX&1 zn@XPi+f-AXuOkna$;x8$0Eeab9Wy+65?r=7)8aG}AxvR@v$TH8o3UnS8i7=a3t1;u zyev(Ah83Q~Z;FN9voNWjB71Y#B=`JX6MoI?gsaP}Re7ez#RNIQ(PcN*>Xbm~sk(x3 zcx&#f;my2-Qko<2#+qXRiDpcJ2idKtAUc*Ke1@lAdk*DxfiJexPkSE=IjZ*R#!Psz z*zvux+>Uc9B5BO2mP{1rwQglzX=5HEr@%Tfkk0QO)seJ)c&IFt-f44kz2N2i(yg4$ z>RK-{-EYQZmGt&m$HujMKl@*_?Z{m=9pv*LCGbZ(QVPk~E4x(cr%vjWY2kT(e?HIX za%CyR%yxrfV#74r?oBiaSBb%6{9VCX2cnyjmW`M>nib(KF|0q53C@pa+D|zL34f@! z7d_Z|Yd}zkK^*1I;?<~wJZKn(067*DFNDWZZ`jpNRSS^*b?A(WrWI|Hk*FzWZ-V%8`QqXKxVW+#Z zowR$T^VoKz;F49=hV!<1*3GbKVgnfh**%XBS4&J#*-sx3yn)d^>BIJ_Pll-@n%g@E zMeQ369a|1)x}RiLU3{YTzENWq3Ku8X?mIHzyQrkVzW!l<*F)l_-BEDTGRRL}^4#&a!Ff zN~%aqk?fVBFAaAbwis&ejfJl`muA%n&VKnR4wQnHsKsy^V{IL#G;3FuNi?nH_;gpV z6UA06zxDD7qFoeh2loaiKs_d z`3$09nG8ooN*gO566=C~wpBM9qNGDZW^?t9OqNc5a>u?0Ar>T?d=g$k`irkvhPmgi z(in6!o&iCu{k}EN#j#1UC#}86`{MKDlm)AAThu9SR~Evh;;I$ep0Ym~broK7{6fRx zho4@5EjN0Yt!y{i8)G?9ydIiJSnpS0^a=0TksQa&X8}k1Ro0vF7xq|`1$QQPA9yg$ z_mCvM`9xpHnnW@0y3ca|Q|II7Mm#sC4{i|F9oM4_`eD!Wm>zR$I+jkfJtKxAr;}RDd5>*l;{96; z423X7mNlZy&3KR6y-$SBfO6wKzG{Kd$F=j1_v6YIN|&GS*F9CIUx`9*X61`($uQ}_ zy#nwortY$n4oMq-EFUq6`y`)Pxf;xB1mRZ{WY@7gOzE;IsC|?3*9;;v_%z^v6O=q=)^+r#ICKHwLan zTvyuB9aMH>c-^HSt=<3vl?M2wy4eeLXUL9dT&zX}*-V!oe82gj4pB==A*{ZQIpBXw zI|lEq#4ztF9eY!F-4mu8oViK*+9(&nJ?$2Eq%@GplgBi6TLAGlxXnhv#28DwbtIbm=NeTMFLxMtb&bh>cYpBjo$^qQFZ604!l z9r_e+V1eC+zqn3c*1LXx<1Idv=l*|mO71-POaE(blL2QT*#$w;Qm8cBo10Kr_e?oVYc!DC95*& zWn61QQbv2GY9l|6*zCQBxFz+KC~jg)4ZfAI{S@W|@biWS4`|=V`J|^bzASm)6_TzX zXV>!M1)Ef4Slp7kfsLJQ^%E_s+VQKtcBrAz5C`f)vpYqzC(i=>F50VZgP7;dG`GAR z*(AI6p9(W-CkK$iOl@p!U&&`^>Gv`X^bU7n35hCvWj(2%kMheK%%P04Z>@ig4nt*a zHQMoeJ_rg|wBKN_hRMe6yrziXV9u2;yGv^>_n2*TFbmoU=7Ls>Zl2_xKw6I9OWnR* z-8~r<-udy>ENzK3L=xQ8KaHtA21Sl2yCyVo*`VTWdRQ?Sh>~vj;465ql?r3&BOFy7 zd>X|ZNNj!ul=8$qfVNMBD$u4_waQTYBabyjYlHA3tY3v4GR=Y5SV!M~iREJK+s_e~ z1!_5Fe!guo){>bMo3{-elMycJpnLQqJr09$t&1@go|&=}ON73Wfuj zped=mPv{eEmlL+o7wl%kV0-*Br3RvrVnYS2ulO(E*<*U7mlvIU@(`!G&RRolj=>r3 z!P6dt!<_-LvBlCwhq)=ti2M5QX6Uh6GV!l6@*CHijRQ!e@%tua;fcD+zSzpg7b&)+ zhSy^@@x@5|4%787MUzI*Yl^{hx%&h#}+RN9lyqewZoCYc6)h65g3b z&yYK!wR2Xl?S4>xi&HC7BDnFZW}I(y=QX3l0 zRgyl~#@`qBb}&&nIqr`sP? zPS?2RSP7OQgEV*sGjvVf*(aRzUb(ujvtrHoO+{bdzr8Hlwtw2jp5&qar zp%+ejD(OzCAERoJhGRcGIRd{Vc!1w8S;t}{vsX72Zn8y~r$=x*G><1yu0~s19Su|b z=VJXk9MKKZiXw&b+~%yz?VSk;tQ;b~=_l_re6_4jPCqEFs1e_mUmoEkh`ZYQ8RB2K zt&)6q;xxhx)k}5+Svky_tq5p8?t0mxyNVLh8Jv0P{ibtfKkC|t(5Fk?Q>RCyn~Tej z(#8uxi_N%OwPwa~ez%Gh|LlH_@_Ry`47skun5`V8ehLAU3QW4Z$+&K$_OXLEQ*B41wuYRx)$Ot?`1{w$yrF{n6ir>~A91T!{LKunvQI^17c7&!nx9m!5)q+| zh>SFi3h9};{{0=LxR@%P5SGHRx0Ix60cb#n2bG4bWV!VU!wJ^gn`v_s`HyX|mY`j}_rK_>x$YDb05 zH=Q&K+h8`x*3SvqT?MTv@oDX6zzlU+Q|_shb_|ET&4I1VdJTqs#!+RZ-|p7w4{M;< zVq-%0keGH|zE}H+3~?>H%=NLZIi9UVUFiFwU|sCa-iCm$L(msa?s)Z+Y)SI)>qS$^ zTUlRs0|UAxjl-`!820MayO6$x7d7J9R+}5oez7@^e{oYQ_y_&YvAm^iX~a8;r#F%% z-l`1dN=%P`=$)k7dN=)alcMv^&mjfIOHMLo1MxBOEiKpy2M5b4pKBGc#NhVRle>}| zr7BIm^9y8O1eFAL&VY_pSf$f;V86pItH02-N|oz$*v1i#qpAn5eA*8`sY>AAFnL(r z-y-?p1AELN3#c;mC`=7oA1>j1ssDD@jZrEw*k};$$IRB0MT5>|D%rM)hiF3%kHyoL zJ;o;9!&_%S&b?U@1*biRTRD?*B05SFTN4Qiehq;uU8;=3ivp#QKQ(0U#PwJ+qp$B% NXmkrU9!H$L{a>uJ)Exi- diff --git a/assets/img/author/inria.png b/assets/img/author/inria.png new file mode 100644 index 0000000000000000000000000000000000000000..bbec4993b89fd379f1bc859c2723c7ff931b7b4d GIT binary patch literal 8118 zcmb`MWl$W!o5pt+SQdioA_0O+a1HLkA$T?r+}(mLVIjCDxJw8U+zGl!a1HJdf;++W zPwqb5r@Id~Ro&Aw)zw`!-Sc~%_w8^Ewb$5~gOl({^O! z>4xeit*8xoy5JD=u%~AXXN9+J002(+zXD8T!=ZS3N#-u6@2=%!>F#ObY60-{^yIK{ zv~x2vakk)aa>Mo0(T*%DySw#To)iNN=Y1qE}&!%Y4LO8qSue27!RZX=lUrytx9Q|T9#D; z6elgkxq5ikvh?i-0Mjj@CYQ8}Q2I>r%e;WCQdv!L;wC_J=;y{89xe+n@Aa9txGIpf zh$svX0u0y;{+bg9;k;ms8Pz&xgPyq<*NY&#FOvW+W7)uIIsjEb$q|N*u!}JK&#&l` z>gVZr(xZrMW_@n(k7dz48^BhhEz-*_4t>He@}Qs;%owE5kD$^j$u`Dz@Hpn-Wo&ND zkh-JrXTD$qX-|J5l+HItiWkcT1{elx1_NSTUA&*;8~v#WYfU|948q$Xi!-y;iI?BN z=jTL32FVBc_at)b5~SgYga9vZ`X`L#^#q44=>0bAL0mOOomq4h>C*c`U~Nq^WLSCq zCP=8JcMwv+OgIy*Z?AW$YcCx(1l3Svhgpi@9DYcuNs{7B)$o7$J&gTm3K@h)#%ufq zcH50S1WbdRp+yYG$uuy`-m7H)qb8*^+`@`=qW`gSJ`;$!HyRQhv2W8&FrBFx4Rdm>+YqDz-&bR%!@4co7O&h&5+pd?CBC@FE^o zJLyYEc&}E74HUeVx%e~}p$Hk5*mthT{+#1MhXTXER`I;*I{z{j1OkkUtK8(Vtjo}SvM*!cdIiM}D%l>D-}EYtn9_vUOov6i%?qXdr(}-_7(zVm4{-7KD4LA`BHiA#h-rO5oislY%W6i%%5NCh@D0hL$F;W2=nW( zTRwel=IeG!tr8Zt#aR7&PK0!W1LTglZiDL0S%1j<%Miw!s_xYCwny-lRXI5x$)-Jb z;X%FWdc#{B)ic^mm+$YZxb?U7G>%XpjZShD&wDcrT1r0{PJ;;V=fAgd7kNjXzXX#0 zu$A=sB{3`R?|f~^B32i_qi1GI5z9>ZYkJ5D0R1*@PbjJNnq#SvRoNu`WBG@n%8nD! zEen8_fdLg$!QOrD&Fh-y$=ek7jKyWpPm5lWK4_BR@-@2Ow$JbrJ=W}hGTb!GyL3fR zZnR*p;*lo5?ts@z*gvu@xP-S&a57>-X^v=)w1!ej=Z@#`6VD%qH1+ecBa^VGNc2XU z_gQmKZmFOhl0u9a4oowgUtoOJVvxLNwdC9@q>u%5OBVX^QJv>74W#_xJ3tTpk4ckG z!v`@lt&rf|yjJ}5?RS3Sw`5N|0*`O;n) zt6U~8uvL?!%mR;@uukz;ft6&dtccD54eA(XC;j=E@$iS-86ye0Z`0ILDY+9N;Z7{& zVLLj_#L`#_t!b0Cfo*mecj%b{-CnuO_StNNDAEu?ABPKG*d~R#@sb-T>CK|s4|={A zLGM~m^Xo5G;T23XSTauPg%0E+jcXgxB{f7zc&1DV=iwl5ly&*_%QFJlqH)?ZDMnc< zd{|s%SHm>Qls1y6A<$Y?t>!w=F*R-XLX z)nEvrA*O~Cx6q`k+RwczXhiWZ)ELGTX(%yPCC~2sED>8b_{|y8*2?EAW10V$0`^;Q zCxAZT2GckhYxyHuiY2)7oYU$!tMb$G9m%SJr7(5S$@XR}C;nr%5xy^5yq~A;Kj;$_ zt^+95HMF3$o|p~SMy5k7mr`HSTSF`2kaJahFL96r*RXD61W)a&q$T$-6a zU_&hwIs7K5tJMn}2ZCPrUiWmoA>|o&w|E+i-+|S#^pu_nFF%PfhStq ziC>QT+kxVOcoBZ_xwqkt=Il=*D}xCfbp^$M_VZZ2^|!MnuP z_%T|k6&tJ%@ndO7_xXB^vVuupp3g3%NQTraYwo`I2SbE)<*~lyxkS!EEMky~)fl0v z$}_c&iNo-18C?19S7hqeO;=S3Z{pa0JDyj9d?+&jgSd^$F4Nbkf4#^V$KXP92ezvN z17BjSQ#}}gX%%tqS~=C_v=k@yY(CZ<%!tRRKNzaqM$BH#cWdIt>vJx;19^U;3ymxgbj{E|I6 zXXj7!Y^W!?^mzsFU{DjB+K#r)vpJM~AQ?qEVPm9an~B{yvHi)7X_m{KDG&gl2)y=v zW#5A4iLo*Kq*w20P}GG!|LQcJ)bMxbj+swnH*UdLr7qZMXAqUfZW?ABRQnm$>LS^YYyA$ z_Q&>(18xu{L#gYz@(}aX{yXbFYt2Y-nGKf8g!S*rfWH^|%g{k{%BAoGZ!3gLW~8#j z-#@9O<(y;&P;S?3z`8rB137Sru2Vu%A0wEM%nPY%&<(F>KV67+EML-fH|XFl^`aV^ z3Qd3k?t&?;lKgGD$OSLW5P4E7_l^YQ2-aTfR#~R^IqQhbdcifv@NT7EYZ32m0^b@( ziOe#JJ+>I#lNG>p##nB&N}~w!T%G=%Ygbf1N8$2^bsEt*{Z2Zbl*wtTj3Wz4J6JXb zE@|=twH0efmaKAF&Ad@${QW$?P>eTugHY(_&$n1{XFL1KjA`*AVOeAsM@_2FA8Qz` zGdEmqub(wDB>hTjQ5b8GVEc%+DrE@wuCnPKol3QNnr5%x2Q=hJFx4=i@tE6ul?bGp zFMSW_8=g?&M`}$N8dI>aV-Xai4Z&*CB9O70o2$ufKR;-lio?+nv%@yJfJ!+6*oFDa zVsF=BBblQ*H;cX1Twb8ab)roKYS}v3_Re|fr!HC2^a5U#D2j16kbxuDinu7HuiHYv z-nNh(7TX=IxA`PUZmaMVR%g=b*p=yZr)n=D(1&_sh`;MEw{a*TRA&}~9rJ~kI;xn1 z!$}}T4Le`skO{WgiXN5S*jPJGBVJWR+v;IB&aeBujsp=_)X;}bg*H2m{@Fqb?s$v$c zZHlv%aqYdk-o)uY_LLs;AgF&pjyAO|;d)V0<%F@E04|?&&N}>UO#h+>vdr6m6kK;E z3B-4I@umnEeTlhnv~vc8O9*(UM=GxyXBZMi_Y% z*3|`*O{ho=^0o7M$J793Iz`n0s<9uW++x~9u*6vd$cWjceytSmhdvEHa2L>fq8F(vC7}jy}AMY z2F@=ZNs;=b$s(v3Tev@$$97Pz9&lGCoIe|f?fCdNJ~%9i3u~*ACz3AJ?yzuW7mk-E zB4=)8F4l$pbYeLdlPSNwQHxx`4LZy%jFCrxO07M$>#7w_t^8 zgxG71F^p06@apBtB>U%beVSz4>(224{CD$eM!_4azqPI4#3s7}sW0SZweE9$%4W!i zgL=B%e@GZe7!~5?__ZXSU?MvD%NdR-{b$v#&(5$3KTwpnIrszzgp&`GC+6|WYtO^1 z`sANJ`dU$Y*U$D6Lj#sJsY2Xb&U+?)+Dv|>QX-DQ3p*>-R1cOaAJER@tvzUId((r1 z;Ow5#Sdh1bJ9JpfFH(^4Is6bOKqS_1nzxuGARd}9CJ_jfroirg?WWM< zW_z`t|FK*0G*zv$GjF_#0#E51sj*@4W!%NgsTg0H4n;Q;nAM?7Z|R@%k4>JDLvF44 z(#7(sO;Xh)q>W(IHwt6E^oXyE??;imbgTz*J7=jX`IDX^DMxZ?x3KWzJd;g>t<9X| zwCYYR-bB+syX_+MY>AN%yh5&UvcsZj zYlzVZBhZ?f{+*G&dy$*Qvr^nGN{Ymbww%IA?*&WyNZ^8_whIb=&`_3-mtyv%7f-1B z$Lnuxu`}{qYAZzxK?vs7Sk;Km%cyewRaX(7Xu#uuvz|&v08FRES3!29cyzsdDRH(S8s;|?LOvG zjMd+=Vt7S#G{@&Xlh^I3wM}!u%VN$*2I$3u0M1S>%mT`Vu{cxf&n|=48RxW~5oOl( zy1w&mrA3kFvtB~m6v?>^Eu9bIWx=bjYbcacE<*=q6iI5908qr^4}Q?Wbl zS}9YEI?o^8G>PGTe^mW`f1ZDjHGZuy$)Vh9I^k?kaWD^kdDbAs4&!` zzzfje9TCnT+T=c&`zfr9)r8Mp^DueSSn+PdS`W9K0yJ7j^5rVlXhh#|hz9kMRYSyZ=ZLNiX{HcIho;Ol#I*rshY@$gY;SMW?WeVH<(!>IPndv#dcRp|gbk0x{b0 zO9@lYCc}j~$KPRw^Ya3nfMx~jRopwuW_iJ)G|fGGO)qjuDuf##KXH=QVj7zq<3Rl( zF7q_!;wHxvyojwTnyn=Lj`~bhV|AuSzxM zZ&Tl&*8NB0@H35g2wA9HfQ%F?=bOd`P8SS(_Au1e3h&dQXTqH3Gl`m-PlAZpqvqh2 zD0&ALN&PPK4D%Fg{RNmq^{;Lnc;Z#lUir}Ua1Bt9B5%jeqCQhm`Aj$Nbzs{9pbhsx zeF9aRHjfoVWE>gY`CsXj{692u9A|^Qj5xz!)1s5j3QnAy)}&Vts=Rl^~XfH2sgwT z>Eh_+PsMJM-r_tJWC#u@%6*WITK6zRAxJ-pWZk76x6%3+1hf?I5F=tH4soyYtrd0$ zwKS^^$4qXaA#U{eF+gV`q%Y&I85|u&xVf(zfg7MkeHF z(`$Yc@9*24hcIZ$YpA;-O}?O4^GEoD^~S2Apdl9-DVTN70QXM??hRvY_lZIBlu>G3 zl0AIIo_uI~rpImjVllW3-t_EBB7(ocp)Psp$6|P|RfivY18Ibz?xli#bpr>=B#J`o z;aq_iMeX+u`M|dOcfapgfw$j&y&WeM)MU$D80Yibvx%7-H-c5aR|?+uy<_{ z_wYkU5q1G#r1+dh38{mrZ5G6{sc+Fmz**PjN9)Kz>(_Poddjuq@De=$VEU0^?l9_t zXQ4qPqFk|hp)1-6{c}m7o$OPNQ);*!{cqxqyMnCew~4l{r{#ZC@ScyMDd@L9cCnVj z2pbkxFo{5%59!N*r@6m|bkxaO8|Qo`;)hCpqP3;@r1~MMEJS%$BdLSPxDyg`N`Xn2 zx@~;MH!gFwt_@Ok$wL_Et!w1h-s;y0g0V*~Rb$IH(^>8<$e*Y6X%t=!Qi!X3bD7G2 z<6T?4^IngX_ue(TV(iyJGLVk^ERz6j1$%Xs>QMW&EYr12app7I1Jlgk)r%uv9hD{J z2I1?ulg~@9%<~_-#txQyZ!o6EHieAj%G}uyfmqRKts9$M*}DWQ<~i5gT#Nfl2mJ*8 z!OKZ?IL{TaRuzqf<=-p_0jL-cqfNNcjM*VZfGf(?(ePo;w?Fl6qeBz~1{gd3SH=A=*yP&mW9pk2qhGooza$)9mS^qw@YpftC zRaMeJ1D&?Ai_qqe1O`t#**>k2SqaX7?5{s9wct^MXixg(QagwQ6E5XHN4YD^YI8(y zy=J%1812^M`m3+uGm3$_Y)csrgh`aITI;&oC{tSDG1~w^rtgumj)Z$#Vty`Njdx;+ zX3M?Z6NZayuW0qUa3p;R25m$Lx_jN#OaT_R(bX}K!IY|~u%uUi;J+@u29ElEbyc%E z&VWDD!Ah{%m!JYe|5w zX!Ja3Uh=`jNWYy9%#jiHG&bSPK1ZI8JaTGkR-&i(n9GcNCo_6$_Tc6L90}uuPsiLq0TdZ2=+gTVzl0t`-A~TEL~t6> zwcj^&Av=`m_IHe_3S5Dz=t6v=@?$Blcrguj&ZajD{*dGZ%OP5MumI zwy4J}wT#bdxe*d|Lc0ay$`s`DY*CFI0V7CX@H(B`qDoFHfij;#1~;ZqH~ifjp$lWa z?N&4z!Ddq^QiP^d@s1Q1eOr>gC${>-ON-`VK&Np+O^33p0y~-YR#d?aHbw1b7=!HmG5Ey{dfTl9wC~dYXCb07zU)j{i zayLu%44b$4`qhT(KuzQw%pg_Ix9>-Ecy;2WIGv2)lDFt2^}IGUHY|OuI*%RL%e~e} zJw43yh(>>`7vbzelQ5g5TedCJwM0b@a=z1T_NeIs9+M#$j9Qfk@(Qf zba4lF;V-XW9tqon2xLy!%oPp#NDS#E0ZFQ+CNuvW5;la_2aFplK;S41HV@rBD!7`-6A#icW^R%vDqjBS>IME>M?$(cZw*iGlmR z+`8iC$DD9kv&HsUJI?&%*|SCpU-vy_#vx3s`o|`ZJZ|w(Z8b)kPNa-{`c`<>fNgxP zWety-oILKv=4E1sV9fUKJ2a3s5uEVT`_~twA>4@3@MHg>s}!u4tgH=smcMDXG7SeL zQZ6uwBXjiPIN$OSmma5(*X})|Bh_)*x%-yJbL4L7Bi{dF zy|9sXW74!ydN%=DR^i*1PVY(pE!KGLvxY1w3S-S8l7r)acMsLWuPpuL_RIK8cXV&P zQ#=81(z7hA-vAPB>yK(NuSQkJ`&DiW^10$O{xiU5BieS_WP#l@-$r zeR`kU;J)jU}zZGOApeiVA#SD6cCVehe{sM$J|2AzB zaV$`;X8R8C9%Jklbv-&yV+p*ze$ zCHA6*WfaJTk#iqVmPBO_Shs^-B}hKXFJAW@0Q)lQ^n$O{0ZagQNIlhWYqZJ`NTLR% zCb+#MU8PCu$v7G_aejP(q6J7p9E{pIplF~SD>1_Dt54RB#rD{Kd7rBfML7M4Gs%!$ z?W&yWd}9wZ{&dU_Ede}W+QWe#Is*nm>WVK|z6@?RBIiH-ZT%$riXo=sD^>_;IBjyY ztTj!Ka4dTEw;P}pvIu)K7K~^#sRs`nq_t5Q=?l7abIi8<92kzqwoUW;pr7MUN? zx<|FM7KlImH(Hi~nSz>IOy-X(A85v5)QqmB4l{_^RJ9iS+uCR;9T9QYpyIyU_P literal 0 HcmV?d00001 diff --git a/html/authors.html b/html/authors.html index 3dca5f61..bc4cab2f 100755 --- a/html/authors.html +++ b/html/authors.html @@ -36,7 +36,7 @@ title: Authors - Frama-C
- +

INRIA Saclay - ILe - De - France Toccata team, common with LRI-CNRS and -- GitLab