mineur : clean-up