Analyse automatique de la réponse dans un enseignement assisté de logique — André Palanchini