Title: Une méthodologie automatisée de la logique juridique