Le géant de Redmond investit 7,5 milliards $ pour racheter la plate-forme pour développeurs GitHub. Celle-...