Grazie mille, billiejoex! 
Questo è il codice, e funziona:
codice:
#!/usr/bin/python
import random
lines = []
fin = open('source.txt', 'r')
fout = open('dest.txt', 'w')
for line in fin.readlines():
lines.append(line.strip())
while (len(lines) != 1986 - 264):
line_no = random.randint(0, len(lines))
fout.write (lines.pop(line_no - 1) + '\n')
Ma le righe estratte sono tutte diverse o c' è la possibilità di doppioni? Perché a me servono linee distinte tra loro...
Puoi spiegarmi il significato di:
while (len(lines) != 1986 - 264):
??
Grazie ancora billi!