Resolution of contraint programming by backtraking