Reconnaître les groupes libres