France. Direction des mines.