Modélisation algébrique et représentation de connaissances par objets en AROM