En ce mardi 17 septembre, la communauté du Projet Fedora sera ravie d'apprendre la disponibilité de la version Beta de Fedora Linux 41.

Malgré les risques concernant la stabilité d’une version Beta, il est important de la tester ! En rapportant les bogues maintenant, vous découvrirez les nouveautés avant tout le monde, tout en améliorant la qualité de Fedora Linux 41 et réduisant du même coup le risque de retard. Les versions en développement manquent de testeurs et de retours pour mener à bien leurs buts.

La version finale est pour le moment fixée pour le 22 octobre ou 5 novembre.

Sommaire

• Expérience utilisateur
• Gestion du matériel
• Internationalisation
• Administration système
• Développement
• Projet Fedora
• Tester

Expérience utilisateur

• Passage à GNOME 47 ;
• L'environnement de bureau léger LXQt passe à la version 2.0 ;
• L'éditeur d'image GIMP utilise la branche de développement qui deviendra la version 3 ;
• Le gestionnaire de listes de tâches Taskwarrior évolue à la version 3 ;
• La mise à jour du cœur des systèmes atomiques de bureau peut se faire sans droits administrateurs, mais pas les mises à niveau de celui-ci à savoir passer d'une version Fedora Linux Silverblue 40 à Fedora Linux Silverblue 41 ;
• Mise à disposition des images Spin KDE Plasma Mobile et Fedora Kinoite Mobile ;
• De même le gestionnaire de fenêtres Miracle exploitant Wayland est proposé dans Fedora et bénéficie de son propre Spin ;
• L'installation de Fedora Workstation se fera avec le protocole d'affichage Wayland uniquement, X11 reste disponible et installable après.

Gestion du matériel

• L'installation du pilote propriétaire de Nvidia via GNOME Logiciels est compatible avec les systèmes utilisant l'option Secure Boot ;
• Prise en charge des caméras MIPI pour les systèmes utilisant Intel IPU6 qui concerne de nombreux ordinateurs portables actuels ;
• L'installateur Anaconda prend en charge le chiffrement matériel des disques via le standard TCG OPAL2, mais cela nécessite de passer via un fichier kickstart pour personnaliser l'installation ;
• Utilisation par défaut de l'outil tuned au lieu de power-profiles-daemon pour la gestion de l'énergie de la machine ;
• Mise à jour de ROCm 6.2 pour améliorer la prise en charge de l'IA et le calcul haute performance pour les cartes graphiques ou accélérateurs d'AMD ;
• L'outil de débogue des tables ACPI nommé acpica-tools ne prend plus en charge les architectures gros boutistes tels que s390x ;
• PHP ne prend plus en charge les processeurs x86 32 bits.

Internationalisation

• Le gestionnaire d'entrées IBus par défaut pour la langue traditionnelle chinoise de Taiwan passe de ibus-libzhuyin à ibus-chewing.

Administration système

• Le gestionnaire de paquet dnf est mis à jour vers sa 5e version ;
• Tandis que la commande rpm utilise la version 4.20 ;
• Les systèmes Fedora atomiques de bureau et Fedora IoT disposent de bootupd pour la mise à jour du chargeur de démarrage ;
• Les images atomiques de Fedora proposent les outils dnf et bootc, ce premier est utilisable dans un contexte de développement pour l'instant mais le second peut commencer à servir à déployer des images du système qui sont bootables ;
• La bibliothèque de sécurité OpenSSL n'accepte plus les signatures cryptographiques avec l'algorithme SHA-1 ;
• Stabilisation de la fonctionnalité de Fedora Linux 36 où ostree prenait en charge les formats OCI/Docker pour le transport et le mécanisme de déploiement des conteneurs ;
• Le gestionnaire de réseaux NetworkManager ne prend plus en charge la configuration dans le format ifcfg qui était déjà désuet depuis des années ;
• Dans la même veine, le paquet network-scripts a été retiré, mettant fin à la gestion du réseau via les scripts ifup et ifdown ;
• Les interfaces réseaux pour les éditions Cloud vont utiliser les nouveaux noms par défaut comme adoptés par les autres éditions il y a des années au lieu de conserver les noms traditionnels tels que eth0 ;
• Le gestionnaire de virtualisation libvirt utilise maintenant par défaut le pare-feu nftables au lieu de iptables pour son interface réseau vibr0 ;
• L'outil Netavark pour gérer la pile réseau des conteneurs, notamment avec podman, utilise également par défaut le pare-feu nftables au lieu de iptables ;
• Les unités système de systemd vont utiliser par défaut beaucoup d'options pour améliorer la sécurité des services ;
• Introduction de l'outil fedora-repoquery pour faire des requêtes sur les dépôts comme savoir la version exacte d'un paquet spécifique dans une autre version de Fedora, la date de mise à jour d'un dépôt, ou connaître les paquets qui dépendent d'un paquet spécifique (dépendance inverse donc), etc. ;
• Le gestionnaire de conteneurs Kubernetes a des nouveaux paquets versionnés, permettant d'avoir plusieurs versions en parallèle. Ici les versions 1.29, 1.30 et 1.31 sont proposées avec des noms comme kubernetes1.31 ;
• L'implémentation des interfaces de Kubernetes fait par l'OCI a ses propres paquets cri-o et cri-tools qui sont également versionnés pour pouvoir suivre les versions de Kubernetes.

Développement

• Mise à jour de la suite de compilation GNU : binutils 2.42, glibc 2.40 et gdb 15 ;
• Mise à niveau de la suite de compilateurs LLVM vers la version 19 ;
• Retrait de Python 2.7 dans les dépôts, seule la branche 3 est maintenue dorénavant ;
• D'ailleurs Python bénéficie de la version 3.13 ;
• Python est aussi compilé avec l'optimisation -O3 activée, en ligne avec la manière de faire par le projet officiel et améliorant les performances ;
• Le framework d'écriture de tests en Python, Pytest se teste avec sa version 8 ;
• Mise à jour du langage Go vers la version 1.23 ;
• Mise à jour dans l'écosystème Haskell GHC 9.6 et Stackage LTS 22 ;
• Le langage Perl passe à la version 5.40 ;
• Node.js 22 devient la version de référence, tandis que la version 20 et 18 restent disponibles en parallèle ;
• Pour des raisons de changement de licence, le gestionnaire de bases de données clé-valeur Redis est remplacé par Valkey ;
• La bibliothèque Python d'apprentissage profond Pytorch est éclairée avec sa version 2.4 ;
• L'API engine de la bibliothèque OpenSSL est désactivée car non maintenue tout en gardant une ABI stable.

Projet Fedora

• L'édition de Fedora KDE pour l'architecture AArch64 est maintenant bloquante pour les sorties d'une nouvelle version. L'édition doit être suffisamment stable pour qu'une nouvelle version de Fedora Linux voit le jour ;
• Ultime phase 4 de l'usage généralisé des noms abrégés de licence provenant du projet SPDX pour la licence des paquets plutôt que des noms du projet Fedora ;
• Les bibliothèques Java n'ont plus une dépendance explicite envers le runtime de Java pour simplifier la maintenance, rien ne change concernant les applications ;
• Le paquet systemtap-sdt-devel n'a plus l'outil dtrace qui a été mis dans le paquet systemtap-sdt-dtrace ;
• Ajout d'une tâche de nettoyage lors de la génération des paquets RPM pour améliorer la reproductibilité des paquets ;
• Changement dans les métadonnées des dépôts de Fedora, avec l'usage de l'algorithme de compression zstd et l'abandon des bases de données sqlite pour diminuer la taille des données à télécharger ou à stocker.

Tester

Durant le développement d'une nouvelle version de Fedora Linux, comme cette version Beta, quasiment chaque semaine le projet propose des journées de tests. Le but est de tester pendant une journée une fonctionnalité précise comme le noyau, Fedora Silverblue, la mise à niveau, GNOME, l’internationalisation, etc. L'équipe d'assurance qualité élabore et propose une série de tests en général simples à exécuter. Suffit de les suivre et indiquer si le résultat est celui attendu. Dans le cas contraire, un rapport de bogue devra être ouvert pour permettre l'élaboration d'un correctif.

C'est très simple à suivre et requiert souvent peu de temps (15 minutes à une heure maximum) si vous avez une Beta exploitable sous la main.

Les tests à effectuer et les rapports sont à faire via la page suivante. J'annonce régulièrement sur mon blog quand une journée de tests est planifiée.

Si l'aventure vous intéresse, les images sont disponibles par Torrent ou via le site officiel.

Si vous avez déjà Fedora Linux 40 ou 39 sur votre machine, vous pouvez faire une mise à niveau vers la Beta. Cela consiste en une grosse mise à jour, vos applications et données sont préservées.

Nous vous recommandons dans les deux cas de procéder à une sauvegarde de vos données au préalable.

En cas de bogue, n'oubliez pas de relire la documentation pour signaler les anomalies sur le BugZilla ou de contribuer à la traduction sur Weblate. N'oubliez pas de consulter les bogues déjà connus pour Fedora 41.

Bons tests à tous !

Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

• [franceinfo] Panoramax: le projet citoyen initié par l'Institut national de l'information géographique et forestière (IGN) pour ne plus dépendre de Google Street View
• [InformatiqueNews.fr] L'Open Source en Chiffres
• [ITforBusiness] Vers un retour de l'open source, le vrai?
• [ITRmobiles.com] Le logiciel libre comme réponse stratégique à l’appel du rapport Draghi pour la compétitivité européenne
• [ZDNET] «Concurrence irresponsable»: le CNLL pilonne la Dinum

[franceinfo] Panoramax: le projet citoyen initié par l'Institut national de l'information géographique et forestière (IGN) pour ne plus dépendre de Google Street View

✍ Nicolas Arpagian, le samedi 14 septembre 2024.

L’IGN fait appel au grand public pour constituer une base de données centralisée de photographies de notre environnement (rues, ronds-points, routes, berges, ponts…) qui soit en libre accès pour créer des services d’intérêt général.

[InformatiqueNews.fr] L'Open Source en Chiffres

Le mercredi 11 septembre 2024.

De l’open source et des chiffres… Beaucoup de chiffres… Le nouveau rapport GitNux 2024 trace un paysage IT dominé par l’open source.

[ITforBusiness] Vers un retour de l'open source, le vrai?

✍ Laurent Delattre, le mercredi 11 septembre 2024.

Le retour d’Elastic à l’open source marque-t-il le retour de l’open source ou l’arrivée d’un nouvel open source transformé?

[ITRmobiles.com] Le logiciel libre comme réponse stratégique à l’appel du rapport Draghi pour la compétitivité européenne

Le mardi 10 septembre 2024.

Le rapport Draghi, publié le 9 septembre 2024 et intitulé “L’avenir de la compétitivité européenne”, appelle à une transformation profonde de l’économie européenne pour relever des défis critiques: souveraineté numérique, stagnation de l’innovation, et dépendances stratégiques. En tant que porte-parole de la filière française du logiciel libre et du numérique ouvert, le CNLL* affirme que le logiciel libre (aussi appelé open source software ou OSS) est essentiel pour résoudre ces enjeux, en catalysant l’innovation, la croissance économique, et l’autonomie stratégique de l’Europe, explique Stefane Fermigier, co-chairman, qui nous livre son analyse.

[ZDNET] «Concurrence irresponsable»: le CNLL pilonne la Dinum

✍ Thierry Noisette, le lundi 9 septembre 2024.

S’appuyant sur le rapport de la Cour des comptes sur la Direction interministérielle du numérique, le CNLL dresse un réquisitoire contre sa stratégie en matière de logiciels libres.

🎉 Il y a plus de deux décennies, j’ai lancé mon tout premier Linux-Meetup à Montréal en mai 2003. Depuis, chaque premier mardi du mois, nous avons tenu 252 rencontres sans interruption, rassemblant des passionnés du monde Linux.

🚀 Le samedi 21 septembre 2024, nous fêterons 21 ans de partage autour de Linux et des logiciels libres au Québec ! Cet événement coïncide avec la Journée internationale des logiciels libres (SoftwareFreedomDay), offrant une visibilité mondiale inégalée. Ce sera l’occasion de célébrer cette communauté qui s’est agrandie au fil des années et de marquer cette étape importante dans l’histoire du logiciel libre.

📈 Chaque année, notre événement annuel devient de plus en plus grand grâce à l’appui de nos commanditaires. Avec une participation record de 150 passionnés l’an dernier et le soutien de 23 commanditaires visionnaires.

🌐 L’événement se tiendra en présentiel à l’école de technologie supérieure (ÉTS), à l’université et en virtuelle sur BigBlueButton, permettant à la communauté Linux francophone de participer d’où qu’elle soit.

💼 Si votre entreprise utilise Linux ou soutient les logiciels libres, c’est une occasion unique de promouvoir vos solutions et vos services auprès d’une audience ciblée et engagée. Rejoignez-nous comme commanditaire et bénéficiez d’une visibilité accrue au sein de la communauté. Contactez-moi rapidement pour discuter de votre participation !

🚩 Pour les plus aventureux, la cinquième édition de notre chasse au trésor informatique (CTF : CaptureTheFlag) sera de retour avec des défis inédits, conçus par Dominique Derrier et Pascal Gad. Cet événement interactif mettra vos compétences Linux à l’épreuve et promet des moments captivants pour les participants.

🗣️ Au programme : des présentations passionnantes des experts Linux, le CTF et des opportunités d’échanges avec la communauté, et bien plus encore.

🎟️ Ne manquez pas cette opportunité unique de vous inscrire et de découvrir l’agenda complet à https://www.rencontres-linux.quebec/event/21-ans-de-linux-meetup-au-quebec-1/

Le Frido est un livre de mathématique libre. Il est l'enveloppe convexe entre la matière de l'agrégation et les bases (axiomatique des ensembles non comprise). Autrement dit : il construit les ensembles de nombres, et va jusqu'au bout du programme de l'agrégation en bouchant tous les trous. En français, il comprend 2888 pages au 25 août 2024 et est publié sous licence FDL.

Sommaire

• Images de couvertures
• Changements depuis l'année passée
  • Intégration sur variétés
  • Dérivation
  • Théorème de Stokes
• Ce qu'il y a de mieux qu'ailleurs
  • Certains détails sont traités correctement.
  • Notation pour les dérivées partielles
  • Un minimum de notations
  • Variétés et cartes
  • Citations
  • ChatGPT
• Si vous voulez contribuer
  • Niveau facile
  • Niveau intermédiaire
  • Niveau difficile
  • Niveau supérieur
  • LaTeX
  • Agreg (1)
  • Agreg (2)
    • Contrainte
• Ventes
  • Les chiffres
  • Une pensée à propos des prix

Images de couvertures

Les images de couverture proviennent de Pepper et Carrot.

(pour voir les couvertures des tomes 2, 3 et 4)

Elles sont aussi visibles via les sources évidemment.

Changements depuis l'année passée

Intégration sur variétés

J'ai décidé que la partie parlant d'intégration sur les variétés allait être laissée à l'abandon.

• Elle ne sert qu'à démontrer le point fixe de Brouwer via Stokes. Trop compliqué, trop long, pas adapté au niveau visé.
• La preuve de Brouwer continu est maintenant faite de façon plus conventionnelle.
• La géométrie différentielle est développée dans la partie en anglais.

Dérivation

La définition de la dérivée d'une fonction n'est plus une définition «fondamentale». Les choses sont maintenant faites dans cet ordre :

• Définition de la différentielle d'applications entre espaces de Banach.
• Définition de la dérivée directionnelle comme application de la différentielle à un vecteur (la direction).
• Définition des dérivées partielles comme cas particulier.
• La dérivée «usuelle» est définition comme .

Ce qui est marrant avec la dernière définition est que peut être interprété soit comme la dérivée partielle dans la première direction (il y en a une seule dans ) soit comme la dérivée directionnelle selon le vecteur .

Théorème de Stokes

Le théorème de Stokes est démontré. C'est un assez gros morceau.

Ce qu'il y a de mieux qu'ailleurs

Le Frido se distingue d'autres livres de math en cela qu'il est meilleur sur certains points.

Certains détails sont traités correctement.

Je me demande si je suis le seul au monde à avoir remarqué que, quand on parle de l'extension de corps , ce qu'on obtient dépend du corps ambiant dans lequel sont et .

Par exemple si je prend … Il n'y a pas de problèmes à construire un sur-corps de contenant l'élément dans lequel .

Ce genre de détails sont traités dans le Frido, l'exemple de est donné en détail, et il est bien fait mention que la notation réfère toujours à des sous-corps de .

Notation pour les dérivées partielles

Considérez les trois fonctions suivantes : données par

Est-ce que vous oseriez écrire  ? Si oui, c'est que vous pouvez remplacer «» par «» ou partout. Alors que signifie  ?

Bien que ces infectes notations «» soient utilisées à quelques endroits dans le Frido, je m'efforce à écrire qui signifie la dérivée de dans la -ième direction.

Un minimum de notations

Bien que je sois un psychorigide sur les abus de notations, le Frido a une autre règle : utiliser un minimum de symboles difficiles à écrire. Tout doit pouvoir être écrit à la main sur des feuilles volantes dans le tram.

• pas de gras pour les vecteurs (impossible à rendre à la main)
• le même symbole «» est utilisé pour pour dire et dans pour désigner le dual algébrique.

Variétés et cartes

D'habitude, on définit une variété comme étant un ensemble avec des cartes provenant d'ouverts de .

Or on définit quand même souvent des variétés avec des cartes ne provenant pas de . Par exemple lorsqu'on travaille sur des sous-groupes de Lie, on prend souvent la carte exponentielle provenant de l'algèbre de Lie.

Dans Giulietta (NdM : extension en anglais qui va de l’agrégation jusqu’à tout ce que l'auteur sait en mathématique), on définit correctement une variété comme ayant des cartes provenant d'ouverts d'espaces vectoriels normés quelconques. Il est alors démontré que toute telle variété est isomorphe à une variété avec des cartes de .

Je ne me souviens pas avoir vu cette subtilité traitée quelque part. Notons qu'avec cette définition, on ne peut plus parler de l'ensemble de toutes les cartes.

Citations

Le Frido cite (à peu près) correctement ses sources. Chaque théorème vient avec les sources qui ont contribué soit à l'énoncé soit à la preuve. Les inventions personnelles sont mentionnées très explicitement. Pas peur de citer wikipédia, des commentaires sur math.stackexchange.com ou d'autres sources moins conventionnelles que des livres.

Je suis souvent choqué étonné par la quantité de cours mis en ligne par des profs se contentant de citer trois livres en disant «pour en savoir plus, le lecteur pourra consulter les ouvrages suivants». Ensuite, on va se plaindre que si les étudiants ne citent pas leurs sources dans leurs mémoires, c'est du plagiat.

Le plagiat massif est simplement la norme dans les textes de math que les profs mettent dans les mains des étudiants.

ChatGPT

Cette année, ChatGPT entre dans la bibliographie. C'est lui qui a fourni une partie de la preuve que si et sont mesurables (depuis le même espace) alors le vecteur est mesurable.

Il y a d'ailleurs une belle anecdote à ce sujet.

ChatGPT se contente de prouver correctement que le théorème est vrai sur les mesurables de la forme , et dit vaguement que si c'est bon sur une partie qui engendre la tribu produit, alors c'est bon pour toute la tribu. Typiquement le genre de trou dans la preuve que laisserait un humain.

Si vous voulez contribuer

Niveau facile

Lisez et écrivez-moi si vous trouvez une faute ou un passage pas clair. Critère : si vous êtes relativement bon en math et que vous mettez plus de 20 minutes sur une ligne, c'est qu'il y a un problème avec le texte.

Niveau intermédiaire

S'il manque une démonstration, rédigez-en une, faites une photo de votre feuille et envoyez-la moi.

Niveau difficile

• Si vous êtes bon en géométrie différentielle, vous pouvez tenter de répondre à cette question:
  

https://math.stackexchange.com/questions/4917916/commute-two-sums-when-defining-integral-of-differential-manifold

Enjeu : toutes les définitions que je connais de l'intégrale d'une forme sur une variété sont fausses. Sauf celle que j'ai inventée moi-même.

• Si vous vous y connaissez en processus de Poisson, vous pouvez répondre à cette question :

https://math.stackexchange.com/questions/4957480/density-of-the-vector-of-jump-times-in-a-poisson-process

Note : je ne suis même pas sûr que l'énoncé soit correct. La démonstration que je connais vient d'ici mais je ne suis pas convaincu.

• Si vous être bon en probabilités, vous pouvez tenter de répondre à cette question :

https://math.stackexchange.com/questions/4961074/is-the-join-density-the-density-of-the-vector

Niveau supérieur

Vers la fin, il y a une section consacrée aux différentes propriétés et conjectures autour de la constante de Weiner. Si vous en connaissez d'autres, faites-le moi savoir.

LaTeX

Modifier l'environnement proof pour qu'il prenne un paramètre booléen optionnel inBook. Par défaut il vaut True et la démonstration est affichée. Si inBook est False, la démonstration n'est pas affichée. Au lieu de la preuve, il y a le texte «Voir la version en ligne : ».

La raison est expliquée plus bas.

Agreg (1)

Il me faut une liste des théorèmes dont les démonstrations peuvent être sautées pour un candidat à l'agreg. J'imagine que tout ce qui utilise explicitement le lemme de Zorn peut sauter, tout ce qui parle de topologie sur les espaces de distribution peut sauter, la partie sur les mesures peut partir, etc.

Pour la raison de ce besoin, voir plus bas.

Agreg (2)

Il me faut une liste de théorèmes qui peuvent servir de développements.

Contrainte

Je n'ai pas accès aux livres privateurs. Inutile de m'en conseiller un.

Ventes

Les chiffres

Précision sur le prix : le prix indiqué est le prix de vente côté imprimeur. Je ne gagne pas d'argent dessus. D'ailleurs je me demande bien qui achète le Frido …

Certes, le règlement de l'agrégation interdit les livres qui ne sont pas vendus (incidemment, les livres qui ne sont plus en vente sont interdits), mais j'ai du mal à croire qu'il y ait autant de monde qui utilise le Frido à l'agreg. Mais si ce n'est pas pour l'agreg, qui paye 100 euros pour avoir quatre briques de 6cm d'épaisseur A4 alors qu'on peut avoir un pdf sur un écran ?

Voici un tableau qui montre, pour chaque année, le nombre de livres vendus, et le prix total. Les cases avec un x correspondent au nombres dont je n'ai pas pris note.

Au total, ce sont 196 bouquins vendus plus ceux de 2022 dont je n'ai pas pris note. On doit être un peu au-dessus de 200.

Précisions :

• La ligne 2021 correspond au Frido 2021 vendu entre septembre 2021 et septembre 2022. Plus généralement, la ligne N correspond aux ventes entre septembre N et septembre N+1.
• En 2019, il fallait payer 89,36 euros pour acheter les 4 Fridos. 17 livres ont étés vendus. Le fait que 17 ne soit pas divisible en 4 est dû au fait que le tome 2 a été acheté 5 fois, tandis que les autres ont été vendus 4 fois.

Une pensée à propos des prix

La page 77 du rapport 2023 indique qu'un livre n'est autorisé que s'il jouit d'une diffusion commerciale. La motivation est que :

Cette restriction est motivée par le principe d'égalité des candidats : les ressources documentaires autorisées doivent être facilement accessibles à tout candidat au concours.

Je ne sais pas si l'auteur de ces lignes avait l’accessibilité financière en tête en rédigeant cela. Si oui, alors le Frido est probablement le seul livre autorisé à l'agreg :)

Quoi qu'il en soit, le Frido commençant à dépasser les 100 euros, il y a un problème.

Pour faire baisser le prix, il faut baisser le nombre de pages.
Une piste serait de supprimer les démonstrations des théorèmes non nécessaires à l'agreg.

Pour cela il me faudrait les deux contributions LaTeX et agreg (1) dont je parle plus haut :

• LaTeX : Une modification de l'environnement proof.

• Agreg : il me faut une liste des théorèmes dont les démonstrations peuvent être sautées pour un candidat à l'agreg.