Résume | Après un bref rappel historique. Nous présenterons le résultat suivant. Tout groupe de type fini elementairement équivalent à un ultraproduit de groupes alternes est fini. Puis nous enoncerons sans démonstration un résultat de Wilson sur des groupes elementairement équivalents à un ultraproduit de $\operatorname{PSL}(n,K)$ ou de $\operatorname{PSp}(2n,K)$. Enfin nous proposerons une stratégie d attaque pour tous les groupes de type fini elementairement équivalent à un ultraproduit degroupes finis simples. |