Utilisation du marteau piqueur thermique \"Warshop\" à proximité de la cave de sismologie.