%% syntaxe : u v subvecteur --> u - v /subvecteur { %% xA yA xB yB -1 mulvecteur addvecteur } def