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