Théorème de Church-Rosser et structuration des langues naturelles Jean-Pierre Descles (1988) Mathématiques et Sciences Humaines