Logique de la vérité et logique de l'errance chez Kant et chez Lacan