Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Faites le plein d'astuces et de logiciels présentés par les bénévoles de l'atelier
Repas partagé à midi (chacun apporte un plat à partager ou son repas)
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
La fin du support de Window$ 10 va rendre des milliers d'ordinateurs obsolètes...
À MOINS DE LES PASSER SOUS GNU/Linux !
Venez-vous renseigner, apportez votre ordinateur pour faire un diagnostic et si vous êtes convaincu⋅e installer un système d'exploitation (ou plutôt de libération) stable et responsable.
Repas partagé à midi (chacun apporte un plat à partager ou son repas)
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Une présentation des fonctions principales et des exercices à expérimenter sur place pour commencer à prendre en main ce logiciel de traitement de texte qu'est LibreOffice Writer.
Repas partagé à midi (chacun apporte un plat à partager ou son repas)
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
RDV au Réppare'Lab, à côté du mouchoir de poche.
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Séance INFOTHEMA
Programme :
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
Des ateliers numériques pour :
analyser vos ordinateurs
sauvegarder vos données personnelles
installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
installer des logiciels libres
apprendre à utiliser les logiciels
L'association Actux et les bibliothèques de l'Université de Rennes organisent une Install Party en prévision de la fin du support de Windows 10 par Microsoft.
Toutes les personnes désirant passer à un système libre sont les bienvenues.
Informations supplémentaires et inscriptions sur le site de la bibliothèque.
Le Frido est un livre de mathématique libre initialement destiné à l'agrégation, mais devenu généraliste. En supposant connue une théorie intuitive des ensembles, ça va jusqu'aux martingales, distributions, extensions de corps, etc. Avec toutes les démonstration intermédiaires (modulo les 981 entrées restantes dans ma liste de choses à faire).
Les résultats sont classés par ordre logique mathématique : chaque démonstration ne s'appuie que sur des résultats énoncés et démontrés plus haut. C'est loin d'être l'ordre pédagogique.
L'extension guilietta donne le reste de ce que je sais en math : groupes de Lie (l'objectif est de donner la liste des représentations de ).
Nouveautés 2025Le bouquin vient de dépasser les 3000 pages cette année.
Quand j'écris une démonstration, soit je cherche un peu par moi-même, soit je cherche sur internet. Quand je trouve un texte qui me semble correct, je commence par rédiger sur du papier de brouillon; la plupart du temps j'ajoute beaucoup de détails par rapport à ce que je lis. En particulier, j'écris sur mon papier de brouillon les labels (dans le Frido) des résultats à citer.
Quand ma démonstration est terminée, je copie des feuilles vers LaTeX. Chaque démonstration passe donc par (au moins) deux rédactions personnelles : une de l'écran vers le papier de brouillon et une du papier vers LaTeX.
ChatGPTCe flot est valable également quand je demande à ChatGPT. Ce dernier est maintenant crédité comme source dans neuf démonstrations. Parfois seul parfois en collaboration avec moi ou d'autres sources. Je ne copie-colle jamais un résultat.
Avant de demander à ChatGPT, je regarde d'abord pas mal sur internet ; et je me demande parfois pourquoi d'ailleurs.
Mon activité sur StackLorsque je ne trouve pas une démonstration en ligne, je demande souvent sur Stack. Et parfois je n'ai pas de réponses satisfaisantes.
Zorn et existence d'un max pour tout ensemble finiJe demande si il est vrai que tout ensemble Dedekin-fini totalement ordonné a un maximum.
À mon avis la preuve donnée par Asaf Karagila (et qui a 5 votes positifs) a au moins un trou ; j'explique dans les commentaires ce qui ne me va pas. Si vous avez une idée de comment compléter, n'hésitez pas.
ConnexitéVoici une question qui lie connexité et espaces totalement normaux. Je ne suis pas certain que l'énoncé soit même vrai.
Si vous êtes douées en topologie, lâchez-vous.
Remarque pas très gentilleÀ chaque fois que je dois poser une question sur Stack ou à ChatGPT, je ne peux pas m'empêcher de penser que soit je suis nul en recherche sur Internet (c'est le cas), soit l'ensemble de la communauté mathématique a échoué à mettre en ligne des résultats importants.
CitationsLe Frido cite toutes ses sources, théorème par théorème. À côté de chaque énoncé, il y a une liste des endroits où j'ai trouvé des informations utiles soit pour l'énoncé soit pour la démonstration.
La référence [1] signifie qu'il y a de l'invention personnelle non triviale. C'est moi qui ai inventé (une partie de) soit de l'énoncé, soit de la preuve.
Plagiat massifDans le monde de l'enseignement académique, le plagiat massif est la norme. Par exemple, le dernier en date que j'ai utilisé cite cinq livres en avouant ouvertement que ce n'est pas complet. Et bien entendu, il ne dit pas quelle partie de son texte vient d'où.
En ne remontant ma bibliographie pas plus loin que juillet 2025, je trouve celui-ci qui ne cite aucune source. Si un étudiant avait fait ça dans un mémoire de licence, il aurait été engueulé comme du poisson pourri.
Les mathématiciens professionnels ne citent pratiquement jamais Wikipédia ou math.stackexchange.com. Le Frido oui.
Pourquoi citer ses sources ?La bibliographie sert à remercier la personne qui a fait l'effort de me rendre l'information disponible.
En ce qui me concerne, la bibliographie ne sert pas à :
Développons
chatGPT n'est pas un cas particulier.
Si c'est l'entreprise OpenAI qui a fait l'effort de mettre une information disponible pour moi, c'est elle que je cite. C'est bien l'entreprise OpenAI qui a la citation, pas chatGPT lui-même en tant que "personne". Cela est à mettre en relief par rapport au cas de cette réponse où je cite bien la personne qui a écrit et non l'entreprise derrière stack.
Que OpenAI elle-même soit incapable de citer les sources sur lesquelles elle base sa réponse est — dans mon contexte — un non-problème. En effet, je serais moi-même incapable de vous dire d'où je connais le paradoxe de Zénon, la définition de la continuité ou la démonstration de la formule . Ce sont des informations qui sont codées dans mon cerveau. Je suis capable de vous les dire, mais pas de faire de citations de mes sources.
Le cas particulier chatGPT (2)Ce n'est pas un cas particulier.
En remontant ma biblio jusqu'à janvier 2025, je trouve cet intéressant exemple : ma question sur math.stackexchange à propos de variétés analytiques.
Voici l'ordre dans lequel se sont passées les choses.
Question : à qui suis-je supposé donner le crédit de la démonstration ?
Ma réponse : à OpenAI.
Au final, la communauté mathématique a échoué à mettre en ligne un énoncé et une démonstration correcte de «tout groupe de Lie est analytique».
Ensuite la communauté mathématique a échoué à répondre à une question sur stackexchange.
Au final c'est un échec retentissant pour l'ensemble de la communauté mathématique.
En réalité la question de savoir si OpenAI mérite une entrée dans ma biblio est une question très accessoire. Il y a un problème de publication scientifique largement en amont.
Le cas particulier chatGPT (3)Bon. ok. ChatGPT est un cas particulier. Le plus souvent quand je demande à chatGPT c'est que j'ai déjà fait des recherches sur Internet et souvent également demandé sur stack sans avoir de réponses utiles.
Donc quand je cite chatGPT, c'est un signe que l'ensemble de la communauté mathématique a échoué dans sa mission de mettre la connaissance correctement en ligne.
Mettons une mathématicienne (nommons-la Alice) ayant écrit un résultat dans un livre privateur. Supposons qu'elle retrouve ce résultat dans le Frido avec chatGPT comme source. Est-elle en droit de râler ?
Étudions la question.
Bref.
Qu'il y ait un problème dans la chaîne "livre privateur -> openAI -> moi" est possible.
Mais le vrai problème de mon point de vue est largement en amont. Pourquoi il y avait un livre privateur à la base ?
Images de couvertureLes images de couverture proviennent de Pepper et Carrot.
yanntricksOn parlait de tikz dans un fil sur typst.
Le Frido fait ses figures avec yanntricks, un module python basé sur sage. Le principe est qu'on décrit sa figure en python, puis le code Tikz est généré automatiquement. Pratiquement tout ce qui est calculable en python/sage est traçable.
Il y a deux idées de base :
Tout est ramené à des points et segments de droites. Écrivez en python une fonction ma_fonction qui prend un réel et retourne un point, passez cette fonction au constructeur ma_courbe=CustomGraph(ma_fonction), et hop ma_courbe.code_tikz() est le code tikz d'une série de segments de droites qui donnera votre courbe.
Le code Tikz créé contient du code LaTeX écrivant dans un fichier la taille des boîtes (bounding box) des éléments LaTeX que vous insérez, de telle sorte qu'en deux passes, yanntricks soit au courant des tailles (ça marche avec tous les compteurs internes de LaTeX; vous pouvez donc tenir compte du numéro de la page courante dans votre image). Cela permet de faire :
Le code tikz produit mettra automatiquement à la bonne place pour que le centre de la boîte soit sur le rayon qui fait un angle de 30 degrés avec l'horizontale, et assez loin pour que la boîte ne coupe pas le cercle.
Très peu de changements sont nécessaires pour générer le code pstricks ou tikz ou quoi que ce soit d'autre : seulement les droites, points et quelque trucs de base. Pas besoin des cercles, courbes, etc.
L'inconvénientL'inconvénient de yanntricks est que le code est une usine à gaz que j'ai développé par à coups pendant une dizaine d'années — sans linter, sans annotations de types et sans rigueur. En réalité, le prix du billet d'entrée est absurdement élevé. Tellement que moi-même je ne m'y aventure plus.
VenteExtrait du règlement (dans le rapport), page 42) de l'agrégation :
Durant tout ce temps, elles ou ils ont libre accès […] à leurs
propres ouvrages. Seuls sont autorisés les ouvrages avec un numéro ISBN et jouissant d'une véritable
diffusion commerciale. […] une « diffusion commerciale avérée » est tout autant importante.
[…] Cette restriction est motivée par le principe d'égalité des candidats : les ressources documentaires autorisées doivent être facilement accessibles à tout candidat au concours.
En résumé :
Truc marrant : le point 1 est bizarre, mais est appliqué, tandis que le point 2 est très raisonnable mais n'est pas appliqué. C'est ce qui arrive quand on écrit un règlement en ayant un cas très précis en tête et qu'on ne se rend pas compte que ce qu'on écrit a une portée beaucoup plus large que le seul cas auquel on pense.
Et le pire est que ce règlement n'interdit même pas ce livre qui, si j'ai bien compris, est exactement ce qu'on avait envie de refuser au départ : une pure liste de définitions et d'énoncés de théorèmes classés par leçon.
Avis si vous travaillez dans une prépa agreg : tapez un plan par leçon (avec la démonstration des deux développements), publiez-là sur thebookedition et ensuite bachotez seulement ces leçons avec vos étudiants.
Bref, pour faire plaisir au règlement de l'agreg, le Frido est en vente :
Total : 115,86 euros.
Problème d'accès aux ressources documentairesIronie mise à part, je trouve que l'objectif est évidemment très louable :
« principe d'égalité des candidats : les ressources documentaires autorisées doivent être facilement accessibles à tout candidat au concours.»
Par contre force est de constater que l'accès aux ressources est encore très inégalitaire.
Finalement, si tout était accepté sans aucune restriction, certes certaines auraient accès à quelque documents de plus que les autres. Mais il y a tellement de ressources disponibles que le petit plus qu'un candidat pourrait se procurer n'a aucune chance d'être décisif.
Télécharger ce contenu au format EPUBCommentaires : voir le flux Atom ouvrir dans le navigateur
Venez découvrir Linux et vous faire aider pour l’installer et à la prise en main, dans différents lieux, dans et à proximité de la métropole montpelliéraine
L’équipe de Montpel’libre vous propose une permanence Logiciels Libres : discussions libres et accompagnements techniques aux systèmes d’exploitation libres pour vous aider à vous familiariser avec votre système GNU/Linux au quotidien.
Le contenu de l’atelier s’adapte aux problèmes et aux questionnements des personnes présentes avec leur(s) ordinateur(s), qu’il soit fixe ou portable, et permet ainsi l’acquisition de nouvelles compétences nécessaires à une autonomie numérique certaine, au rythme de chacun.
Les thèmes :
Vous pourrez y aborder plusieurs thèmes (liste non exhaustive) :
Les permanences techniques ont lieu une fois par semaine, dans un lieu et à des jours et heures différents.
Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible. Rejoindre le groupe Montpel’libre sur Telegram S’inscrire à la Newsletter de Montpel’libre.
Sur inscription | GPS 43.405195/3.695778
Fiche activité: https://montpellibre.fr/fiches_activites/Fiche_A5_002_Permanence_GNU-Linux_Montpellibre_2024.pdf
Ces rencontres mensuelles se veulent être des instants conviviaux pour faire un compte-rendu des activités du mois précédent, mais aussi pour présenter les opérations et rendez-vous à venir que proposent les groupes HérOSM. Naturellement, elles sont également ouvertes à tout public, en présence et à distance.
Si vous avez des propositions n’hésitez pas à compléter la page dédiée.
Programme :
Déroulement de la rencontre
Nous vous présenterons les projets en cours, nous vous proposerons de contribuer, faire de la production de données.
Comme d’habitude, chacun amène ce qu’il veut à manger et à boire pour un repas partagé.
N’oubliez pas vos ordinateurs portables pour la séance de saisie!
Tramway lignes 1 et 3, arrêts Port-Marianne et Rives du Lez
GPS Latitude: 43.603095 | Longitude: 3.898166
Carte OpenStreetMap