Bornes pour les D-modules,et le problème d'équivalence de Cartan.

E.Cartan a donné(au moins le principe d')une méthode pour étudier l'équivalence lovcale de structures différentielles.Cette méthode a été développée par divers auteurs (Gardner,Sternberg,etc.),qui en ont donné des exemples.Mais il manque une démonstration du fait que la méthode se termine.Cartan dit qu'au bout d'un nombre fini de prolongements de son système d'équations ,le système est en involution.Ceci est vérifié sur les exemples,mais n'est pas démontré en général. Je donnerai le principe d'une méthode pour obtenir ce résultat En se ramenant des pseudogroupes de Lie à  leurs algèbres,on est ramené à  donner des bornes pour des D-modules analogues à  des bornes connues en géométrie algébrique pour l'appartenance à  un idéal (ou un module),ou encore pour la régularité au sens de Mumford.