Quelques choses sues

https://cqfa.hypotheses.org/4769