Consider a finite set of isometries of Euclidean space.

I try to understand the local distribution of the image of the origin under the product of independent random elements of this set. In the first half of the lecture, I will survey some results about random walks in compact Lie groups.