Résultats de recherche

Documents et médias Télécharger le support …

Résumé Que ce soit en tant que préceptes régulant la vie des communautés ou comme proclamations oraculaires, les themistes resteront cantonnées dans la poésie archaïque. Le champ sémantique de la themis reste toutefois activable quand la prose se fait …

Y a-t-il une place pour les émotions dans la justice, qu’anciens et modernes se représentent comme une figure de l’impassibilité (Valère-Maxime,   Faits et dits mémorables , 6.5 pr ) ? Les sentiments se manifestent souvent chez les parties accablées par …

Parmi les trouvailles les plus intéressantes faites au Monastère Blanc se distingue un codex, daté du X e /XI e  siècle, rassemblant des textes disparates à vocation édifiante. Une section est consacrée à des sentences de philosophes, qui, lorsqu’ils sont …

Les entités sociales composent notre environnement immédiat : objets sociaux, culturels, groupes, ou encore entités symboliques. Mais ces entités ont un statut bien particulier, car dans un monde où les êtres humains n’existeraient pas, il serait …

Résumé Le séminaire a proposé une analyse historique et politique du métier – ancien et mal connu, métier de discrétion et de modestie – de …

Résumé La question que pose l’archive est celle de son lieu : pourquoi est-elle là ? Pourquoi est-elle encore là ? Autrement dit, puisque nous avons défini l’archive comme l’ensemble des bibliothèques matérielles ou visibles, qu’est-ce qui fait durer les …

Documents et médias Télécharger le support …

Une des spécificités de notre espèce est sa très grande diversité culturelle qui, de façon identique aux gènes, est transmise de génération en génération. Les traits culturels chez l’homme, qui prennent une place prépondérante y compris pour sa survie, …

Changements en biodiversité dans un passé lointain (2) Taux de spéciation, d’extinction et de migration Les augmentations de la complexité n’ont pas été uniformes Des lacunes dans le registre des fossiles Ce cours est suivi du séminaire d'Hélène Morlon «  …

Résumé Au cours de son exposé, François Pottier a montré qu'une logique de programmes permet non seulement d'établir la correction d'un programme, mais aussi de contrôler le nombre d'opérations qu'il effectue, et donc, indirectement, son temps de calcul. …

Résumé Dans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes. La première extension est …

Les images contemporaines de la tourmente épidémique sont hantées par les temps pestifères. Ce qu’on y voit est moins la réminiscence de motifs iconographiques que la survivance d’un trouble dans la représentation que l’on se propose d’appeler ici le …

Résumé Tous les calculs informatiques sont actuellement exécutés sur des ordinateurs contraints par les lois de la physique newtonienne, dite encore physique classique. Cependant, comme l'a suggéré Richard Feynman dans les années 80, un ordinateur …