La funzione dell'Etna nelle "Historiae adversus paganos" di Paolo Orosio (415-416)