Types d'objets pour la modélisation du traitement des connaissances