length avec foldRight