suite LSJn et catégories : 2.Logique linéaire et logique linéaire intuitionniste