L'ancien PDG de Microsoft, Ballmer, fait volte-face sur la technologie Linux