public Substitution clone() {
Substitution s = new Substitution();
for (CoupleTermes ct : this) s.add(ct.clone());
return s;
}
/**
* Applique la subsitution au terme T
*
* @param t
* @return true si la substitution a pu être appliquée
*/
public boolean substitue(Term t) {
for (CoupleTermes ct : this) if (ct.substitue(t)) return true;
return false;
}
