Le développement d'outils de vérification pour estimer et contrôler la qualité des modèles éléments finis se tourne depuis plusieurs années vers l'estimation d'erreur locale. Dans ce cadre, l'obtention de bornes d'erreur garanties et pertinentes nécessite la construction de champs de contrainte admissibles, i.e. vérifiant exactement les équations d'équilibre. Ce travail vise à comparer les méthodes qui fournissent de tels champs ; il s'appuie sur différents critères (qualité, coût de calcul, facilité d'implémentation) et est illustré à partir d'exemples industriels 2D/3D.