Transitivité de l'égalité de vecteurs