Microsoft dépasse les 4.000 milliards de dollars de capitalisation boursière