Le diagnostic de la correction d'une figure géométrique : le système TALC.

We report on a computer system for teaching geometry, TALC. It provides a diagnosis to a learner about the correctness of the figure he constructed as regards to the teacher text. TALC's definition is essentially given by the contract established between the teacher and the learner through itself. This contract is defined both by the Language provided to these two users and by a logical relation required on the text, the context and the solution of an exercise. With this definition, we discuss about the main implementation issues and present the experimentation results. Finally, we present our first results about generating explanations to the learner about his geometrical misconceptions.Nous présentons un système pour l'enseignement de la géométrie, TALC, dont l'objectif est de donner à un apprenant un diagnostic sur la correction de la figure qu'il a construite par rapport à son énoncé défini par un enseignant. Ce système est essentiellement défini par le contrat d'enseignement qui lie enseignant et apprenant à travers lui. Ce contrat est défini d'un part par les langages donnés à chacun des contractants et d'autre part par une relation logique reliant objectif, contexte et solution. A partir de cette définition, nous présentons les principales questions liées à sa mise en œuvre et les résultats obtenus. Nous présentons finalement les recherches que nous avons engagées dans la génération d'explication sur les erreurs de l'apprenant.Desmoulins Cyrille. Le diagnostic de la correction d'une figure géométrique : le système TALC. In: Sciences et techniques éducatives, volume 3 n°2, 1996. pp. 191-226