Hyperbolicity of renormalization of critical circle maps . Non-amenable finitely presented torsion-by-cyclic groups . On maximal transitive sets of generic diffeomorphisms . Stability and instability for gevrey quasi-convex near-integrable hamiltonian systems