Title: Colloque du GRI sur l'efficacite du symbolique (I) ; travaux