Un de nos contributeurs publie

https://diconorm.hypotheses.org/776