eigenfunctions, Schr\"odinger operators, exponential decay, Combes-Thomas method, Agmon estimates