Trie fonctionnel optimisé