“…It is known that there exist Polish groups sharing both of these features. Pestov-Schneider [15] proved that, for any Polish group G, the group L 0 (G), i.e., the group of measurable functions with values in G, is extremely amenable, provided that G is amenable, and Kaïchouh-Le Maître [9] proved that L 0 (G) has ample generics whenever G has. As S ∞ , i.e., the group of all permutations of natural numbers, is amenable, and has ample generics, L 0 (S ∞ ) is extremely amenable and it has ample generics.…”