Vous sortez d’un repas copieux et entamez une réunion, là un premier collègue se met à bâiller, puis un deuxième et finalement c’est votre tour. De nombreuses explications biologiques ont été avancées, mais quel est le consensus scientifique ?
La PyConFR 2024 a lieu du jeudi 31 octobre au dimanche 3 novembre à l’UFR Mathématique et d’Informatique de Strasbourg. Le planning est disponible et les inscriptions sont ouvertes !
Comme toujours, la PyConFR est un évènement gratuit et l’inscription est obligatoire.
Les deux premiers jours de la conférence seront occupés par les sprints. Et les deux jours suivants seront dédiés aux conférences (longues et courtes) et ateliers.
Trois keynotes sont également au programme :
Cette année, un espace enfants (de 3 ans à 12 ans) est mis à disposition gratuitement sur inscription. Vous pouvez inscrire vos enfants jusqu’au 15 octobre.
Durant cette édition, c’est aussi le retour du déjeuner PyLadies. Un des objectifs est de tisser des liens entre la communauté PyLadies et le reste de la communauté Python francophone.
Les inscriptions au déjeuner PyLadies sont ouvertes jusqu’au 27 octobre.
Le dimanche matin, l'AFP y tiendra son assemblée générale. Si vous souhaitez y voter, assurez vous d'être à jour de cotisation.
Commentaires : voir le flux Atom ouvrir dans le navigateur
Le Frido est un livre de mathématique libre. Il est l'enveloppe convexe entre la matière de l'agrégation et les bases (axiomatique des ensembles non comprise). Autrement dit : il construit les ensembles de nombres, et va jusqu'au bout du programme de l'agrégation en bouchant tous les trous. En français, il comprend 2888 pages au 25 août 2024 et est publié sous licence FDL.
Les images de couverture proviennent de Pepper et Carrot.
(pour voir les couvertures des tomes 2, 3 et 4)
Elles sont aussi visibles via les sources évidemment.
J'ai décidé que la partie parlant d'intégration sur les variétés allait être laissée à l'abandon.
La définition de la dérivée d'une fonction n'est plus une définition «fondamentale». Les choses sont maintenant faites dans cet ordre :
.Ce qui est marrant avec la dernière définition est que peut être interprété soit comme la dérivée partielle dans la première direction (il y en a une seule dans ) soit comme la dérivée directionnelle selon le vecteur .
Le théorème de Stokes est démontré. C'est un assez gros morceau.
Le Frido se distingue d'autres livres de math en cela qu'il est meilleur sur certains points.
Je me demande si je suis le seul au monde à avoir remarqué que, quand on parle de l'extension de corps , ce qu'on obtient dépend du corps ambiant dans lequel sont et .
Par exemple si je prend … Il n'y a pas de problèmes à construire un sur-corps de contenant l'élément dans lequel .
Ce genre de détails sont traités dans le Frido, l'exemple de est donné en détail, et il est bien fait mention que la notation réfère toujours à des sous-corps de .
Considérez les trois fonctions suivantes : données par
Est-ce que vous oseriez écrire ? Si oui, c'est que vous pouvez remplacer «» par «» ou partout. Alors que signifie ?
Bien que ces infectes notations «» soient utilisées à quelques endroits dans le Frido, je m'efforce à écrire qui signifie la dérivée de dans la -ième direction.
Bien que je sois un psychorigide sur les abus de notations, le Frido a une autre règle : utiliser un minimum de symboles difficiles à écrire. Tout doit pouvoir être écrit à la main sur des feuilles volantes dans le tram.
» est utilisé pour pour dire et dans pour désigner le dual algébrique.D'habitude, on définit une variété comme étant un ensemble avec des cartes provenant d'ouverts de .
Or on définit quand même souvent des variétés avec des cartes ne provenant pas de . Par exemple lorsqu'on travaille sur des sous-groupes de Lie, on prend souvent la carte exponentielle provenant de l'algèbre de Lie.
Dans Giulietta (NdM : extension en anglais qui va de l’agrégation jusqu’à tout ce que l'auteur sait en mathématique), on définit correctement une variété comme ayant des cartes provenant d'ouverts d'espaces vectoriels normés quelconques. Il est alors démontré que toute telle variété est isomorphe à une variété avec des cartes de .
Je ne me souviens pas avoir vu cette subtilité traitée quelque part. Notons qu'avec cette définition, on ne peut plus parler de l'ensemble de toutes les cartes.
Le Frido cite (à peu près) correctement ses sources. Chaque théorème vient avec les sources qui ont contribué soit à l'énoncé soit à la preuve. Les inventions personnelles sont mentionnées très explicitement. Pas peur de citer wikipédia, des commentaires sur math.stackexchange.com ou d'autres sources moins conventionnelles que des livres.
Je suis souvent choqué étonné par la quantité de cours mis en ligne par des profs se contentant de citer trois livres en disant «pour en savoir plus, le lecteur pourra consulter les ouvrages suivants». Ensuite, on va se plaindre que si les étudiants ne citent pas leurs sources dans leurs mémoires, c'est du plagiat.
Le plagiat massif est simplement la norme dans les textes de math que les profs mettent dans les mains des étudiants.
Cette année, ChatGPT entre dans la bibliographie. C'est lui qui a fourni une partie de la preuve que si et sont mesurables (depuis le même espace) alors le vecteur est mesurable.
Il y a d'ailleurs une belle anecdote à ce sujet.
ChatGPT se contente de prouver correctement que le théorème est vrai sur les mesurables de la forme , et dit vaguement que si c'est bon sur une partie qui engendre la tribu produit, alors c'est bon pour toute la tribu. Typiquement le genre de trou dans la preuve que laisserait un humain.
Lisez et écrivez-moi si vous trouvez une faute ou un passage pas clair. Critère : si vous êtes relativement bon en math et que vous mettez plus de 20 minutes sur une ligne, c'est qu'il y a un problème avec le texte.
S'il manque une démonstration, rédigez-en une, faites une photo de votre feuille et envoyez-la moi.
Enjeu : toutes les définitions que je connais de l'intégrale d'une forme sur une variété sont fausses. Sauf celle que j'ai inventée moi-même.
Note : je ne suis même pas sûr que l'énoncé soit correct. La démonstration que je connais vient d'ici mais je ne suis pas convaincu.
https://math.stackexchange.com/questions/4961074/is-the-join-density-the-density-of-the-vector
Vers la fin, il y a une section consacrée aux différentes propriétés et conjectures autour de la constante de Weiner. Si vous en connaissez d'autres, faites-le moi savoir.
Modifier l'environnement proof pour qu'il prenne un paramètre booléen optionnel inBook. Par défaut il vaut True et la démonstration est affichée. Si inBook est False, la démonstration n'est pas affichée. Au lieu de la preuve, il y a le texte «Voir la version en ligne : ».
La raison est expliquée plus bas.
Il me faut une liste des théorèmes dont les démonstrations peuvent être sautées pour un candidat à l'agreg. J'imagine que tout ce qui utilise explicitement le lemme de Zorn peut sauter, tout ce qui parle de topologie sur les espaces de distribution peut sauter, la partie sur les mesures peut partir, etc.
Pour la raison de ce besoin, voir plus bas.
Il me faut une liste de théorèmes qui peuvent servir de développements.
Je n'ai pas accès aux livres privateurs. Inutile de m'en conseiller un.
Précision sur le prix : le prix indiqué est le prix de vente côté imprimeur. Je ne gagne pas d'argent dessus. D'ailleurs je me demande bien qui achète le Frido …
Certes, le règlement de l'agrégation interdit les livres qui ne sont pas vendus (incidemment, les livres qui ne sont plus en vente sont interdits), mais j'ai du mal à croire qu'il y ait autant de monde qui utilise le Frido à l'agreg. Mais si ce n'est pas pour l'agreg, qui paye 100 euros pour avoir quatre briques de 6cm d'épaisseur A4 alors qu'on peut avoir un pdf sur un écran ?
Voici un tableau qui montre, pour chaque année, le nombre de livres vendus, et le prix total. Les cases avec un x correspondent au nombres dont je n'ai pas pris note.
| année | prix de tout le Frido | Nombre de livres vendus |
|---|---|---|
| 2016 | x | 51 |
| 2017 | x | 37 |
| 2018 | x | 30 |
| 2019 | 89,36 | 17 |
| 2020 | x | 32 |
| 2021 | 97,59 | 13 |
| 2022 | x | x |
| 2023 | 106,79 | 16 |
| 2024 | 110,88 |
Au total, ce sont 196 bouquins vendus plus ceux de 2022 dont je n'ai pas pris note. On doit être un peu au-dessus de 200.
Précisions :
ConnexionN correspond aux ventes entre septembre N et septembre N+1.La page 77 du rapport 2023 indique qu'un livre n'est autorisé que s'il jouit d'une diffusion commerciale. La motivation est que :
Cette restriction est motivée par le principe d'égalité des candidats : les ressources documentaires autorisées doivent être facilement accessibles à tout candidat au concours.
Je ne sais pas si l'auteur de ces lignes avait l’accessibilité financière en tête en rédigeant cela. Si oui, alors le Frido est probablement le seul livre autorisé à l'agreg :)
Quoi qu'il en soit, le Frido commençant à dépasser les 100 euros, il y a un problème.
Pour faire baisser le prix, il faut baisser le nombre de pages.
Une piste serait de supprimer les démonstrations des théorèmes non nécessaires à l'agreg.
Pour cela il me faudrait les deux contributions LaTeX et agreg (1) dont je parle plus haut :
LaTeX : Une modification de l'environnement proof.
Agreg : il me faut une liste des théorèmes dont les démonstrations peuvent être sautées pour un candidat à l'agreg.
Commentaires : voir le flux Atom ouvrir dans le navigateur
Scenari est un ensemble de logiciels open source dédiés à la production collaborative, publication et diffusion de documents multi-support. Vous rédigez une seule fois votre contenu et vous pouvez les générer sous plusieurs formes : site web, PDF, OpenDocument, diaporama, paquet SCORM (Sharable Content Object Reference Model)… Vous ne vous concentrez que sur le contenu et l’outil se charge de créer un rendu professionnel accessible et responsive.
À chaque métier/contexte son modèle Scenari :
🖥️ Prochain mini-webinaire : « Ajouter un en-tête personnalisé à sa publication web» 19 septembre
La session aura lieu le mardi 19 septembre de 17h à 18h heure de Paris, à l’adresse https://scenari.org/visio/miniwebinaire.
Pour que la session colle au mieux aux besoins de la communauté, tu peux participer à ce fil de discussion sur le forum.
Les sessions précédentes sont sur la page dédiée de scenari.org et dans notre canal peertube.
Pour proposer des sujets, rends-toi sur ce fil de discussion.
📣 Celui que beaucoup attendaient : LTI-suite
LTI-suite est un serveur d’écriture structurée et collaborative, couplé à un dépôt de documents et ressources.
Jusque-là rien de nouveau par rapport à un serveur Scenari-suite classique.
La grande nouveauté est que sur le dépôt de LTI-suite, il est possible de déposer des ressources SCORM exploitables par des plateformes d’apprentissage (LMS) via le protocole LTI. Plus besoin de déposer les paquets SCORM dans la LMS. Tout est plus fluide !
LTI-suite 1.0 est un projet en phase beta. Kelis est intéressée par vos retours éventuels afin de finaliser la version.
📣 Ressources pour l'Apprentissage Par Problèmes
Unisciel a créé une page dédiée à l'Apprentissage Par Problèmes (APP) : https://app.unisciel.org/
Il y a dans cette page notamment deux guides très bien faits :
* « Apprentissage par problèmes - Rédiger un PROSIT »
* « Apprentissage par problèmes - Animer un tutorat »
Tu peux créer des contenus selon cette modalité d'apprentissage avec l'extension Situation-problème pour Opale 4 (qui sera peut-être bientôt disponible pour Opale 5 et Opale 24).
Nous publieront bientôt la conférence que Julie Tardy a donné sur ce sujet aux Rencontres Scenari 2024.
📣 Opale 24 entre en scène !
Opale 24 est sorti ! Entre autres nouveautés, tu trouveras :
* Typage personnalisé de ton contenu décuplé (tu en sauras plus quand on publiera la conférence sur la question)
* Possibilité d’insérer des exercices directement dans les grains de contenu (c'était une demande d'évolution de la communauté, comme quoi la place des évolutions c'est utile 😉)
La liste complète des nouveautés d'Opale 24 est disponible dans la documentation.
📣 Radiographie de la communauté Scenari
Les informations proviennent de ce que les membres du forum Scenari ont auto-déclaré sur leur profil :
Contexte d'usage :
* Secteur public 44%
* Personnel 25%
* Entreprise 22%
* Association 9%
Domaine d'usage :
* Enseignement supérieur 33%
* Documentation 27%
* Enseignement professionnel 18%
* Enseignement primaire-secondaire 11%
* Information et communication 11%
Usage de Scenari :
* Je crée des documents avec Scenari 49%
* Je découvre 26%
* Je pilote des projets en lien avec Scenari 12%
* Je gère des SCENARIserver 7%
* Je crée des modèles avec SCENARIbuilder 3%
* Je crée des chartes graphiques avec SCENARIstyler 2%
* Je crée Scenari 2%
N'hésite pas à mettre à jour ton profil sur le forum !
📣 Mets à jour tes applications Scenari
Nouvelle version de maintenance de la suite SCENARI (6.3.10). Quelques corrections sécuritaires et amélioration de la publication des listing informatiques.
Nouvelle version de Topaze (5.0.2). Liste des nouveautés sur le forum.
Une nouvelle version corrective de Dokiel est disponible : Dokiel 6.0.7 disponible en Français, Anglais, Portugais, Italien.
Cette version apporte :
* L’ajout d’une option pour ne pas redimensionner physiquement les images - utile pour les GIF animés ;
* Quelques corrections mineures dans l’éditeur.
Une nouvelle version de Optim : Optim 24.0.1 est disponible. Cette version apporte entre autres l’ajout de tags Open Graph aux publications Web pour une meilleure intégration de liens fait sur les réseaux sociaux et autres plateformes.
Parallèlement, OptimPlus 24, une version plus complète de Optim, est maintenant disponible, offrant :
Enfin, pour les fans de lexiques et de thésaurus, une nouvelle version de maintenance de Lexico est disponible : Lexico 3.0.2. Cette version apporte une correction dans la publication PDF.
✨ Le savais-tu ?
Créer un lien web dans l'éditeur Scenari est probablement encore plus facile que tu ne le penses.
Il suffit de :
1. copier l'url que tu souhaites ajouter,
2. sélectionner la portion de texte qui doit porter le lien dans ton contenu,
3. et coller (ctrl+v). Une popup te demanderas si tu veux créer un lien ou copier le lien en texte brut.
On ne peut plus simple !
Tu peux retrouver cette astuce, et beaucoup d'autres, sur le forum.
Commentaires : voir le flux Atom ouvrir dans le navigateur
Nous continuons sur notre lancée de récompenser celles et ceux qui chaque mois contribuent au site LinuxFr.org (dépêches, commentaires, logo, journaux, correctifs, etc.). Vous n’êtes pas sans risquer de gagner un livre des éditions Eyrolles, ENI et D-Booker. Voici les gagnants des mois de juillet et août 2024 :
Les livres gagnés sont détaillés en seconde partie de la dépêche. N’oubliez pas de contribuer, LinuxFr.org vit pour vous et par vous !
Certaines personnes n’ont pas pu être jointes ou n’ont pas répondu. Les lots ont été réattribués automatiquement. N’oubliez pas de mettre une adresse de courriel valable dans votre compte ou lors de la proposition d’une dépêche. En effet, c’est notre seul moyen de vous contacter, que ce soit pour les lots ou des questions sur votre dépêche lors de sa modération. Tous nos remerciements aux contributeurs du site ainsi qu’aux éditions Eyrolles, ENI et D-Booker.
|
|
|
|---|---|---|
Commentaires : voir le flux Atom ouvrir dans le navigateur
L’édition 2024 du Capitole du Libre se déroulera le week-end du 16 et 17 novembre à Toulouse pour sa onzième édition, en centre‐ville (INP-ENSEEIHT).
Complètement gratuit, le Capitole du Libre regroupe un large ensemble de conférences et d'ateliers, qui permettront aux experts comme au grand public de se réunir pour découvrir ou approfondir des sujets techniques ou des actualités relatives au numérique.
Un village associatif sera présent pour rencontrer et discuter avec les acteurs de ces communautés.
Des animations seront également proposées tout le week-end.
Les thèmes généralement abordés par les conférences et ateliers sont:
L’appel à participation est lancé et ouvert jusqu’au 15 septembre 23h59 (la dépêche est publiée assez tard par rapport à cette échéance, mais on compte sur vous pour nous surprendre par votre capacité à improviser rapidement une belle proposition !).
Plusieurs formats de propositions sont possibles:
Vous pouvez proposer autant de conférences et d’ateliers que vous le souhaitez, mais sachez que nous retiendrons au maximum deux de vos interventions. Bien entendu, cela ne s’applique pas aux stands, vous pouvez tenir un stand et également présenter des conférences ou des ateliers. De plus, nous vous invitons à ne pas dépasser deux personnes par conférence.
Pour plus de détails, ou pour voir tous les aspects logistiques, tous les détails sont disponibles sur le formulaire d’inscription!
D’accès libre et gratuit, l’entrée est possible le samedi de 9h30 à 22h30 et le dimanche de 9h30 à 16h30.
Comme pour l’édition précédente, il vous sera demandé de présenter un billet à l’entrée de l’événement. Ce billet gratuit est réservable à partir de la page dédiée.
Si vous avez des questions et/ou des remarques, vous pouvez nous contacter à l’adresse contact@capitoledulibre.org
Commentaires : voir le flux Atom ouvrir dans le navigateur
Le 5 août 2024 est sortie la version 2.6 du logiciel de gestion de la relation client Crème CRM (sous licence AGPL-3.0), environ 11 mois après Creme 2.5 (11 septembre 2023).
Au programme notamment, un système de notification, des améliorations pour le calendrier ou des filtres réservés aux rapports. Les nouveautés sont détaillées dans la suite de la dépêche.
Crème CRM est un logiciel de gestion de la relation client, généralement appelé CRM (pour Customer Relationship Management). Il dispose évidemment des fonctionnalités basiques d’un tel logiciel :
Crème CRM dispose en outre de nombreux modules optionnels le rendant très polyvalent :
L’objectif de Crème CRM est de fournir un logiciel libre de gestion de la relation client pouvant convenir à la plupart des besoins, simples ou complexes. À cet effet, il propose quelques concepts puissants qui se combinent entre eux (entités, relations, filtres, vues, propriétés, blocs), et il est très configurable (bien des problèmes pouvant se résoudre par l’interface de configuration) ; la contrepartie est qu’il faudra sûrement passer quelques minutes dans l’interface de configuration graphique pour avoir quelque chose qui vous convienne vraiment (la configuration par défaut ne pouvant être optimale pour tout le monde). De plus, afin de satisfaire les besoins les plus particuliers, son code est conçu pour être facilement étendu, tel un cadriciel (framework).
Du côté de la technique, Crème CRM est codé notamment avec Python/Django et fonctionne avec les bases de données MySQL, SQLite et PostgreSQL.
Voici les changements les plus notables de cette version :
Depuis toujours Crème possède un système de Mémentos (Reminders), qui permet de recevoir des e-mails pour vous prévenir d’une échéance. Ce système est utilisé par les Alertes & les ToDos ; par exemple vous recevez un e-mail lorsqu’une Alerte qui vous est attribuée va expirer dans 30 minutes. Et comme vous pouvez créer des Alertes dont la date d’expiration est un champ date de la fiche associée, cela permet par exemple d’être prévenu qu’une activité importante à laquelle vous participez va bientôt avoir lieu.
Le nouveau système de notification qui a été introduit amène 2 avancées principales :
Chaque notification est associée à un canal, et vous pouvez configurer les canaux pour savoir si la notification est envoyée dans le navigateur, par e-mail ou bien les 2. Si le canal n’est pas obligatoire, vous pouvez aussi choisir de ne pas recevoir les notifications du tout. Chaque utilisateur peut utiliser sa propre configuration si la configuration générale du canal ne lui convient pas.
Les Rapports utilisent généralement un filtre, afin d’affiner leurs résultats. Ces filtres sont les mêmes que ceux qu’utilisent les vues en liste ; par exemple si vous faites un Rapport sur les Devis, il peut utiliser les filtres disponibles sur la liste des Devis.
Un problème que cela entraîne est que beaucoup d’utilisateurs créent des filtres un peu spécifiques afin de les utiliser dans leurs Rapports, mais ces filtres viennent « polluer » la vue en liste correspondante (car la sélection de filtres proposent de nombreux filtres non pertinents). Afin de corriger ce souci, il est désormais possible de créer des filtres utilisables uniquement dans les Rapports. Les Rapports peuvent bien sûr continuer à utiliser les filtres classiques, mais les filtres spécifiques aux Rapports ne sont pas utilisables dans les vues en liste évidemment.
La prochaine version marquera notamment le passage à Django 5.2, la future LTS qui sortira en avril 2025. À l’année prochaine !
Commentaires : voir le flux Atom ouvrir dans le navigateur
