This page was moved to
https://vincentlepetit.github.io/
.