c'est 3 nains qui vont à la mine