finalement en cherchant un peu mieux j'ai fini par retrouver. Disons qu'ils ne rendent pas la chose facile et que maintenant l'installation d'un launcher ne permet pas de resélectionner celui qu'on souhaite par défaut.