Résume | Dans son article `Stable group theory and approximate subgroups' (2011), Hrushovski montre (et utilise de manière essentielle) un résultat, auquel on se réfère depuis comme le `théorème du stabilisateur', qui permet sous certaines hypothèse locales(mais sans stabilité ni simplicité) de construire des groupes (stabilisateurs d'un type, dans un certain sens) infiniment définissables. Tout récemment, dans un travail sur les `Groups with f-generics in NTP_2 and PRC fields', Montenegro, Onshuus et Simon en démontrent une version un petit peu différente, avec des hypothèses un peu plus fortes, mais une preuve plus simple. C'est cette version dont je me propose de vous expliquer la démonstration. |