Minéralisateur (adj. et n.)