Microsoft s'impose, croyez-le ou non, comme le plus grand promoteur de Linux au monde