OpenText cède Vertica pour 150 millions de dollars afin de se concentrer sur l'IA