La Lune est blanche

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées: algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales: modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Martin Benoît se sauve. Il file vers le nord, en direction de Montréal. Il veut se réfugier au Canada afin d'échapper aux services secrets américains, qui le soupçonnent d'être une menace pour la sécurité. Pourtant, il n'est qu'un jeune et brillant universitaire. Il n'a choisi ni la voie de l'islam radical, comme Ahmed Morghad, ni celle de l'activisme écologique, comme Laetitia Duperré, ni celle du crime, comme Pierre Maurice. Après avoir découvert la puissance de la théorie des jeux et le fascinant "dilemme du prisonnier", Martin Benoît croit pouvoir répondre à cette interrogation cruciale: quels comportements individuels font des sociétés harmonieuses et stables? Sa réputation intellectuelle l'amène à parcourir le monde et tout va bien jusqu'au jour où, s'approchant du poste frontière de Lacolle, il est sur le point d'être interrogé par une douanière qui porte des pantoufles Snoopy. Comment saisir le mystère des trajectoires humaines? L'art romanesque est sans doute un outil très sophistiqué pour y arriver, que François Lepage pratique ici avec un plaisir communicatif. En donnant à son intrigue rocambolesque toute l'élégance d'une démonstration mathématique, il nous offre un roman mordant, grinçant, qui nous tient en haleine du début à la fin et tord le cou, en passant, à tout ce qui peut ressembler à de la rectitude politique. Quant à savoir comment il est possible qu'une représentante officielle de Douanes Canada soit chaussée de telle manière pendant l'exercice de ses fonctions, il vous faudra lire Le Dilemme du prisonnier pour l'apprendre.

« Chantier, grand corps tuméfié aux multiples cicatrices . Une chair, comme la mienne... Ses mouvements me bouleversent, les rencontres me transforment... Avec le sténopé, je m'assois dans l'herbe, je prends le temps de placer le pied sur lequel je vais poser la boîte, de préparer la prise de vues .J'éprouve cette joie profonde de l'enfance . Ce temps long, immobile, sans injonction... J'observe l'environnement immédiat, végétal et mécanique . J'écoute le vent frapper la boîte et imprimer l'image de ses vibrations . Elle semble capter autant le chaos extérieur que le tumulte intérieur... Écho photographique et protéiforme... »Les images sont accompagnées d'un texte d'Alexis Fichet, auteur, acteuret metteur en scène.Membre de l'agence Sipa Press pendant dix ans, François Lepage a rejoint l'agence Hans Lucas en 2017. Son parcours est marqué par de nombreuses missions photographiques sur les espaces protégés en France métropolitaine, Outre-mer puis en Antarctique. L'humain et la rencontre sont au c'ur de son travail et de sa démarche photographique.

Embarquer à bord du Marion-Dufresne est une expérienceinoubliable. Le navire polyvalent armé par la CMA-CGMflirte toute l'année avec les "dernières frontières" de la planète: les terres Australes et Antarctiques françaises situées dans lesquarantièmes rugissants. A la fois paquebot, cargo Ced'exploration, il embarque pour des tournées-semaines, lesvivres, carburants, matériels et personnels des basesscientifiques, des océanographes et même des touristes. Audépart de l'Ile de la Réunion, le "circuit" comprend Tromelin,les îles Saint-Paul et Amsterdam et les archipels de Crozet etKerguelen. C'est cette croisière ultime que les auteurs nousinvitent à partager, par le texte et par la photo, dans ce livreassurément décoiffant.