Résultats de recherche

Une scholie aux Dialogues des courtisanes du satiriste Lucien de Samosate décrit avec un degré de détail inusité des manipulations rituelles accomplies pendant les Thesmophories. Cette glose byzantine est probablement fondée sur un texte d’érudit de la …

Résumé The talk gives a brief overview of our book "Functional Algorithms, Verified!" and its approach to verifying not just correctness but also running time of a large collection of functional algorithms. Then, two examples are presented in more detail: …

Résumé L'amortissement est un principe de conception de structures de données qui vise à garantir un coût moyen par opération sur toute séquence d'opérations, le coût élevé de certaines opérations étant amorti par le coût faible d'opérations précédentes. …

Sur la toile de fond de la conception romaine de la «  natura  », et notamment du De natura deorum de Cicéron, le cours proposera une interprétation d'un texte célèbre, puissant et énigmatique, d'Ulpien (D. 1.1.3-4 et D. 1.1.6). Trois catégories de droit …

Résumé Horapollon, que nous avons rencontré dans l’anthologie de Dioscore, est une figure célèbre de l’Alexandrie du V e   siècle, qui nous servira de guide pour entrer dans le monde de l’enseignement supérieur. À la croisée des réseaux Du fait de sa …

Résumé Avec le changement climatique et la croissance démographique, la sécurisation des ressources en eau est devenue l'un des plus grands défis des prochaines décennies. Pour répondre à la demande croissante, l'eau doit désormais être récupérée et …

La séparation membranaire est au cœur des technologies de remédiation et de purification de l’eau et des fluides en général. Les membranes sont généralement constituées de matériaux polymériques qui réalisent la séparation par effet stérique ou …

Résumé Après la Seconde Guerre mondiale, Roger Caillois eut au sein de l’UNESCO un rôle essentiel dans la création d’un patrimoine mondial de la littérature. L’une de ses initiatives a été de faire traduire les classiques, ce qui supposait d’en dresser la …

Cette conférence n'est disponible ni en audio, ni en vidéo. La construction européenne, bâtie sur les décombres des grandes puissances européennes au lendemain de la Seconde Guerre mondiale, a maintenu une relation inconfortable avec la puissance …

Résumé La littérature est à la fois puissance et mise en acte des propriétés du langage, mais elle ne réalise que certaines d’entre elles. Le cas de Rousseau montre que le nom propre prend chez lui trois valeurs essentielles et constitue l’un des foyers …

Résumé Si les critiques que Paul Valéry dut essuyer durant les années 1920 portèrent sur la valeur commerciale de son travail (le rapport entre le travail effectif et le prix des publications), elles concernèrent aussi sa valeur intellectuelle. Cette …