Dans son article Stable group theory and approximatesubgroups (2011), Hrushovski montre (et utilise de manière essentielle)un résultat, auquel on se réfère depuis comme le théorème dustabilisateur, qui permet sous certaines hypothèse locales(mais sansstabilité ni simplicité) de construire des groupes (stabilisateurs d'untype, dans un certain sens) infiniment définissables.Tout récemment, dans un travail sur les Groups with f-generics in NTP_2and PRC fields, Montenegro, Onshuus et Simon en démontrent uneversion 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 devous […]