C. LIMA Sur la modélisation formelle et la mise en .uvre des systèmes de transfert intelligent de connaissances Le but de cet article est de décrire une méthodologie de modélisation et de mise en .uvre de processus de diagnostic con­ textuels et intelligents pour des systèmes de transfert intelli­ gent de connaissances. Cette modélisation et mise en .uvre sont faites par la construction des modèles de réponses structurés.: ce sont des systèmes experts spécialisés dont les activations dy­ namiques s'intercalent pour former l'interaction avec l'utilisateur de ces systèmes et aussi pour construire et main­ tenir le modèle de l'utilisateur. Nous illustrons la modélisation et l'implantation de ce type de processus de diagnostic par une utilisation du système générateur SINTONIA, un système spécialement conçu et implémenté pour la génération des systèmes de transfert intelligent de connaissances. The aim of this paper is to describe a methodology intended to modelise and to implement intelligent and contextual diagnosis processes for intelligent knowledge transfer systems. This mod­ elisation and implementation are made by the development of structural answer models.: special expert systems whose dynamic and interpolated activations allow the interaction with the user of those intelligent knowledge transfer systems and also allow to develop and to maintain the user model. We exemplify the modeli­ sation and the implementation of this type of diagnosis processes by an utilisation of the SINTONIA generating system, a system meant for the generation of intelligent knowledge transfer sys­ tems.