Intergraph racheté par des fonds d'investissements