Quelques définitions

https://big.hypotheses.org/865