Théorie des algèbres de Lie, topologie des groupes de Lie — École normale supérieure. Paris (1794-1985), Université de Paris. Faculté des sciences. Séminaire Sophus Lie (1896-1968)