Le Diko - raisonnement déductif