Le pasteur de nos âmes. Un moine de l'Eglise d'Orient

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets: un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation: les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Biographie de l'auteur Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.Jean-Jacques Lévy est directeur de recherche à l'Institut National de Recherche en Informatique et Automatique et professeur à l'Ecole Polytechnique. Il a successivement travaillé sur la sémantique opérationnelle et dénotationnelle des langages de programmation, sur les stratégies de réductions dans le lambda-calcul et les systèmes de réécriture, sur la conception assistée par ordinateur des circuits intégrés et sur la sémantique de la concurrence avec applications pour la distribution et la mobilité.

Biographie de l'auteur Le père Let- Gillet (18113-11180), qui exerça son ministère à Paris et à Londres, est l'une des figures majeures de la spiritualité orthodoxe contemporaine. Prédicateur inspiré, il est l'auteur (le nombreux ouvrages qu'il signait " fin moine de l'Eglise d'Orient ". Homme de grande culture scientifique et littéraire, bénédictin devenu orthodoxe en 1928, sans renier le catholicisme, il lits un " pèlerin entre plusieurs mondes " : entre l'Eglise et la modernité, entre les différentes confessions chrétiennes, entre le christianisme et les religions non chrétiennes, notamment le judaïsme.

Résumé : Selon l'auteur lui-même, cet essai a une double ambition. D'une part, il s'efforce d'" évoquer tous ces hommes et toutes ces femmes qui ont souffert d'être juifs, se sont haïs ou se sont voulus juifs, mais n'ont pas pu "se créer", se réaliser en tant que juifs ". D'autre part, il entend " restituer les efforts patents et obstinés des autres juifs, célèbres ou non, prophètes ou mendiants, qui ont assumé leur identité juive et sont morts pour que le judaïsme vive et habite d'autres consciences ". Cependant, si ce livre aussi profond que lucide parle de toutes les tentations qui, tout au long de ce terrifiant XXe siècle, ont guetté et bouleversé la conscience juive, principalement en France et en Allemagne, ce n'est pas, comme le précise Gilles Zenou, " pour les juger ou les prévenir, mais pour que chaque juif sache quelles sont ces tentations et que chaque jour se poursuit la lutte de Jacob avec l'ange ". Telle est en effet la signification de cette " phénoménologie de la condition juive en Occident au XXe siècle ", comme l'appelle son auteur : elle ne retrace pas l'histoire du peuple juif, mais s'attache à décrire, sur un plan philosophique et littéraire, les étapes existentielles que traverse l'homme juif, principalement telles qu'elles apparaissent à sa conscience, telles que son regard les saisit et les interprète à chaque fois. Elle tente de " faire varier " les très nombreuses figures que la condition juive a pu prendre à ses yeux et d'en dégager les principaux invariants, afin de comprendre, sur une base à la fois historique et anhistorique, l'essence de la judéité. Toutefois, écrit Gilles Zenou, cette herméneutique et cette mise en perspective des regards portés sur la condition juive " ne postule pas de savoir absolu, ni une fin de l'histoire. Le dernier mot n'est jamais dit, comme le crient tous les prophètes qui ont sans cesse affirmé que le monde est un théâtre vivant où s'affrontent deux inconnus, l'homme et Dieu, et qu'être juif, c'est se faire juif, naître contre les idoles, se créer contre les règnes qui pétrifient la vie et veulent figer l'histoire ".

Un voyage instructif dans l?univers merveilleux de sept grands auteurs-compositeurs québécois qui proposent dix chansons, habilement rimées, faciles à interpréter, qui invitent les enfants à célébrer la nature dans toute sa splendeur. Portée par des voix enjouées, cette collection festive conjugue avec poésie toute la sensibilité d?un patrimoine francophone vivace au c?ur du continent nord-américain. En plus des paroles richement illustrées, on y retrouve la biographie des créateurs et un guide d?activités pour fêter la musique à l?école comme à la maison.