Contribution à la conception d'un système informatique d'aide à l'enseignement de la physiologie cardiaque : élaboration d'un modèle qualitatif du cœur gauche selon les principes de la programmation logique