https://9lib.org/document/qvl9jpol-extension-théorème-sturm-fonctions-analytiques.html