up::[[calcul conjonctif]]
#s/informatique

---

une variable $x$ est libre ssi