ah, lo sapevo (che le prime versioni del DOS non prendevano nomi superiori agli otto caratteri... e in caso di nomi uguali troncavano con tilde + numero progressivo) ma non ricordavo che si chiamasse così