This article presents a Poincar e lemma for the Kostant complex, used to compute geometric quantisation, when the polarisation is given by a Lagrangian foliation de ned by an integrable system with nondegenerate singularities.