In any dimension, there is a hyperbolic space (simply connected Riemannian manifold of constant sectional curvature -1), even in infinite (countable) dimension. We will be interested in the isometry group of this infinite dimensional hyperbolic space. This group has a natural Polish topology and we will be interested in its actions on compact spaces. A comparison with the isometry group of a Hilbert space will be a common thread.