The normal form theorem around Poisson transversals