Six-vertex, Loop and Tiling Models by Paul Zinn-Justin