From 01 Sept 17 I got a researcher position at INRIA, Paris, so my page has been moved. If you are not redirected automatically, follow this link