How much stock was Vivendi forced to buy