. Pour-montrer, A K)) j'utilise (vecteurs-egaux (I J) (A K)) (colineaires-05 (I J) X) (colineaires, p.5