Analyse microlocale semi-classique sur des variétés à pointes