Normal subgroups in the Cremona group (long version)

Let k be an algebraically closed field. We show that the Cremona group of all birational transformations of the projective plane P^2 over k is not a simple group. The strategy makes use of hyperbolic geometry, geometric group theory, and algebraic geometry to produce elements in the Cremona group that generate non trivial normal subgroups.
Comment: With an appendix by Yves de Cornulier. Numerous but minors corrections were made, regarding proofs, references and terminology. This long version contains detailled proofs of several technical lemmas about hyperbolic spaces