trois nains vont à la mine