Une introduction à la logique (via phnk).