A semi-classical analysis with wave packets for the Ruelle-Pollicott spectrum of hyperbolic dynamics