Pour l’abstraction

https://cqfa.hypotheses.org/3255