E Cartan 1923 Cartan connection; modern Ehresmann-connection + principal-bundle-curvature; foundational gauge theory.