Samsung Galaxy S3: versione "mini" in arrivo l'11 ottobre?