L'Agenda du Libre

Le Capitole du Libre revient samedi 15 et dimanche 16 novembre 2025 dans les locaux de l'INP-N7 à Toulouse. Conférences, ateliers, village associatif : le programme est varié et s'adresse à toute personne, quel que soit son degré de connaissance de l'univers du logiciel libre et son implication au sein de celui-ci. L'évènement est ouvert à toutes et à tous sur inscription en ligne gratuite préalable obligatoire. Plus d'informations sur le site du Capitole du Libre.

À cette occasion, l'April participera avec un stand et plusieurs interventions.

S'inscrire pour la tenue du stand April

Nous avons besoin d'aide pour accueillir le public sur notre stand. Ainsi, si vous avez des disponibilités, n'hésitez pas à vous inscrire.
Important : signalez s'il vous plaît vos disponibilités mercredi 12 novembre midi au plus tard, cela aidera grandement notre organisation :)

Interventions de l'April

• Conférence « Libérer - Délivrer, un escape game pour découvrir les logiciels libres », par Bookynette, dimanche 16 novembre 2025 à 14 h 30 (25 min), salle B00
• Conférence « Député⋅es, attrapez-les toustes ! (debugged version) » par Étienne Gonnu, samedi 15 novembre 2025 à 16 h 30 (55 min), salle C002

Les 5 et 6 novembre 2025, Paris Expo Porte de Versailles accueillera DevOps Live Paris, l’un des cinq salons intégrés du Tech Show Paris, un événement européen dédié aux architectures cloud, à la cybersécurité, à la data et aux infrastructures critiques.

L’événement offre :

• un programme centré sur la pratique et le partage (320 conférences techniques et 275 exposants)
• un salon tourné vers les solutions

• lien nᵒ 1 : Inscription

Un programme centré sur la pratique et le partage

L’édition 2025 mettra en avant les approches concrètes du DevOps moderne : automatisation, IA, sécurité intégrée, observabilité et culture d’équipe.
Plus de 320 conférences techniques et 275 exposants permettront d’explorer les solutions et retours d’expérience des équipes qui opèrent à l’échelle.

Parmi les conférences phares :
• FinOps et DevOps : développement piloté par les coûts dans un monde cloud-économique — Émilie-Brenda Naoussi (Air France)
• DevSecOps sans le buzz : comment industrialiser la sécurité sans ralentir la livraison — Ayoub Houkmi (Vestiaire Collective)
• Culture DevOps : au-delà de l’architecture, la clé de systèmes innovants et durables — Joël Guimfack (Laboratoire Native SAS)

D’autres sessions aborderont :
• le DevOps augmenté par l’IA et les agents intelligents,
• la sécurité des containers (0 CVE dans vos containers : et si c’était possible ?),
• ou encore la mise en place de plateformes LLMOps pour le développement d’agents conversationnels.

Un salon tourné vers les solutions

Au-delà des conférences, DevOps Live Paris est aussi un espace de démonstration et d’expérimentation.

Les visiteurs pourront rencontrer des acteurs clés de l’écosystème tels que : Scafe, CBTW, Chainguard, Mindflow, Scalingo ou encore Spectrum Group / Atlassian…

C’est l’occasion d’échanger directement avec les équipes techniques derrière les outils et plateformes qui façonnent la chaîne CI/CD, la sécurité applicative et l’automatisation cloud.

Avec un seul badge, l’accès est ouvert à l’ensemble du Tech Show Paris : Cloud & AI Infrastructure, Cloud & Cyber Security Expo, Data & AI Leaders Summit et Data Centre World.

👉 Inscrivez-vous ici : https://www.techshowparis.fr/linuxfr

Pour les entreprises et projets issus de la communauté souhaitant rejoindre l’événement, une opportunité de stand à tarif préférentiel est proposée, incluant également une visibilité renforcée sur nos réseaux et supports de communication. Il suffit de contacter l’équipe organisatrice pour en bénéficier. Contactez-nous.

NdM: LinuxFr est partenaire média de l’événement. Benoît Sibaud modérera la table ronde du jeudi 6 novembre 10h00 – 10h45 « FinOps et DevOps : Développement piloté par les coûts dans un monde cloud-économique ».

Commentaires : voir le flux Atom ouvrir dans le navigateur

Cette année, la date de la journée Ada Lovelace, une journée dont l’objectif est d’accroître la visibilité des contributions des femmes dans les domaines scientifiques, technologiques, mathématiques et ingénierie (STEM), est le 15 octobre 2025.

Pour l’occasion, en 2023, LinuxFr avait consacré une dépêche à Lorinda Cherry, Evi Nemeth et Jude Milhon. En 2024, cela avait donné lieu à une mini-série sur la participation des femmes à la conquête de l’espace. Cette année, on se penchera sur les compilateurs, créés par Grace Hopper, et qui ont valu à Frances Allen un prix Turing en 2006 et on dressera le portrait de Delphine Demange, lauréate du prix Gilles Kahn 2013.

• lien nᵒ 1 : Page Delphine Demange sur le site de l'Irisa
• lien nᵒ 2 : Entretien avec Delphine Demange

Sommaire

• Qu’est-ce qu’un compilateur ?
  • La naissance des compilateurs
  • À quoi ça sert ?
  • Comment ça marche ?
• Delphine Demange : comment vérifier que les compilateurs font leur travail correctement
  • Parcours
  • La vérification des logiciels
• Quelques autres sources d’information
• Questions et remerciements

Qu’est-ce qu’un compilateur ?

La naissance des compilateurs

Le premier compilateur, il s’appelait « translator » (traducteur) à l’époque, a été inventé par Grace Murray Hopper pour l’UNIVAC 1 en 1951, l’A-O System. Soit après la sortie de l’IBM 604 (1948), avant celle de l’IBM 650 (1954) et un peu avant le FORTRAN, langage compilé, créé vers 1953 par John Backus pour l’IBM 701 et lancé en 1957. La même année où IBM embauche Frances Allen pour former des scientifiques et des ingénieurs réticents à l’utilisation du langage. Elle sera, en 2006, la première femme à obtenir un prix Turing. Elle raconte, dans les Annals of History of Computing (Volume 6, N°1, janvier 1984) que :

L’une des façons dont le laboratoire de recherche a convaincu les gens à utiliser ce langage a été d’imposer son utilisation via un règlement.

Elle ajoutera :

le compilateur FORTRAN a établi la norme en matière d’efficacité du code objet. Mais surtout, il a démontré la faisabilité de l’utilisation des langages de haut niveau. Lorsque j’ai enseigné le FORTRAN en 1957, l’utilisation de ce langage a rencontré une forte résistance. Cette résistance a rapidement été érodée par le type de code produit par le compilateur.

John Backus, qui trouvait par ailleurs que Grace Murray Hopper était difficile à égaler, détaillait dans ces mêmes annales les auteurs et l’autrice du compilateur. Peter Sheridan avait écrit la section 1 qui analysait les expressions algébriques, les traduisait en code et optimisait ce code. Pour la section 2, Harlan Herrick avait inventé l’instruction DO, rédigé : « la partie de la section 1 qui regroupe toutes les informations sources non utilisées dans les expressions algébriques dans des tableaux nécessaires aux sections suivantes. ».

C’est également à Herrick que l’on doit l’introduction des mots clés GO TO ! Roy Nutt a conçu la majeure partie du langage d’entrée/sortie et rédigé la partie de la section 1 qui traduisait les instructions d’E/S en boucles DO. Il a également rédigé la section 6, qui assemblait le programme symbolique final et complétait le traitement des instructions d’E/S. C’est également à Nutt que l’on doit l’introduction de l’instruction FORMAT. Bob Nelson et Irv Ziller ont rédigé la section 2, qui s’est avérée être la plus grande section du compilateur. Elle analysait les références aux tableaux dans les boucles DO et produisait un code hautement optimisé pour le reste du programme source. Leur travail a eu un impact important sur le niveau global d’optimisation que j’ai mentionné précédemment. Dick Goldberg a rédigé la section 3, qui rassemblait le code compilé par les sections 1 et 2 et produisait d'autres informations nécessaires aux sections suivantes. Les gens continuaient à se concerter et à demander aux auteurs des sections précédentes de produire un peu plus, quelques tableaux supplémentaires dont ils avaient finalement besoin. Dick a également joué un rôle important dans le débogage de la section 5. Lois Haibt (en) a rédigé la section 4, qui effectuait une analyse statistique de la fréquence d'exécution […] Ici, la section 4 a également préparé de nombreux tableaux pour la section 5, si je comprends bien. Sheldon Best a écrit la section 5, qui a converti le programme utilisant de nombreux registres d'index en un programme en utilisant trois. Ses méthodes ont eu un impact considérable sur les travaux ultérieurs dans ce domaine et ont eu un effet majeur sur le niveau d'optimisation du compilateur. Enfin, David Sayre a rédigé un manuel du programmeur exceptionnellement clair et concis et a aidé Dick Goldberg à déboguer la section 5.

Schéma de la structure du compilateur de l’ordinateur IBM 704 adapté de celui fait par Frances Allen dans les « Annals of History of Computing », Volume 6, N°1, janvier 1984 (page 24).

De leur côté, les Soviétiques, qui fabriquaient aussi des ordinateurs, utilisaient également des compilateurs. Dans son article sur les ordinateurs soviétiques, Yves Logé rapporte qu’ils utilisaient, en 1955, les langages de compilation : PP2 – PP et BESM. Le BESM étant un ordinateur sorti en 1953. La fondatrice de la programmation théorique en Ukraine, Katerina Yushchenko (en), y a fort probablement contribué.

À quoi ça sert ?

En août 2001, dans un entretien (en) avec Janet Abbate qui lui demandait comment elle définirait une compilateur, Frances Allen répondait :

Je pense qu’un compilateur sert à traduire ce que l’utilisateur de l’application […] demande […] à la machine de manière à obtenir la bonne réponse, mais aussi à utiliser au mieux les ressources de la machine. C’est ça, l’optimisation. On peut se contenter de transposer les choses sans tirer parti des registres et de nombreuses autres unités de calcul, mais cela ne serait pas aussi efficace. L’optimisation consiste donc à tirer parti des ressources de la machine et à très bien connaître cette dernière. C’est en quelque sorte combler un fossé, afin que l’utilisateur n’ait pas besoin de tout savoir !

Plus généralement, un compilateur est décrit comme un programme dans un langage de haut niveau qui traduit le code-source en code objet pour le rendre exécutable en détectant les erreurs et en l’optimisant par la même occasion.

Le code source est envoyé au compilateur qui le traduit en langage machine.

Les compilateurs sont des outils essentiels et très complexes qui interviennent dans tous les programmes, notamment des logiciels très critiques :

Par exemple, les programmes embarqués dans les systèmes bancaires, dans les systèmes de contrôle de vol des avions, ou même dans la chirurgie assistée par ordinateur ou les centrales nucléaires […] : la présence d’erreur durant leur exécution pourrait avoir des conséquences désastreuses, que ce soit en termes de vies humaines, de dégâts écologiques, ou de coût financier. (Delphine Demange, Semantic foundations of intermediate program representations, Thèse soutenue le 19 octobre 2012.)

Comment ça marche ?

Réponse rapide : avec beaucoup de mathématiques. Réponse un peu plus détaillée : à partir de différents types d’analyses après une phase de pré-traitement qui permet de déterminer comment traiter les informations.

1. L’analyse lexicale : découpe le code en unités lexicales ou « tokens » qui va pouvoir traiter par la suite. Ce faisant le compilateur sépare les différents types d’éléments : variables, opérateurs, séparateurs, mots-clés, etc.
2. L’analyse syntaxique : vérifie que le programme source ne contient pas d’erreur de syntaxe et que le code source est correct et, évidemment le compilateur signale les erreurs qu’il a pu trouver à ce stade.
3. L’analyse sémantique : après la syntaxe, c’est le sens du code qui est examiné. Le compilateur va ainsi vérifier s’il y a des erreurs de logique, passant, que le code fait bien ce qu’il est censé faire. À ce stade, le compilateur va aussi signaler les erreurs, voire, rejeter un code incorrect.
4. L’optimisation : permet de nettoyer le code pour le rendre plus rapide à exécuter. À l’heure actuelle avec des processus très gourmands en ressources, c’est une étape-clé, ça n’a pas toujours été forcément le cas.
5. La génération du code final : c’est la dernière phase dont le résultat est le code exécutable.

Delphine Demange : comment vérifier que les compilateurs font leur travail correctement

Parcours

Delphine Demange entre en licence d’informatique à l’université de Rennes 1 en 2004. Elle y obtiendra un magistère Informatique et télécommunications en 2006 puis fera le mastère de recherche en informatique de la même université en 2008. Elle achèvera cette partie de ses études par un stage de master à l’IRISA (équipe Celtique), en vérification de programme. Au bout des cinq mois de stage, en 2009, elle s’inscrira en thèse. Une thèse, Fondements sémantiques des représentations intermédiaires de programmes (en), soutenue en 2012 et qui lui vaudra le prix de thèse Gilles Kahn 2013 de la SIF, et qui porte sur :

la vérification formelle de logiciel, c’est-à-dire à l’ensemble des techniques et d’outils scientifiques qui permettent d’assurer qu’un logiciel remplit ces exigences [de qualité des systèmes critiques]. (Résumé étendu de sa thèse).

Elle part ensuite pour les USA, à l’Université de Pennsylvanie pour une année de post-doctorat. Là, elle travaillera sur un projet alliant vérification et sécurité. De retour en France, elle passe des concours. Elle est, depuis 2013, maîtresse de conférence à l’université Rennes 1.

En février 2024, elle donnait un cours au Collège de France : Représentations intermédiaires pour la compilation : s’affranchir du graphe de flot de contrôle.

On peut retrouver ses communications et articles ainsi que sa thèse, toutes en anglais, sur HAL science ouverte.

La vérification des logiciels

Comme elle le dit en résumé de sa thèse :

Nos vies quotidiennes dépendent de plus en plus, sans même parfois que nous nous en rendions compte, de l’utilisation de programmes informatiques. Ces programmes n’ont toutefois pas tous le même niveau de criticité. Par exemple, les programmes embarqués dans les systèmes bancaires, dans les systèmes de contrôle de vol des avions, ou même dans la chirurgie assistée par ordinateur ou les centrales nucléaires sont appelés systèmes critiques : la présence d’erreur durant leur exécution pourrait avoir des conséquences désastreuses, que ce soit en termes de vies humaines, de dégâts écologiques, ou de coût financier. Ce type de programme requiert donc de fortes garanties : leur exécution ne devrait pas échouer, et leur correction fonctionnelle devrait être garantie.

Elle ajoute plus loin que les compilateurs étant des logiciels, ils sont à leur tour susceptibles d’avoir des bugs comme n’importe quel autre programme. Il est donc nécessaire qu’ils répondent aux mêmes exigences infaillibilité que les systèmes critiques sur lesquels ils travaillent.

Dans un entretien accordé au site de l’université de Rennes en 2014, elle précise que son travail a pour but final :

d’assurer, par une preuve mathématique et assistée par ordinateur, que les compilateurs compilent correctement les programmes (i.e. ils n’ajoutent pas de nouveaux comportements aux programmes), et que les vérifieurs calculent des propriétés sur des modèles corrects des programmes (si le modèle du programme ne comporte pas d’erreur, alors le programme d’origine n’en comporte pas non plus).

Ses travaux de thèse portant les représentations intermédiaires (IR) des programmes sur lesquels travaillent les compilateurs et vérificateurs. Ces IR simplifient les analyses de ces outils qui peuvent analyser des programmes très complexes. Elle continue, depuis, ses recherches dans le même domaine avec :

la vérification des techniques de compilation optimisantes pour les langages de haut-niveau, en y incluant les aspects les plus difficiles des langages modernes, comme la gestion de la mémoire, la concurrence et les modèles de mémoire faibles. (entretien, Université de Rennes).

Tout cela demande beaucoup de mathématique, parfait pour quelqu’un qui a hésité entre les maths et l’informatique.

Quelques autres sources d’information

Sur les compilateurs, internet est bien pourvu en ressources en français sur le sujet, par exemple :

— Compilation informatique : définition concrète et rôle, Journal du net, 2016,
— Comment fonctionnent les compilateurs, IBM, [sd],
— Qu’est-ce qu’une conception de compilateur ? Types, outils de construction, exemple, Kaia Céruléen, GURU99, [septembre 2025 ?],
— Cours de compilation, [sd],
— Compilation, pdf à télécharger,
— Langages de programmation et compilation, Jean-Christophe Filliâtre, septembre 2016,
— Représentations intermédiaires pour la compilation : s’affranchir du graphe de flot de contrôle, cours au Collège de France, 15 février 2024
— Fondements sémantiques des représentations intermédiaires de programmes, thèse, en anglais, de Delphine Demange.

Sinon on peut aussi lire ou relire l’hommage à France Allen sur LinuxFr. Il y a aussi, en anglais, cet article Early Computers and Computing Institutions (en) qui raconte les débuts de FORTRAN. C’est très intéressant. Mais il faut soit l’acheter (15,50 dollars pour les membres ou 30 dollars pour les non-membres) ou faire partie d’une structure adhérente.

Questions et remerciements

Compte de tenu de l’importance des compilateurs, la question se pose de la raison pour laquelle la personne qui a été à l’origine du premier compilateur et du COBOL, Grace Murray Hopper (1906-1992) n’a pas reçu le prix Turing pourtant créé de son vivant, en 1966, et à une époque où elle était encore active. Le récipiendaire du prix Turing 1966 ayant d’ailleurs été Alan J. Perlis pour la construction de compilateurs.

Question complémentaire, pourquoi France Allen n’a reçu son prix Turing qu’en 2006 « pour ses contributions pionnières à la théorie et à la pratique des techniques utilisés par les compilateurs optimiseurs qui ont jeté les bases des compilateurs optimiseurs modernes et de l’exécution parallèle automatique. » Frances (“Fran“) Elizabeth Allen. A.M. Turing Award 2006 (en), alors qu’elle avait pris sa retraite depuis 2002. Elle reste toujours aussi importante : un de ses textes de 1970 fait partie de la bibliographie de la thèse de Delphine Demange.

Dernière question, dans son discours de remise du prix Turing en 2007, Frances Allen disait qu’après une phase de stagnation des compilateurs, on devrait avoir une phase de progrès significatifs dans le domaine. Est-ce que vous avez une idée de ce à quoi elle aurait pu penser ?

Un très grand merci à vmagnin pour son aide et les documents qu’il m’a envoyés pour m’aider à rédiger cette dépêche.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Certains s'en souviennent encore, d'autres sont passés à côté. Certains en ont rêvé, d'autres ont hâte de retrouver les mots croisés! Certains se demandent ce que l'April a fait cette année, d'autres ont d'autres associations à financer…

Le Lama Déchainé revient !

• lien nᵒ 1 : site de campagne
• lien nᵒ 2 : numéro 0
• lien nᵒ 3 : Campagne Adieu Windows, bonjour le Libre!
• lien nᵒ 4 : adhérer à l'April
• lien nᵒ 5 : faire un don sur En Vente Libre
• lien nᵒ 6 : site de l'April

À travers neuf éditions hebdomadaires du 15 octobre au 16 décembre, (sauf surprise, manque de temps, perte d'un journaliste, dissolution de l'assemblée nationale, voire démission d'un président).

Vous y retrouverez les éditos, de nouvelles anecdotes, des dessins humoristiques explicites, les mots croisés, les chiffres, de nouveaux logiciels libres. Comme l'année dernière, la plume invitée sera laissée à des personnes amies nous parlant d'elles ou de leurs projets. Toujours plus de trucs à savoir et à partager

De nouvelles rubriques ont également été mises en place, nous avons scindé les citations en deux, la première sera nourrie uniquement de citations de notre site Libre à lire! qui regroupe toutes les transcriptions réalisées (conférences, vidéos, podcasts, car le texte rend plus accessible les médias). Pour la deuxième, les citations seront des extraits des chroniques de notre émission radio Libre à vous! diffusée sur Cause commune et en podcast.

Autre nouvelles rubriques :

• Distribution libre, qui sera composée de petits textes présentant succinctement différentes distributions. Avec l'opération Adieu Windows, bonjour le libre!, beaucoup de personnes nous demandent quelle distribution choisir. Nous espérons, avec cette rubrique, leur donner quelques pistes de réflexion.
• L’écho des assos, pour vous parler des associations qui accueillent, rencontrent et aident le grand public au jour le jour (merci à elles).
• IneptIA, tout est dans le titre, on vous laisse découvrir (et commenter, forcément).
• Qui fréquente votre lama?, où n'importe qui pourra participer en (demandant puis) envoyant des photos de leur lama.

Grande nouveauté de cette année : Le Lama Photonique… Ce sera le feuilleton de la fin d'automne, chaque semaine, vous pourrez découvrir comment fabriquer votre propre Lama Photonique en dix étapes !

Tout peut arriver d’une semaine à l’autre alors, pour ne rien rater, suivez avec vigilance les mots clics #LeLamaDéchainé et #CampagneApril2025 sur les réseaux sociaux ou abonnez-vous au flux RSS.

Cette gazette vise à vous présenter l’étendue de nos actions, dans un format plus léger et humoristique que nos lettres d’informations (que nous vous encourageons malgré tout à lire pour vous convaincre de la pertinence de notre travail).

Afin d’assurer la pérennité de nos activités, nous cherchons à récolter une somme de 30 000€ avant le 31 décembre. Si vous pensez que l’April doit continuer à exister dans ce contexte où l’hégémonie des géants du logiciel privateur se fait toujours plus forte, vous pouvez adhérer ou faire un don.

Merci de votre lecture, de vos commentaires, de votre soutien!

Commentaires : voir le flux Atom ouvrir dans le navigateur

La 12ᵉ édition de Kernel Recipes s’est tenue à Paris du 22 au 24 septembre 2025, et comme chaque année, l’événement a rassemblé un bel échantillon de la communauté du noyau Linux : développeurs, mainteneurs, testeurs, contributeurs, et passionnés venus échanger autour du projet du noyau.

Trois jours intenses de présentations, de discussions informelles, de caféine et de partages d’expériences — bref, un cru encore une fois très riche. Les sujets ont couvert un large spectre : du développement des sous-systèmes du noyau à la maintenance, en passant par la sécurité ou la performance. Cette année encore quelques interventions concernant l'impact de BPF et la place grandissante de Rust dans le projet.

Les slides et enregistrements vidéo de toutes les présentations sont désormais en ligne !

• lien nᵒ 1 : Le programme de la 12e édition
• lien nᵒ 2 : l'ensemble des interventions
• lien nᵒ 3 : notre mascotte aux habits de 2025
• lien nᵒ 4 : les speakers vu par notre Frank national
• lien nᵒ 5 : Kernel Recipes en photos
• lien nᵒ 6 : le live blog

Nous tenons à remercier l'ensemble des speakers qui encore une fois ont fait de cette 12e édition une réussite : Maira CANAL, Dorinda BASSEY , Matthew WILCOX, Melissa WEN, Andrea RIGHI, Greg KH, Thomas Schwinge, Thara Gopinath, SJ Park, Roman Gushchin, Leonardo Brás, Song Liu, Julia LAWALL, Boris Brezillon, Thomas Weissschuh, Indu Bhagat, Alice Ryhl, Vlastimil Babka, Lorenzo Stoakes.

Un remerciement tout particulier à Paul McKenney notre parrain cette année qui a fournit un travail énorme pour nous aider à boucler cette édition.

Un grand merci également au talent de Frank Tizzoni qui avec ses dessins est devenu incontournable à la conférence. Merci à Anisse Astier pour son live blog et sa capacité incroyable à retranscrire l'essentiel de cette conférence.

Chapeau bas à Erwan Velu pour ses lancers de micro, ses photos et son aide à l'organisation, et à Jean-Christophe Huwette pour nous permettre de proposer tous les ans un live stream impeccable et des vidéos pour tout le monde.

Enfin un grand merci à nos sponsors sans lesquels nous ne pourrions pas proposer depuis 12 ans cet événement à Paris, un événement qui reste abordable, convivial : Meta, AMD, Libre Computer, Collabora, Haproxy, Igalia, Jumptrading, Linux Foundation, Criteo R&D, Cyberzen, ANSSI, Linux Pratique.

Rendez-vous l'an prochain !

Commentaires : voir le flux Atom ouvrir dans le navigateur

Après avoir exporter les métriques système, les métriques d'Apache, on continue cette fois-ci avec les métriques de MariaDB. Et si on mettais un peu de musique : Santana : Maria Maria Créer un user SQL On commence par créer un utilisateur dans MariaDB pour que l'exporter puisse venir requêter les infos : CREATE USER 'exporter'@'localhost' […]

L’article Exporter les métriques de MariaDB avec Alloy est apparu en premier sur Aukfood.

Continuer la lecture de « Réunions mensuelles : le 28 du mois »

Bonjour et bon automne!

La version 8.4 de PHP est maintenant disponible comme option pour héberger vos sites dans notre service d'hébergement autogéré.

Cette option peut être activée en allant dans le panneau de contrôle, puis en changeant le type de sous-domaine à "Locally hosted (PHP 8.4)". Pour des instructions plus détaillées, consultez notre FAQ.

Pour les client-es qui gèrent leur entrées DNS ailleurs, les entrées pour le PHP 8.4 sont soit une entrée CNAME vers lb-php84.koumbit.net, soit une entrée A vers 199.58.80.86.

Pour celles et ceux ayant des sites avec un certificat TLS (HTTPS), veuillez-nous contacter pour que nous fassions le changement pour vous, puisque vous n'avez pas accès à l'option permettant de le faire vous-mêmes. Ce changement est gratuit.

Si votre site est présentement en php8.1, 8.2 ou 8.3, il y a peu de risque que la mise à jour pose un problème. Si jamais c'était le cas, ce serait toujours possible de revenir en arrière. Si votre site est encore en php7.3, il est possible qu'il y ait des ajustements à faire, mais on vous encourage à passer vers une version plus récente de PHP!

Garder vos sites à jour sert à prévenir les risques de sécurité et aussi à en améliorer la performance et rapidité!

Au plaisir, L'équipe de Koumbit

Le support Koumbit sera fermé du 20 au 25 octobre pour nous permettre de gérer la fermeture de notre bureau. Il n'y aura donc pas de support téléphonique ni par courriel cette semaine-là. Toutefois, nous continuerons de répondre aux urgences.

Nous reprendrons à l'horaire normal à partir du 27 octobre.

Ne vous inquiétez pas, on ne ferme pas Koumbit, on vide juste le bureau physique! Le collectif a décidé de travailler à distance dans les prochains temps.

Merci de votre compréhension!

Le support Koumbit sera fermé du 20 au 25 octobre pour nous permettre de gérer la fermeture de notre bureau. Il n'y aura donc pas de support téléphonique ni par courriel cette semaine-là. Toutefois, nous continuerons de répondre aux urgences.

Nous reprendrons à l'horaire normal à partir du 27 octobre.

Merci de votre compréhension!

L’article Telecom Valley, partenaire engagé du salon Talent in Tech 2025 est apparu en premier sur Telecom Valley.

Apéro membres d’octobre est issu du site itopie informatique.

L’Assemblée générale des Nations Unies a proclamé l’année 2025, Année internationale des coopératives. Sous le thème « Les coopératives construisent un monde meilleur », l’ONU reconnaît et célèbre le rôle unique des coopératives dans la promotion du développement durable pour tous. Pour marquer le coup, le jet d’eau de Genève sera illuminé le mardi 21 […]

L’ONU et le BIT soutiennent les coopératives est issu du site itopie informatique.

Les Maisons Pop vous proposent un programme riche en découvertes et en activités pour petits et grands ! Fête d’Halloween, Vélo-école, ateliers créatifs et récréatifs, sorties familles et bien d’autres encore ! Découvrez le programme ! : https://lesmaisonspop.chenove.net/docs/progvac/oct2025/2.pdf Pour plus d’informations, appelez-nous au 03 80 52 18 64  

L’article Découvrez la programmation des Vacances d’Automne ! est apparu en premier sur Les Maisons Pop de Chenôve.

L'April est l’association qui promeut et défend le logiciel libre et les libertés informatiques. Au fur et à mesure des années, sa tâche s’est accrue, le nombre de dossiers à traiter, toujours plus urgents les uns que les autres, augmentant.

L'April en difficulté financière

Depuis trois ans, notre situation financière n’est plus à l’équilibre. L'année dernière, grâce à un magnifique élan de soutien, la campagne du Lama déchainé nous avait permis de boucler le budget. Malheureusement, les restrictions budgétaires des collectivités (Paris et Toulouse qui stoppent, peut-être temporairement, leur adhésion), la baisse du chiffre d’affaires d'entreprises, l’érosion des membres physiques font que l’April a besoin de 30 000 € pour finir sereinement l’année 2025. Il nous a donc paru opportun de relancer la machine.

Le Lama déchaîné

Pour cette nouvelle campagne, nous relançons le Lama Déchaîné !!!

Notre équipe de l'année dernière, devenue, pour un temps, une rédaction de journalistes et d'humoristes s'est remise au travail, recrutant de nouvelles personnes dans l'équipe. Soyez à l’affût, car à partir d’aujourd’hui et durant neuf semaines, chaque mercredi, paraîtra un exemplaire de ce magazine automnal, Le Lama déchaîné. Vous retrouverez la plupart des rubriques de 2024, présentant les différentes actions de l’association durant toutes ces années, mais aussi de nouvelles rubriques comme l'Écho des assos, Distribution libre ou Qui fréquente votre lama ?…

À vous de décider, numéro après numéro, si notre initiative est suffisamment convaincante pour susciter de votre part une adhésion ou, à minima, si elle vous encourage à faire de temps en temps un don ponctuel pour nous soutenir. Nous avons fait le choix de l’indépendance vis-à-vis des institutions en n’ayant recours à aucune subvention et le rescrit d’intérêt fiscal nous a été refusé deux fois (mais nous n'abandonnons pas si facilement, nous allons redéposer un dossier). Sans des apports financiers réguliers, l’April ne pourrait pas agir aussi librement !

Page de campagne

Cette année, nous avons, dès le départ, publié une page d'accueil de la campagne.

Vous y retrouverez un texte de présentation, des liens vers les prochains numéros, des encarts demandant de l'aide et le mur de la joie où les prénoms des nouvelles personnes adhérentes ou donatrices apparaitront. Vous pouvez en faire partie !

Découvrez le numéro 0

Découvrez le numéro 0 du Lama déchaîné

Numéro 0 car, vous le savez déjà, en informatique, tout commence à 0.

Lisez-le, dévorez-le d’un seul coup, dégustez-le lentement un ou deux articles par jour, parcourez-le rubrique après rubrique, n’hésitez pas à participer à l’un des numéros suivants en proposant une photo ou un commentaire sur les réseaux sociaux avec #LeLamaDéchainé et, surtout, parlez-en autour de vous et relayez le plus possible !

Nous comptons sur chacun et chacune d’entre vous.
Merci d'avance !

En mars 2025, nous apprenions que la direction de l'École polytechnique avait acté, sans concertation, la migration de ses données vers l'offre Microsoft 3651. Grâce à une importante mobilisation interne à l'école, et des actions comme celles du Conseil National du Logiciel Libre (CNLL), l'école a finalement décidé de suspendre cette décision.

Ainsi qu'il le relate dans son communiqué du 13 octobre 2025, le CNLL a avait entamé une procédure précontentieuse contre cette décision de migration absurde et dangereuse. L'association des « entreprises du numérique ouvert » rappelle également l'importante mobilisation qu'il y a eu, notamment de la part des personnels et équipes de recherche en interne à l'École polytechnique.

L'April salue l'action du CNLL et de l'ensemble des personnes s'étant mobilisées.

Si le dénouement de ce cas d'école est relativement heureux, il ne fait que confirmer la nécessité d'une véritable priorité au logiciel libre et aux formats ouverts dans le secteur public2, en tant que principe normatif et en tant que politique publique ambitieuse soutenue par l’ensemble du gouvernement et des ministères.

• 1. Lire notre communiqué du 25 mars 2025 : Nouvel Open bar Microsoft : le ministère de l'Éducation nationale va-t-il enfin commencer sa cure de désintox ?
• 2. Depuis la loi relative à l'Enseignement supérieur et à la Recherche du 22 juillet 2013, l'enseignement supérieur et la recherche est légalement tenu d'organiser cette priorité (Article L.123-4-1 du code pour l'éducation). À l'échelle de l'État et des collectivités territoriales, l'article 16 de la loi pour une République numérique de 7 octobre 2016 ne prévoit malheureusement qu'un vague encouragement à l'utilisation des logiciels libres, sans portée normative réelle.

257e émission « Libre à vous ! » de l’April. Podcast et programme :

• sujet principal : Au café libre (débat autour de l’actualité du logiciel libre et des libertés informatiques)
• chronique « Les humeurs de Gee » sur « Adieu Windows »
• chronique de Vincent Calame sur « La vie algorithmique » (2e partie)

• lien nᵒ 1 : Podcast de la 257ᵉ émission
• lien nᵒ 2 : Les références pour la 257ᵉ émission et les podcasts par sujets
• lien nᵒ 3 : S'abonner au podcast
• lien nᵒ 4 : S'abonner à la lettre d'actus
• lien nᵒ 5 : Libre à vous !
• lien nᵒ 6 : Radio Cause Commune

Rendez‐vous en direct chaque mardi de 15 h 30 à 17 h sur 93,1 MHz en Île‐de‐France. L’émission est diffusée simultanément sur le site Web de la radio Cause Commune. Vous pouvez nous laisser un message sur le répondeur de la radio : pour réagir à l’un des sujets de l’émission, pour partager un témoignage, vos idées, vos suggestions, vos encouragements ou pour nous poser une question. Le numéro du répondeur : +33 9 72 51 55 46.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Compte-rendu du conseil d'administration du 30 septembre

Suite de l'article précédent sur Grafana Alloy, dans lequel j'avais mis en place Alloy et la remontée vers Prometheus. Dans cet article, on complète la configuration pour remonter les données de status d'Apache. Activation du serveur status Apache On va activer le module mod_status d'Apache pour aller requêter via Alloy les métriques, on limite ces […]

L’article Exporter les métriques d’Apache avec Alloy est apparu en premier sur Aukfood.