contenant les termes propres a l'exploitation des mines, a la minéralurgie et a la minéralogie ...