Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus (Logical Methods in Computer Science, 2012)