https://123dok.net/document/zlg1jnw6-mesure-d-une-perpendicularité.html