Ajouté par Romain Tartière il y a presque 2 ans
Merge pull request #182 from voxpupuli/stdlib9_20230723