A linear connection in a principal bundle | lit.salon