Quanto viene a costare all'incirca una devitalizzazione?