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