https://123dok.net/document/y8g230o0-partie-dense-suite-cauchy-converge.html