Groupes extérieurs