Global theory of connections etc by Lichnerowicz