Étiquette : démontrer avec des vecteurs