Greffe de raisonnement juridique : la logique chez les comparatistes