Geometric tools in function theory (and the Heisenberg group) IV

4th in this series of expository seminars. We leave the complex world and discuss some geometric aspects of the Heisenberg group (Riemannian and sub-Riemannian) per se: geodesics, metric spheres, horizontal curves, consequences of the two-step structure of the group...