hard rock 10 tonnes utilises par des concasseurs heure