Microsoft devient le deuxième géant à dépasser les 4 000 milliards de dollars de valorisation