Refactoring functional programs with ornaments. (Refactorisation de programmes fonctionnels par les ornements). - Ambre Williams (2020)