Théorème de Boone-Higman theorem