https://123dok.net/document/oy8l3w0q-introduction-a-l-arithmetique-par-intervalles.html