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