Differential geometry and lie groups : a second course (2020)