Un monastero valdelsano e la sua documentazione nei secoli XI e XII. Osservazioni e spunti di ricerca alla luce dell’edizione delle Carte della Badia di Marturi