Une belle initiative !

https://diconorm.hypotheses.org/1846