Importation avec groupes de groupes OK