Logique Linéaire appliquée à l’étude de divers processus de normalisation (principalement du λ-calcul (1990)