%% syntaxe : u v subv --> u - v /subv { %% xA yA xB yB -1 mulv addv } def