Source: https://pablo.rauzy.name/teaching/2016-2020/hdli/seance-0.pdf