https://123dok.net/document/y6e4dx67-présentation-logique-combinatoire-vue-applications.html