L'usage de la logique à Byzance au IXe siècle