L'opération, d'un montant de 12 milliards de dollars, avait été approuvée par les actionnaires d'Aveva en novembre.