We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For nonlocally compact Polish groups, some striking phenomena like automatic continuity or extreme amenability may happen. Our leading idea is to compare this topological group with usual Lie groups on one side and with non-Archimedean infinite dimensional groups like S ∞ , the group of all permutations of a countable set on the other side. Our main results are All along the text, we lead a parallel study with the sibling group Isom(H), where H is a separable Hilbert space.La plaisanterie, qui n'en était pas entièrement une, fut prise au sérieux et tous les experts ont depuis adopté cette étrange terminologie...