ajuster les options de développement sur Android