This talk will be given on July 18, 2022 on FPSAC 2022.

copy of transparencies (without animations)

this file contains animations in JavaScript, but not handwritten notes (for best experience please use Acrobat Reader)

further reading, homeworks

video of a preliminary version of this talk