logique linéaire