Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification — Jean Leneutre