Cet article soutient le point de vue que les Environnements Informatises d'Apprentissage Humain (EIAH) ne considerent pas as-sez l'enseignant comme un utilisateur potentiel distinct de l'apprenant. Aussi, le neologisme "pre'ceptoriel" est introduit pour decrire des EIAH ayant une approche centree sur le professeur. Le domaine des logiciels de construction de figures geometriques est en-suite pris comme exemple. Une analyse des aides que l'on peut apporter au professeur dans ces logiciels est menee. Elle conduit au probleme de la validation des constructions de l'apprenant et de la production de contre-exemples. La notion de contre-exemple est etudiee en vue de son inte-gration dans un preceptoriel de ge'ometrie a l'aide de la programmation logique par contraintes. Une mise en ceuvre informatique est presente'e ainsi qu'un exemple d'utilisation.
展开▼
