Please use my new URL: https://blanqui.gitlabpages.inria.fr/