Il est impératif pour l’ingénieur de s’assurer de la validité de ses outils de modélisation numérique et il lui revient de vérifier s’ils donnent la solution attendue pour un problème donné. Dans un logiciel d’éléments-finis, ceci peut être fait par l’utilisation de solutions analytiques lorsqu’elles existent, ou par la méthode des solutions manufacturées (MSM). Nous proposons dans ce travail d’étendre la MSM aux problèmes de contact unilatéral en grandes déformations pour lesquels, à notre connaissance, il n’existe pas de solutions analytiques non triviales. Nous montrerons comment l’utiliser comme un outil de vérification pour l’ingénieur. De plus, nous analyserons la précision et les taux de convergence de différents espaces d’approximation mixtes (déplacement-pression de contact), sur des éléments triangulaires et quadrangulaires.
