Gruppo Utilizzatori Italiani di TeX
Dubbio: la ridefinizione del comando \arraystretch così impostata varrebbe, però, per tutte le tabelle, no?