I linguaggi di marcatura nel trattamento informatico delle fonti storiche: l'edizione digitale del codice Vat.Lat.3880