options pour changer le format des nombres sur iPhone