En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de classe C2 f : M → N {\displaystyle f\colon M\to N} où M et N sont des variétés différentielles de classe C2, telle que f est une submersion surjective, et f est propre,est une fibration localement triviale. Wikipedia