machine de mine a utilisé la mine de pierre de chaux