Gruppo Utilizzatori Italiani di TeX
Grazie mille! Lo scrivo perché magari può servire anche a qualcun altro: mi hanno segnalato pure il pacchetto setspace, che in effetti ho trovato fra quelli installati di default.
