Microsoft devient la 2e entreprise à valoir 4 000 milliards de dollars