Théorèmes de finitude pour les variétés pfaffiennes