Agrégateur de nouvelles
Delphine Demange et les compilateurs
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
- Qu’est-ce qu’un compilateur ?
- Delphine Demange : comment vérifier que les compilateurs font leur travail correctement
- Quelques autres sources d’information
- Questions et remerciements
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 un 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.
- L’analyse lexicale : découpe le code en unités lexicales ou « tokens » qui vont permettre au compilateur de traiter les données 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.
- 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.
- 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.
- 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.
- La génération du code final : c’est la dernière phase dont le résultat est le code exécutable.
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 logicielsComme 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’informationSur 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 remerciementsCompte 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.
Télécharger ce contenu au format EPUBCommentaires : voir le flux Atom ouvrir dans le navigateur
Assier: Adieu Windows, bonjour le Libre !, Le samedi 29 novembre 2025 de 09h30 à 17h30.
Journée de découverte et d'installation de systèmes d'exploitation libres Linux.
Le Lama Déchainé, campagne de l'April 2025
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!
Télécharger ce contenu au format EPUBCommentaires : voir le flux Atom ouvrir dans le navigateur
Quimperlé: Point info GNU/Linux, Le samedi 29 novembre 2025 de 13h30 à 17h30.
Médiathèque de Quimperlé, place Saint Michel, pas d’inscription, entrée libre !
Mickaël, Johann, Alain, et Yves vous accueillent (ou l'un d'eux, on se relaie !).
Conseils, aide et infos pratiques GNU/Linux et Logiciels Libres.
Curieux ? Déjà utilisateur ? Expert ? Pour résoudre vos problèmes, vous êtes le bienvenue ; pas besoin de prendre rendez-vous !
N'hésitez pas à venir avec votre PC si vous voulez une installation de GNU/Linux ou de venir avec votre périphérique récalcitrant (imprimante, scanner...) si possible.
Quimperlé: Point info GNU/Linux, Le vendredi 14 novembre 2025 de 13h30 à 17h30.
Médiathèque de Quimperlé, place Saint Michel, pas d’inscription, entrée libre !
Mickaël, Johann, Alain, et Yves vous accueillent (ou l'un d'eux, on se relaie !).
Conseils, aide et infos pratiques GNU/Linux et Logiciels Libres.
Curieux ? Déjà utilisateur ? Expert ? Pour résoudre vos problèmes, vous êtes le bienvenue ; pas besoin de prendre rendez-vous !
N'hésitez pas à venir avec votre PC si vous voulez une installation de GNU/Linux ou de venir avec votre périphérique récalcitrant (imprimante, scanner...) si possible.
Bergerac: Ecosystem open source de l'IA, Le mardi 28 octobre 2025 de 18h00 à 21h00.
Mardi 28 octobre 2025 à partir de 18h, nous ferons un nouvel after au coworking du Taf Café à Bergerac.
Deux sujets autours de l'IA sont déjà prévus, un orienté métier, l'autre plus sur l'outillage disponible.
à bientôt.
Lanester: Repair Café, Le vendredi 24 octobre 2025 de 15h00 à 17h30.
Réparons ensemble :
Les Compagnons bâtisseurs, l'Association Défis et des bénévoles formés accompagnent les usagers dans la réparation de petit électroménager, ordinateur, couture etc., pour tenter de leur donner une seconde vie.
Aides réparateurs bénévoles bienvenus.
Un objet par participant. Sans rendez-vous.
Gratuit et ouvert à tous.
Café offert.
Kernel Recipes 2025 c'est fini : les vidéos sont en ligne !
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 !
Télécharger ce contenu au format EPUBCommentaires : voir le flux Atom ouvrir dans le navigateur
Quand logiciel libre rime avec indépendance stratégique et maîtrise budgétaire - Épisode 1 - Partie A
Dans un contexte de montée des tensions diplomatiques, géostratégiques, commerciales et budgétaires, la question de notre autonomie stratégique, parfois désignée sous le terme de « souveraineté », s'impose dans tous les débats. Et si une partie de la réponse se trouvait déjà dans le logiciel libre ? Maîtrise technologique, réduction des dépendances numériques, reconquête d'une autonomie stratégique, contrôle budgétaire renforcé des organisations, transparence, auditabilité, pérennité, (…)
- Transcriptions / Stéfane Fermigier, Romane S. alias Métis, Justine Van Minden, Laurent Lhardit, Julien Valiente, Le Logiciel Libre, Souveraineté numérique, État et administrations, Conférence, AudioToulouse: Journée Libre en Bib, Le samedi 25 octobre 2025 de 10h00 à 18h00.
La médiathèque José Cabanis vous propose une journée consacrée à la culture du libre et ses différentes déclinaisons
A l'heure où la question du monopole de quelques grands groupes sur nos activités numériques et ses conséquences se fait de plus en plus presssante, les logiciels libres et les projets collaboratifs dessinent un autre chemin possible. La médiathèque José Cabanis vous propose une journée consacrée à la culture du libre et ses différentes déclinaisons durant laquelle d'ateliers en conférence vous pourrez rencontrer des acteurs de ce mouvement, poser vos questions et découvrir les possibilités offertes par cet autre versant du numérique.
Le programme :
- de 10h à 18h, Permanence d'aide et d'installation à Linux et aux logiciels libres avec Toulibre
- 10h30, Lecture du conte sous licence libre "Ada et Zangemann. Un conte sur les logiciels, le skateboard et la glace à la framboise"
- de 14h à 18h, Permanence Wikipédia et Openstreetmap.
- 15h, Conférence "La possibilité d'un numérique éthique" par Joyce Markoll
Rennes: Films d’animation et modèle de la fondation Blender, Le jeudi 16 octobre 2025 de 18h00 à 19h00.
Dans le cadre de la Fête du cinéma d’animation, diffusion de quelques courts métrage de Blender et discussions sur la méthode qui a fait le succès de ce logiciel libre.
Redon: Install Party Linux, Le mardi 11 novembre 2025 de 16h00 à 20h00.
Fin du support Windows ? Ne jetez pas votre PC : venez découvrir et installer Linux sur votre ordinateur.
Plusieurs bénévoles à l'aise en informatique prendront le temps de connaitre votre situation, et de vous proposer une marche à suivre.
Si possible, préparez vos sauvegardes des documents importants avant de venir.
Sinon, venez avec un disque dur ou clé USB de grande capacité pour les sauvegarder avec notre aide.
Entrée libre et gratuite, petit encas/boisson à prix libre sur place.
Louargat: Repair Café et Install Party, Le dimanche 16 novembre 2025 de 10h00 à 16h00.
Le Repair Café vous attend pour réparer les outils et les équipements (poste de radio, fer à repasser, aspirateur…) en panne ou défectueux que vous possédez. Plutôt que de les jeter, gaspiller et faire croître les montagnes de déchets, venez les soumettre aux bénévoles présents sur place. Et si cela vous intéresse, participer à leur démontage et leur remise en état, dans la bonne humeur !
Et vos ordinateurs ? Vous voulez donner une seconde vie à une vieille machine ou simplement explorer des alternatives libres à vos logiciels coûteux ou trop gourmands ? Vous voulez profiter de la fin du support de Windows 10 pour changer de système ? Venez essayer un système alternatif à Windows, adapté à vos besoins, et découvrir des logiciels libres pour tous les usages (bureautique, graphisme, internet, etc.)
Si vous souhaitez obtenir de l'aide pour installer une distribution Linux sur votre machine, préparez un minimum votre visite.
- Prenez le temps d'identifier et de sauvegarder vos données sur un support externe avant de venir.
- Réfléchissez à vos besoins, à vos contraintes. Y a-t-il des logiciels qui vous retiennent sur Microsoft Windows ? Quels sont vos périphériques (imprimantes en particulier) ? Quelles sont vos attentes ?
- Venez accompagné de votre ordinateur (avec un écran s'il ne s'agit pas d'un ordinateur portable).
Toutes les questions sont aussi les bienvenues, qu’elles soient relatives aux matériels, à vos outils informatiques, à vos usages du numérique… Pour apprendre et partager dans une ambiance détendue.
Saint-Ouen: Journée d'installation GNU/Linux, Le samedi 25 octobre 2025 de 10h00 à 17h00.
Le lab informatique de l'association Les Valoristes, en association avec Librezo et Electrocycle, organise leur premier atelier de l'année !
Avignon: Permanence de l'association AviGNU, Le samedi 18 octobre 2025 de 14h00 à 16h00.
Bonjour,
L'association AviGNU tiendra une permanence ce samedi 18 octobre de 14h à 16h dans les locaux d'Avenir 84.
Bien que ce soit un samedi libre sans ordre du jour particulier, des installations sont d'ores et déjà prévues notamment dans le cadre de l'opération "Adieu Windows, bonjour le Libre !".
N'hésitez pas à venir nous rencontrer pour découvrir les logiciels et systèmes d'exploitation libres ... et pourquoi pas vous aussi envisager une installation !
Fourmies: Atelier Adieu Windows, bonjour Linux!!, Le jeudi 30 octobre 2025 de 18h30 à 20h30.
Dans le cadre de la stratégie Rev3 de la ville de Fourmies est né le Central, Carrefour de la Résilience.
A ce titre, l'Association Club Linux Nord Pas de Calais organise un atelier "Adieu Windows, bonjour Linux!!"
La prise en charge de Windows 10 se termine le 14 octobre 2025.
Microsoft veut que vous achetiez un nouvel ordinateur.
Mais que se passerait-il si vous pouviez rendre votre ordinateur actuel rapide et sécurisé à nouveau?
Venez découvrir les alternatives à Widows et prolonger la vie de votre ordinateur grâce au logiciels libre et aux distributions GNU/Linux.
Au programme:
- Quelles seront les conséquences de l'arrêt du support de Windows 10?
- Qu'est-ce qu'un logiciel libre?
- Quelles sont les alternatives à Windows?
- Comment choisir la bonne alternatives à Windows qui me convient?
Autant de questions auxquelles nous pourrons apporter des réponses!
Comme Alice aux Pays des Merveilles, venez plonger dans le trou du lapin qui vous mènera vers la liberté!
Paris: Installation GNU/Linux, Le samedi 15 novembre 2025 de 14h00 à 18h00.
Le collectif Librezo et la ressourcerie de la Petite Rockette vous proposent une install party tous les 3e samedi du mois: reprenez le contrôle de votre ordinateur et luttez contre l'obsolescence programmée avec un système d'exploitation libre.
Apportez votre PC/Mac (ou achetez-en un d'occasion sur place, de 20 à 50€) et redonnez-lui une seconde jeunesse avec GNU/Linux!
Merci de réserver votre créneau horaire (comptez une heure au max pour l'installation).
Prix libre.
Saint Clar: Tous les Lundis, médiatheque de Saint Clar, Le lundi 15 décembre 2025 de 10h00 à 17h00.
Tous les lundis de 10h à 17h sans interruption, l'association Prends toi en main / atelier abcpc, propose install party, suivi, dépannage, formation et revalorisation à petit prix sous Linux exclusivement.
L'atelier abcpc existe depuis plus de 10 ans et milite exclusivement pour les logiciels libres.
Saint Clar: Tous les Lundis, médiatheque de Saint Clar, Le lundi 8 décembre 2025 de 10h00 à 17h00.
Tous les lundis de 10h à 17h sans interruption, l'association Prends toi en main / atelier abcpc, propose install party, suivi, dépannage, formation et revalorisation à petit prix sous Linux exclusivement.
L'atelier abcpc existe depuis plus de 10 ans et milite exclusivement pour les logiciels libres.
Saint Clar: Tous les Lundis, médiatheque de Saint Clar, Le lundi 1 décembre 2025 de 10h00 à 17h00.
Tous les lundis de 10h à 17h sans interruption, l'association Prends toi en main / atelier abcpc, propose install party, suivi, dépannage, formation et revalorisation à petit prix sous Linux exclusivement.
L'atelier abcpc existe depuis plus de 10 ans et milite exclusivement pour les logiciels libres.










