Ajout des inequations dans la grammaire