Activité sur Système de logique déductive et inductive