Mudança de nome

Podia passar a chamar-se Praia da Grande Rocha.
A rocha é que é grande, a praia já não é.