Logique sans peine
Carroll, Lewis imp. 1982