https://123dok.net/document/zx5mgmxv-localisation-racines-complexes-polynôme-coefficients-réels-strictement-positifs.html