https://123dok.net/document/zgwjw26v-théorème-de-pythagore-sphérique-d-après-chr-gudermann.html