Final excavating for a basement in hard bedrock