Old Stuff
REDIRECTED
You probably landed on this page after being redirected from my old web page at INRIA.
I moved out from INRIA, but no worries, the same content is available here (and even more), but with a slightly different organization and presentation. Enjoy!