Le Diko - Logique linéaire