je ne sais pas si on l'a posté dans les pages précédentes mais des fichiers m3u de chaines TV on en trouve plein ici : https://github.com/iptv-org/iptv
notamment pour la france 250 chaines (qui ne fonctionnent pas toutes) : https://iptv-org.github.io/iptv/countries/fr.m3u
...

Les fichiers m3u, on en trouve plein partout. Le problème, c'est d'en trouver avec les liens à jour, notamment pour les chaînes "poids lourds". Les url des groupes TF1 ou France TV par exemple changent plusieurs fois par jour, donc le lien dans une liste doit pointer vers un de ces utilisateurs github qui eux font des mises à jour en temps réel, comme certains que j'ai cités.

C'est à dire qu'il y a 2 niveaux : celui qui fournit les listes de liens, et celui qui fournit le lien dans la liste. Le second est le plus précieux, vu que sans lui les autres listes ne fonctionnent pas. Pour les chaînes "stables", ça ne pose pas de problème parce qu'on a directement le vrai lien du flux. Pour les autres, on a un lien m3u8 sur github généré par ces utilisateurs et qui redirige vers les url variables des flux officiels, en temps réel.

Par exemple TF1 ne marche pas dans aucune des deux listes que tu as fournies. Son lien est pris chez BG47510 que j'avais cité, mais si BG47510 peut être utile dans le cas de chaînes stables, mieux vaut voir chez Schumijo ou Paradise91 pour les liens des groupes TF1 ou France TV.
Et ces utilisateurs qui génèrent les url en temps réel, fournissent aussi des listes. Si elles sont moins riches, elles sont plus fiables ; il faut faire sa compilation en prenant chez l'un ou l'autre le meilleur de sa "spécialité". C'est ce que j'essaie de faire.
Les listes générales, notamment celles venant de sites avec tous les pays, ne sont pas fiables (hors Samsung/Rakuten/Pluto). On retrouve par exemple des chaînes en hindi, persan ou espagnol dans les listes françaises, des noms de chaînes périmés, et on n'aura pas la plupart des chaînes de France TV, RTL/M6 ou de TF1.

Enfin s'ajoute le problème de la légalité. Paris Première ou Teva sont des chaînes a priori payantes mais référencées dans tes listes. Personnellement je n'y vois pas d'inconvénient, et peut-être que l'avenir les verra dans TVRZ mais pour le moment ce ne sont que les gratuites. Après tout si ces chaînes ne font pas protéger leurs flux par leurs propres serveurs de streaming, c'est qu'elles acceptent d'être vues gratuitement hors TNT ; comme elles font pas mal de pub, ça semble bien compatible avec leur modèle économique. Et puis tout hyperlien est par définition utilisable par tout le monde.
Mais il se glisse aussi parfois dans ces listes des serveurs douteux qui restreament sans droits. Pour un usage privé dans un pays comme la France où pour le moment la chasse aux utilisateurs de streaming pirate semble fermée, au moins pour les non-abonnés à des serveurs pirates et notamment pour les chaînes gratuites, ça passe. Il faut juste en avoir conscience.

Je n'ai pas de difficulté, en gardant UEFI, à avoir des dual boots Windows / Linux. J'ai 2 cas de figure actuellement :
- PC avec un disque : disque à l'origine Windows, puis repartitionné
- PC avec  2 disques : utilisation du petit SSD qui faisait initialement office de "RAID" sur un laptop HP sous Windows en 2e disque avec installation Linux.
Il faut juste vérifier que le menu de boot UEFI s'affiche bien au démarrage (en sélectionnant la bonne touche de fonction du clavier, ça dépend du PC) afin de sélectionner l'OS à démarrer.
J'ai également souvenir d'avoir eu à désactiver l'option "démarrage rapide" de Windows sinon l'affichage du menu de boot était "aléatoire".

Vous avez vu l'activation d'un coup chez Free de 3000 antennes 4G en 2100?

je recommande de surtout pas installer windows et linux sur le meme disque
si on ne s'y connait pas plus que ca, c'est vouloir se mettre dans la merde

Excellent, j'étais justement en train de chercher pour utiliser la commande set.
Je me suis absenté une dizaine de jours, je reprendrai les investigations à mon retour.