https://123dok.net/document/zwv9lkv7-géodésiques-coupent-convexe-courbure-négative.html