fini les lambda non-imbriqués