Ahhh ! Un grand merci !
J'ai pu installer Radioplayer et TuneIn (ceinture et bretelles)

.
J'ai pu trouver France Inter et en écouter quelques minutes pour voir. Cela fonctionne.
En revanche, quand on quitte l'application, la radio ne reste pas en mémoire dans la page d'accueil (maison).
Je testerai demain l'ensemble pour tâcher d'ajouter FI aux favoris.
Ce serait tout de même plus simple chaque matin, quand on n'est pas réveillé

.
Merci infiniment et bonne nuit.
... Alors après test, France Inter n'est "pas disponible sur cet appareil" (sic) et TuneIn ne propose pas France Inter. J'en reste donc à Radioplayer avec une légère frustration toutefois, puisque je n'arrive pas à remplacer les propositions du player Pop qui ne m'intéressent pas du tout, par la station de radio (ou au pire Radioplayer), ce qui permettrait sans "clics" surnuméraires d'ouvrir la page d'accueil (petite maison) directement dessus. Si vous avez une suggestions, ce serait top

.