Implementing unification ; first step : substitution