Correction de la grammaire des opérations arithmétiques