%% syntaxe : /M n genMi --> depose les "valeurs" des noms /M1 /M2 ... /Mn sur la pile /genMi { [ 3 1 roll genMiname ] {cvx exec} apply aload pop } def