https://123dok.net/document/q5mnlmej-compacts-dénombrables-et-dérivée-de-cantor.html