Huit ponts

https://caramel.hypotheses.org/66782