La vérification et la validation de logiciel sont des aspects essentiels au succès de tout développement informatique. La vérification de logiciel s'inscrit comme une première phase à accomplir suite à la production d'un nouveau code. La méthode des solutions manufacturées (MSM) est un outil de vérification de logiciel. Ce mémoire présente la MSM appliquée à la mécanique des solides en grandes déformations. Plusieurs discrétisations par éléments finis seront comparées à l'aide de cette méthode. La performance de ces discrétisations sera analysée en terme de convergence, dans une norme appropriée, par rapport à la taille des éléments, le nombre de degrés de libertés, le temps de calcul et la consommation mémoire. Quelques aspects intéressants des éléments mixtes sont présentés et discutés. Les cas test présentés peuvent aussi servir comme bancs d'essais non-triviaux et comme base de vérification de logiciel. / Software verification and validation are important phases in a successfull software developpement. The verification phase is the first to be done just after a new code has been produced. The method of manufactured solutions (MMS) is a software verification tool. In this work, the MMS is used to compare various finite element discretizations for the numerical solution of large deformation problems involving hyperelastic materials. The performance of these different discretizations is analyzed in terms of convergence in a suitable norm with respect to mesh size, computational cost and memory consumption. Some interesting features of mixed finite element discretizations are presented and discussed. The test cases presented can also serve as non trivial benchmark problems and as a basis for code verification.