comment estimer le poids d'un rocher de granit