Un ex-PDG quitte Microsoft