Synonymesharicot de Lima