Ricerca storica e informatica: un manuale d'uso