Koch investit plus de 2 milliards de dollars (US) dans Infor