Correction de coquilles
Lecture de symboles

Source: Article sur la logique linéaire, Wikipedia.