Caractérisation algébrique des groupes de type fini ayant un problème de mots résoluble (théorème de Boone-Higman, travaux de B. H. Neumann et MacIntyre) Gabriel Sabbagh Séminaire Bourbaki