18 millions de dollars de pertes pour Informix