sistemo problema nei comandi nel corpo del testo

Usando `\texttt{}' per i comandi nel corpo del testo il doppio trattino
`--' appare poi nel PDF finale come un unico trattino.  Aggiungo un
gruppo vuoto fra i due trattini per risolvere il problema, comme
suggerito da Liverpool (grazie di nuovo!).