Musical life and traditions of the Portuguese Jewish community of Amsterdam in the XVIIIth century