Le meurtre et l'inceste

Quelles sont les différences entre rêve et hallucination ? Pourquoi le cauchemar ? Quels liens établir entre t'espace onirique et l'espace de la cure ? Le "Je" naîtrait-il dans l'espace du rêve, comme dans celui de la cure ? Ce sixième numéro de "Actes" a pour thème le rêve, voie à double sens entre tangue d'images et langue de mots. Freud n'a jamais cessé de s'interroger sur tes zones d'ombre dans la psyché et soutenait la valeur de la "dynamique du rêve" pour sa compréhension. Les auteurs font travailler le corpus freudien, le questionnent, le prolongent grâce notamment aux théories de P. Fédida pour qui le rêve est "voyant". Un ouvrage qui revient sur les fondements du rêve pour le regarder à la lumière d'une nouvelle perspective, pour comprendre son lien si fort avec la cure psychanalytique, et pour explorer les énigmes qui demeurent malgré te chemin parcouru.

Quarante-deux ans après la parution de la Violence de l'interprétation, quel est te devenir des ouvertures proposées par l'oeuvre de Piera Aulagnier dans le champ de la psychanalyse contemporaine ? Piera Aulagnier a reconsidéré la métapsychologie classique et s'est éloignée en même temps des références lacaniennes qui nourrissaient sa pensée. A partir du "hors-champ" que construisait sa rencontre avec le discours psychotique, elle a postulé l'existence d'une activité représentative originaire pictographique. La conception originale de Piera Aulagnier du lien entre l'éprouvé, le représenté et te dit ouvre au large champ de la clinique non-névrotique. Elle renouvelle aussi notre possibilité de rencontrer en séance, chez l'analysant comme chez l'analyste, certaines manifestations somatiques, des vides de pensée et des moments où tes mots ont valeur de chose corporelle. Comme toute théorie, cette oeuvre majeure par ailleurs fortement liée à une volonté de levée de l'aliénation, a pour destin de s'éroder et de se transformer.

Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au c'ur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en ?uvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés.

L'histoire commence sur une plage, quand Anne-Dauphine remarque que sapetite fille marche d'un pas un peu hésitant, son pied pointant versl'extérieur. Après une série d'examens, les médecins découvrent que Thaïsest atteinte d'une maladie génétique orpheline. Elle vient de fêter ses deuxans et il ne lui reste que quelques mois à vivre. Alors l'auteur fait unepromesse à sa fille: "tu vas avoir une belle vie. Pas une vie comme lesautres petites filles, mais une vie dont tu pourras être fière. Et où tu nemanqueras jamais d'amour."Ce livre raconte l'histoire de cette promesse et la beauté de cet amour.Tout ce qu'un couple, une famille, des amis, une nounou sont capables demobiliser et de donner. Il faut ajouter de la vie aux jours, lorsqu'on nepeut pas ajouter de jours à la vie.