D'un jardin à l'autre

L'histoire Chronique burlesque et poétique mettant en scène Rita, une ancienne danseuse atteinte d'une maladie bien réelle malgré un nom impossible à prendre au sérieux : la capsulite. Cette inflammation de l'épaule s'installe pour 18 mois environ et affecte surtout les femmes autour la cinquantaine. En bref, Rita ne peut plus lever le bras. Au quotidien, elle partage ses maux avec ses amies Kerbot et Prudence, son mari et son fils, et trompe sa douleur à coup de nomadisme médical. Qui ou quoi sauvera Rita ? Les fées ? Les pilules ? Les aiguilles ? Paris ? La balnéo ? Abba ? Ou le temps ?

Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.

Le Sanctuaire de Lourdes propose comme thème pastoral pour 2022-2023-2024 les paroles que Marie, la Mère de Dieu, a confiées à Bernadette Soubirous le 2 mars 1858 : "Allez dire aux prêtres que l'on bâtisse ici une chapelle et que l'on y vienne en procession". . Ce livre-CD reprend les chants principaux choisis pour la messe du thème pastoral de Lourdes 2022 ainsi que le chant composé spécialement "Allez dire aux prêtres" (texte Marie-Antoinette Noury, musique Jean-Paul Lécot). Dans ce CD réalisé par l'équipe musicale des sanctuaires de Lourdes, sont proposés avec le chant du thème de l'année, un chant de communion, un psaume et différents chants pour l'ordinaire de messe. On y trouvera en particulier une nouvelle anamnèse composée par Jean-Paul Lécot (Anamnèse n°III) sur le texte de la nouvelle traduction du Missel. En bonus, une pièce vocale pour choeur et un chant pour le Millénaire de Notre-Dame de Saint-Pé.

Résumé : De 1689 à 1697, Fénelon fut chargé de diriger l'éducation du duc de Bourgogne, petit-fils de Louis XIV, qui semblait destiné à monter un jour sur le trône de France. Pour donner à son élève quelques rudiments sur la manière d'analyser un tableau et de juger de la réussite d'un peintre, le précepteur a choisi deux ?uvres de Nicolas Poussin, le Paysage avec les funérailles de Phocion et le Paysage avec un homme tué par un serpent, et a imaginé que Poussin (mort en 1665) les décrivait lui-même, dans l'autre monde, pour répondre aux questions de Parrhasius, célèbre peintre grec de l'Antiquité, et de Léonard de Vinci. Les deux dialogues ont été composés vers 1695, 1696. Leur intérêt ne vient pas seulement de ce qu'ils recensent un certain nombre d'éléments théoriques de l'idéalisme classique, qu'avait incarné en France Nicolas Poussin. Ils constituent aussi un témoignage irremplaçable sur la survie et l'évolution du " poussinisme " à l'époque où triomphaient les amateurs de Rubens, et sur la place de Fénelon aux origines du Néo-classicisme. Surtout, la signification profonde de cette entreprise est ici dégagée pour la première fois. À l'époque des deux dialogues, Fénelon était devenu le censeur le plus implacable de la monarchie de Louis XIV, symbole, à ses yeux, d'un monde trop vieux et trop corrompu avec lequel il convenait de rompre. Tous ses espoirs résidaient dans le règne, qu'on croyait proche, du jeune et très chrétien duc de Bourgogne. Le rôle conféré à Nicolas Poussin, la confrontation avec l'Antiquité et l'Italie de la Renaissance, et avant tout le choix même des deux tableaux indiquent clairement que la leçon de peinture a été aussi pour le précepteur l'occasion d'une leçon politique, exaltant le nécessaire retour aux principes de la monarchie française, aux m?urs des " premiers âges du monde " et aux vertus de l'esprit d'enfance.