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