jung

soit K un compact de R^d vu comme un espace affine euclidien.
soit G l'enseble des isometries affines g de R^d telles que K soit stable par g.
montrer que G admet un point fixe et est compact.