King Digital (Candy Crush) se valorise à 7,5 milliards de dollars