Une logique à grain fain: la logique linéaire