diff --git a/.obsidian/plugins/obsidian-pandoc-reference-list/data.json b/.obsidian/plugins/obsidian-pandoc-reference-list/data.json
index 920524d5..18c5d581 100644
--- a/.obsidian/plugins/obsidian-pandoc-reference-list/data.json
+++ b/.obsidian/plugins/obsidian-pandoc-reference-list/data.json
@@ -5,7 +5,7 @@
     {
       "id": 1,
       "name": "Ma bibliothèque",
-      "lastUpdate": 1777089753965
+      "lastUpdate": 1777103654003
     }
   ],
   "renderCitations": true,
diff --git a/.pandoc/zotero-library-1.json b/.pandoc/zotero-library-1.json
index ac6f6596..0d3242d3 100644
--- a/.pandoc/zotero-library-1.json
+++ b/.pandoc/zotero-library-1.json
@@ -1 +1 @@
-[{"id":"abelsonStructureInterpretationComputer1996","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Abelson","given":"Harold"},{"family":"Sussman","given":"Gerald Jay"},{"family":"Sussman","given":"Julie"}],"citation-key":"abelsonStructureInterpretationComputer1996","edition":"2","issued":{"date-parts":[["1996"]]},"language":"en","publisher":"MIT Press","publisher-place":"Cambridge, Massachusetts, London, England","source":"Zotero","title":"Structure and Interpretation of Computer Programs","type":"book","URL":"http://mitpress.mit.edu/sicp"},{"id":"antoninPOURDESIGNMINIMAL","author":[{"family":"Antonin","given":"Peronnet"}],"citation-key":"antoninPOURDESIGNMINIMAL","language":"fr","source":"Zotero","title":"POUR UN DESIGN MINIMAL","type":"article-journal"},{"id":"antonszandorBibleSatanique1969","author":[{"family":"Anton Szandor","given":"Lavey"}],"citation-key":"antonszandorBibleSatanique1969","issued":{"date-parts":[["1969"]]},"title":"La Bible satanique","type":"book"},{"id":"AutomatePile2021","abstract":"Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.\nUn automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé.\nLes langages reconnus par les automates à piles sont exactement les langages algébriques, c'est-à-dire ceux engendrés par une grammaire algébrique.\nL'importance des automates à pile vient de leur emploi en analyse syntaxique des langages de programmation, et plus généralement dans la transformation de définitions ou d'algorithmes récursifs en leurs analogues itératifs.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"AutomatePile2021","container-title":"Wikipédia","issued":{"date-parts":[["2021",10,29]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 187552887","source":"Wikipedia","title":"Automate à pile","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Automate_%C3%A0_pile&oldid=187552887"},{"id":"barbarasSpinozaScienceMathematique2007","abstract":"« Je considérerai les actions et les appétits humains comme s’il était question de lignes, de surfaces et de solides. » C’est une science de l’homme que construit Spinoza en ce début du XVIIe siècle. Une science nourrie des bouleversements dans les mathématiques, l’algèbre, la conception de l’infini. Écrite sur le modèle des Éléments d’Euclide, l’Éthique n’a rien d’artificiel. Sa forme coïncide, au contraire, avec la neuve radicalité d’une pensée qui donne au désir toute sa puissance. Cette ambitieuse lecture de la philosophie de Spinoza comme science du salut engendre un appétit renouvelé de savoir.","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Barbaras","given":"Françoise"}],"citation-key":"barbarasSpinozaScienceMathematique2007","collection-title":"CNRS Philosophie","container-title":"Spinoza : La science mathématique du salut","ISBN":"978-2-271-14198-9","issued":{"date-parts":[["2007"]]},"language":"fr","license":"https://www.openedition.org/12554","number-of-pages":"205","publisher":"CNRS Éditions","publisher-place":"Paris","source":"OpenEdition Books","title":"Spinoza : La science mathématique du salut","title-short":"Spinoza","type":"book","URL":"https://books.openedition.org/editionscnrs/48687"},{"id":"begue-shanklandEtudeScientifiqueMontre2024","abstract":"Menée par le Professeur des Universités Laurent Bègue Shankland1 auprès de 67 000 étudiant(e)s et élèves de grandes écoles entre 2023 et 2024, cette recherche d’une ampleur inédite indique que l’alcool est présent dans plus de la moitié des violences sexuelles rapportées depuis l‘arrivée dans l‘enseignement supérieur.","accessed":{"date-parts":[["2024",10,3]]},"author":[{"family":"Bègue-Shankland","given":"Laurent"},{"family":"Roché","given":"Sebastian"},{"family":"Arvers","given":"Philippe"}],"citation-key":"begue-shanklandEtudeScientifiqueMontre2024","issued":{"date-parts":[["2024",10]]},"language":"fr","publisher":"Université de Grenobles Aples","title":"Une étude scientifique montre que l'alcool est un facteur déterminant des violences sexistes et sexuelles en milieu étudiant","type":"document","URL":"https://www.enseignementsup-recherche.gouv.fr/fr/une-etude-scientifique-montre-que-l-alcool-est-un-facteur-determinant-des-violences-sexistes-et-97513"},{"id":"billaudProgrammationFonctionnelleSymbolique1989","accessed":{"date-parts":[["2024",3,28]]},"author":[{"family":"Billaud","given":"Michel"}],"citation-key":"billaudProgrammationFonctionnelleSymbolique1989","container-title":"Page personnelle de Michel Billaud","issued":{"date-parts":[["1989"]]},"title":"Programmation Fonctionnelle et Symbolique - Introduction","type":"webpage","URL":"https://www.mbillaud.fr/SITE-PERSO-LABRI/travaux/lisp89/1intro.html"},{"id":"brancatoCantorNotionInfinity2021","abstract":"In his analysis of the history of philosophy and mathematics, Cantor indicates the early modern period as the one in which, because of the general rejection of the notion of an infinite number, some major prejudices against his new ideas on infinity were developed. However, Spinoza and Leibniz are regarded also as the first authors possessing a correct notion of absolute infinity and actual infinity. After showing how Cantor came to this paradox, in this paper I argue that his views cannot be considered completely accurate: a precise superposition between Cantor’s notion of transfinite number and the early moderns’ infinite number is impossible, because there is a discrepancy in the notion of set that has not been taken into account. At the same time, Spinoza and Leibniz are under a certain aspect Cantor’s precursors, because Cantor adopts Spinoza’s terminology to distinguish between absolute infinity and the transfinite, and because Cantor’s studies on Leibniz’s calculus presented him an example of infinite wholes used in mathematics as an aid for new discoveries.","accessed":{"date-parts":[["2026",3,31]]},"author":[{"family":"Brancato","given":"Mattia"}],"citation-key":"brancatoCantorNotionInfinity2021","container-title":"Lumières","DOI":"10.3917/lumi.037.0131","ISSN":"1762-4630","issue":"1","issued":{"date-parts":[["2021"]]},"language":"en","page":"131–147","publisher":"Presses universitaires de Bordeaux","source":"shs.cairn.info","title":"Cantor on the Notion of Infinity in Spinoza and Leibniz","type":"article-journal","URL":"https://shs.cairn.info/revue-lumieres-2021-1-page-131","volume":"3738"},{"id":"brown10ThingsSoftware2023","abstract":"Understanding how human memory and learning works, the differences between beginners and experts, and practical steps developers can take to improve their learning, training, and recruitment.","accessed":{"date-parts":[["2024",3,14]]},"author":[{"family":"Brown","given":"Neil C. C."},{"family":"Hermans","given":"Felienne F. J."},{"family":"Margulieux","given":"Lauren E."}],"citation-key":"brown10ThingsSoftware2023","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/3584859","ISSN":"0001-0782","issue":"1","issued":{"date-parts":[["2023",12,21]]},"page":"78–87","source":"ACM Digital Library","title":"10 Things Software Developers Should Learn about Learning","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/3584859","volume":"67"},{"id":"bustosRegretGenderaffirmationSurgery2021","abstract":"Supplemental Digital Content is available in the text.","accessed":{"date-parts":[["2024",5,14]]},"author":[{"family":"Bustos","given":"Valeria P."},{"family":"Bustos","given":"Samyd S."},{"family":"Mascaro","given":"Andres"},{"family":"Del Corral","given":"Gabriel"},{"family":"Forte","given":"Antonio J."},{"family":"Ciudad","given":"Pedro"},{"family":"Kim","given":"Esther A."},{"family":"Langstein","given":"Howard N."},{"family":"Manrique","given":"Oscar J."}],"citation-key":"bustosRegretGenderaffirmationSurgery2021","container-title":"Plastic and Reconstructive Surgery Global Open","container-title-short":"Plast Reconstr Surg Glob Open","DOI":"10.1097/GOX.0000000000003477","ISSN":"2169-7574","issue":"3","issued":{"date-parts":[["2021",3,19]]},"page":"e3477","PMCID":"PMC8099405","PMID":"33968550","source":"PubMed Central","title":"Regret after Gender-affirmation Surgery: A Systematic Review and Meta-analysis of Prevalence","title-short":"Regret after Gender-affirmation Surgery","type":"article-journal","URL":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8099405/","volume":"9"},{"id":"cainLectureProgrammingParadigms2018","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Cain","given":"Jerry"}],"citation-key":"cainLectureProgrammingParadigms2018","event-place":"Stanford","issued":{"date-parts":[["2018",7,19]]},"language":"English","title":"Lecture 1 | Programming Paradigms","type":"speech","URL":"https://www.youtube.com/watch?v=Ps8jOj7diA0&list=PL9D558D49CA734A02"},{"id":"camerini-lettre12","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Camerini","given":"Matteo"}],"citation-key":"camerini-lettre12","title":"La Lettre XII et ses cercles non-concentriques","type":"article-journal"},{"id":"chenQazxcdswe123Searchobsidiangoogle2024","abstract":"Search obsidian notes in google.","accessed":{"date-parts":[["2025",1,14]]},"author":[{"family":"Chen","given":"YuNing"}],"citation-key":"chenQazxcdswe123Searchobsidiangoogle2024","genre":"TypeScript","issued":{"date-parts":[["2024",7,1]]},"license":"GPL-3.0","original-date":{"date-parts":[["2023",3,17]]},"source":"GitHub","title":"qazxcdswe123/search-obsidian-in-google","type":"software","URL":"https://github.com/qazxcdswe123/search-obsidian-in-google"},{"id":"ComparisonMultiparadigmProgramming2024","abstract":"Programming languages can be grouped by the number and types of paradigms supported.","accessed":{"date-parts":[["2024",2,20]]},"citation-key":"ComparisonMultiparadigmProgramming2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,1]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1202029082","source":"Wikipedia","title":"Comparison of multi-paradigm programming languages","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Comparison_of_multi-paradigm_programming_languages&oldid=1202029082"},{"id":"ComparisonProgrammingParadigms2024","abstract":"This article attempts to set out the various similarities and differences between the various programming paradigms as a summary in both graphical and tabular format with links to the separate discussions concerning these similarities and differences in extant Wikipedia articles.","accessed":{"date-parts":[["2024",2,26]]},"citation-key":"ComparisonProgrammingParadigms2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,1]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1202049782","source":"Wikipedia","title":"Comparison of programming paradigms","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Comparison_of_programming_paradigms&oldid=1202049782"},{"id":"coriLogiqueMathematique12003","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"citation-key":"coriLogiqueMathematique12003","issued":{"date-parts":[["2003"]]},"number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 1. calcul propositionnel, algèbre de boole","type":"book","volume":"1"},{"id":"coriLogiqueMathematique22003","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"citation-key":"coriLogiqueMathematique22003","issued":{"date-parts":[["2003"]]},"number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 2. fonctions récursives, théorème de Gödel, théories des ensembles, théorie des modèles","type":"book","volume":"2"},{"id":"CountingSort2024","abstract":"In computer science, counting sort is an algorithm for sorting a collection of objects according to keys that are small positive integers; that is, it is an integer sorting algorithm. It operates by counting the number of objects that possess distinct key values, and applying prefix sum on those counts to determine the positions of each key value in the output sequence. Its running time is linear in the number of items and the difference between the maximum key value and the minimum key value, so it is only suitable for direct use in situations where the variation in keys is not significantly greater than the number of items. It is often used as a subroutine in radix sort, another sorting algorithm, which can handle larger keys more efficiently.\nCounting sort is not a comparison sort; it uses key values as indexes into an array and the Ω(n log n) lower bound for comparison sorting will not apply. Bucket sort may be used in lieu of counting sort, and entails a similar time analysis. However, compared to counting sort, bucket sort requires linked lists, dynamic arrays, or a large amount of pre-allocated memory to hold the sets of items within each bucket, whereas counting sort stores a single number (the count of items) per bucket.","accessed":{"date-parts":[["2024",5,12]]},"citation-key":"CountingSort2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,9]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1205345660","source":"Wikipedia","title":"Counting sort","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Counting_sort&oldid=1205345660"},{"id":"dahanRelationsEntreScience2015","abstract":"Depuis vingt-cinq ans, le changement climatique anthropogénique est appréhendé comme une question d’environnement global. Les sciences du climat jouent un rôle primordial dans la construction du problème, qui se veut résumé par la formule « <i>science speaks truth to power<i/> », science et politique étant supposées séparées et étanches. Ce cadrage jusqu’ici dominant est aujourd’hui ébranlé par l’échec des négociations internationales : il est devenu manifeste que le consensus scientifique ne suffit pas à engendrer des décisions politiques globales significatives. À l’heure de la COP de Paris, alors que se discute la nécessité de changer de paradigme dans la négociation, cet article veut s’interroger sur l’évolution des relations entre science et politique dans le régime climatique, en revenant sur la vision du rôle de la science et en évoquant les critiques, propositions et perspectives qui se dessinent à propos des modèles d’expertise.","accessed":{"date-parts":[["2024",5,13]]},"author":[{"family":"Dahan","given":"Amy"},{"family":"Guillemot","given":"Hélène"}],"citation-key":"dahanRelationsEntreScience2015","container-title":"Natures Sciences Sociétés","container-title-short":"Nat. Sci. Soc.","DOI":"10.1051/nss/2015014","ISSN":"1240-1307, 1765-2979","issued":{"date-parts":[["2015"]]},"language":"fr","license":"© NSS-Dialogues, EDP Sciences 2015","page":"S6-S18","publisher":"EDP Sciences","source":"www.nss-journal.org","title":"Les relations entre science et politique dans le régime climatique : à la recherche d’un nouveau modèle d’expertise ?","title-short":"Les relations entre science et politique dans le régime climatique","type":"article-journal","URL":"https://www.nss-journal.org/articles/nss/abs/2015/02/nss150014/nss150014.html","volume":"23"},{"id":"dijkstraChapterNotesStructured1972","accessed":{"date-parts":[["2024",4,1]]},"author":[{"family":"Dijkstra","given":"Edsger W."}],"citation-key":"dijkstraChapterNotesStructured1972","container-title":"Structured programming","ISBN":"978-0-12-200550-3","issued":{"date-parts":[["1972",1,1]]},"page":"1–82","publisher":"Academic Press Ltd.","publisher-place":"GBR","source":"ACM Digital Library","title":"Chapter I: Notes on structured programming","title-short":"Chapter I","type":"chapter"},{"id":"EffetBordInformatique2023","abstract":"En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche d'effet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur. Par exemple, les fonctions qui modifient une variable locale statique, une variable non locale ou un argument mutable passé par référence, les fonctions qui effectuent des opérations d'entrées-sorties ou les fonctions appelant d'autres fonctions à effet de bord. Souvent, ces effets compliquent la lisibilité du comportement des programmes et/ou nuisent à la réutilisabilité des fonctions et procédures. Un langage comme Haskell les restreint délibérément dans des composants nommés monades.\nPlus communément, un effet de bord apparaît la plupart du temps lorsqu'une modification d'un programme cohérent (valeurs et états pris conformes aux spécifications) aboutit à des valeurs ou des comportements non prévus, à cause de la non prise en compte de la portée, de l'ensemble de définition de variables, ou du contrat des fonctions.","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"EffetBordInformatique2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",8,30]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 207397507","source":"Wikipedia","title":"Effet de bord (informatique)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Effet_de_bord_(informatique)&oldid=207397507"},{"id":"EnregistrementStructureDonnees2023","abstract":"En programmation, un enregistrement est une structure de données qui rassemble plusieurs champs, ceux-ci contenant des valeurs qui peuvent être de types différents. Typiquement, le nombre de champ et leur séquence sont fixés. Les champs d'un enregistrement peuvent aussi être nommés \"membres\", en particulier dans la programmation orientée objet. Les champs peuvent encore être appelés \"éléments\", mais cela entraîne un risque de confusion avec les éléments d'une collection.\nPar exemple, une date peut être stockée en mémoire comme un enregistrement avec un champ numérique année, le mois représenté comme une chaîne de caractères, et un champ numérique pour le jour-du-mois.\nLes enregistrements se distinguent des tableaux (arrays) par le fait que le nombre de leurs champs est généralement fixé, que chaque champ a un nom et que chaque champ peut être de type différent.\nUn type enregistrement est un type de donnée qui décrit de telles variables. La majorité des langages de programmation utilisés aujourd'hui donne au programmeur la capacité de définir de nouveaux types d'enregistrements. La définition comprend la spécification du type de données de chaque champ et un identifiant (nom ou étiquette) par lequel on peut y accéder.\nLes enregistrements peuvent exister dans n'importe quelle forme de stockage de données (mémoire vive, bandes magnétiques, disques durs...). Les enregistrements sont fondamentaux pour la majorité des structures de données, en particulier les structures de données liées.\nUn objet dans la programmation orientée objet est essentiellement un enregistrement qui contient les procédures spécialisées pour cet enregistrement. Dans la majorité des langages orientés objet, les enregistrements sont des cas spécifiques des objets, et sont nommés plain old data structures, ou passive data structures.\nUn enregistrement peut être considéré comme l'équivalent informatique d'un n-uplet mathématique. Dans la même veine, il peut aussi être vu comme une version technologique d'un produit cartésien de deux ou plusieurs ensembles mathématiques.","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"EnregistrementStructureDonnees2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",9,12]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 207783466","source":"Wikipedia","title":"Enregistrement (structure de données)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Enregistrement_(structure_de_donn%C3%A9es)&oldid=207783466"},{"id":"entwanneVariablesScopesClosures2019","abstract":"Comprendre leur fonctionnement et en éviter les pièges","accessed":{"date-parts":[["2024",5,13]]},"author":[{"family":"entwanne","given":""}],"citation-key":"entwanneVariablesScopesClosures2019","container-title":"Zeste de Savoir","genre":"text","issued":{"date-parts":[["2019",7,23]]},"language":"fr","license":"Licence CC BY","publisher":"Zeste de Savoir","section":"Tutoriels","title":"Variables, scopes et closures en Python","type":"webpage","URL":"https://zestedesavoir.com/tutoriels/3163/variables-scopes-et-closures-en-python/"},{"id":"ethique-rovere","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Spinoza","given":""}],"citation-key":"ethique-rovere","edition":"Maxime Rovere","ISBN":"978-2-08-151383-9","issued":{"date-parts":[["2021",11,10]]},"language":"fr","original-date":{"date-parts":[["1677"]]},"publisher":"Flammarion","publisher-place":"Paris","title":"Éthique","type":"book"},{"id":"ExpressivePowerComputer2023","abstract":"In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language. The more expressive a language is, the greater the variety and quantity of ideas it can be used to represent.\nFor example, the Web Ontology Language expression language profile (OWL2 EL) lacks ideas (such as negation) that can be expressed in OWL2 RL (rule language). OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow for more efficient (polynomial time) reasoning in OWL2 EL than in OWL2 RL. So OWL2 EL trades some expressive power for more efficient reasoning (processing of the knowledge representation language).","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"ExpressivePowerComputer2023","container-title":"Wikipedia","issued":{"date-parts":[["2023",8,26]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1172391643","source":"Wikipedia","title":"Expressive power (computer science)","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Expressive_power_(computer_science)&oldid=1172391643"},{"id":"felleisenExpressivePowerProgramming1990","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Felleisen","given":"Matthias"}],"citation-key":"felleisenExpressivePowerProgramming1990","collection-editor":[{"family":"Goos","given":"G."},{"family":"Hartmanis","given":"J."},{"family":"Barstow","given":"D."},{"family":"Brauer","given":"W."},{"family":"Brinch Hansen","given":"P."},{"family":"Gries","given":"D."},{"family":"Luckham","given":"D."},{"family":"Moler","given":"C."},{"family":"Pnueli","given":"A."},{"family":"Seegmüller","given":"G."},{"family":"Stoer","given":"J."},{"family":"Wirth","given":"N."}],"collection-title":"Lecture Notes in Computer Science","container-title":"ESOP '90","DOI":"10.1007/3-540-52592-0_60","editor":[{"family":"Jones","given":"Neil"}],"ISBN":"978-3-540-52592-9 978-3-540-47045-8","issued":{"date-parts":[["1990"]]},"page":"134–151","publisher":"Springer Berlin Heidelberg","publisher-place":"Berlin, Heidelberg","source":"DOI.org (Crossref)","title":"On the expressive power of programming languages","type":"chapter","URL":"http://link.springer.com/10.1007/3-540-52592-0_60","volume":"432"},{"id":"felleisenProgrammableProgrammingLanguage2018","abstract":"As the software industry enters the era of language-oriented programming, it needs programmable programming languages.","accessed":{"date-parts":[["2024",2,26]]},"author":[{"family":"Felleisen","given":"Matthias"},{"family":"Findler","given":"Robert Bruce"},{"family":"Flatt","given":"Matthew"},{"family":"Krishnamurthi","given":"Shriram"},{"family":"Barzilay","given":"Eli"},{"family":"McCarthy","given":"Jay"},{"family":"Tobin-Hochstadt","given":"Sam"}],"citation-key":"felleisenProgrammableProgrammingLanguage2018","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/3127323","ISSN":"0001-0782, 1557-7317","issue":"3","issued":{"date-parts":[["2018",2,21]]},"language":"en","page":"62–71","source":"DOI.org (Crossref)","title":"A programmable programming language","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/3127323","volume":"61"},{"id":"FermetureInformatique2024","abstract":"Dans un langage de programmation, une fermeture ou clôture (en anglais : closure) est une fonction accompagnée de son environnement lexical. L'environnement lexical d'une fonction est l'ensemble des variables non locales qu'elle a capturées, soit par valeur (c'est-à-dire par copie des valeurs des variables), soit par référence (c'est-à-dire par copie des adresses mémoires des variables). Une fermeture est donc créée, entre autres, lorsqu'une fonction est définie dans le corps d'une autre fonction et utilise des paramètres ou des variables locales de cette dernière.\nUne fermeture peut être passée en argument d'une fonction dans l'environnement où elle a été créée (passée vers le bas) ou renvoyée comme valeur de retour (passée vers le haut). Dans ce cas, le problème posé alors par la fermeture est qu'elle fait référence à des données qui auraient typiquement été allouées sur la pile d'exécution et libérées à la sortie de l'environnement. Hors optimisations par le compilateur, le problème est généralement résolu par une allocation sur le tas de l'environnement.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"FermetureInformatique2024","container-title":"Wikipédia","issued":{"date-parts":[["2024",2,26]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 212836844","source":"Wikipedia","title":"Fermeture (informatique)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Fermeture_(informatique)&oldid=212836844"},{"id":"floydParadigmsProgramming1979","author":[{"family":"Floyd","given":"Robert W."}],"citation-key":"floydParadigmsProgramming1979","container-title":"Communication of the ACM","DOI":"10.1145/359138.359140","issue":"8","issued":{"date-parts":[["1979",8,1]]},"language":"English","page":"455–460","title":"The paradigms of programming","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/359138.359140","volume":"22"},{"id":"floydParadigmsProgramming1979a","author":[{"family":"Floyd","given":"Robert W"}],"citation-key":"floydParadigmsProgramming1979a","issue":"8","issued":{"date-parts":[["1979"]]},"language":"en","source":"Zotero","title":"The paradigms of programming","type":"article-journal","volume":"22"},{"id":"FonctionOrdreSuperieur2023","abstract":"En mathématiques et en informatique, les fonctions d'ordre supérieur sont des fonctions qui ont au moins une des propriétés suivantes :\n\nelles prennent une ou plusieurs fonctions en entrée ;\nelles renvoient une fonction.En mathématiques, on les appelle des opérateurs ou des fonctionnelles.\nL'opérateur de dérivation en calcul infinitésimal est un exemple classique, car elle associe une fonction (la dérivée) à une autre fonction (la fonction que l'on dérive).\nDans le lambda-calcul non typé, toutes les fonctions sont d'ordre supérieur. Dans le lambda-calcul typé, dont la plupart des langages de programmation fonctionnels sont issus, les fonctions d'ordre supérieur sont généralement celles dont le type contient\nplus d'une flèche (Flèches dans la programmation fonctionnelle).\nEn programmation fonctionnelle, les fonctions d'ordre supérieur qui retournent d'autres fonctions sont dites curryfiées.\nLa fonction map présente dans de nombreux langages de programmation fonctionnelle est un exemple de fonction d'ordre supérieur. Elle prend une fonction f comme argument, et retourne une nouvelle fonction qui prend une liste comme argument et applique f à chaque élément. Un autre exemple très courant est celui d'une fonction de tri qui prend en argument une fonction de comparaison ; on sépare ainsi l'algorithme de tri de la comparaison des éléments à trier.\nD'autres exemples de fonction d'ordre supérieur sont la composition de fonctions et l'intégration.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"FonctionOrdreSuperieur2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",6,22]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 205383055","source":"Wikipedia","title":"Fonction d'ordre supérieur","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Fonction_d%27ordre_sup%C3%A9rieur&oldid=205383055"},{"id":"FunctionComputerProgramming2024","abstract":"In computer programming, a function, subprogram, procedure, method, routine or subroutine is a callable unit that has a well-defined behavior and can be invoked by other software units to exhibit that behavior.\nCallable units provide a powerful programming tool. The primary purpose is to allow for the decomposition of a large and/or complicated problem into chunks that have relatively low cognitive load and to assign the chunks meaningful names (unless they are anonymous). Judicious application can reduce the cost of developing and maintaining software, while increasing its quality and reliability.Callable units are present at multiple levels of abstraction in the programming environment. For example, a programmer may write a function in source code that is compiled to machine code that implements similar semantics. There is a callable unit in the source code and an associated one in the machine code, but they are different kinds of callable units – with different implications and features.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"FunctionComputerProgramming2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,26]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1210403496","source":"Wikipedia","title":"Function (computer programming)","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Function_(computer_programming)&oldid=1210403496"},{"id":"Gcode2023","abstract":"G-code (also RS-274) is the most widely used computer numerical control (CNC) and 3D printing programming language. It is used mainly in computer-aided manufacturing to control automated machine tools, as well as for 3D-printer slicer applications. The G stands for geometry.  G-code has many variants.\nG-code instructions are provided to a machine controller (industrial computer) that tells the motors where to move, how fast to move, and what path to follow. The two most common situations are that, within a machine tool such as a lathe or mill, a cutting tool is moved according to these instructions through a toolpath cutting away material to leave only the finished workpiece and/or an unfinished workpiece is precisely positioned in any of up to nine axes around the three dimensions relative to a toolpath and, either or both can move relative to each other. The same concept also extends to noncutting tools such as forming or burnishing tools, photoplotting, additive methods such as 3D printing, and measuring instruments.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"Gcode2023","container-title":"Wikipedia","issued":{"date-parts":[["2023",12,28]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1192191622","source":"Wikipedia","title":"G-code","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=G-code&oldid=1192191622"},{"id":"GrammaireNonContextuelle2023","abstract":"En linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme\n\nX→α{\\displaystyle X\\to \\alpha }où X{\\displaystyle X} est un symbole non terminal et α{\\displaystyle \\alpha } est une chaîne composée de terminaux et/ou de non-terminaux. Le terme « non contextuel » provient du fait qu'un non terminal X{\\displaystyle X} peut être remplacé par α{\\displaystyle \\alpha }, sans tenir compte du contexte où il apparaît. Un langage formel est non contextuel (ou hors contexte, ou encore algébrique) s'il existe une grammaire non contextuelle qui l'engendre.\nPar opposition est contextuelle une règle de la forme\nc +X→c+α{\\displaystyle c~+X\\to c+\\alpha }\nen raison de la partie gauche de la règle qui stipule un contexte pour X. Une telle règle signifie que X, dans le cas (contexte) où il est précédé du symbole terminal c{\\displaystyle c} et du littéral +{\\displaystyle +}, peut être remplacé par α{\\displaystyle \\alpha }.\nAinsi, dans une grammaire non contextuelle, un symbole non terminal est toujours seul dans la partie gauche de toute règle, ce qui signifie que son environnement syntaxique (ou contexte) n'est pas considéré.\nLes grammaires algébriques sont suffisamment puissantes pour décrire la partie principale de la syntaxe de la plupart des langages de programmation, avec au besoin quelques extensions. La forme de Backus-Naur est la notation la plus communément utilisée pour décrire une grammaire non contextuelle décrivant un langage de programmation. Dans la hiérarchie de Chomsky, ces grammaires sont de type 2.\nSi on trouve plusieurs termes pour nommer une grammaire algébrique, c'est que le terme anglais « context-free » est malcommode à traduire. Tous les termes donnés plus haut sont employés et équivalents.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"GrammaireNonContextuelle2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",12,11]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 210452959","source":"Wikipedia","title":"Grammaire non contextuelle","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Grammaire_non_contextuelle&oldid=210452959"},{"id":"HierarchieChomsky2023","abstract":"En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"HierarchieChomsky2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",12,7]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 210331079","source":"Wikipedia","title":"Hiérarchie de Chomsky","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Hi%C3%A9rarchie_de_Chomsky&oldid=210331079"},{"id":"hofmannWhatPureFunctional2010","abstract":"Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its functional argument? We show that existing methods based on preservation of invariants and relational parametricity are insufficient for this purpose and thus define a new notion that captures purity in the sense that for any functional F that is pure in this sense there exists a corresponding question-answer strategy. This research is motivated by an attempt to prove algorithms correct that take such supposedly pure functionals as input and apply them to stateful arguments in order to inspect intensional aspects of their behaviour.","author":[{"family":"Hofmann","given":"Martin"},{"family":"Karbyshev","given":"Aleksandr"},{"family":"Seidl","given":"Helmut"}],"citation-key":"hofmannWhatPureFunctional2010","container-title":"Automata, Languages and Programming","DOI":"10.1007/978-3-642-14162-1_17","editor":[{"family":"Abramsky","given":"Samson"},{"family":"Gavoille","given":"Cyril"},{"family":"Kirchner","given":"Claude"},{"family":"Meyer auf der Heide","given":"Friedhelm"},{"family":"Spirakis","given":"Paul G."}],"ISBN":"978-3-642-14162-1","issued":{"date-parts":[["2010"]]},"language":"en","page":"199–210","publisher":"Springer","publisher-place":"Berlin, Heidelberg","source":"Springer Link","title":"What Is a Pure Functional?","type":"paper-conference"},{"id":"hughesWhyFunctionalProgramming1989","abstract":"As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can be re-used to reduce future programming costs. Conventional languages place conceptual limits on the way problems can be modularised. Functional languages push those limits back. In this paper we show that two features of functional languages in particular, higher-order functions and lazy evaluation, can contribute greatly to modularity. As examples, we manipulate lists and trees, program several numerical algorithms, and implement the alpha-beta heuristics (an Artificial Intelligence algorithm used in game-playing programs). Since modularity is the key to successful programming, functional languages are vitally important to the real world.","accessed":{"date-parts":[["2024",3,30]]},"author":[{"family":"Hughes","given":"J."}],"citation-key":"hughesWhyFunctionalProgramming1989","container-title":"The Computer Journal","container-title-short":"The Computer Journal","DOI":"10.1093/comjnl/32.2.98","ISSN":"0010-4620","issue":"2","issued":{"date-parts":[["1989",1,1]]},"page":"98–107","source":"Silverchair","title":"Why Functional Programming Matters","type":"article-journal","URL":"https://doi.org/10.1093/comjnl/32.2.98","volume":"32"},{"id":"iversonNotationToolThought1980","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Iverson","given":"Kenneth E."}],"citation-key":"iversonNotationToolThought1980","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/358896.358899","ISSN":"0001-0782, 1557-7317","issue":"8","issued":{"date-parts":[["1980",8]]},"language":"en","page":"444–465","source":"DOI.org (Crossref)","title":"Notation as a tool of thought","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/358896.358899","volume":"23"},{"id":"jeambonFaceLIA2024","author":[{"family":"Jeambon","given":"Valérie"},{"family":"Devouard","given":"Florence"}],"citation-key":"jeambonFaceLIA2024","issued":{"date-parts":[["2024"]]},"title":"Face a l'IA","type":"document"},{"id":"jenkinsWhatFunctionalProgramming2015","abstract":"The personal blog of Kris Jenkins, geek.","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Jenkins","given":"Kris"}],"citation-key":"jenkinsWhatFunctionalProgramming2015","container-title":"Kris Jenkins' Blog","issued":{"date-parts":[["2015",12,29]]},"language":"en","title":"What Is Functional Programming?","type":"webpage","URL":"http://blog.jenkster.com/2015/12/what-is-functional-programming.html#fnref-1"},{"id":"linEffectsWhiteNoise2022","abstract":"Several models have tentatively associated improving attention-deficit/hyperactivity disorder (ADHD) symptoms with arousal and external environmental stimulation. In order to further clarify the relationships between ADHD symptoms, arousal, and external stimulation, this study focused on exploring the “simultaneous” effects of white noise on intrinsic attentional performance and extrinsic on-task behaviors in preschoolers with and without ADHD. By using the computerized task (K-CPT 2), 104 preschoolers, including 52 ADHD children and 52 typically developing (TD) children, were tested and analyzed for their intrinsic attention (such as detectability, omission errors, commission errors, and reaction time). Simultaneously, these preschoolers’ external on-task behaviors were recorded for analysis through systematic observation. This study showed that white noise could effectively improve attention performance, including enhancing the ability to differentiate non-targets from targets and decreasing omission errors. It could also reduce the extrinsic hyperactive behaviors of preschoolers with ADHD. The findings of this study highlighted that white noise stimulation is a beneficial non-pharmacological treatment for preschoolers with ADHD. In contrast, for TD preschoolers, the results of this study showed that the external white noise stimuli were not only unhelpful but also a burden.","accessed":{"date-parts":[["2024",10,29]]},"author":[{"family":"Lin","given":"Hung-Yu"}],"citation-key":"linEffectsWhiteNoise2022","container-title":"International Journal of Environmental Research and Public Health","DOI":"10.3390/ijerph192215391","ISSN":"1660-4601","issue":"22","issued":{"date-parts":[["2022",1]]},"language":"en","license":"http://creativecommons.org/licenses/by/3.0/","page":"15391","source":"www.mdpi.com","title":"The Effects of White Noise on Attentional Performance and On-Task Behaviors in Preschoolers with ADHD","type":"article-journal","URL":"https://www.mdpi.com/1660-4601/19/22/15391","volume":"19"},{"id":"LogiqueCombinatoire2023","abstract":"En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.\nLe concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre supérieur ; elle utilise uniquement l'application de fonctions et éventuellement d'autres combinateurs pour définir de nouvelles fonctions d'ordre supérieur. Chaque combinateur simplement typable est une démonstration à la Hilbert en logique intuitionniste et vice-versa . On appelle ceci la correspondance de Curry-Howard","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"LogiqueCombinatoire2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",6,5]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 204935023","source":"Wikipedia","title":"Logique combinatoire","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Logique_combinatoire&oldid=204935023"},{"id":"marxCapitalParKarl","author":[{"family":"Marx","given":"Karl (1818-1883)"}],"citation-key":"marxCapitalParKarl","language":"fr","source":"Zotero","title":"Le capital / par Karl Marx ; traduction de M. J. Roy, entièrement revisée par l'auteur","type":"article-journal"},{"id":"merakchiAtheismMoralityWe2024","abstract":"Unless you’ve been failing your CAPTCHA tests lately, I’ll venture to boldly claim: you are a human. And while some may argue that the…","accessed":{"date-parts":[["2024",6,23]]},"author":[{"family":"Merakchi","given":"Hiba"}],"citation-key":"merakchiAtheismMoralityWe2024","container-title":"Medium","issued":{"date-parts":[["2024",2,25]]},"language":"en","title":"Atheism and morality: do we need God to be moral?","title-short":"Atheism and morality","type":"post-weblog","URL":"https://hiba-merakchi.medium.com/atheism-and-morality-do-we-need-god-to-be-moral-7dd51d28f640"},{"id":"merakchiHardProblemConsciousness2021","abstract":"Can materialism account for consciousness?","accessed":{"date-parts":[["2024",6,18]]},"author":[{"family":"Merakchi","given":"Hiba"}],"citation-key":"merakchiHardProblemConsciousness2021","container-title":"Medium","issued":{"date-parts":[["2021",12,23]]},"language":"en","title":"The hard problem of consciousness","type":"post-weblog","URL":"https://hiba-merakchi.medium.com/the-hard-problem-of-consciousness-6457d3be84de"},{"id":"michaelsonProgrammingParadigmsTuring2020","abstract":"The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power. Furthermore, it is not at all clear how programming paradigms are to be characterised and differentiated. Indeed, on closer inspection, apparently disparate programming paradigms are very strongly connected. Rather, they should be viewed as different traditions of a unitary Computer Science paradigm of Turing complete computation complemented by Computational Thinking.","accessed":{"date-parts":[["2024",2,26]]},"author":[{"family":"Michaelson","given":"Greg"}],"citation-key":"michaelsonProgrammingParadigmsTuring2020","container-title":"The Art, Science, and Engineering of Programming","container-title-short":"Programming","DOI":"10.22152/programming-journal.org/2020/4/4","ISSN":"2473-7321","issue":"3","issued":{"date-parts":[["2020",2,14]]},"page":"4","source":"arXiv.org","title":"Programming Paradigms, Turing Completeness and Computational Thinking","type":"article-journal","URL":"http://arxiv.org/abs/2002.06178","volume":"4"},{"id":"minskyFormContentComputer1970","accessed":{"date-parts":[["2024",3,30]]},"author":[{"family":"Minsky","given":"Marvin"}],"citation-key":"minskyFormContentComputer1970","container-title":"Journal of the ACM","container-title-short":"J. ACM","DOI":"10.1145/321574.321575","ISSN":"0004-5411","issue":"2","issued":{"date-parts":[["1970",4,1]]},"page":"197–215","source":"ACM Digital Library","title":"Form and Content in Computer Science (1970 ACM turing lecture)","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/321574.321575","volume":"17"},{"id":"okasakiPurelyFunctionalData1999","abstract":"Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.","author":[{"family":"Okasaki","given":"Chris"}],"citation-key":"okasakiPurelyFunctionalData1999","ISBN":"978-0-521-66350-2","issued":{"date-parts":[["1999",6,13]]},"language":"en","number-of-pages":"236","publisher":"Cambridge University Press","source":"Google Books","title":"Purely Functional Data Structures","type":"book"},{"id":"OpenProblemsCommunication","accessed":{"date-parts":[["2026",3,27]]},"citation-key":"OpenProblemsCommunication","title":"Open problems in communication and computation - Anna’s Archive","type":"webpage","URL":"https://annas-archive.gd/md5/47f7db963973665771542f4578a8302f"},{"id":"ParadigmeProgrammation2023","abstract":"Le paradigme de programmation est la façon (parmi d'autres) d'approcher la programmation informatique et de formuler les solutions aux problèmes et leur formalisation dans un langage de programmation approprié. Ce n'est pas de la méthodologie contenant une méthode ; cette dernière organise le traitement des problèmes reconnus dans l'écosystème concerné pour aboutir à la solution conceptuelle et programme exécutable.","accessed":{"date-parts":[["2024",2,24]]},"citation-key":"ParadigmeProgrammation2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",7,11]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 205915300","source":"Wikipedia","title":"Paradigme (programmation)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Paradigme_(programmation)&oldid=205915300"},{"id":"perlisSpecialFeatureEpigrams1982","accessed":{"date-parts":[["2024",4,2]]},"author":[{"family":"Perlis","given":"Alan J."}],"citation-key":"perlisSpecialFeatureEpigrams1982","container-title":"ACM SIGPLAN Notices","container-title-short":"SIGPLAN Not.","DOI":"10.1145/947955.1083808","ISSN":"0362-1340","issue":"9","issued":{"date-parts":[["1982",9,1]]},"page":"7–13","source":"ACM Digital Library","title":"Special Feature: Epigrams on programming","title-short":"Special Feature","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/947955.1083808","volume":"17"},{"id":"ReactionOscillante2020","abstract":"Une réaction oscillante est un mélange complexe de composés chimiques dont la concentration d'un ou plusieurs composants présente des changements périodiques, jusqu'à épuisement de sa source d'énergie (généralement, un des réactifs). Dans les cas où l'un des réactifs a une couleur visible, la traversée d'un seuil de concentration peut conduire à un brusque changement de couleur.\nDes exemples de réactions oscillantes sont la réaction de Belooussov-Jabotinski, la réaction de Briggs-Rauscher, la réaction de Bray-Liebhafsky et la réaction oscillante de l'iode, ou, dans un genre un peu différent, la réaction du cœur battant de mercure. La concentration des produits et des réactifs chimiques d'une réaction oscillante peut être estimée en termes d'amortissement des oscillations.","accessed":{"date-parts":[["2024",5,17]]},"citation-key":"ReactionOscillante2020","container-title":"Wikipédia","issued":{"date-parts":[["2020",12,6]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 177361963","source":"Wikipedia","title":"Réaction oscillante","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=R%C3%A9action_oscillante&oldid=177361963"},{"id":"royProgrammingParadigmsDummies","author":[{"family":"Roy","given":"Peter Van"}],"citation-key":"royProgrammingParadigmsDummies","container-title":"Université Catholique de Louvain - UCLouvain","language":"en","source":"Zotero","title":"Programming Paradigms for Dummies: What Every Programmer Should Know","type":"article-journal"},{"id":"SalaireQualificationPersonnelle2024","abstract":"Le salaire à la qualification personnelle ou « salaire à vie » est une forme de rémunération dont le principe a principalement été théorisé par Bernard Friot et l'association d'éducation populaire Réseau Salariat. Il permet notamment de dissocier travail et emploi. Avec la cotisation sociale, il serait à la base d'un nouveau mode d’organisation socio-économique,,.","accessed":{"date-parts":[["2024",5,21]]},"citation-key":"SalaireQualificationPersonnelle2024","container-title":"Wikipédia","issued":{"date-parts":[["2024",1,31]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 212031190","source":"Wikipedia","title":"Salaire à la qualification personnelle","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Salaire_%C3%A0_la_qualification_personnelle&oldid=212031190"},{"id":"spinoza-pleiade","type":"book","citation-key":"spinoza-pleiade","collection-title":"Pléiade","language":"fr","publisher":"Gallimard","publisher-place":"Paris","title":"Œuvres complètes","author":[{"family":"Spinoza","given":""}],"accessed":{"date-parts":[["2026",4,24]]},"issued":{"date-parts":[["2022"]]},"library":"My Library","citekey":"spinoza-pleiade"},{"id":"strategicservicesSimpleSabotageField","author":[{"family":"Strategic Services","given":""}],"citation-key":"strategicservicesSimpleSabotageField","number-of-pages":"20","title":"Simple sabotage field manual","type":"book"},{"id":"StructuredProgrammingWikipedia","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"StructuredProgrammingWikipedia","title":"Structured programming - Wikipedia","type":"webpage","URL":"https://en.wikipedia.org/wiki/Structured_programming?oldformat=true"},{"id":"StructuresDonneesEnregistrements","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"StructuresDonneesEnregistrements","language":"fr","title":"Structures de données/Enregistrements — Wikilivres","type":"webpage","URL":"https://fr.wikibooks.org/wiki/Structures_de_donn%C3%A9es/Enregistrements"},{"id":"toalProgrammingParadigms","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Toal","given":"Ray"}],"citation-key":"toalProgrammingParadigms","title":"Programming Paradigms","type":"webpage","URL":"https://cs.lmu.edu/~ray/notes/paradigms/"},{"id":"vanroyConceptsTechniquesModels2004","abstract":"This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models (\"programming paradigms\"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language -- a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.","author":[{"family":"Van Roy","given":"Peter"},{"family":"Haridi","given":"Seif"}],"citation-key":"vanroyConceptsTechniquesModels2004","edition":"1st","ISBN":"978-0-262-22069-9","issued":{"date-parts":[["2004",1]]},"number-of-pages":"936","publisher":"The MIT Press","source":"ACM Digital Library","title":"Concepts, Techniques, and Models of Computer Programming","type":"book"},{"id":"vanroyTaxonomiePrincipauxParadigmes","accessed":{"date-parts":[["2024",4,1]]},"author":[{"family":"Van Roy","given":"Peter"}],"citation-key":"vanroyTaxonomiePrincipauxParadigmes","title":"Une taxonomie des principaux paradigmes de programmation","type":"webpage","URL":"https://www.info.ucl.ac.be/~pvr/paradigmes.html"},{"id":"varoufakisConversationsEntreAdultes2017","abstract":"Pour la première fois, un ancien ministre dévoile les coulisses secrètes de l’Europe.\n\t\t\t\n\t\t\tC’était en janvier 2015 : à peine a-t-il été nommé ministre des Finances de la Grèce que Yanis Varoufakis déclenche une des batailles les plus spectaculaires et les plus controversées de l’histoire récente en cherchant à renégocier les rapports entre son pays et l’Union européenne. En dépit du soutien exceptionnel de la population grecque et de la logique imparable de ses arguments, il s’est heurté à un mur et a provoqué l’ire des élites politiques, financières et médiatiques de l’Europe.\n\t\t\tLa vérité de cet affrontement était inconnue jusqu’ici – justement parce que la direction de l’Union européenne se réunit à huis clos. Dans un récit personnel et explosif, Yanis Varoufakis, économiste d’envergure mondiale, explique comment les choses se passent très concrètement dans les couloirs de Bruxelles.\n\t\t\tIl révèle une histoire édifiante où se mêlent hypocrisie, trahisons, collusions d’intérêts et acrobaties politiques. Un récit qui ébranlera profondément l’establishment.\n\t\t\tAujourd’hui – comment en douter ? –, la répression tragique de la rébellion démocratique grecque est à l’image des politiques qui mènent à l’autoritarisme, au populisme et à l’instabilité qui menacent le monde occidental.\n\t\t\tConversations entre adultes est un vibrant appel à renouveler la démocratie européenne avant qu’il ne soit trop tard.\n\t\t\t\n\t\t\tYanis Varoufakis a été ministre des Finances du gouvernement Tsipras et a conduit les négociations sur la dette grecque jusqu’à sa démission au lendemain du référendum du 5 juillet 2015.\n\t\t\tNé à Athènes en 1961, il a enseigné en Grande-Bretagne, en Australie et aux États-Unis. Il est aujourd’hui le chef de file du mouvement DiEM25, qui promeut la relance de la démocratie en Europe et s’oppose au diktat de l’austérité.","author":[{"family":"Varoufakis","given":"Yanis"}],"citation-key":"varoufakisConversationsEntreAdultes2017","issued":{"date-parts":[["2017",9,29]]},"language":"fr","license":"Yanis Varoufakis, 2017.","note":"Item ID: _:n0","publisher":"Éditions Les Liens qui libèrent","title":"Conversations entre adultes","type":"book"},{"id":"WeirdWonderfulChemistry","accessed":{"date-parts":[["2026",3,28]]},"author":[{"family":"Conway","given":"John"}],"citation-key":"WeirdWonderfulChemistry","container-title":"Open Problems in Communication and Computation","issued":{"date-parts":[["1987"]]},"language":"en","source":"www.scienceopen.com","title":"The Weird and Wonderful Chemistry of Audioactive Decay","type":"chapter","URL":"https://www.scienceopen.com/book?vid=267868ec-9701-4df8-a6f1-9d26367261d8"},{"id":"WikiwandTuringcomplet2017","abstract":"En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"WikiwandTuringcomplet2017","container-title":"Wikiwand","issued":{"date-parts":[["2017",2,2]]},"title":"Wikiwand - Turing-complet","type":"webpage","URL":"https://www.wikiwand.com/fr/Turing-complet"},{"id":"willettParadigmeTheorieModele1996","abstract":"L’auteur traite des termes paradigme, théorie, modèle et schéma. Il tente de clarifier le plus possible ces termes en traitant de l’essentiel et en mettant l’accent sur ce qui permet de les différencier. Il rend compte de certaines difficultés provoquées par la polysémie de ces termes. Il termine en soulevant certaines questions à propos de la communicologie.","accessed":{"date-parts":[["2024",4,3]]},"author":[{"family":"Willett","given":"Gilles"}],"citation-key":"willettParadigmeTheorieModele1996","container-title":"Communication et organisation. Revue scientifique francophone en Communication organisationnelle","DOI":"10.4000/communicationorganisation.1873","ISSN":"1168-5549","issue":"10","issued":{"date-parts":[["1996",11,1]]},"language":"fr","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","number":"10","publisher":"Presses universitaires de Bordeaux","source":"journals.openedition.org","title":"Paradigme, théorie, modèle, schéma : qu’est-ce donc ?","title-short":"Paradigme, théorie, modèle, schéma","type":"article-journal","URL":"https://journals.openedition.org/communicationorganisation/1873"},{"id":"spinoza-correspondance-rovere","type":"book","citation-key":"spinoza-correspondance-rovere","collection-title":"GF","ISBN":"978-2-08-123138-2","language":"fr","publisher":"Flammarion","publisher-place":"Paris","title":"Correspondance","author":[{"family":"Spinoza","given":""}],"accessed":{"date-parts":[["2026",4,25]]},"issued":{"date-parts":[["2010",1,20]]},"library":"My Library","citekey":"spinoza-correspondance-rovere"}]
\ No newline at end of file
+[{"id":"abelsonStructureInterpretationComputer1996","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Abelson","given":"Harold"},{"family":"Sussman","given":"Gerald Jay"},{"family":"Sussman","given":"Julie"}],"citation-key":"abelsonStructureInterpretationComputer1996","edition":"2","issued":{"date-parts":[["1996"]]},"language":"en","publisher":"MIT Press","publisher-place":"Cambridge, Massachusetts, London, England","source":"Zotero","title":"Structure and Interpretation of Computer Programs","type":"book","URL":"http://mitpress.mit.edu/sicp"},{"id":"antoninPOURDESIGNMINIMAL","author":[{"family":"Antonin","given":"Peronnet"}],"citation-key":"antoninPOURDESIGNMINIMAL","language":"fr","source":"Zotero","title":"POUR UN DESIGN MINIMAL","type":"article-journal"},{"id":"antonszandorBibleSatanique1969","author":[{"family":"Anton Szandor","given":"Lavey"}],"citation-key":"antonszandorBibleSatanique1969","issued":{"date-parts":[["1969"]]},"title":"La Bible satanique","type":"book"},{"id":"AutomatePile2021","abstract":"Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.\nUn automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé.\nLes langages reconnus par les automates à piles sont exactement les langages algébriques, c'est-à-dire ceux engendrés par une grammaire algébrique.\nL'importance des automates à pile vient de leur emploi en analyse syntaxique des langages de programmation, et plus généralement dans la transformation de définitions ou d'algorithmes récursifs en leurs analogues itératifs.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"AutomatePile2021","container-title":"Wikipédia","issued":{"date-parts":[["2021",10,29]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 187552887","source":"Wikipedia","title":"Automate à pile","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Automate_%C3%A0_pile&oldid=187552887"},{"id":"barbarasSpinozaScienceMathematique2007","abstract":"« Je considérerai les actions et les appétits humains comme s’il était question de lignes, de surfaces et de solides. » C’est une science de l’homme que construit Spinoza en ce début du XVIIe siècle. Une science nourrie des bouleversements dans les mathématiques, l’algèbre, la conception de l’infini. Écrite sur le modèle des Éléments d’Euclide, l’Éthique n’a rien d’artificiel. Sa forme coïncide, au contraire, avec la neuve radicalité d’une pensée qui donne au désir toute sa puissance. Cette ambitieuse lecture de la philosophie de Spinoza comme science du salut engendre un appétit renouvelé de savoir.","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Barbaras","given":"Françoise"}],"citation-key":"barbarasSpinozaScienceMathematique2007","collection-title":"CNRS Philosophie","container-title":"Spinoza : La science mathématique du salut","ISBN":"978-2-271-14198-9","issued":{"date-parts":[["2007"]]},"language":"fr","license":"https://www.openedition.org/12554","number-of-pages":"205","publisher":"CNRS Éditions","publisher-place":"Paris","source":"OpenEdition Books","title":"Spinoza : La science mathématique du salut","title-short":"Spinoza","type":"book","URL":"https://books.openedition.org/editionscnrs/48687"},{"id":"begue-shanklandEtudeScientifiqueMontre2024","abstract":"Menée par le Professeur des Universités Laurent Bègue Shankland1 auprès de 67 000 étudiant(e)s et élèves de grandes écoles entre 2023 et 2024, cette recherche d’une ampleur inédite indique que l’alcool est présent dans plus de la moitié des violences sexuelles rapportées depuis l‘arrivée dans l‘enseignement supérieur.","accessed":{"date-parts":[["2024",10,3]]},"author":[{"family":"Bègue-Shankland","given":"Laurent"},{"family":"Roché","given":"Sebastian"},{"family":"Arvers","given":"Philippe"}],"citation-key":"begue-shanklandEtudeScientifiqueMontre2024","issued":{"date-parts":[["2024",10]]},"language":"fr","publisher":"Université de Grenobles Aples","title":"Une étude scientifique montre que l'alcool est un facteur déterminant des violences sexistes et sexuelles en milieu étudiant","type":"document","URL":"https://www.enseignementsup-recherche.gouv.fr/fr/une-etude-scientifique-montre-que-l-alcool-est-un-facteur-determinant-des-violences-sexistes-et-97513"},{"id":"billaudProgrammationFonctionnelleSymbolique1989","accessed":{"date-parts":[["2024",3,28]]},"author":[{"family":"Billaud","given":"Michel"}],"citation-key":"billaudProgrammationFonctionnelleSymbolique1989","container-title":"Page personnelle de Michel Billaud","issued":{"date-parts":[["1989"]]},"title":"Programmation Fonctionnelle et Symbolique - Introduction","type":"webpage","URL":"https://www.mbillaud.fr/SITE-PERSO-LABRI/travaux/lisp89/1intro.html"},{"id":"brancatoCantorNotionInfinity2021","abstract":"In his analysis of the history of philosophy and mathematics, Cantor indicates the early modern period as the one in which, because of the general rejection of the notion of an infinite number, some major prejudices against his new ideas on infinity were developed. However, Spinoza and Leibniz are regarded also as the first authors possessing a correct notion of absolute infinity and actual infinity. After showing how Cantor came to this paradox, in this paper I argue that his views cannot be considered completely accurate: a precise superposition between Cantor’s notion of transfinite number and the early moderns’ infinite number is impossible, because there is a discrepancy in the notion of set that has not been taken into account. At the same time, Spinoza and Leibniz are under a certain aspect Cantor’s precursors, because Cantor adopts Spinoza’s terminology to distinguish between absolute infinity and the transfinite, and because Cantor’s studies on Leibniz’s calculus presented him an example of infinite wholes used in mathematics as an aid for new discoveries.","accessed":{"date-parts":[["2026",3,31]]},"author":[{"family":"Brancato","given":"Mattia"}],"citation-key":"brancatoCantorNotionInfinity2021","container-title":"Lumières","DOI":"10.3917/lumi.037.0131","ISSN":"1762-4630","issue":"1","issued":{"date-parts":[["2021"]]},"language":"en","page":"131–147","publisher":"Presses universitaires de Bordeaux","source":"shs.cairn.info","title":"Cantor on the Notion of Infinity in Spinoza and Leibniz","type":"article-journal","URL":"https://shs.cairn.info/revue-lumieres-2021-1-page-131","volume":"3738"},{"id":"brown10ThingsSoftware2023","abstract":"Understanding how human memory and learning works, the differences between beginners and experts, and practical steps developers can take to improve their learning, training, and recruitment.","accessed":{"date-parts":[["2024",3,14]]},"author":[{"family":"Brown","given":"Neil C. C."},{"family":"Hermans","given":"Felienne F. J."},{"family":"Margulieux","given":"Lauren E."}],"citation-key":"brown10ThingsSoftware2023","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/3584859","ISSN":"0001-0782","issue":"1","issued":{"date-parts":[["2023",12,21]]},"page":"78–87","source":"ACM Digital Library","title":"10 Things Software Developers Should Learn about Learning","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/3584859","volume":"67"},{"id":"bustosRegretGenderaffirmationSurgery2021","abstract":"Supplemental Digital Content is available in the text.","accessed":{"date-parts":[["2024",5,14]]},"author":[{"family":"Bustos","given":"Valeria P."},{"family":"Bustos","given":"Samyd S."},{"family":"Mascaro","given":"Andres"},{"family":"Del Corral","given":"Gabriel"},{"family":"Forte","given":"Antonio J."},{"family":"Ciudad","given":"Pedro"},{"family":"Kim","given":"Esther A."},{"family":"Langstein","given":"Howard N."},{"family":"Manrique","given":"Oscar J."}],"citation-key":"bustosRegretGenderaffirmationSurgery2021","container-title":"Plastic and Reconstructive Surgery Global Open","container-title-short":"Plast Reconstr Surg Glob Open","DOI":"10.1097/GOX.0000000000003477","ISSN":"2169-7574","issue":"3","issued":{"date-parts":[["2021",3,19]]},"page":"e3477","PMCID":"PMC8099405","PMID":"33968550","source":"PubMed Central","title":"Regret after Gender-affirmation Surgery: A Systematic Review and Meta-analysis of Prevalence","title-short":"Regret after Gender-affirmation Surgery","type":"article-journal","URL":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8099405/","volume":"9"},{"id":"cainLectureProgrammingParadigms2018","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Cain","given":"Jerry"}],"citation-key":"cainLectureProgrammingParadigms2018","event-place":"Stanford","issued":{"date-parts":[["2018",7,19]]},"language":"English","title":"Lecture 1 | Programming Paradigms","type":"speech","URL":"https://www.youtube.com/watch?v=Ps8jOj7diA0&list=PL9D558D49CA734A02"},{"id":"camerini-lettre12","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Camerini","given":"Matteo"}],"citation-key":"camerini-lettre12","title":"La Lettre XII et ses cercles non-concentriques","type":"article-journal"},{"id":"chenQazxcdswe123Searchobsidiangoogle2024","abstract":"Search obsidian notes in google.","accessed":{"date-parts":[["2025",1,14]]},"author":[{"family":"Chen","given":"YuNing"}],"citation-key":"chenQazxcdswe123Searchobsidiangoogle2024","genre":"TypeScript","issued":{"date-parts":[["2024",7,1]]},"license":"GPL-3.0","original-date":{"date-parts":[["2023",3,17]]},"source":"GitHub","title":"qazxcdswe123/search-obsidian-in-google","type":"software","URL":"https://github.com/qazxcdswe123/search-obsidian-in-google"},{"id":"ComparisonMultiparadigmProgramming2024","abstract":"Programming languages can be grouped by the number and types of paradigms supported.","accessed":{"date-parts":[["2024",2,20]]},"citation-key":"ComparisonMultiparadigmProgramming2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,1]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1202029082","source":"Wikipedia","title":"Comparison of multi-paradigm programming languages","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Comparison_of_multi-paradigm_programming_languages&oldid=1202029082"},{"id":"ComparisonProgrammingParadigms2024","abstract":"This article attempts to set out the various similarities and differences between the various programming paradigms as a summary in both graphical and tabular format with links to the separate discussions concerning these similarities and differences in extant Wikipedia articles.","accessed":{"date-parts":[["2024",2,26]]},"citation-key":"ComparisonProgrammingParadigms2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,1]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1202049782","source":"Wikipedia","title":"Comparison of programming paradigms","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Comparison_of_programming_paradigms&oldid=1202049782"},{"id":"coriLogiqueMathematique12003","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"citation-key":"coriLogiqueMathematique12003","issued":{"date-parts":[["2003"]]},"number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 1. calcul propositionnel, algèbre de boole","type":"book","volume":"1"},{"id":"coriLogiqueMathematique22003","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"citation-key":"coriLogiqueMathematique22003","issued":{"date-parts":[["2003"]]},"number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 2. fonctions récursives, théorème de Gödel, théories des ensembles, théorie des modèles","type":"book","volume":"2"},{"id":"CountingSort2024","abstract":"In computer science, counting sort is an algorithm for sorting a collection of objects according to keys that are small positive integers; that is, it is an integer sorting algorithm. It operates by counting the number of objects that possess distinct key values, and applying prefix sum on those counts to determine the positions of each key value in the output sequence. Its running time is linear in the number of items and the difference between the maximum key value and the minimum key value, so it is only suitable for direct use in situations where the variation in keys is not significantly greater than the number of items. It is often used as a subroutine in radix sort, another sorting algorithm, which can handle larger keys more efficiently.\nCounting sort is not a comparison sort; it uses key values as indexes into an array and the Ω(n log n) lower bound for comparison sorting will not apply. Bucket sort may be used in lieu of counting sort, and entails a similar time analysis. However, compared to counting sort, bucket sort requires linked lists, dynamic arrays, or a large amount of pre-allocated memory to hold the sets of items within each bucket, whereas counting sort stores a single number (the count of items) per bucket.","accessed":{"date-parts":[["2024",5,12]]},"citation-key":"CountingSort2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,9]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1205345660","source":"Wikipedia","title":"Counting sort","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Counting_sort&oldid=1205345660"},{"id":"dahanRelationsEntreScience2015","abstract":"Depuis vingt-cinq ans, le changement climatique anthropogénique est appréhendé comme une question d’environnement global. Les sciences du climat jouent un rôle primordial dans la construction du problème, qui se veut résumé par la formule « <i>science speaks truth to power<i/> », science et politique étant supposées séparées et étanches. Ce cadrage jusqu’ici dominant est aujourd’hui ébranlé par l’échec des négociations internationales : il est devenu manifeste que le consensus scientifique ne suffit pas à engendrer des décisions politiques globales significatives. À l’heure de la COP de Paris, alors que se discute la nécessité de changer de paradigme dans la négociation, cet article veut s’interroger sur l’évolution des relations entre science et politique dans le régime climatique, en revenant sur la vision du rôle de la science et en évoquant les critiques, propositions et perspectives qui se dessinent à propos des modèles d’expertise.","accessed":{"date-parts":[["2024",5,13]]},"author":[{"family":"Dahan","given":"Amy"},{"family":"Guillemot","given":"Hélène"}],"citation-key":"dahanRelationsEntreScience2015","container-title":"Natures Sciences Sociétés","container-title-short":"Nat. Sci. Soc.","DOI":"10.1051/nss/2015014","ISSN":"1240-1307, 1765-2979","issued":{"date-parts":[["2015"]]},"language":"fr","license":"© NSS-Dialogues, EDP Sciences 2015","page":"S6-S18","publisher":"EDP Sciences","source":"www.nss-journal.org","title":"Les relations entre science et politique dans le régime climatique : à la recherche d’un nouveau modèle d’expertise ?","title-short":"Les relations entre science et politique dans le régime climatique","type":"article-journal","URL":"https://www.nss-journal.org/articles/nss/abs/2015/02/nss150014/nss150014.html","volume":"23"},{"id":"dijkstraChapterNotesStructured1972","accessed":{"date-parts":[["2024",4,1]]},"author":[{"family":"Dijkstra","given":"Edsger W."}],"citation-key":"dijkstraChapterNotesStructured1972","container-title":"Structured programming","ISBN":"978-0-12-200550-3","issued":{"date-parts":[["1972",1,1]]},"page":"1–82","publisher":"Academic Press Ltd.","publisher-place":"GBR","source":"ACM Digital Library","title":"Chapter I: Notes on structured programming","title-short":"Chapter I","type":"chapter"},{"id":"EffetBordInformatique2023","abstract":"En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche d'effet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur. Par exemple, les fonctions qui modifient une variable locale statique, une variable non locale ou un argument mutable passé par référence, les fonctions qui effectuent des opérations d'entrées-sorties ou les fonctions appelant d'autres fonctions à effet de bord. Souvent, ces effets compliquent la lisibilité du comportement des programmes et/ou nuisent à la réutilisabilité des fonctions et procédures. Un langage comme Haskell les restreint délibérément dans des composants nommés monades.\nPlus communément, un effet de bord apparaît la plupart du temps lorsqu'une modification d'un programme cohérent (valeurs et états pris conformes aux spécifications) aboutit à des valeurs ou des comportements non prévus, à cause de la non prise en compte de la portée, de l'ensemble de définition de variables, ou du contrat des fonctions.","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"EffetBordInformatique2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",8,30]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 207397507","source":"Wikipedia","title":"Effet de bord (informatique)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Effet_de_bord_(informatique)&oldid=207397507"},{"id":"EnregistrementStructureDonnees2023","abstract":"En programmation, un enregistrement est une structure de données qui rassemble plusieurs champs, ceux-ci contenant des valeurs qui peuvent être de types différents. Typiquement, le nombre de champ et leur séquence sont fixés. Les champs d'un enregistrement peuvent aussi être nommés \"membres\", en particulier dans la programmation orientée objet. Les champs peuvent encore être appelés \"éléments\", mais cela entraîne un risque de confusion avec les éléments d'une collection.\nPar exemple, une date peut être stockée en mémoire comme un enregistrement avec un champ numérique année, le mois représenté comme une chaîne de caractères, et un champ numérique pour le jour-du-mois.\nLes enregistrements se distinguent des tableaux (arrays) par le fait que le nombre de leurs champs est généralement fixé, que chaque champ a un nom et que chaque champ peut être de type différent.\nUn type enregistrement est un type de donnée qui décrit de telles variables. La majorité des langages de programmation utilisés aujourd'hui donne au programmeur la capacité de définir de nouveaux types d'enregistrements. La définition comprend la spécification du type de données de chaque champ et un identifiant (nom ou étiquette) par lequel on peut y accéder.\nLes enregistrements peuvent exister dans n'importe quelle forme de stockage de données (mémoire vive, bandes magnétiques, disques durs...). Les enregistrements sont fondamentaux pour la majorité des structures de données, en particulier les structures de données liées.\nUn objet dans la programmation orientée objet est essentiellement un enregistrement qui contient les procédures spécialisées pour cet enregistrement. Dans la majorité des langages orientés objet, les enregistrements sont des cas spécifiques des objets, et sont nommés plain old data structures, ou passive data structures.\nUn enregistrement peut être considéré comme l'équivalent informatique d'un n-uplet mathématique. Dans la même veine, il peut aussi être vu comme une version technologique d'un produit cartésien de deux ou plusieurs ensembles mathématiques.","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"EnregistrementStructureDonnees2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",9,12]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 207783466","source":"Wikipedia","title":"Enregistrement (structure de données)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Enregistrement_(structure_de_donn%C3%A9es)&oldid=207783466"},{"id":"entwanneVariablesScopesClosures2019","abstract":"Comprendre leur fonctionnement et en éviter les pièges","accessed":{"date-parts":[["2024",5,13]]},"author":[{"family":"entwanne","given":""}],"citation-key":"entwanneVariablesScopesClosures2019","container-title":"Zeste de Savoir","genre":"text","issued":{"date-parts":[["2019",7,23]]},"language":"fr","license":"Licence CC BY","publisher":"Zeste de Savoir","section":"Tutoriels","title":"Variables, scopes et closures en Python","type":"webpage","URL":"https://zestedesavoir.com/tutoriels/3163/variables-scopes-et-closures-en-python/"},{"id":"ethique-rovere","accessed":{"date-parts":[["2026",4,24]]},"author":[{"family":"Spinoza","given":""}],"citation-key":"ethique-rovere","edition":"Maxime Rovere","ISBN":"978-2-08-151383-9","issued":{"date-parts":[["2021",11,10]]},"language":"fr","original-date":{"date-parts":[["1677"]]},"publisher":"Flammarion","publisher-place":"Paris","title":"Éthique","type":"book"},{"id":"ExpressivePowerComputer2023","abstract":"In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language. The more expressive a language is, the greater the variety and quantity of ideas it can be used to represent.\nFor example, the Web Ontology Language expression language profile (OWL2 EL) lacks ideas (such as negation) that can be expressed in OWL2 RL (rule language). OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow for more efficient (polynomial time) reasoning in OWL2 EL than in OWL2 RL. So OWL2 EL trades some expressive power for more efficient reasoning (processing of the knowledge representation language).","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"ExpressivePowerComputer2023","container-title":"Wikipedia","issued":{"date-parts":[["2023",8,26]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1172391643","source":"Wikipedia","title":"Expressive power (computer science)","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Expressive_power_(computer_science)&oldid=1172391643"},{"id":"felleisenExpressivePowerProgramming1990","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Felleisen","given":"Matthias"}],"citation-key":"felleisenExpressivePowerProgramming1990","collection-editor":[{"family":"Goos","given":"G."},{"family":"Hartmanis","given":"J."},{"family":"Barstow","given":"D."},{"family":"Brauer","given":"W."},{"family":"Brinch Hansen","given":"P."},{"family":"Gries","given":"D."},{"family":"Luckham","given":"D."},{"family":"Moler","given":"C."},{"family":"Pnueli","given":"A."},{"family":"Seegmüller","given":"G."},{"family":"Stoer","given":"J."},{"family":"Wirth","given":"N."}],"collection-title":"Lecture Notes in Computer Science","container-title":"ESOP '90","DOI":"10.1007/3-540-52592-0_60","editor":[{"family":"Jones","given":"Neil"}],"ISBN":"978-3-540-52592-9 978-3-540-47045-8","issued":{"date-parts":[["1990"]]},"page":"134–151","publisher":"Springer Berlin Heidelberg","publisher-place":"Berlin, Heidelberg","source":"DOI.org (Crossref)","title":"On the expressive power of programming languages","type":"chapter","URL":"http://link.springer.com/10.1007/3-540-52592-0_60","volume":"432"},{"id":"felleisenProgrammableProgrammingLanguage2018","abstract":"As the software industry enters the era of language-oriented programming, it needs programmable programming languages.","accessed":{"date-parts":[["2024",2,26]]},"author":[{"family":"Felleisen","given":"Matthias"},{"family":"Findler","given":"Robert Bruce"},{"family":"Flatt","given":"Matthew"},{"family":"Krishnamurthi","given":"Shriram"},{"family":"Barzilay","given":"Eli"},{"family":"McCarthy","given":"Jay"},{"family":"Tobin-Hochstadt","given":"Sam"}],"citation-key":"felleisenProgrammableProgrammingLanguage2018","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/3127323","ISSN":"0001-0782, 1557-7317","issue":"3","issued":{"date-parts":[["2018",2,21]]},"language":"en","page":"62–71","source":"DOI.org (Crossref)","title":"A programmable programming language","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/3127323","volume":"61"},{"id":"FermetureInformatique2024","abstract":"Dans un langage de programmation, une fermeture ou clôture (en anglais : closure) est une fonction accompagnée de son environnement lexical. L'environnement lexical d'une fonction est l'ensemble des variables non locales qu'elle a capturées, soit par valeur (c'est-à-dire par copie des valeurs des variables), soit par référence (c'est-à-dire par copie des adresses mémoires des variables). Une fermeture est donc créée, entre autres, lorsqu'une fonction est définie dans le corps d'une autre fonction et utilise des paramètres ou des variables locales de cette dernière.\nUne fermeture peut être passée en argument d'une fonction dans l'environnement où elle a été créée (passée vers le bas) ou renvoyée comme valeur de retour (passée vers le haut). Dans ce cas, le problème posé alors par la fermeture est qu'elle fait référence à des données qui auraient typiquement été allouées sur la pile d'exécution et libérées à la sortie de l'environnement. Hors optimisations par le compilateur, le problème est généralement résolu par une allocation sur le tas de l'environnement.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"FermetureInformatique2024","container-title":"Wikipédia","issued":{"date-parts":[["2024",2,26]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 212836844","source":"Wikipedia","title":"Fermeture (informatique)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Fermeture_(informatique)&oldid=212836844"},{"id":"floydParadigmsProgramming1979","author":[{"family":"Floyd","given":"Robert W."}],"citation-key":"floydParadigmsProgramming1979","container-title":"Communication of the ACM","DOI":"10.1145/359138.359140","issue":"8","issued":{"date-parts":[["1979",8,1]]},"language":"English","page":"455–460","title":"The paradigms of programming","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/359138.359140","volume":"22"},{"id":"floydParadigmsProgramming1979a","author":[{"family":"Floyd","given":"Robert W"}],"citation-key":"floydParadigmsProgramming1979a","issue":"8","issued":{"date-parts":[["1979"]]},"language":"en","source":"Zotero","title":"The paradigms of programming","type":"article-journal","volume":"22"},{"id":"FonctionOrdreSuperieur2023","abstract":"En mathématiques et en informatique, les fonctions d'ordre supérieur sont des fonctions qui ont au moins une des propriétés suivantes :\n\nelles prennent une ou plusieurs fonctions en entrée ;\nelles renvoient une fonction.En mathématiques, on les appelle des opérateurs ou des fonctionnelles.\nL'opérateur de dérivation en calcul infinitésimal est un exemple classique, car elle associe une fonction (la dérivée) à une autre fonction (la fonction que l'on dérive).\nDans le lambda-calcul non typé, toutes les fonctions sont d'ordre supérieur. Dans le lambda-calcul typé, dont la plupart des langages de programmation fonctionnels sont issus, les fonctions d'ordre supérieur sont généralement celles dont le type contient\nplus d'une flèche (Flèches dans la programmation fonctionnelle).\nEn programmation fonctionnelle, les fonctions d'ordre supérieur qui retournent d'autres fonctions sont dites curryfiées.\nLa fonction map présente dans de nombreux langages de programmation fonctionnelle est un exemple de fonction d'ordre supérieur. Elle prend une fonction f comme argument, et retourne une nouvelle fonction qui prend une liste comme argument et applique f à chaque élément. Un autre exemple très courant est celui d'une fonction de tri qui prend en argument une fonction de comparaison ; on sépare ainsi l'algorithme de tri de la comparaison des éléments à trier.\nD'autres exemples de fonction d'ordre supérieur sont la composition de fonctions et l'intégration.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"FonctionOrdreSuperieur2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",6,22]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 205383055","source":"Wikipedia","title":"Fonction d'ordre supérieur","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Fonction_d%27ordre_sup%C3%A9rieur&oldid=205383055"},{"id":"FunctionComputerProgramming2024","abstract":"In computer programming, a function, subprogram, procedure, method, routine or subroutine is a callable unit that has a well-defined behavior and can be invoked by other software units to exhibit that behavior.\nCallable units provide a powerful programming tool. The primary purpose is to allow for the decomposition of a large and/or complicated problem into chunks that have relatively low cognitive load and to assign the chunks meaningful names (unless they are anonymous). Judicious application can reduce the cost of developing and maintaining software, while increasing its quality and reliability.Callable units are present at multiple levels of abstraction in the programming environment. For example, a programmer may write a function in source code that is compiled to machine code that implements similar semantics. There is a callable unit in the source code and an associated one in the machine code, but they are different kinds of callable units – with different implications and features.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"FunctionComputerProgramming2024","container-title":"Wikipedia","issued":{"date-parts":[["2024",2,26]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1210403496","source":"Wikipedia","title":"Function (computer programming)","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=Function_(computer_programming)&oldid=1210403496"},{"id":"Gcode2023","abstract":"G-code (also RS-274) is the most widely used computer numerical control (CNC) and 3D printing programming language. It is used mainly in computer-aided manufacturing to control automated machine tools, as well as for 3D-printer slicer applications. The G stands for geometry.  G-code has many variants.\nG-code instructions are provided to a machine controller (industrial computer) that tells the motors where to move, how fast to move, and what path to follow. The two most common situations are that, within a machine tool such as a lathe or mill, a cutting tool is moved according to these instructions through a toolpath cutting away material to leave only the finished workpiece and/or an unfinished workpiece is precisely positioned in any of up to nine axes around the three dimensions relative to a toolpath and, either or both can move relative to each other. The same concept also extends to noncutting tools such as forming or burnishing tools, photoplotting, additive methods such as 3D printing, and measuring instruments.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"Gcode2023","container-title":"Wikipedia","issued":{"date-parts":[["2023",12,28]]},"language":"en","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 1192191622","source":"Wikipedia","title":"G-code","type":"entry-encyclopedia","URL":"https://en.wikipedia.org/w/index.php?title=G-code&oldid=1192191622"},{"id":"GrammaireNonContextuelle2023","abstract":"En linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme\n\nX→α{\\displaystyle X\\to \\alpha }où X{\\displaystyle X} est un symbole non terminal et α{\\displaystyle \\alpha } est une chaîne composée de terminaux et/ou de non-terminaux. Le terme « non contextuel » provient du fait qu'un non terminal X{\\displaystyle X} peut être remplacé par α{\\displaystyle \\alpha }, sans tenir compte du contexte où il apparaît. Un langage formel est non contextuel (ou hors contexte, ou encore algébrique) s'il existe une grammaire non contextuelle qui l'engendre.\nPar opposition est contextuelle une règle de la forme\nc +X→c+α{\\displaystyle c~+X\\to c+\\alpha }\nen raison de la partie gauche de la règle qui stipule un contexte pour X. Une telle règle signifie que X, dans le cas (contexte) où il est précédé du symbole terminal c{\\displaystyle c} et du littéral +{\\displaystyle +}, peut être remplacé par α{\\displaystyle \\alpha }.\nAinsi, dans une grammaire non contextuelle, un symbole non terminal est toujours seul dans la partie gauche de toute règle, ce qui signifie que son environnement syntaxique (ou contexte) n'est pas considéré.\nLes grammaires algébriques sont suffisamment puissantes pour décrire la partie principale de la syntaxe de la plupart des langages de programmation, avec au besoin quelques extensions. La forme de Backus-Naur est la notation la plus communément utilisée pour décrire une grammaire non contextuelle décrivant un langage de programmation. Dans la hiérarchie de Chomsky, ces grammaires sont de type 2.\nSi on trouve plusieurs termes pour nommer une grammaire algébrique, c'est que le terme anglais « context-free » est malcommode à traduire. Tous les termes donnés plus haut sont employés et équivalents.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"GrammaireNonContextuelle2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",12,11]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 210452959","source":"Wikipedia","title":"Grammaire non contextuelle","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Grammaire_non_contextuelle&oldid=210452959"},{"id":"HierarchieChomsky2023","abstract":"En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.","accessed":{"date-parts":[["2024",3,31]]},"citation-key":"HierarchieChomsky2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",12,7]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 210331079","source":"Wikipedia","title":"Hiérarchie de Chomsky","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Hi%C3%A9rarchie_de_Chomsky&oldid=210331079"},{"id":"hofmannWhatPureFunctional2010","abstract":"Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its functional argument? We show that existing methods based on preservation of invariants and relational parametricity are insufficient for this purpose and thus define a new notion that captures purity in the sense that for any functional F that is pure in this sense there exists a corresponding question-answer strategy. This research is motivated by an attempt to prove algorithms correct that take such supposedly pure functionals as input and apply them to stateful arguments in order to inspect intensional aspects of their behaviour.","author":[{"family":"Hofmann","given":"Martin"},{"family":"Karbyshev","given":"Aleksandr"},{"family":"Seidl","given":"Helmut"}],"citation-key":"hofmannWhatPureFunctional2010","container-title":"Automata, Languages and Programming","DOI":"10.1007/978-3-642-14162-1_17","editor":[{"family":"Abramsky","given":"Samson"},{"family":"Gavoille","given":"Cyril"},{"family":"Kirchner","given":"Claude"},{"family":"Meyer auf der Heide","given":"Friedhelm"},{"family":"Spirakis","given":"Paul G."}],"ISBN":"978-3-642-14162-1","issued":{"date-parts":[["2010"]]},"language":"en","page":"199–210","publisher":"Springer","publisher-place":"Berlin, Heidelberg","source":"Springer Link","title":"What Is a Pure Functional?","type":"paper-conference"},{"id":"hughesWhyFunctionalProgramming1989","abstract":"As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can be re-used to reduce future programming costs. Conventional languages place conceptual limits on the way problems can be modularised. Functional languages push those limits back. In this paper we show that two features of functional languages in particular, higher-order functions and lazy evaluation, can contribute greatly to modularity. As examples, we manipulate lists and trees, program several numerical algorithms, and implement the alpha-beta heuristics (an Artificial Intelligence algorithm used in game-playing programs). Since modularity is the key to successful programming, functional languages are vitally important to the real world.","accessed":{"date-parts":[["2024",3,30]]},"author":[{"family":"Hughes","given":"J."}],"citation-key":"hughesWhyFunctionalProgramming1989","container-title":"The Computer Journal","container-title-short":"The Computer Journal","DOI":"10.1093/comjnl/32.2.98","ISSN":"0010-4620","issue":"2","issued":{"date-parts":[["1989",1,1]]},"page":"98–107","source":"Silverchair","title":"Why Functional Programming Matters","type":"article-journal","URL":"https://doi.org/10.1093/comjnl/32.2.98","volume":"32"},{"id":"iversonNotationToolThought1980","accessed":{"date-parts":[["2024",2,20]]},"author":[{"family":"Iverson","given":"Kenneth E."}],"citation-key":"iversonNotationToolThought1980","container-title":"Communications of the ACM","container-title-short":"Commun. ACM","DOI":"10.1145/358896.358899","ISSN":"0001-0782, 1557-7317","issue":"8","issued":{"date-parts":[["1980",8]]},"language":"en","page":"444–465","source":"DOI.org (Crossref)","title":"Notation as a tool of thought","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/358896.358899","volume":"23"},{"id":"jeambonFaceLIA2024","author":[{"family":"Jeambon","given":"Valérie"},{"family":"Devouard","given":"Florence"}],"citation-key":"jeambonFaceLIA2024","issued":{"date-parts":[["2024"]]},"title":"Face a l'IA","type":"document"},{"id":"jenkinsWhatFunctionalProgramming2015","abstract":"The personal blog of Kris Jenkins, geek.","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Jenkins","given":"Kris"}],"citation-key":"jenkinsWhatFunctionalProgramming2015","container-title":"Kris Jenkins' Blog","issued":{"date-parts":[["2015",12,29]]},"language":"en","title":"What Is Functional Programming?","type":"webpage","URL":"http://blog.jenkster.com/2015/12/what-is-functional-programming.html#fnref-1"},{"id":"linEffectsWhiteNoise2022","abstract":"Several models have tentatively associated improving attention-deficit/hyperactivity disorder (ADHD) symptoms with arousal and external environmental stimulation. In order to further clarify the relationships between ADHD symptoms, arousal, and external stimulation, this study focused on exploring the “simultaneous” effects of white noise on intrinsic attentional performance and extrinsic on-task behaviors in preschoolers with and without ADHD. By using the computerized task (K-CPT 2), 104 preschoolers, including 52 ADHD children and 52 typically developing (TD) children, were tested and analyzed for their intrinsic attention (such as detectability, omission errors, commission errors, and reaction time). Simultaneously, these preschoolers’ external on-task behaviors were recorded for analysis through systematic observation. This study showed that white noise could effectively improve attention performance, including enhancing the ability to differentiate non-targets from targets and decreasing omission errors. It could also reduce the extrinsic hyperactive behaviors of preschoolers with ADHD. The findings of this study highlighted that white noise stimulation is a beneficial non-pharmacological treatment for preschoolers with ADHD. In contrast, for TD preschoolers, the results of this study showed that the external white noise stimuli were not only unhelpful but also a burden.","accessed":{"date-parts":[["2024",10,29]]},"author":[{"family":"Lin","given":"Hung-Yu"}],"citation-key":"linEffectsWhiteNoise2022","container-title":"International Journal of Environmental Research and Public Health","DOI":"10.3390/ijerph192215391","ISSN":"1660-4601","issue":"22","issued":{"date-parts":[["2022",1]]},"language":"en","license":"http://creativecommons.org/licenses/by/3.0/","page":"15391","source":"www.mdpi.com","title":"The Effects of White Noise on Attentional Performance and On-Task Behaviors in Preschoolers with ADHD","type":"article-journal","URL":"https://www.mdpi.com/1660-4601/19/22/15391","volume":"19"},{"id":"LogiqueCombinatoire2023","abstract":"En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.\nLe concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre supérieur ; elle utilise uniquement l'application de fonctions et éventuellement d'autres combinateurs pour définir de nouvelles fonctions d'ordre supérieur. Chaque combinateur simplement typable est une démonstration à la Hilbert en logique intuitionniste et vice-versa . On appelle ceci la correspondance de Curry-Howard","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"LogiqueCombinatoire2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",6,5]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 204935023","source":"Wikipedia","title":"Logique combinatoire","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Logique_combinatoire&oldid=204935023"},{"id":"marxCapitalParKarl","author":[{"family":"Marx","given":"Karl (1818-1883)"}],"citation-key":"marxCapitalParKarl","language":"fr","source":"Zotero","title":"Le capital / par Karl Marx ; traduction de M. J. Roy, entièrement revisée par l'auteur","type":"article-journal"},{"id":"merakchiAtheismMoralityWe2024","abstract":"Unless you’ve been failing your CAPTCHA tests lately, I’ll venture to boldly claim: you are a human. And while some may argue that the…","accessed":{"date-parts":[["2024",6,23]]},"author":[{"family":"Merakchi","given":"Hiba"}],"citation-key":"merakchiAtheismMoralityWe2024","container-title":"Medium","issued":{"date-parts":[["2024",2,25]]},"language":"en","title":"Atheism and morality: do we need God to be moral?","title-short":"Atheism and morality","type":"post-weblog","URL":"https://hiba-merakchi.medium.com/atheism-and-morality-do-we-need-god-to-be-moral-7dd51d28f640"},{"id":"merakchiHardProblemConsciousness2021","abstract":"Can materialism account for consciousness?","accessed":{"date-parts":[["2024",6,18]]},"author":[{"family":"Merakchi","given":"Hiba"}],"citation-key":"merakchiHardProblemConsciousness2021","container-title":"Medium","issued":{"date-parts":[["2021",12,23]]},"language":"en","title":"The hard problem of consciousness","type":"post-weblog","URL":"https://hiba-merakchi.medium.com/the-hard-problem-of-consciousness-6457d3be84de"},{"id":"michaelsonProgrammingParadigmsTuring2020","abstract":"The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power. Furthermore, it is not at all clear how programming paradigms are to be characterised and differentiated. Indeed, on closer inspection, apparently disparate programming paradigms are very strongly connected. Rather, they should be viewed as different traditions of a unitary Computer Science paradigm of Turing complete computation complemented by Computational Thinking.","accessed":{"date-parts":[["2024",2,26]]},"author":[{"family":"Michaelson","given":"Greg"}],"citation-key":"michaelsonProgrammingParadigmsTuring2020","container-title":"The Art, Science, and Engineering of Programming","container-title-short":"Programming","DOI":"10.22152/programming-journal.org/2020/4/4","ISSN":"2473-7321","issue":"3","issued":{"date-parts":[["2020",2,14]]},"page":"4","source":"arXiv.org","title":"Programming Paradigms, Turing Completeness and Computational Thinking","type":"article-journal","URL":"http://arxiv.org/abs/2002.06178","volume":"4"},{"id":"minskyFormContentComputer1970","accessed":{"date-parts":[["2024",3,30]]},"author":[{"family":"Minsky","given":"Marvin"}],"citation-key":"minskyFormContentComputer1970","container-title":"Journal of the ACM","container-title-short":"J. ACM","DOI":"10.1145/321574.321575","ISSN":"0004-5411","issue":"2","issued":{"date-parts":[["1970",4,1]]},"page":"197–215","source":"ACM Digital Library","title":"Form and Content in Computer Science (1970 ACM turing lecture)","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/321574.321575","volume":"17"},{"id":"okasakiPurelyFunctionalData1999","abstract":"Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.","author":[{"family":"Okasaki","given":"Chris"}],"citation-key":"okasakiPurelyFunctionalData1999","ISBN":"978-0-521-66350-2","issued":{"date-parts":[["1999",6,13]]},"language":"en","number-of-pages":"236","publisher":"Cambridge University Press","source":"Google Books","title":"Purely Functional Data Structures","type":"book"},{"id":"OpenProblemsCommunication","accessed":{"date-parts":[["2026",3,27]]},"citation-key":"OpenProblemsCommunication","title":"Open problems in communication and computation - Anna’s Archive","type":"webpage","URL":"https://annas-archive.gd/md5/47f7db963973665771542f4578a8302f"},{"id":"ParadigmeProgrammation2023","abstract":"Le paradigme de programmation est la façon (parmi d'autres) d'approcher la programmation informatique et de formuler les solutions aux problèmes et leur formalisation dans un langage de programmation approprié. Ce n'est pas de la méthodologie contenant une méthode ; cette dernière organise le traitement des problèmes reconnus dans l'écosystème concerné pour aboutir à la solution conceptuelle et programme exécutable.","accessed":{"date-parts":[["2024",2,24]]},"citation-key":"ParadigmeProgrammation2023","container-title":"Wikipédia","issued":{"date-parts":[["2023",7,11]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 205915300","source":"Wikipedia","title":"Paradigme (programmation)","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Paradigme_(programmation)&oldid=205915300"},{"id":"perlisSpecialFeatureEpigrams1982","accessed":{"date-parts":[["2024",4,2]]},"author":[{"family":"Perlis","given":"Alan J."}],"citation-key":"perlisSpecialFeatureEpigrams1982","container-title":"ACM SIGPLAN Notices","container-title-short":"SIGPLAN Not.","DOI":"10.1145/947955.1083808","ISSN":"0362-1340","issue":"9","issued":{"date-parts":[["1982",9,1]]},"page":"7–13","source":"ACM Digital Library","title":"Special Feature: Epigrams on programming","title-short":"Special Feature","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/947955.1083808","volume":"17"},{"id":"ReactionOscillante2020","abstract":"Une réaction oscillante est un mélange complexe de composés chimiques dont la concentration d'un ou plusieurs composants présente des changements périodiques, jusqu'à épuisement de sa source d'énergie (généralement, un des réactifs). Dans les cas où l'un des réactifs a une couleur visible, la traversée d'un seuil de concentration peut conduire à un brusque changement de couleur.\nDes exemples de réactions oscillantes sont la réaction de Belooussov-Jabotinski, la réaction de Briggs-Rauscher, la réaction de Bray-Liebhafsky et la réaction oscillante de l'iode, ou, dans un genre un peu différent, la réaction du cœur battant de mercure. La concentration des produits et des réactifs chimiques d'une réaction oscillante peut être estimée en termes d'amortissement des oscillations.","accessed":{"date-parts":[["2024",5,17]]},"citation-key":"ReactionOscillante2020","container-title":"Wikipédia","issued":{"date-parts":[["2020",12,6]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 177361963","source":"Wikipedia","title":"Réaction oscillante","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=R%C3%A9action_oscillante&oldid=177361963"},{"id":"royProgrammingParadigmsDummies","author":[{"family":"Roy","given":"Peter Van"}],"citation-key":"royProgrammingParadigmsDummies","container-title":"Université Catholique de Louvain - UCLouvain","language":"en","source":"Zotero","title":"Programming Paradigms for Dummies: What Every Programmer Should Know","type":"article-journal"},{"id":"SalaireQualificationPersonnelle2024","abstract":"Le salaire à la qualification personnelle ou « salaire à vie » est une forme de rémunération dont le principe a principalement été théorisé par Bernard Friot et l'association d'éducation populaire Réseau Salariat. Il permet notamment de dissocier travail et emploi. Avec la cotisation sociale, il serait à la base d'un nouveau mode d’organisation socio-économique,,.","accessed":{"date-parts":[["2024",5,21]]},"citation-key":"SalaireQualificationPersonnelle2024","container-title":"Wikipédia","issued":{"date-parts":[["2024",1,31]]},"language":"fr","license":"Creative Commons Attribution-ShareAlike License","note":"Page Version ID: 212031190","source":"Wikipedia","title":"Salaire à la qualification personnelle","type":"entry-encyclopedia","URL":"https://fr.wikipedia.org/w/index.php?title=Salaire_%C3%A0_la_qualification_personnelle&oldid=212031190"},{"id":"spinoza-pleiade","type":"book","citation-key":"spinoza-pleiade","collection-title":"Pléiade","language":"fr","publisher":"Gallimard","publisher-place":"Paris","title":"Œuvres complètes","author":[{"family":"Spinoza","given":""}],"accessed":{"date-parts":[["2026",4,24]]},"issued":{"date-parts":[["2022"]]},"library":"My Library","citekey":"spinoza-pleiade"},{"id":"strategicservicesSimpleSabotageField","author":[{"family":"Strategic Services","given":""}],"citation-key":"strategicservicesSimpleSabotageField","number-of-pages":"20","title":"Simple sabotage field manual","type":"book"},{"id":"StructuredProgrammingWikipedia","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"StructuredProgrammingWikipedia","title":"Structured programming - Wikipedia","type":"webpage","URL":"https://en.wikipedia.org/wiki/Structured_programming?oldformat=true"},{"id":"StructuresDonneesEnregistrements","accessed":{"date-parts":[["2024",3,28]]},"citation-key":"StructuresDonneesEnregistrements","language":"fr","title":"Structures de données/Enregistrements — Wikilivres","type":"webpage","URL":"https://fr.wikibooks.org/wiki/Structures_de_donn%C3%A9es/Enregistrements"},{"id":"toalProgrammingParadigms","accessed":{"date-parts":[["2024",3,29]]},"author":[{"family":"Toal","given":"Ray"}],"citation-key":"toalProgrammingParadigms","title":"Programming Paradigms","type":"webpage","URL":"https://cs.lmu.edu/~ray/notes/paradigms/"},{"id":"vanroyConceptsTechniquesModels2004","abstract":"This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models (\"programming paradigms\"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language -- a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.","author":[{"family":"Van Roy","given":"Peter"},{"family":"Haridi","given":"Seif"}],"citation-key":"vanroyConceptsTechniquesModels2004","edition":"1st","ISBN":"978-0-262-22069-9","issued":{"date-parts":[["2004",1]]},"number-of-pages":"936","publisher":"The MIT Press","source":"ACM Digital Library","title":"Concepts, Techniques, and Models of Computer Programming","type":"book"},{"id":"vanroyTaxonomiePrincipauxParadigmes","accessed":{"date-parts":[["2024",4,1]]},"author":[{"family":"Van Roy","given":"Peter"}],"citation-key":"vanroyTaxonomiePrincipauxParadigmes","title":"Une taxonomie des principaux paradigmes de programmation","type":"webpage","URL":"https://www.info.ucl.ac.be/~pvr/paradigmes.html"},{"id":"varoufakisConversationsEntreAdultes2017","abstract":"Pour la première fois, un ancien ministre dévoile les coulisses secrètes de l’Europe.\n\t\t\t\n\t\t\tC’était en janvier 2015 : à peine a-t-il été nommé ministre des Finances de la Grèce que Yanis Varoufakis déclenche une des batailles les plus spectaculaires et les plus controversées de l’histoire récente en cherchant à renégocier les rapports entre son pays et l’Union européenne. En dépit du soutien exceptionnel de la population grecque et de la logique imparable de ses arguments, il s’est heurté à un mur et a provoqué l’ire des élites politiques, financières et médiatiques de l’Europe.\n\t\t\tLa vérité de cet affrontement était inconnue jusqu’ici – justement parce que la direction de l’Union européenne se réunit à huis clos. Dans un récit personnel et explosif, Yanis Varoufakis, économiste d’envergure mondiale, explique comment les choses se passent très concrètement dans les couloirs de Bruxelles.\n\t\t\tIl révèle une histoire édifiante où se mêlent hypocrisie, trahisons, collusions d’intérêts et acrobaties politiques. Un récit qui ébranlera profondément l’establishment.\n\t\t\tAujourd’hui – comment en douter ? –, la répression tragique de la rébellion démocratique grecque est à l’image des politiques qui mènent à l’autoritarisme, au populisme et à l’instabilité qui menacent le monde occidental.\n\t\t\tConversations entre adultes est un vibrant appel à renouveler la démocratie européenne avant qu’il ne soit trop tard.\n\t\t\t\n\t\t\tYanis Varoufakis a été ministre des Finances du gouvernement Tsipras et a conduit les négociations sur la dette grecque jusqu’à sa démission au lendemain du référendum du 5 juillet 2015.\n\t\t\tNé à Athènes en 1961, il a enseigné en Grande-Bretagne, en Australie et aux États-Unis. Il est aujourd’hui le chef de file du mouvement DiEM25, qui promeut la relance de la démocratie en Europe et s’oppose au diktat de l’austérité.","author":[{"family":"Varoufakis","given":"Yanis"}],"citation-key":"varoufakisConversationsEntreAdultes2017","issued":{"date-parts":[["2017",9,29]]},"language":"fr","license":"Yanis Varoufakis, 2017.","note":"Item ID: _:n0","publisher":"Éditions Les Liens qui libèrent","title":"Conversations entre adultes","type":"book"},{"id":"WeirdWonderfulChemistry","accessed":{"date-parts":[["2026",3,28]]},"author":[{"family":"Conway","given":"John"}],"citation-key":"WeirdWonderfulChemistry","container-title":"Open Problems in Communication and Computation","issued":{"date-parts":[["1987"]]},"language":"en","source":"www.scienceopen.com","title":"The Weird and Wonderful Chemistry of Audioactive Decay","type":"chapter","URL":"https://www.scienceopen.com/book?vid=267868ec-9701-4df8-a6f1-9d26367261d8"},{"id":"WikiwandTuringcomplet2017","abstract":"En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing.","accessed":{"date-parts":[["2024",4,1]]},"citation-key":"WikiwandTuringcomplet2017","container-title":"Wikiwand","issued":{"date-parts":[["2017",2,2]]},"title":"Wikiwand - Turing-complet","type":"webpage","URL":"https://www.wikiwand.com/fr/Turing-complet"},{"id":"willettParadigmeTheorieModele1996","abstract":"L’auteur traite des termes paradigme, théorie, modèle et schéma. Il tente de clarifier le plus possible ces termes en traitant de l’essentiel et en mettant l’accent sur ce qui permet de les différencier. Il rend compte de certaines difficultés provoquées par la polysémie de ces termes. Il termine en soulevant certaines questions à propos de la communicologie.","accessed":{"date-parts":[["2024",4,3]]},"author":[{"family":"Willett","given":"Gilles"}],"citation-key":"willettParadigmeTheorieModele1996","container-title":"Communication et organisation. Revue scientifique francophone en Communication organisationnelle","DOI":"10.4000/communicationorganisation.1873","ISSN":"1168-5549","issue":"10","issued":{"date-parts":[["1996",11,1]]},"language":"fr","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","number":"10","publisher":"Presses universitaires de Bordeaux","source":"journals.openedition.org","title":"Paradigme, théorie, modèle, schéma : qu’est-ce donc ?","title-short":"Paradigme, théorie, modèle, schéma","type":"article-journal","URL":"https://journals.openedition.org/communicationorganisation/1873"},{"id":"spinoza-correspondance-rovere","type":"book","citation-key":"spinoza-correspondance-rovere","collection-title":"GF","ISBN":"978-2-08-123138-2","language":"fr","publisher":"Flammarion","publisher-place":"Paris","title":"Correspondance","author":[{"family":"Spinoza","given":""}],"accessed":{"date-parts":[["2026",4,25]]},"issued":{"date-parts":[["2010",1,20]]},"library":"My Library","citekey":"spinoza-correspondance-rovere"},{"id":"sur-spinoza-deleuze","type":"book","citation-key":"sur-spinoza-deleuze","ISBN":"978-2-7073-5559-1","language":"fr","publisher":"Les éditions de minuit","publisher-place":"Paris","title":"Sur Spinoza","author":[{"family":"Deleuze","given":"Gilles"}],"accessed":{"date-parts":[["2026",4,25]]},"issued":{"date-parts":[["2024"]]},"original-date":{"date-parts":[["1980"]],"season":"1981"},"library":"My Library","citekey":"sur-spinoza-deleuze"},{"id":"spinoza-II-gueroult-1997","type":"book","citation-key":"spinoza-II-gueroult-1997","collection-title":"Philosophie","edition":"Aubier-Montaigne","title":"Spinoza. II, L'âme","author":[{"family":"Gueroult","given":"Marial"}],"issued":{"date-parts":[["1997"]]},"original-date":{"date-parts":[["1974"]]},"library":"My Library","citekey":"spinoza-II-gueroult-1997"}]
\ No newline at end of file
diff --git a/sources/0 - cours/LOGOS S2/le savoir en mathématiques/Fiche de lecture - La lettre XII et ses cercles non-concentriques.md b/sources/0 - cours/LOGOS S2/le savoir en mathématiques/Fiche de lecture - La lettre XII et ses cercles non-concentriques.md
index fd03024f..af065215 100644
--- a/sources/0 - cours/LOGOS S2/le savoir en mathématiques/Fiche de lecture - La lettre XII et ses cercles non-concentriques.md	
+++ b/sources/0 - cours/LOGOS S2/le savoir en mathématiques/Fiche de lecture - La lettre XII et ses cercles non-concentriques.md	
@@ -216,18 +216,39 @@ A partir de la page 16, Camerini cherche à placer la *Lettre 12* et la figure d
 Il se trouve que Leibniz lira et commentera une copie de la *Lettre 12*, et qu'il posera à Tschirnhaus une question que Tschirnhaus posera à son tour à Spinoza dans la *Lettre 80*. Lorsqu'il annote la *Lettre sur l'infini*, Leibniz comprend que l'exemple des cercles concentriques porte sur les variations de la matière, il fait lui-même référence à Descartes, il reformule les distinctions apportées par Spinoza sous sa propre classification, et il pose une critique de l'affirmation de Spinoza selon laquelle l'infini des variations de la matière ne se déduit pas \say{de la multitude des parties}[^lettre-num-impossible]. Camerini refomule l'objection ainsi : \say{Pourquoi Spinoza affirme-t-il que ­ l’espace à ­ l’intérieur des cercles dépasse chaque nombre mais pas en raison de la multitude de ses parties ?}. C'est cette question que Tschirnhaus pose à Spinoza dans la *Lettre 80*.
 Quand Spinoza répond, dans la *Lettre 81*, à cette objection, il argumente que l'on ne peut pas déduire l'aspect innombrable de l'espace de la multitude de ses parties parce que si on le faisait, on devrait tirer de l'infinie multitude des parties le fait qu'elles recouvrent tout l'espace (elles seraient alors infinies dans leur genre, et plus infinies malgré des limites). Pour Spinoza, il est inconcevable qu'une infinité de parties soit contenue dans un espace non-infini. Dans le cas des deux cercles, Camerini explique que \say{ce ­ n’est pas ­ l’ensemble des parties [...] qui détermine leur non-mesurabilité, mais leur variation infinie [...]}. Cela fait apparaître un point de désaccord entre Leibniz et Spinoza : pour Leibniz, on peut concevoir sans contradiction une multitude infinie de partie comprise dans une limite.
 
+Dans une œuvre plus tardive (le *Pacidius Philalethi*), Leibniz s'attaque à deux problèmes sur l'infini :
+
+ - Le \say{paradoxe de Galilée}, qui consiste à mettre en correspondance biunivoque les nombres naturels et leurs carrés — ce qui suggère qu'il y a autant de nombre naturels que de nombre carrés — et à remarquer en même temps que, aussi grand que l'on choisisse $n$, les nombres carrés en dessous de $n$ seront moins nombreux que les nombres naturels en dessous de $n$ — ce qui suggère une différence quantitative entre les deux ensembles de nombres. Leibniz réponds en acceptant l'existence d'infinis plus grands que les autres, mais en niant la possibilité d'un *nombre de tous les nombres*, qui serait contradictoire.
+ - Le problème de la division infinie de la matière posé par Descartes. Leibniz, comme Spinoza, accepte et affirme la division infinie actuelle de la matière dans ce cas. Il ajoute à sa figure une ligne $f, e, g$ qui s'enroule sur un demi-tour (voir \figref{fig:cercles-leibniz}), qui lui permet de formuler l'infinie variation en termes de points sur cette ligne : \say{le long de la ligne $gef$, on ne peut prendre aucun point qui ne soit mû selon son propre degré de mouvement, différent de la vitesse de tout autre}, autrement dit, sur la ligne $gef$, tous les points ont leur vitesse deux-à-deux distinctes.
+   Leibniz développe sa vision de l'infini actuel dans la division de la matière, notamment en critiquant la conception de Descartes qui pose la matière comme infiniment divisible, divisible jusqu'en parties minimes, jusqu'à se \say{dissoudre en poussière}. A la vision d'une division nette, qui va jusqu'à diviser la matière en points, il oppose l'image du pli dans un tissu : même si l'on introduit un nombre infini du plis dans un tissu, celui-ci ne se découpera pas en points. Pour cela, il remplace le corps parfaitement fluide de Descartes, qui entraîne les problèmes de division infinie, par un corps flexible mais résistant, aux parties plus ou moins distandues ou pliées mais toujours unies entre elles. On pourrait utiliser l'image suivante : d'un côté, Descartes pense des fluides parfaits comme des empilements de billes rigides mais aussi petites que nécessaire pour leur "écoulement" ; d'un autre, Leibniz considère des corps flexibles comme des sortes de mousses dont les bulles sont aussi petites que nécessaire, et peuve s'étendre et se contracter, tout en gardant un lien, une tension, avec leurs voisines.
+
+\begin{figure}[h]
+  \center
+  \resizebox{!}{4cm}{\input{figures/cercles-leibniz.tikz}}
+  \caption{reproduction de la figure de Leibniz}
+  \label{fig:cercles-leibniz}
+\end{figure}
+
+
+Comme Spinoza, Leibniz concoit une division actuelle infinie de l'espace. Aucun des deux n'accepte pourtant de composer l'espace d'éléments discrets et séparés. Camerini résume cela ainsi :
+
+\begin{displayquote}
+    Pour Leibniz, il ­ n’y a pas de portion minimale du ­ continu qui ne possède en elle-même une infinité de plis ou de différences supplémen- taires. Ainsi, ­ comme pour Spinoza, dans chaque portion ­ d’espace, si petite ­ qu’elle soit, on trouvera toujours une multitude ­ d’inégalités et de différences qui dépasse tout nombre.
+\end{displayquote}
+
+Il serait intéressant relier ces considérations à ce que Spinoza explique dans son *Abrégé de physique*[^abr-physique], où il distingue les corps composés (corps formés d'une unions de corps) et les corps simples, qui composent les corps composés. Au regard de notre analyse de la *Lettre 12*, on ne peut pas y voir une forme d'atomisme (qui donnerait une taille minimale fixe aux corps simples), et il semble également difficile d'analyser les corps simples comme infinitésimaux, étant donné l'objection que Spinoza donne dans la *Lettre 81*. Gilles Deleuze propose de partir du Lemme 1 : \say{Les corps [simples] se distinguent entre eux par le mouvement et le repos, la vitesse ou la lenteur [...]} pour affirmer que les corps simples se distinguent *exclusivement* sous ces rapports de mouvement, repos, vitesse ou lenteur, et donc en particulier pas sous des rapports de grandeur ; pour lui, seuls les corps composés (qui sont composé d'une grande multitude de corps simples, cette multitude même qui ne peut être exprimée par aucun nombre) ont une grandeur ou une figure[^deleuze1]. En cela, il s'oppose à Gueroult, qui donne une grandeur aux corps simples[^gueroult-grandeur-corps-simples], car il les considère individuellement. Au contraire, Deleuze affirme : \say{Les corps simples vont par infinités, [...] vous ne pouvez pas parler d'\emph{un} corps simple, sauf par abstraction, une abstraction dénuée de } On gagnerait
+
+
 [^ppc-division-vitesse]: [Principes de la philosohie de Descartes, Partie II, Axiome XVI, @spinoza-pleiade p.228]
 [^4]: [@camerini-lettre12, p.16]
 [^5]: [@camerini-lettre12, p.14]
 [^lettre-num-impossible]: [Lettre 12, partie 2, @spinoza-pleiade p.1079]
 [^lettre-p1]: [Lettre 12, partie 2, @spinoza-pleiade p.1074]
+[^abr-physique]: Dans l'Éthique, après la proposition 13 partie II [@ethique-rovere pp.221-235].
+[^deleuze1]: voir le cours du 10 février 1981 [@sur-spinoza-deleuze pp.343-347]
+[^gueroult-grandeur-corps-simples]: [@spinoza-II-gueroult-1997 p.161]
 
-Dans une œuvre plus tardive (le *Pacidius Philalethi*), Leibniz s'attaque à deux problèmes sur l'infini :
-
- - Le \say{paradoxe de Galilée}, qui consiste à mettre en correspondance biunivoque les nombres naturels et leurs carrés — ce qui suggère qu'il y a autant de nombre naturels que de nombre carrés — et à remarquer en même temps que, aussi grand que l'on choisisse $n$, les nombres carrés en dessous de $n$ seront moins nombreux que les nombres naturels en dessous de $n$ — ce qui suggère une différence quantitative entre les deux ensembles de nombres. Leibniz réponds en acceptant l'existence d'infinis plus grands que les autres, mais en niant la possibilité d'un *nombre de tous les nombres*, qui serait contradictoire.
- - Le problème de la division infinie de la matière posé par Descartes. 
-
-# Critique
+\newpage
 
 # Bibliographie
 
diff --git a/sources/0 - cours/LOGOS S2/le savoir en mathématiques/fiche_lecture.pdf b/sources/0 - cours/LOGOS S2/le savoir en mathématiques/fiche_lecture.pdf
index 6637724f..9609e841 100644
Binary files a/sources/0 - cours/LOGOS S2/le savoir en mathématiques/fiche_lecture.pdf and b/sources/0 - cours/LOGOS S2/le savoir en mathématiques/fiche_lecture.pdf differ
diff --git a/sources/zotero/bibliographie/biblio.bib b/sources/zotero/bibliographie/biblio.bib
index 88bad861..940987c9 100644
--- a/sources/zotero/bibliographie/biblio.bib
+++ b/sources/zotero/bibliographie/biblio.bib
@@ -704,6 +704,15 @@
   langid = {french}
 }
 
+@book{spinoza-II-gueroult-1997,
+  title = {Spinoza. {{II}}, {{L}}'âme},
+  author = {Gueroult, Marial},
+  date = {1997},
+  origdate = {1974},
+  series = {Philosophie},
+  edition = {Aubier-Montaigne}
+}
+
 @book{spinoza-pleiade,
   title = {Œuvres complètes},
   author = {Spinoza},
@@ -736,6 +745,17 @@
   file = {/Users/oscarplaisant/Zotero/storage/4LEJY994/Enregistrements.html}
 }
 
+@book{sur-spinoza-deleuze,
+  title = {Sur Spinoza},
+  author = {Deleuze, Gilles},
+  date = {2024},
+  origdate = {1980/1981},
+  publisher = {Les éditions de minuit},
+  location = {Paris},
+  isbn = {978-2-7073-5559-1},
+  langid = {french}
+}
+
 @online{toalProgrammingParadigms,
   title = {Programming {{Paradigms}}},
   author = {Toal, Ray},