La Biblio'TECH est un espace collectif de partage et de mutualisation des ressources produites par les associations, syndicats, militant·es et chercheur·euses, pour outiller la société civile sur l'impact incontournable des Big Tech sur les discriminations en ligne, l'État de droit et la démocratie.

Le Centre arabe pour la promotion des médias sociaux (7amleh) a publié un nouveau rapport qui analyse la répression numérique du soutien à la cause palestinienne en Europe et qui montre comment la gouvernance des plateformes, les cadres juridiques nationaux et les pressions exercées par les États influent sur la liberté d'expression et l'accès à l'information.

Kaliop organise le jeudi 15 octobre 2026, de 9h30 à 12h00, la première édition de la DevOps Experience Conf' : une matinée de conférences en ligne, gratuite et en français, consacrée au cloud souverain, à l'observabilité et au platform engineering.

Quatre sessions, six intervenants, diffusion en direct sur YouTube. Le parti pris est celui du retour d'expérience chiffré sur des plateformes réellement en production, avec les arbitrages assumés qui vont avec, plutôt qu'un tour d'horizon d'outils. Public visé : équipes IT, DevOps, SRE, architectes cloud, et celles et ceux qui pilotent une DSI.

Le programme détaillé, les intervenants et les modalités d'accès en seconde partie.

• lien nᵒ 1 : Inscription et programme de la DevOps Experience Conf'

Trois questions pour une matinée

Kaliop avait réuni plus de 1 500 spectateurs sur la Headless Experience Conf', consacrée aux architectures de contenu. Cette nouvelle édition ouvre le même format aux équipes cloud, infrastructure et platform engineering, autour de trois questions :

• la souveraineté du cloud est-elle réservée aux grands comptes et aux secteurs régulés, ou devient-elle un sujet pour tout le monde (SecNumCloud, AI Act, maîtrise des coûts, dépendance aux hyperscalers) ?
• comment faire de l'observabilité un outil de pilotage, et pas seulement un mur d'alertes ?
• jusqu'où laisser l'IA entrer dans les opérations, quand il s'agit de déployer en production ?

Le programme

9h30, Cloud souverain : à qui ça s'adresse et comment le déployer, en toute maîtrise ?

Il y a dix ans, le cloud souverain n'intéressait personne. Le marché et la maturité ont évolué depuis. Est-ce pour autant l'apanage des grands groupes et des secteurs sensibles (public, banque, santé) ? Quels prérequis pour migrer, à quel coût et pour quel effort ? État des lieux et retour d'expérience.

Avec Adrien Bresson (directeur infrastructures) et Jérôme Galais (technical expert DevOps et cloud).

10h10, Observabilité : une plateforme en bonne santé au service d'utilisateurs satisfaits

Comment savoir qu'une plateforme se porte bien, quel budget y investir et quelles équipes solliciter ? La modernisation des indicateurs de performance, Core Web Vitals en tête, et l'arrivée des plateformes d'observabilité multi-niveaux (New Relic, Splunk, Elastic) changent les capacités de détection et de résolution, mais obligent aussi des métiers différents à coopérer autour des mêmes indicateurs. Une approche par couches, du parcours utilisateur à l'infrastructure Kubernetes, permet de recentrer les alertes sur la valeur métier et de piloter la roadmap.

Avec Gilles Guirand (directeur technique) et Boris Gorzelniaski (DevOps engineer).

10h40, Platform engineering : le pari financier et organisationnel de l'approche produit

Environnements instables, interdépendance des déploiements, mises en production manuelles : chaque friction technique ralentit la delivery. Comment construire une trajectoire qui réduit les temps de déploiement et améliore l'expérience développeur, et comment en défendre le coût ?

Avec Antoine Mayer (site reliability engineer) et Jérôme Galais.

11h20, Table ronde : intelligence artificielle et opérations, jusqu'où l'intégrer ?

IaC générée, investigation de logs, dashboards automatisés, audits accélérés : l'IA est déjà dans le quotidien DevOps. Un débat fondé sur des expériences réelles : est-ce que ça fonctionne, faut-il la borner, faut-il imposer une IA souveraine, quel impact sur les équipes et sur la montée en compétence de celles et ceux qui débutent ? Les lignes rouges évoquées : déterminisme, hallucinations, sécurité des agents.

Avec Jérôme Galais, Adrien Bresson, Alexandre-Benoit Petit (cloud engineer) et Boris Gorzelniaski.

Informations pratiques

• Date : jeudi 15 octobre 2026, de 9h30 à 12h00
• Format : en ligne, diffusion en direct sur YouTube, en français
• Tarif : gratuit
• Accès : le lien de connexion au live est envoyé par courriel après inscription
• Chaque session est indépendante, il n'est pas nécessaire de suivre toute la matinée
• Contact : devops-conf@kaliop.com

Commentaires : voir le flux Atom ouvrir dans le navigateur

PostgreSQL 19 Bêta 4 publiée

Le PostgreSQL Global Development Group annonce la disponibilité de la quatrième bêta de PostgreSQL 19 en téléchargement. Cette publication contient un aperçu des fonctionnalités qui seront disponibles dans la version finale de PostgreSQL 19. Des modifications peuvent toutefois intervenir d’ici là.

Vous pouvez trouver des informations sur toutes les fonctionnalités et les changements de PostgreSQL 19 dans les notes de version

Dans l’esprit de la communauté open source PostgreSQL, nous vous encourageons fortement à tester les nouvelles fonctionnalités de PostgreSQL dans vos systèmes de base de données. Ceci afin de nous aider à éliminer les bogues et autres problèmes qui pourraient exister. Bien que nous ne vous conseillions pas de faire fonctionner PostgreSQL 19 Bêta 4 dans vos environnements de production, nous vous encourageons à trouver des moyens de faire fonctionner votre charge applicative typique avec cette publication bêta.

Vos tests et vos commentaires aideront la communauté à s’assurer que PostgreSQL 19 respecte nos standards de stabilité et fiabilité. Vous pouvez également vous renseigner sur notre processus de bêta testing et comment y contribuer.

Mise à jour vers PostgreSQL 19 Bêta 4

Pour mettre à jour vers PostgreSQL 19 Beta 4 à partir d’une précédente version de PostgreSQL, vous aurez besoin d’utiliser une stratégie similaire à la mise à jour entre versions majeures de PostgreSQL (i.e. pg_upgrade ou pg_dump/pg_restore). Pour plus d’information, merci de consulter la section de la documentation concernant les mises à jour.

Changement depuis la publication de la Bêta 3

Les corrections et changements depuis la publication PostgreSQL 19 Bêta 3 incluent :

• Retrait de la prise en charge de SQL/PGQ (requêtes sur les graphes de propriétés) ;
• Retrait de l’activation et la désactivation en ligne des sommes de contrôle des données ;
• Annulation de la prise en charge des mises à jour et suppressions temporelles fournies par la clause FOR PORTION OF ;
• Annulation des commandes ALTER TABLE ... MERGE PARTITIONS et ALTER TABLE ... SPLIT PARTITIONS ;
• Retrait des fonctions pg_get_role_ddl(), pg_get_tablespace_ddl() et pg_get_database_ddl() ;
• Annulation d’une modification qui forçait la valeur de LC_COLLATE à C dans le processus postmaster ;
• Plusieurs corrections apportées à la fonctionnalité d’amélioration des performances pour les vérifications des contraintes de clé étrangère ;
• Plusieurs corrections concernant la nouvelle commande REPACK, notamment des plantages, un comportement incorrect avec des index et des vues matérialisées non valides, ainsi que plusieurs corrections relatives aux autorisations et au signalement des erreurs ;
• Plusieurs corrections concernant la nouvelle commande WAIT FOR, notamment un blocage (deadlock) et un signalement plus clair des erreurs de niveau d’isolation ;
• Correction de la validation d’une liste FOREIGN_JOIN vide dans pg_plan_advice ;
• Plusieurs corrections concernant CREATE PUBLICATION ... EXCEPT ;
• Correction de la synchronisation initiale des tables de la réplication logique depuis une ancienne version de PostgreSQL vers la version 19 ;
• Plusieurs corrections concernant la détection des conflits lors de la réplication logique ;
• Plusieurs corrections concernant le nouveau système de notation d’autovacuum, notamment pour les tables TOAST ;
• Correction pour l’optimisation SIMD de la commande COPY FROM ;
• Correction d’un plantage lors de l’accès à une partition dont le détachement concurrent n’était pas terminé ;
• Précision indiquant que les transactions ayant échoué sont signalées séparément lors de l’utilisation de pgbench --continue-on-error ;

Veuillez consulter les notes de publication pour une liste complète des nouveautés et changements : https://www.postgresql.org/docs/19/release-19.html

Tests pour le débogage et la compatibilité

La stabilité de chaque publication de PostgreSQL dépend de vous, la communauté. En testant la version à venir avec votre charge et vos outils de tests, vous pourrez nous aider à trouver les bogues et régressions avant la publication de PostgreSQL 19.

Étant donné qu’il s’agit d’une version bêta, des changements mineurs dans le comportement de la base de données, des détails et des APIs sont toujours possibles. Vos retours et tests aideront à déterminer les ajustements finaux des nouvelles fonctionnalités.

La qualité des tests aide à déterminer le moment de la publication finale.

Une liste des problèmes ouverts est publiquement disponible dans le wiki de PostgreSQL. Vous pouvez rapporter des bogues en utilisant le formulaire présent sur le site web de PostgreSQL : https://www.postgresql.org/account/submitbug/.

Planning Bêta

Il s’agit de la quatrième publication bêta de la version 19. Le projet PostgreSQL publiera autant de bêtas que nécessaire pour les tests. Celles-ci seront suivies d’une ou plusieurs publications de versions candidates, jusqu’à la publication de la version finale.

Pour plus d’information, veuillez consulter la page Beta Testing.

Liens

• Téléchargement
• Information sur le Bêta Testing
• Note de publication de PostgreSQL 19 Bêta
• Problème connu de PostgreSQL 19
• Soumettre un bogue
• Faire un don

Crédits photo : Carlos Gonzalez

Libre à vous !, l’émission de l’April, l’association de promotion et de défense du logiciel libre. Prenez le contrôle de vos libertés informatiques, découvrez les enjeux et l’actualité du libre.

Au programme de la 284e émission :

• sujet principal : La vie des GULL et la Fête des Possibles, avec Florian Monteghetti de l'association CercLL et Otyugh de l'association Libre à Quimperlé. Sujet animé par Laurent Costy
• la chronique Les humeurs de Gee sur « Corbeille & récupération de fichiers »
• la chronique Libérons notre quotidien, pas après pas, app après app d'Anne L'Hôte sur « Complète ta rue ! »
• quoi de Libre ? Actualités et annonces concernant l'April et le monde du Libre

Écouter l'émission

S'abonner au podcast

S'abonner à la lettre d'actus

Après deux représentations couronnées de succès les 30 et 31 mai à la Maison Pop Rouge, le collectif de femmes des Maisons Pop a entamé une nouvelle étape autour de « Traversées ». Réunies pour faire le bilan de cette aventure artistique et humaine, les 16 participantes se projettent désormais vers de nouvelles représentations, envisagées […]

L’article « Traversées » / Acte II pour le Collectif de femmes est apparu en premier sur Les Maisons Pop de Chenôve.

À l’occasion de la reprise des activités, la Maison Pop Rouge a accueilli la réunion de rentrée du circuit des Tourneurs. Un temps d’échange consacré au bilan de la saison passée, aux retours sur les projections de cinéma en plein air, mais aussi à la préparation des prochains rendez-vous. Le cinéma au cœur de la […]

L’article Le Cinéma aux Maisons Pop : une vision collective ! est apparu en premier sur Les Maisons Pop de Chenôve.

À l’occasion de son programme anniversaire « La Soixantième », organisé pour célébrer les 60 ans de la MJC de Chenôve « Les Maisons Pop », la Boîte à vélos a proposé, les 18 et 19 septembre derniers, deux balades patrimoniales et exploratoires à travers la ville. Redécouvrir Chenôve en marchant Vendredi, une quarantaine de participants ont […]

L’article À Chenôve, 60 ans de la MJC célébrés au fil des rues, à pied et à vélo est apparu en premier sur Les Maisons Pop de Chenôve.

Reprise des activités régulières ! Que vous soyez sportifs, musiciens, créatifs ou en quête d’une nouvelle passion, vous trouverez votre bonheur parmi notre trentaine d’activités permanentes ! La reprise des cours se fera la semaine du lundi 21 septembre pour l’ensemble des activités sauf pour le yoga qui reprendra le mardi 29 septembre Téléchargez la Plaquette des […]

L’article Plaquette activités permanente 2026 est apparu en premier sur Les Maisons Pop de Chenôve.

Libre à vous !, notre émission de radio sur les libertés informatiques. est diffusée sur la radio associative Cause Commune, la voix des possibles.

La radio ouvre ses portes chaque premier vendredi du mois à partir de 19h30 pour une soirée « radio ouverte » avec un apéro participatif. Occasion de découvrir le studio et de rencontrer les personnes qui animent les émissions.

La prochaine soirée-rencontre « radio ouverte » aura lieu vendredi 2 octobre 2026 au studio de la radio : 22 rue Bernard Dimey 75018 Paris. Julie Chaumard, administratrice de l'April et Frédéric Couchet, délégué général de l’April, participeront à la soirée.

Cette soirée d'octobre s'inscrit dans le cadre de la Fête des Possibles.

Inscription (non obligatoire, mais cela facilite l'organisation) sur le bloc-notes.

À partir de 20 h il y aura en direct une émission intitulée « Comm'un vendredi » consacrée aux coulisses de la radio. le principe général est de réunir des animatrices et animateurs d’émissions de la radio pour parler de leurs émissions, de la radio, de leurs expériences. Mais aussi donner la parole aux auditrices et aux auditeurs.

Nous avons profité du State Of The Map 2026 à Paris (la grande réunion annuelle des contributrices et contributeurs d'OSM) pour interviewer Enzo BRIÈRE, Donat Robaux, Thibaut Maïto et Tony Emery, membres du CA de l'assocation OpenStreetMap France.

Dans cet épisode d'un format court, nous abordons ensemble les sujets suivants :

• quelles sont les missions de l'association ?
• qui la compose ?
• quelles sont les volontés de l'équipe pour l'avenir ?
• quels sont les défis qu'elle rencontre ?

Bonne écoute !

• lien nᵒ 1 : Audio et transcription du podcast sur l'association OSM France
• lien nᵒ 2 : Site de l'association OSM France
• lien nᵒ 3 : Forum OSM France
• lien nᵒ 4 : S'abonner au podcast Projets Libres
• lien nᵒ 5 : Soutenir le podcast Projets Libres sur Enventelibre

Commentaires : voir le flux Atom ouvrir dans le navigateur

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.

• [01net.] Mozilla choisit Mistral: l'IA française s'installe au cœur de Firefox
• [Next] L'IA ouverte rattrape les modèles propriétaires, et la Chine en profite
• [ZDNET] Les Helvètes sortent leur couteau suisse face à Microsoft 365

• lien nᵒ 1 : April
• lien nᵒ 2 : Revue de presse de l'April
• lien nᵒ 3 : Revue de presse de la semaine précédente
• lien nᵒ 4 : 🕸 Fils du Net

[01net.] Mozilla choisit Mistral: l'IA française s'installe au cœur de Firefox

✍ Naïm Bada, le jeudi 17 septembre 2026.

Firefox s’équipe d’une IA maison, et pour une fois, elle ne sort pas d’un campus californien. Mistral s’installe dans la Fenêtre intelligente du navigateur, et la France est servie avant presque tout le monde.

Et aussi:

• [BFMtv] 'L'union de deux défenseurs majeurs de l'open source': Mozilla et Mistral s'associent pour intégrer une IA ouverte et légère dans le navigateur Firefox

[Next] L'IA ouverte rattrape les modèles propriétaires, et la Chine en profite

✍ Mickael Bazoge, le mercredi 16 septembre 2026.

Les modèles IA à poids ouverts peuvent tenir tête aux modèles propriétaires. Ce qui n’est pas sans provoquer des frictions géopolitiques, avec d’un côté…

Et aussi:

• [euronews] Xi Jinping propose aux pays des BRICS une 'zone d'IA open source'
• [Les Echos] «Nvidia a tout intérêt à pousser l'écosystème open source, notamment pour atténuer le pouvoir de négociation des hyperscalers», explique Alfred Buot de l'Epine, de CPR A (€)M
• [Journal du Net] La Chine propose la création d'une "zone d'intelligence artificielle open source" pour les Brics

[ZDNET] Les Helvètes sortent leur couteau suisse face à Microsoft 365

✍ Steven Vaughan-Nichols, le mardi 15 septembre 2026.

Deux divisions du gouvernement suisse abandonnent Microsoft 365 au profit de la solution open source openDesk. Voici pourquoi.

Et aussi:

• [Next] Le gouvernement fédéral suisse teste l'abandon de Microsoft 365 sur 3 000 ordinateurs

Commentaires : voir le flux Atom ouvrir dans le navigateur

Lancés dans une course folle à l'IA, les Big Tech cherchent à implanter des centres de données sur tous les continents. Mais ils se heurtent de plus en plus à des oppositions locales qui dénoncent les impacts environnementaux et le manque de transparence autour de ces infrastructures gigantesques. Panorama de ces luttes populaires qui essaiment partout dans le monde.

Le standard Unicode a ajouté dans son bocal : 13 007 caractères. Il en contient donc aujourd’hui 172 808. Ce n’est pas une version révolutionnaire. Les modifications sont principalement liées à l’ajout des nouveaux systèmes d’écritures et caractères afin de pouvoir s’adapter à leur comportement, comme pour la version précédente. Il n’y a donc pas de nouvel algorithme. Outre trois symboles monétaires, on voit arriver 11 328 idéogrammes d’écritures chinoises anciennes, le petit sceau et les sinogrammes Jurchen. Unicode 18 accueille aussi en son sein des chiffres proto-cunéiformes ou encore des symboles musicaux. Et bien sûr, des émojis.

Qu’écouter à la lecture de cette dépêche ? Stéphane Bortzmeyer suggère la chanson de Nino Ferrer « Les cornichons ». Vous avez le choix entre la version originale chantée ou une purement instrumentale.

• lien nᵒ 1 : Note de blog annonçant la sortie d’Unicode 18
• lien nᵒ 2 : Résumé des principaux changements apportés par Unicode 18
• lien nᵒ 3 : Version 18 d’Unicode
• lien nᵒ 4 : Tous les émojis Unicode
• lien nᵒ 5 : Les nouveaux symboles musicaux (pdf)
• lien nᵒ 6 : Les nouveaux symboles divers et flèches (pdf)

Sommaire

• Des symboles monétaires
• Des systèmes d’écritures
  • L’écriture petit sceau
  • L’écriture Jürchen
  • Les nombres proto-cunéiformes
  • Le bengali
• Aspect « technique »
• Des émojis et des symboles divers
• Remerciement et mots de la fin

Selon votre navigateur, vous verrez, ou pas, les caractères s’afficher. Ils finiront très probablement par l’être un jour, de toute façon, raison pour laquelle ils figurent à côté de leur numéro Unicode.

Des symboles monétaires

Trois symboles monétaires ont été ajoutés. Dans sa note de blog (EN), le consortium Unicode les considère comme les caractères les plus attendus, à savoir :

• la rufyaa ou roupie maldivienne, MVR ou Rf, devise des Maldives, U+20C2, ⃂ ;
• le D avec une double barre du dirham des Émirats arabes unies, AED, U+20C3, ⃃ ;
• et le rial omanais, OMR, une boucle sur deux barres, monnaie officielle du sultanat d’Oman, U+20C4, ⃄.

Des systèmes d’écritures

Les nouveautés d’Unicode 18 en matière d’écriture sont principalement des anciennes, voire, des très anciennes écritures. Les références AEC signifient Avant l’Ère Commune, donc avec des périodes s’écrivant dans le sens inverse de la datation actuelle : du plus grand nombre au plus petit.

L’écriture petit sceau

L’écriture petit sceau ou xiǎo zhuàn en chinois est une écriture sigillaire. En d’autres termes elle est basée sur les divers sceaux utilisés pour authentifier les différents actes et documents officiels mais aussi pour les particuliers et, évidemment, les artistes.

Elle fait partie des cinq styles de l’écriture chinoise¹ :

• l’écriture avec le grand sceau ou dà zhuàn et le petit sceau qui nous occupe aujourd’hui et qui est une forme de l’écriture grand sceau  ;
• le lì shū, écriture classique des documents administratifs des dynasties Qin et Han ;
• le kǎi shū, style régulier qui est la norme de l’écriture chinoise ;
• le xíng shū qui est une écriture semi-cursive ;
• les cǎo shū, style herbe qui est une écriture très libre.

L’écriture petit sceau a commencé à être utilisé sous la dynastie Qin, 221-207 AEC, et ce, pendant deux cents ans. C’est sous cette dynastie et sous l’impulsion du pouvoir impérial que l’écriture chinoise se normalisera. L’Unicode vient d’intégrer 11 328 caractères dans les blocs Unicode 3D000 à 3FC3F.

L’écriture Jürchen

Chinoise elle aussi, l’écriture Jürchen date de la dynastie Jin et du XII^e siècle. Elle comporte neuf cents caractères et n’est actuellement que partiellement déchiffrée.

Les Jürchen était un peuple du nord-est de la Chine. Le chef Jürchen Wanyan Aguda (1068-1123) devenu le premier empereur Jürchen en 1115 demande en 1119 à Wanyan Xiyin (?-1140) de travailler à un système d’écriture à la hauteur d’un empire. Ce sera donc l’écriture Jürchen qui occupe les blocs Unicode 18E00 à 1919F et 191A0 à 191DF pour les radicaux².

On pourrait écrire une histoire politique de la Chine à travers celle de son écriture.

Les nombres proto-cunéiformes

Le proto-cunéiforme ou cunéiforme archaïque est apparu en Mésopotamie vers 3 200 (voire, 3 400) AEC. C’est, probablement, le tout premier système d’écriture, tout du moins, c’est le système d’écriture le plus ancien dont on ait la trace. Il évoluera vers le cunéiforme aux alentours du deuxième millénaire. Ce dernier se répandra largement notamment grâce aux échanges commerciaux.

L’écriture se faisait sur des tablettes d’argile à l’aide de stylets, la forme des lettres rappelant celle des clous : une ligne avec une tête. Alors que le proto-cunéiforme était plus figuratif, le cunéiforme devient plus abstrait.

Le cunéiforme occupait déjà les blocs Unicode 12400 à 1247F. Les chiffres proto-cunéiforme, font leur entrée dans les blocs Unicode 12550 à 1268F.

Contrat de vente en proto-cunéiforme. La tablette est écrite en cases et se lit verticalement. Shuruppak, vers 2600 AEC. Musée du Louvre, photo Marie-Lan Nguyen.

Le bengali

Le Bengali est la langue nationale du Bangladesh. Il fait partie des vingt-deux langues officielles de l’Inde. C’est la langue des états du Bengale-occidental et de Tripura. Selon l’Inalco il y aurait dans le monde 250 millions de locuteurs et de locutrices de cette langue.

Il figurait déjà dans les blocs Unicode 0980 à 09FF. La version 18 vient d’ajouter un supplément : 11DF0 à 11DFF.

Aspect « technique »

Les modifications plus « techniques » concernent presque essentiellement la prise en compte de ces nouveaux systèmes d’écritures avec l’ajout de fichiers de données.

À cela se rajoutent des recommandations destinées aux implémentations pour rendre plus visibles les utilisations non conformes des sélecteurs de variation. Le langage de conformité de ces derniers a été mis à jour.

Des émojis et des symboles divers

Vous avez sans doute deviné au moins un des nouveaux émojis de cette version, on a donc :

• un cornichon, pickle, U+1FADD, 🫝, à ne pas confondre avec le concombre, U+1F952, 🥒 qui existait déjà ;
• une face fissurée, cracking face, qui ressemble assez à un genre de sablé rond avec des lézardes sur le pourtour, U+1FAEB, 🫫 ;
• un filet à papillon, net with handle, U+1FA8D, 🪍,
• une gomme, eraser, U+1FA8C, 🪌, impeccable en période de rentrée des classes ;
• une météorite, meteor, U+1FA8B, 🪋 ;
• et un papillon monarque, monarch buttterfly, U+1FACC, 🫌. C’est d’ailleurs assez intéressant cet ajout car il existait déjà un papillon 🦋, U+1F98B.

Unicode 18 voit arriver des symboles musicaux supplémentaires : bloc 1D250 à 1D28F. On y trouvera notamment des symboles pour l’utilisation des talons et des orteils pour les pédales d’orgue, respectivement U+1D273 et U+1D274 ou encore, U+1D256, le symbole pour le bémol quart de ton arabe.

Les symboles divers et flèches se voient également gratifier de nouvelles entrées aux blocs 1DB00 à 1DBFF. Par exemple en U+1DB0A les deux lignes « plus grand que » et en 1DB0B les deux lignes « plus petit que ». Les deux symboles affichent deux lignes horizontales de tailles inégales.

Remerciement et mots de la fin

Cette dépêche n’aurait sans doute pas été rédigée si rapidement après la sortie d’Unicode 18 sans Stéphane Bortzmeyer qui m’a fait lire en avant-première sa note de blog au moment où j’allais lui demander de me tenir au courant. Tous mes remerciements. Évidemment, je vous suggère fortement de lire sa note de blog sur le sujet.

La version originale de l’image de tête est sur OpenClipart (EN), elle a été dessinée par qubodup (EN). Le bocal avait un couvercle bleu (EN) que l’auteur a repeint en vert (EN). Plus tard, oksmith (EN) a rempli le bocal de cornichons (EN), bocal que j’ai malencontreusement renversé (EN).

Et, bien sûr si vous avez la chanson de Nino Ferrer qui tourne en boucle dans votre crâne, je dénie toute responsabilité.

1. Selon les sources, on recense cinq ou six styles d’écriture chinoise. ↩

2. Les radicaux sont les clés qui composent les idéogrammes chinois. ↩

Commentaires : voir le flux Atom ouvrir dans le navigateur

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.

• [01net.] Mozilla choisit Mistral: l'IA française s'installe au cœur de Firefox
• [Next] L'IA ouverte rattrape les modèles propriétaires, et la Chine en profite
• [ZDNET] Les Helvètes sortent leur couteau suisse face à Microsoft 365

[01net.] Mozilla choisit Mistral: l'IA française s'installe au cœur de Firefox

✍ Naïm Bada, le jeudi 17 septembre 2026.

Firefox s’équipe d’une IA maison, et pour une fois, elle ne sort pas d’un campus californien. Mistral s’installe dans la Fenêtre intelligente du navigateur, et la France est servie avant presque tout le monde.

• [BFMtv] 'L'union de deux défenseurs majeurs de l'open source': Mozilla et Mistral s'associent pour intégrer une IA ouverte et légère dans le navigateur Firefox

[Next] L'IA ouverte rattrape les modèles propriétaires, et la Chine en profite

✍ Mickael Bazoge, le mercredi 16 septembre 2026.

Les modèles IA à poids ouverts peuvent tenir tête aux modèles propriétaires. Ce qui n’est pas sans provoquer des frictions géopolitiques, avec d’un côté…

• [euronews] Xi Jinping propose aux pays des BRICS une 'zone d'IA open source'
• [Les Echos] «Nvidia a tout intérêt à pousser l'écosystème open source, notamment pour atténuer le pouvoir de négociation des hyperscalers», explique Alfred Buot de l'Epine, de CPR A (€)M
• [Journal du Net] La Chine propose la création d'une "zone d'intelligence artificielle open source" pour les Brics

[ZDNET] Les Helvètes sortent leur couteau suisse face à Microsoft 365

✍ Steven Vaughan-Nichols, le mardi 15 septembre 2026.

Deux divisions du gouvernement suisse abandonnent Microsoft 365 au profit de la solution open source openDesk. Voici pourquoi.

• [Next] Le gouvernement fédéral suisse teste l'abandon de Microsoft 365 sur 3 000 ordinateurs

Quelques membres d'itopie se sont joints à la grande manifestation ce week-end pour défendre un climat vivable, intitulée "Pas d'étés à 50 degrés !". Plus de 20'000 personnes ont défilé dans les rues de Lausanne et Genève, ce qui constitue déjà un joli succès. Et ce n'est pas terminé ! D'autres manifestations sont encore prévues tout prochainement, le 25 septembre à Bienne ou le 2 octobre à Neuchâtel (et d'autres dates en Suisse alémanique).

+20’000 personnes pour défendre le climat à Genève et Lausanne est issu du site itopie informatique.

Le Frido est un livre libre (licence FDL) de mathématique qui reprend l’ensemble de la mathématique depuis la construction des entiers jusqu’à tout ce qu’on peut placer à l’agrégation : probabilités, distributions, anneaux, groupes, géométrique, etc.

• lien nᵒ 1 : Ma page perso sur le Frido
• lien nᵒ 2 : Achat du premier volume
• lien nᵒ 3 : Les sources LaTeX

Sommaire

• Tout en un
• Nouveautés 2026
  • Cauchy-Lipschitz analytique
  • Groupe symétrique
  • Problèmes d’ordre
  • Partition de l’unité
  • Neutralité en moyenne
  • Indépendance de variables aléatoires
  • Algèbre
  • LaTeX et encodage
  • luatex
  • Passage à 5 volumes
• Laurent est un pédant
• L’Humanité

Tout en un

Une particularité du Frido est d’être «tout en un». Un seul livre (PDF de 3000 pages) qui contient toutes les matières : algèbres, analyse, probabilités, etc.

L’intérêt est de pouvoir citer les théorèmes d’algèbre linéaire utilisé en analyse, de mesure utilisée en probabilité, etc.

Un enchaînement particulièrement long et interdisciplinaire est la chose suivante.

1. Définir une rotation comme composée de deux symétries axiales.
2. Définir les fonctions trigonométriques par leurs séries.
3. Définir les applications linéaires et leurs matrices associées.

À partir de là, montrer que la matrice d’une rotation a la forme qu’elle a avec ses fonctions trigonométriques.

Nouveautés 2026

Cauchy-Lipschitz analytique

Le gros morceau de cette année est le théorème Cauchy-Lipschitz analytique en passant par Cauchy-Lipschitz holomorphe. Je suis convaincu qu’on peut faire sans passer par les fonctions holomorphes. En cherchant le label THOooZEBOooQJOSQj dans le PDF, vous trouverez une démonstration quasiment complète sans passer par les fonctions holomorphes. À mon avis le bout qu’il manque est juste un peu de combinatoire qui m’échappe. Si vous connaissez des choses à ce propos, n’hésitez pas à répondre à l’une ou l’autre de ces questions qui sont (je crois) équivalentes :

https://math.stackexchange.com/questions/5111835/analytic-map-on-the-banach-x-times-y
https://math.stackexchange.com/questions/5113042/analytic-picard-lindel%C3%B6f-theorem

Note : j’ai déjà demandé à de l’IA sans succès (mais c’était il y a quelque mois). Je n’ai rien contre une démonstration générée par IA, mais comme je l’explique ici, j’ai quelque chose contre « j’ai demandé à l’IA et voici le résultat ». Si vous me proposez une démonstration par IA, soyez sûrs de la comprendre d’un bout à l’autre dans tous les détails. Sinon, ça ne me sert à rien. Quand les IA font des fautes, c’est toujours subtil — et on ne les découvre que via une lecture très attentive de chaque ligne.

Groupe symétrique

Démonstration de la décomposition en cycles des éléments du groupe symétrique.

Problèmes d’ordre

L’ordre des chapitres dans le Frido est l’ordre logique mathématique, et non l’ordre pédagogique. Les théorèmes se démontrent uniquement avec des théorèmes démontrés plus haut. Du point de vue de , les \ref pointent toujours vers des \label plus haut. C’est une grosse contrainte.

Quelques exemples de dépendances qui m’ont fait déplacer des parties cette année ?

En théorie des groupes, la formule des classes demande les rationnels, les rationnels sont le corps des fractions, donc demande les anneaux.

Le symbole de sommation demande de savoir la décomposition en cycles des permutations (groupe symétrique) pour montrer que la somme ne change pas si on change l’ordre de sommation; la décomposition en cycles demande le théorème de Lagrange qui demande les rationnels et donc les anneaux. Les anneaux demandent le symbole de sommation pour écrire le terme général d’un idéal engendré par une partie.

Il faut donc découper la partie sur les anneaux en plusieurs parties. Quant au symbole de sommation, sa définition est découpée en plusieurs parties en fonction du niveau de généralité.

Tout cela pour dire que le Frido n’est pas arrangé par ordre pédagogique et encore moins par ordre de difficulté. Le principal déterminant à l’ordre et au découpage des chapitres est l’impossibilité de faire des références vers le bas.

Avant 2026, j’étais parvenu à mettre la construction des entiers, rationnels et réels dans le même chapitre avec seulement ce qu’il fallait d’anneaux pour dire que les rationnels sont le corps des fractions des entiers. Maintenant que je me suis rendu compte des boucles de dépendances dont je parle plus haut (parce que j’ai démontré la décomposition en cycles), j’ai décomposé en plus de chapitres.

• entiers relatifs (les naturels sont admis)
• groupes
• anneaux
• rationnels et réels

Partition de l’unité

Il y avait trop d’énoncés différents sans démonstration. Il reste maintenant deux théorèmes : un qui donne une partition de l’unité subordonnée à des ouverts et un autre spécifique dans le cas des compacts. Le deuxième est démontré; la démonstration du premier est dans mon interminable liste de choses à faire.

Neutralité en moyenne

Lorsque je dois écrire «La personne qui lit doit rester attentive», j’écris

avec la macro :

En gros, ça donne masculin ou féminin au hasard. Plus précisément, ça donnera masculin si la somme entre le numéro du chapitre et le numéro du dernier théorème énoncé est pair et féminin si impair.

La nouveauté 2026 est de faire « chapitre+théorème ». Avant, je faisais « numéro de page+théorème », et j’ai eu des problèmes avec une phrase qui passait d’une page à une autre—et donc une incohérence entre deux appels à randomGender.

Indépendance de variables aléatoires

Définition de l’indépendance d’une famille quelconque d’évènements. Définition d’un -système et lien avec l’indépendance de tribus.

Algèbre

… rien cette année. Étonnamment, cette année, aucun énoncé supplémentaire de la forme «Dans un anneau XXXX, tout élément/idéal YYYY est ZZZZ» n’a été démontré.

Pourtant je suis certain qu’il y en a encore plein qui manquent.

LaTeX et encodage

On a discuté de l’encodage des accents dans les URL.

L’objectif aurait été de faire fonctionner une macro \myurl permettant d’écrire

\myurl{https://fr.wikipedia.org/wiki/Idéal_premier}

Et franchement, ça n’a pas été un succès.

J’ai déjà fait des choses comme

Mais rien ne marche. Et j’en profite pour noter que chatGPT est nettement moins bon en LaTeX qu’en math ou en python.

luatex

Donc passage à LuaTeX, et ça a été assez facile.

• temps de compilation plus long
• texte raccourci : au moment du passage à LuaTeX je suis passé d’environ 3050 à 2775 pages.

Très peu de changements :

et

Passage à 5 volumes

Comme à chaque mois de septembre, une version figée est commercialisée pour celles qui voudraient avoir du papier (et aussi parce que la dernière fois que j’ai lu le règlement de l’agrégation, la commercialisation était obligatoire).

Le nombre maximum de pages étant de 750 par volume, le nombre total de page étant de 2872, j’ai dû passer à 5 volumes. Et c’est là que je suis content d’avoir dès le départ, dans mes scripts, mis le nombre de volumes en variable.

Laurent est un pédant

Je suis un insupportable pédant. Et je propose même de fonder un club. Dans des discussions non mathématiques sur LinuxFr.org je suis parvenu à me fritter à propos (au moins) de l’utilisation correcte de

• novlang
• exponentielle. Plusieurs fois.
• Pluton — mais là le troll n’a pas pris. On ne peut pas toujours gagner.

Le Frido aussi est un peu pédant par exemple si est un polynôme, il est démontré que . On pourrait croire que c’est seulement une notation, mais non. C’est un théorème.

Le Frido démontre aussi que si on induit la topologie de vers le cercle et qu’on construit la tribu de Lebesgue à partir de là (boréliens, complétion), on obtient la même tribu que si on induit directement la tribu de Lebesgue de vers le cercle. C’est important pour prouver des isomorphismes d’espaces de Lebesgue avec .

À part ça, le Frido est un pédant de notations. J’ai horreur des abus de notations, et je prétends que la formule d’Euler ne contient pas le nombre .

L’Humanité

L’Humanité a publié un article sur le Frido. Encore un en 2027 et le Frido rentre dans des critères d’admissibilité de Wikipédia :).

Commentaires : voir le flux Atom ouvrir dans le navigateur