%% syntaxe : alpha A B ABpoint -> le point A' tel que AA' = alpha AB /ABpoint { 5 copy vecteur 3 -1 roll mulv 4 -1 roll 4 -1 roll pop pop 5 -1 roll pop addv } def