Microsoft affiche des bénéfices records mais soigne son efficacité opérationnelle en annonçant des licenciements massifs.