La programmation loique par contraintes pour l'aide à l'enseignant

Cet article soutient le point de vue que les Environnements Informatis es d'Apprentissage Humain (EIAH) ne consid erent pas as-sez l'enseignant comme un utilisateur potentiel distinct de l'apprenant. Aussi, le n eologisme \pr eceptoriel" est introduit pour d ecrire des EIAH ayant une approche centr ee sur le professeur. Le domaine des logiciels de construction de gures g eom etriques est en-suite pris comme exemple. Une analyse des aides que l'on peut apporter au professeur dans ces logiciels est men ee. Elle conduit au probl eme de la validation des constructions de l'apprenant et de la production de contre-exemples. La notion de contre-exemple est etudi ee en vue de son int e-gration dans un pr eceptoriel de g eom etrie a l'aide de la programmation logique par contraintes. Une mise en uvre informatique est pr esent ee ainsi qu'un exemple d'utilisation. Mots cl es : Sp eciications logiques de gures de g eom etrie, Pr eceptoriel, Production de contre-exemples, Calculs sur intervalles.