up::[[calcul conjonctif]]
#informatique

---

une variable $x$ est libre ssi