::
grazie il fatto é che nell’uscita in pdf
il carattere viene sostituito da un puntino un po piu’ in alto della meté altezza del testo e quindi non mi mette il nome del file tale e quale cioé con i trattini, quindi pensavo bisognasse sotituire quel \_=12 con un’altro codice