D’après la doc samsung que tu as mis en lien, la référence existe K4BAG3346B mais Google dans son infini sagesse ne la connaît pas. Je crains que ça soit cuit…
On y est presque le notre est à 50-100 € 
EDIT :
Le site samsung ne liste aucune puce en DDR3 à plus de 8Gb