Update codifica.tex

Modifiche da parte di Riccardo Dalla Mora sulla parte relativa alla codifica di sorgente.