Download Tarnac, Magasin général: Récit by David Dufresne PDF

By David Dufresne

Eleven novembre 2008 au petit matin. a hundred and fifty policiers investissent Tarnac, un village de Corrèze. Ils sont venus arrêter Julien Coupat et ses amis, suspectés d’avoir saboté quatre lignes TGV. Les interpellations, pilotées depuis le ministère de l’Intérieur, se font sous l’œil des caméras. L’instant est décisif : il s’agit de prouver à l’opinion publique l’efficacité de l. a. DCRI, le « FBI à l. a. française » voulu par Nicolas Sarkozy. C’est un ordre venu d’en haut et le début d’un negative fiasco.
Fruit de trois ans d’enquête, ce récit mêle les témoignages de tous les acteurs de cette ahurissante histoire, policiers de terrain, directeurs de providers de renseignements, magistrats, hommes de l’ombre, haut -fonctionnaires, militants, familles, au vécu de l’auteur, pour construire retracer l’histoire palpitante de l. a. building d’une affaire d’État.

David Dufresne est documentariste et journaliste indépendant. Il est aussi l’auteur, dans l. a. assortment « Pluriel », de Maintien de l’ordre.

Show description

Download Logique, volume 2 : méthodes formelles pour l'étude des by Paul Gochet, Pascal Gribomont PDF

By Paul Gochet, Pascal Gribomont

Los angeles première partie est consacrée à los angeles théorie des
ensembles. Le chapitre 1 donne une advent
philosophique et historique, les features ideas
étant exposés au chapitre 2. los angeles théorie des ensembles
constitue à l. a. fois une program essentielle de los angeles
logique du preferable ordre, étudiée dans le top-rated
volume, et l. a. base théorique des méthodes formelles
en programmation. los angeles seconde partie est consacrée
à ces méthodes et à leur representation. Le chapitre three
présente los angeles logique de Hoare classique, permettant
l'étude formelle des programmes séquentiels ; cette
logique est adaptée à l. a. programmation parallèle au
chapitre four. Le chapitre five learn los angeles théorie du aspect
fixe, qui permet l'étude systématique des programmes
et langages de programmation de tous varieties,
y compris des langages fonctionnels et logiques.
Cet ouvrage constitue donc une présentation claire
et raisonnée des liens qui associent en profondeur
logique et étude des propriétés des programmes.

Show description

Download Théorie du drone by Grégoire Chamayou PDF

By Grégoire Chamayou

Le drone est l'instrument d'une violence à distance, où l'on peut voir sans être vu, toucher sans être touché, ôter des vies sans jamais risquer l. a. sienne. Cette forme de violence télécommandée, qui à l. a. fois supprime le face-à-face et fait éclater los angeles distance impose de repenser des recommendations apparemment aussi évidents que ceux de combattant (qu'est-ce qu'un combattant sans strive against ?) ou de sector de confit (où a lieu, une telle violence, écartelée entre des issues si distants ?). Mais, plus radicalement, c'est l. a. suggestion de " guerre " qui entre elle-même en crise : le drone est l'emblème de los angeles " chasse à l'homme préventive ", forme de violence qui débouche, à mi-chemin entre guerre et police, sur des campagnes d'exécutions extrajudiciaires menées à l'échelle globale. Cette tentative d'éradication absolue de toute réciprocité dans l'exposition à los angeles violence reconfgure non seulement los angeles conduite matérielle de l. a. violence armée, techniquement, tactiquement, mais aussi les principes traditionnels d'un ethos militaire officiellement fondé sur l. a. bravoure et l'esprit de sacrifice. automobile le drone est aussi l'arme du lâche : celle de ceux qui ne s'exposent jamais. Cela n'empêche pourtant pas ses partisans de los angeles proclamer être l'arme los angeles plus éthique que l'humanité ait jamais connue. Opérer cette conversion morale, cette transmutation des valeurs est l. a. tâche à laquelle s'attellent aujourd'hui des philosophes américains et israéliens qui oeuvrent dans le petit champ de l'éthique militarisée. Leur travail discursif est essentiel pour assurer l'acceptabilité sociale et politique de cette arme. Dans ces discours de légitimation, les " éléments de langage " de marchands d'armes et de porte-parole des forces armées se trouvent reconvertis, par un grossier processus d'alchimie discursive, en principes directeurs d'une philosophie éthique d'un nouveau style - une " nécroéthique ", dont il est capital de faire los angeles critique.

Show description