::
\@topsep e \@topsepadd non li ho mai incontrati, ma suppongo che siano parametri interni del più genrale environment list su cui si basa verse.
Le modifiche sono corrette? se funzionano lo sono. Chissà se Enrico è in grado di spiegarci perché così funziona.
