profini (A) — fini (A)
profini : Se dit d'un groupe projective de groupes finis.