Aggiunta del file interpretazione_astratta.tex.
Qualche progresso sul file interpretazione_astratta.tex