Assia Mahboubi, « Démonstrations assistées par ordinateur » (07/02/2019)

https://codesource.hypotheses.org/402