https://123dok.net/document/z3d31xmy-algorithmes-numeriques-certifies-pour-la-topologie-d-une-courbe-resultante-ou-discriminante.html