Menu local 7815
| Menu local | Titre | Longueur | Mini | Maxi | Code activité |
|---|---|---|---|---|---|
| 7815 | Opérateurs de sélection | 15 | 0 | 0 |
| Numéro | Texte |
|---|---|
| 1 | Indifférent |
| 2 | Egal |
| 3 | Différent |
| 4 | Plus grand |
| 5 | Plus grand ou égal |
| 6 | Plus petit |
| 7 | Plus petit ou égal |
| 8 | Comme |
| 9 | Modifié |
| 10 | Augmenté |
| 11 | Diminué |