Galaxy S5 Mini : une date de sortie pour mi-juillet