Il contributo del Diario di Ferdinando Martini alla conoscenza storica dell'intervento italiano nella prima guerra mondiale