We outline some of the tools C. Ehresmann introduced in Differential Geometry (fiber bundles, connections, jets, groupoids, pseudogroups). We emphasize two aspects of C. Ehresmann's works: use of Cartan notations for the theory of connections and semi-holonomic jets.
La théorie des géodésiques d’une surface se situe à l’intersection de plusieurs domaines : la géométrie différentielle, le calcul des variations, la théorie des équations différentielles et la mécanique. Au début du xixe siècle, la théorie locale des géodésiques est un exemple bien connu d’application des méthodes infinitésimales à la géométrie. Cependant, l’équation des géodésiques est trop difficile pour être résolue et les méthodes directes ne donnent que peu d’informations sur le comportement...