Éléments d'état de l'art sur l'extraction et la modélisation de règles formelles à partir de textes légaux.