onto append
RBT-appel now merged, color invariant is done.