\(def a 0 (1x ({-}) x))\(def b 3 ($2 $1 $0))\(b \(une \(a)))\(a)
