Abraham Pinedo, docteur d'Amsterdam — Arnold de Costa