VMware finalise le rachat de Pivotal