Hyperbolic diagram groups are free - Anthony Genevois (2015)