//2pts A et B, calcul de la longueur de AE qd EB=2 E=2exp(it)
  //A:=point(-2);
  //B:=point(i);
  C:=cercle(B,2);
  fig(A,B,t):=evalf(longueur(A,B+2*exp(i*t)));
  D:=plotfunc(fig(A,B,x));
  t:=element(0..pi);
  E:=element(cercle(B,2),t);
  F:=element(D,t);