purification par la logique