title: Théorème d'Ehresmann
text: # Théorème d'Ehresmann
  
  En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de classe $C^2$
  
      $f\colon M\to N$
  
  où M et N sont des variétés différentielles de classe $C^2,$ telle que
  
  * f est une submersion surjective, et
  * f est propre,
  
  est une fibration localement triviale.
  
  Ceci est un résultat fondamental de topologie différentielle et admet de nombreuses variantes. Il est dû à Charles Ehresmann.
  
  