Sela a annoncé une solution complète d'un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu'un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont « limites »de groupes libres, ou encore, qui ont la même théorie universelle qu'un groupe libre). Nous indiquerons quelques outils utilisés par Sela (dont des techniques de Rips, Rips-Sela, Bestvina-Feighn et autres sur les actions de groupes sur les arbres).