La précision d'une analyse fondée sur l'interprétation abstraite dépend no seulement de l'expressivité du domaine abstrait, mais aussi de la façon dont les équations abstraites sont résolues: la solution optimale n'est en effet pas toujors calculable. La technique traditionnelle est de résoudre itérativement les équations de point-fixe abstraites, en effectuant des extrapolations à l'aide d'un opérateur d'élargissement pour faire converger les itérations. Malheureusement, ces extrapolations induisent fréquemment la perte d'informations cruciales pour l'objectif de l'analyse. Une technique classique pour améliorer la précision est << l'élargissement avec seuil >>, qui borne l'extrapolation. Son efficacité dépend fortement du choix de seuils pertinents. Nous proposons ici une technique de nature sémantique pour inférer automatiquement des seuils pertinents, qui s'applique à n''importe quel graphe de contrôle, qu'il soit intraprocédural, interprocédural ou concurrent, sans hypothèse spécifique sur le domaine abstrait. malgré sa simplicité technique, cette technique infère les seuils pertinents dans beaucoup de cas pratiques.