Techniques informatiques et manuelles dans la rédaction du Lessico filosofico dei secoli XVII e XVIII