Renault, J. Topological Amenability Is a Borel Property. Math. Scand. 2015, 117, 5-30.