::
Giusto, invece di usare \@tocline, bastava riscriverlo nel caso particolare!!!
Non ci avevo pensato, grazie mille!
Comunque mi sono fatto una copia del file “amsbook.cls”, l’ho chiamato diversamente, e sto modificando direttamente lì …
E’ (moralmente) sbagliato fare così?