Aspetti progettuali nell’analisi sismica di gallerie in roccia