Introduction à la logique — René David, Karim Nour, Christophe Raffalli