o que é uma rocha de granito