Take-Two rachète Zynga dans un deal qui valorise ce dernier à 12,7 milliards de dollars