Challenge 68 du blog Math-OS - Une sombre histoire de stricte décroissance et de composition des applications.