Ajout de do_exit