This presentation has moved to https://riccardobrasca.github.io/Presentations/patavina/.