Decidibilità della teoria elementare di un gruppo iperbolico senza torsione