Résumé
The aim of this article is to study the functorial properties of the "formal geometric quantization'' procedure which is defined for non-compact Hamiltonian manifolds (when the moment map is proper). For this purpose, we introduce a technique of symplectic cutting that uses the wonderfull compactification of de Concini-Procesi.