ajout de fold_right, diverses modifs