2.
Par exemple, xx + yy est une sous-formule de 0
≤
min
(1
..xx
+
yy
)