This page has moved to https://rvier.fr/posts/index.html.