Synonymesgravelot semipalmé