combien coûte la machinerie de la carrière