https://123dok.net/document/q5wojk3q-deux-d-emonstrations-par-dichotomie.html