explosif utilisé dans l extraction de pierres