théorème de séparation des racines