(A,B,k)-> 
  { local C,D,t; 
    t:=1/(1-k);  
    C:=element(droite(A,B),t);  
    D:=A+(1-t)/(1-2*t)*(B-A);  
    return([point(C),point(D)]); }