Recherche

banque stockage logiciels

Extraits

ActuaLitté

Informatique

Windows Server 2019. Installation, gestion du stockage et des traitements

Ce livre sur Windows Server 2019 s'adresse à un public d'administrateurs ou techniciens système qui souhaitent acquérir des compétences sur les fonctionnalités offertes par Windows Server 2019. Dans le premier chapitre, l'auteur détaille l'implémentation d'Hyper-V. Prérequis, machine virtuelle, mémoire dynamique, types de disques ainsi que gestion d'un réseau virtuel sont détaillés. Le nouveau format de fichier ainsi que la mise à niveau de la version d'une machine virtuelle sont également présentés. L'auteur présente ensuite la version Core ainsi que les différents outils pour procéder à la migration vers Windows Server 2019. La gestion du stockage débute par la configuration du stockage local avec la gestion des disques et la gestion des volumes. L'auteur guide ensuite le lecteur dans l'opération de réduction d'une partition. Cette opération est effectuée en ligne de commande ainsi qu'avec l'interface graphique. La déduplication ainsi que la gestion de l'espace de stockage sont également détaillées. Le lecteur pourra également se familiariser avec les technologies NAS, DAS et SAN et avec la mise en place d'un partage SMB et NFS. L'auteur présente ensuite les conteneurs Windows Server et leur mise en place. Les notions de PRA (Plan de reprise d'activité), de cluster à basculement ainsi que la fonctionnalité d'équilibrage de charge sont étudiées. Enfin, les derniers chapitres traitent de l'administration de Windows Server avec WDS, WSUS et MDT.

12/2019

ActuaLitté

Serveurs

Windows Server 2022. Installation, gestion du stockage et des traitements

Ce livre sur Windows Server 2022 s'adresse à un public d'administrateurs ou techniciens système qui souhaitent acquérir des compétences sur les fonctionnalités offertes par Windows Server 2022 Dans le premier chapitre, l'auteur détaille l'implémentation d'Hyper-V. Prérequis, machine virtuelle, mémoire dynamique, types de disques ainsi que gestion d'un réseau virtuel sont détaillés. Le nouveau format de fichier ainsi que la mise à niveau de la version d'une machine virtuelle sont également présentés. L'auteur présente ensuite la version Core ainsi que les différents outils pour procéder à la migration vers Windows Server 2022. La gestion du stockage débute par la configuration du stockage local avec la gestion des disques et la gestion des volumes. L'auteur guide ensuite le lecteur dans l'opération de réduction d'une partition. Cette opération est effectuée en ligne de commande ainsi qu'avec l'interface graphique. La déduplication ainsi que la gestion de l'espace de stockage sont également détaillées. Le lecteur pourra également se familiariser avec les technologies NAS, DAS et SAN et avec la mise en place d'un partage SMB et NFS. L'auteur présente ensuite les conteneurs Windows Server et leur mise en place. Les notions de PRA (Plan de reprise d'activité), de cluster à basculement ainsi que la fonctionnalité d'équilibrage de charge sont étudiée. Enfin, les derniers chapitres traitent de l'administration de Windows Server avec WDS, WSUS ainsi que la récupération d'évènements à l'aide de WinRM.

05/2023

ActuaLitté

Littérature française (poches)

Garçon manqué

" Je deviens Brio. Etre la première en tout. Etre un garçon avec la grâce d'une fille. Brio pour toute l'Algérie. Brio contre toute la France. Brio contre mon corps qui me fait de la peine. Brio contre la femme qui dit : Quelle jolie petite fille. Tu t'appelles comment ? Ahmed. Sa surprise. Mon défi. Sa gêne. Ma victoire. Je fais honte au monde entier. Je salis l'enfance. C'est un jeu pervers. C'est un jeu d'enfant. Non, je ne veux pas me marier. Non, je ne laisserai pas mes cheveux longs. Non, je ne marcherai pas comme une fille. Non, je ne suis pas française. "

03/2002

ActuaLitté

12 ans et +

Garçon manqué

" Oh, la jolie petite fille ! " Je suis pas mal sûr que c'est ce qu'on a dit quand je suis né. On a regardé entre mes jambes et le sort en était jeté. Après, ça n'a plus arrêté. " Regarde ses beaux cheveux longs, comme ceux d'un ange ", disait toujours mon grand-père. Et mon frère refusait que je reste dans sa chambre quand il était avec ses amis : " Tu ne peux pas jouer avec nous, je ne veux pas d'une petite soeur dans les pattes. " Puis j'entendais ma mère me complimenter : " Eloïse, regarde-toi, ma belle, tu as l'air d'une princesse dans cette robe. " Eloïse. Je savais que c'était mon nom. Mais qui étaient la soeur, la belle, la poupée dont ils parlaient? Je ne me reconnaissais pas dans ces mots, je me sentais différent et je ne comprenais pas pourquoi. Quelque chose en moi avait mal. Les miroirs et le temps ont répondu à mes questions. J'ai vu un corps de fille. Et pourtant... Malgré mon corps féminin, je sais que ce n'est pas moi. Moi, je suis un garçon. Un gars, un homme, un ti-cul, un dude... Ou vous pouvez tout simplement m'appeler Eloi. Parfois, la nature fait une erreur, et un enfant naît dans le mauvais corps. Il se livre alors à un horrible combat intérieur, acceptant difficilement son physique comme étant le sien. Lorsque cette personne prend conscience de sa différence, lorsqu'elle décide que le changement de sexe est sa seule option, un immense processus s'enclenche. L'auteur, lui-même en transition, utilise son expérience pour raconter tous les obstacles inhérents à la transsexualité.

02/2015

ActuaLitté

BD tout public

Garçon manqué

Dans son enfance, Liz Prince n'était pas comme les filles de son voisinage : elle détestait les robes, portait toujours une casquette et préférait jouer à SOS Fantômes plutôt qu'à la princesse. Mais elle n'était pas un garçon pour autant. Elle était quelque part entre les deux, ce qui n'était pas un endroit très confortable, avec l'école, les parents, les amis et l'amour qui la tiraillaient d'un côté ou de l'autre... Garçon manqué suit la dessinatrice Liz Prince au fil de ses jeunes années jusqu'à l'âge adulte, et explore avec humour, franchise et émotion ce que signifie "être une fille".

10/2014

ActuaLitté

Tourisme France

Passeport basque

Tout ce que vous avez toujours voulu savoir sur le Pays basque sans jamais avoir osé le demander… Bon, non, d'accord, pas tout. Juste quelques jalons posés sur votre chemin, pour vous guider dans votre propre découverte d'un pays qui, quel que soit le coeur avec lequel on en parle, sera toujours plus beau en vrai qu'en mots. Que vos premiers pas sur ces terres soient enchanteurs, curieux, bienveillants, magiques, étonnants, émouvants… Comme ils ne cessent de l'être pour nous depuis des années. Bon voyage !

03/2018

ActuaLitté

Guides étrangers

Pays basque

Les sites et visites incontournables. Des itinéraires et des suggestions pour préparer votre séjour selon le temps dont vous disposez et... vos envies ! Toutes nos adresses coups de coeur. Les bons plans et conseils des habitants. Les infos utiles pour réussir votre voyage. 180 photos, des cartes, des plans et des infographies.

01/2021

ActuaLitté

Platon

Le banquet

La véritable philosophie des amants est celle de Platon ; durant le charme, ils n'en ont jamais d'autres. Un homme ému ne peut quitter ce philosophe, un lecteur froid ne peut le souffrir. Jean-Jacques Rousseau

ActuaLitté

Nord, Pas-de-Calais, Picardie

Le banquet

Ce court récit est celui d'un banquet annuel, organisé dans une commune du Nord de la France, Thumeries, près de Lille. Ce village est célèbre pour avoir été la localité de départ d'une saga industrielle, celle de la sucrerie Béghin-Say qui était, à son apogée, un empire du sucre, premier groupe sucrier français et 5e mondial. L'auteur, qui fait partie de la famille Béghin et qui est né dans cette commune, s'appuie sur ses souvenirs pour raconter ce banquet "des anciens" (plus de 65 ans) que présidait sa grand-mère. Situant son récit en 1980, cet événement lui donne l'opportunité de brosser un tableau léger et drôle de la vie d'un village encore hanté par son glorieux passé industriel, un tableau accompagné de dessins réalisés par la dessinatrice Pauline Perrolet.

11/2021

ActuaLitté

Autres éditeurs (K à O)

Me manque

Au centre de chaque double page de ce livre, figure une absence. Un rond découpé dans le carton, qui se répète d'une page à l'autre, est le point d'ancrage d'un souvenir : le soleil tout puissant, les ballons échangés sur le sable noir, la noix de coco prête à tomber. Ces formes rondes renvoient à une enfance spécifique, celle de l'autrice, passée sur l'île où elle a grandi, La Réunion. Mais, au-delà de l'île, les billes gagnantes, les sucettes troquées à la récré, les cerises sur le gâteau, appartiennent au territoire d'une enfance universelle que revisite ici Anne-Margot Ramstein. Une enfance qui vit en chacun de nous, se conjugue au présent comme au passé.

11/2023

ActuaLitté

Poches Littérature internation

Le banquet

Dix convives dans une élégante demeure londonienne savourent du faisan, alors que le maître d'hôtel sert discrètement du vin. La conversation roule sur un cambriolage, un mariage, une lune de miel. Le jeune époux de Margaret lui sourit avec admiration tandis que l'on s'inquiète du retard inexplicable d'Hilda Damien, l'invitée d'honneur de ce banquet. Comme à son habitude, Muriel Spark, dans son dix-neuvième roman, traite des thèmes universels de la condition humaine - le bien et le mal, l'honneur et la duplicité, le courage et la lâcheté - avec le style concis et impitoyable de l'auteur.

02/2002

ActuaLitté

Poésie

Le banquet

Composé peu avant et pendant la rédaction de sa Divine Comédie, Le Banquet est la troisième grande oeuvre que Dante (1265-1321) rédigea en italien, parallèlement à ses discours en latin. Le festin auquel il convie ses lecteurs est en réalité un manuel de sagesse et de réflexion, où l'on retrouve à la fois son art poétique, sa conception de l'amour et son cheminement spirituel, nourris de lectures antiques (Platon, Aristote, Boèce, Cicéron) et théologiques (la patristique, la scolastique et l'école arabo-andalouse). Admirablement moderne par sa structure, fondé sur un commentaire allégorique de trois chansons d'amour, cet essai révèle la dimension philosophique du plus grand visionnaire de la poésie occidentale.

09/2019

ActuaLitté

BD tout public

Banquet final

De retour au pays après un long périple à l'autre bout du Monde, deux vieux aventuriers vont constater, à leurs dépends, que rien ne sera plus jamais comme avant. Ils formaient un duo ; ils reviennent à quatre. La jeune femme et le lion géant rencontrés au retour devront trouver leur place dans une cité inconnue... Mais que peut-on espérer en introduisant un animal sauvage en milieu urbain ? On ne badine pas impunément avec Dame Nature. Que se passe-t-il après avoir tourné la dernière page d'un livre d'aventure ? Ce récit fantastique nous plonge dans l'intimité de héros d'une quête terminée, et bien qu' on puisse penser que celle-ci sonne la fin de l'histoire, elle pourrait bien être le point de départ d' une autre...

11/2017

ActuaLitté

Romans policiers

Rouge basque

En retrait des services de la P.J. depuis six ans, Maïka Mekotxea s'épanouit dans ses nouvelles fonctions officielles ainsi que dans sa vie personnelle. Le quotidien de la policière aurait pu s'écouler paisiblement, mais une série de viols et de meurtres sordides perpétrés sur des femmes célibataires bouleverse la donne. Pire, la mise en accusation de Xavier Lamarre, son presque frère, dans le cadre de ces assassinats, précipite son retour aux affaires. Et ce n'est pas l'ADN de ce dernier retrouvé sur les victimes qui empêchera Maïka Mekotxea de croire en son innocence. Une seule solution s'impose à elle, accepter le poste vacant de commissaire à la P.J. de Biarritz et tout tenter pour faire émerger la vérité. Des rebondissements en cascade, un suspens de tous les diables, les enquêteurs vont avoir fort à faire pour séparer le bon grain de l'ivraie.

03/2022

ActuaLitté

Economie (essai)

D'où vient l'argent ? Des banques, de la banque centrale, de la planche à billets, du trésor...

Cet ouvrage décrypte les mécanismes actuels de la création-destruction monétaire par les banques commerciales. On y précise le nouveau rôle des Banques centrales à la suite du quantitative easing. Un nouvel éclairage dans une conception pas très éloignée de la théorie monétaire moderne.

06/2023

ActuaLitté

Code et compilateur

Artisanat logiciel propre. Disciplines, normes et éthique

Clean Craftsmanship commence là où Coder proprement s'arrête. Ce guide technique, pragmatique et éthique des disciplines fondamentales de l'artisanat logiciel aborde les normes, en montrant comment les attentes envers les développeurs diffèrent souvent de la réalité. Oncle Bob propose une charte éthique de la profession de programmeur, en décrivant les promesses fondamentales que tous les développeurs devraient faire à leurs collègues, à leurs utilisateurs et, surtout, à eux-mêmes et fournir un code qui renforce la confiance au lieu de la miner. N'oublions pas que la survie des logiciels dépend de la confiance entre les utilisateurs et les sociétés. R.C. Martin, l'auteur de Coder proprement, rassemble tous les éléments nécessaires pour fournir un code robuste et efficace : un guide technique à travers différents types de tests, à appliquer par petites touches, pour vérifier la qualité de son code tout au long de son développement les normes de productivité, de qualité et de courage à respecter pour fournir le code le plus adapté à l'usage des commanditaires et des utilisateurs l'éthique à mettre en place pour éviter les dommages, être intègre et travailler en équipe afin de travailler dans les meilleures conditions et s'accomplir grâce dans son métier. Clean Craftsmanship est le dernier opus de R.C. Martin. Il complète la série en réunissant ses différents chevaux de bataille : la discipline à mettre en place dans le développement du code, la prise de conscience des contraintes de la réalité, et l'éthique vis-à-vis de soi et des autres.

12/2022

ActuaLitté

Policiers

La banque de la peur

La Coyote Investment : une banque d'affaires discrète établie au cœur de Londres. A sa tête, un Irakien au-dessus de tout soupçon. Telle est du moins la réputation de Nasir Hammoud... A voir la modestie de l'établissement, nul ne pourrait imaginer que, derrière ces murs, se brassent chaque jour des millions de dollars. Une " routine bancaire " qui a néanmoins valu à une employée de Hammoud d'être retrouvée assassinée. Sam Hoffman, consultant financier chargé par le mari de la victime de l'aider à identifier le meurtrier, n'est pas au bout de ses peines. Nasir Hammoud n'aime guère que l'on s'intéresse à ses affaires et à ses commanditaires. Pour lui, un Occidental trop curieux est un Occidental... mort.

07/2005

ActuaLitté

Allemand apprentissage

ALLEMAND BANQUE. Vocabulaire et expressions

Professions est une série de guides pratiques bilingues (anglais, allemand, espagnol) qui s'adresse aux professionnels et aux futurs professionnels. Cette série confient le vocabulaire indispensable et les expressions à utiliser en situation de travail. Elle propose différents types de classement - thématique, alphabétique - pour répondre à tous les besoins immédiats ou de formation. Elle offre aussi un mémento de grammaire et des conseils sur les comportements culturels. Elle vous donne les moyens de comprendre et de communiquer dans une langue étrangère.

10/1993

ActuaLitté

Gestion de patrimoine

Le patrimoine et la banque

Au début du XXe siècle, la promotion immobilière se pratique de manière spéculative dans le cadre d'une économie précapitaliste. Hardouin-Mansart, associé à des financiers comme Law, édifient des immeubles Place Vendôme à Paris. L'expansion de la construction en copropriété relativise la crise du logement qui atteint son paroxysme après la Seconde Guerre mondiale. Le développement de la construction relatif à l'offre de capitaux et à la demande de logements créé la promotion immobilière et la commercialisation des opérations. Dans le cadre des parties qui caractérisent et définissent certains dossiers relatifs au patrimoine et à la banque, l'auteur développe respectivement, l'immobilier, l'urbanisme et l'aménagement, la gérance et la copropriété, la banque et l'assurance, la promotion immobilière et l'édification.

10/2022

ActuaLitté

Sociologie

Les gens de la banque

L'étude approfondie d'une grande banque régionale porte ici le témoignage de la mutation d'un monde professionnel bien particulier, qui réunit au sein d'un même milieu de travail un faisceau composite de trajets, de compétences et de projets.

06/1992

ActuaLitté

Généralités

Banque mondiale. Une histoire critique

Ce livre donne les clés pour répondre à une série de questions concernant cette institution mondiale. La Banque mondiale cherche-t-elle à combattre la pauvreté dans le monde ? Quel est le bilan de son action qui s'étend sur plus de sept décennies ? Qui dirige la Banque mondiale et comment fonctionne celle-ci ? Quels sont ses rapports avec les grandes puissances et en particulier avec les Etats-Unis ? Quelles relations entretient-elle avec d'autres grandes institutions internationales comme l'ONU, le FMI, l'OMC ? Pourquoi les politiques qu'elle recommande ne garantissent pas aux populations la satisfaction de leurs besoins fondamentaux et de leurs droits ? Pourquoi la Banque mondiale soutient-elle des régimes dictatoriaux ? Pourquoi intervient-elle pour déstabiliser ou aider à renverser des gouvernements qui cherchent une voie originale ? Pourquoi affirme-t-elle qu'une montée des inégalités est nécessaire au développement ?? Pourquoi affirme-t-elle que les pays du Sud doivent s'endetter pour se développer ? A-t-elle une responsabilité dans l'éclatement des crises de la dette des pays en développement ? Quel est l'impact de son action sur la sécurité alimentaire, sur l'environnement, sur la santé publique, sur les femmes, sur ceux et celles qui vivent de leur travail ? Ce livre adopte une démarche chronologique pour analyser la Banque mondiale des origines à 2021. Un soin particulier est apporté à situer la politique de la Banque mondiale dans son contexte politique et géostratégique. En outre, huit études de pays viennent illustrer la politique de la Banque mondiale, ses mécanismes et ses conséquences : les Philippines, la Turquie, l'Indonésie, la Corée du Sud, le Mexique, l'Equateur, le Rwanda et le ­Timor oriental. Le livre, écrit dans un langage limpide, est agrémenté de cartes, de tableaux et graphiques. On y trouve également une fiche signalétique détaillant l'organigramme du groupe Banque mondiale et du FMI, ainsi qu'un index des principaux noms cités et un glossaire.

01/2022

ActuaLitté

Technologies

Le Power-to-Gas. Stockage de l'électricité d'origine renouvelable

Le Power-to-Gas consiste à transformer en hydrogène par électrolyse l'excédent d'électricité produit par les sources d'énergies renouvelables. Cet hydrogène peut être utilisé directement, stocké ou transformé en méthane. Cette technologie, déjà en expérimentation, permet aujourd'hui de répondre aux besoins de stockage de l'électricité d'origine renouvelable dont les excédents vont devenir de plus en plus importants. Cet ouvrage propose un état de l'art sur ce nouveau procédé production et consommation d'électricité, électricité d'origine renouvelable, conversion en hydrogène ou en méthane ainsi que leur stockage. Les installations en expérimentation ou opérationnelles sont aussi décrites montrant les nombreuses possibilités de cette technologie innovante.

06/2016

ActuaLitté

Géotechnique

Fondements de la géomécanique pour le stockage géologique et problèmes pétroliers

L'intérêt pour le sous-sol profond s'est considérablement accru au fil des dernières décennies en raison de diverses applications industrielles liées aux enjeux énergétiques et environnementaux. Aux défis inhérents à la conception des tunnels et des mines profonds s'est ajouté un ensemble de problèmes liés au stockage souterrain des matières et de l'énergie ou à l'exploitation des ressources du sous-sol profond. Le stockage géologique couvre de nos jours, notamment, l'enfouissement de déchets radioactifs et la séquestration du CO2 ainsi que le stockage dans les cavités salines des hydrocarbures, de l'énergie sous forme d'air comprimé et, en perspective, de l'hydrogène. En parallèle, l'intérêt pour les ressources énergétiques du sous-sol, déjà important avec la production pétrolière, s'accroit avec la production géothermique qui est l'exploitation de la chaleur du sous-sol en tant que ressource d'énergie renouvelable. L'ensemble de ces activités posent des problèmes nouveaux à l'ingénieur et au chercheur et engendre le besoin de connaître et de pouvoir modéliser le comportement des roches profondes, aussi bien sur le plan mécanique que thermique et hydraulique. Ce livre présente les bases théoriques de la géomécanique qui est la science du comportement thermo-hydromécanique couplé des roches et des ouvrages en grande profondeur.

04/2024

ActuaLitté

Critique littéraire

Oeuvres complètes. tome i - le banquet. Le banquet

Dante n'est pas seulement poète, il est philosophe et présente la même force d'innovation dans ces deux versants de sa création. Dans le Banquet, il traverse successivement la question de la langue, de l'amour, du bonheur et de la noblesse. Ce mouvement d'ensemble présente la première formulation d'un humanisme à venir.

ActuaLitté

Littérature Italienne

Oeuvres complètes. tome i - le banquet. Le banquet

Dante n'est pas seulement poète, il est philosophe et présente la même force d'innovation dans ces deux versants de sa création. Dans le Banquet, il traverse successivement la question de la langue, de l'amour, du bonheur et de la noblesse. Ce mouvement d'ensemble présente la première formulation d'un humanisme à venir.

01/2023

ActuaLitté

Sciences historiques

La pastorale basque souletine. Edition bilingue français-basque

Qu'est-ce que la pastorale basque ? La pastorale est le théâtre pluriséculaire du Pays de Soule et de ses environs immédiats en Béarn et en Basse-Navarre. Elle appartient au genre épique. Elle raconte d'une façon symboliste et même surréaliste la vie et les exploits d'un personnage remarquable, basque ou non basque. Elle oppose un camp bleu et un camp rouge qui figurent la lutte éternelle du Bien et du Mal. D'origine catholique avec le culte des saints, elle tend aujourd'hui à se la ciser comme la société qui l'environne, le religion intervenant toutefois a à des moments cruciaux de la vie : le Mariage et surtout la mort. C'est un théâtre complet qui embrasse le chant, la danse, des gestes et mouvements codifiés, des marches rituelles et des versets distiques ou faux quatrains psalmodiés sur un air d'origine grégorienne. Un livret bilingue basque-français, voire trilingue avec une version castillane, permet de suivre les dialogues, surtout à ceux et celles qui ne savent basque. La pastorale se joue en plein air, à la fin de juillet et au début du mois d'août. Elle constitue l'un des principaux évènements culturels de l'été en Soule, et même dans l'ensemble des sept provinces basques.

04/2019

ActuaLitté

Système d'information (SI)

Migrer son système d'information vers les logiciels libres. Un défi politique et technique pour les collectivités

Les logiciels libres confèrent le droit d'exécuter, d'étudier, de redistribuer et d'améliorer le code source d'un programme informatique. De ce fait, véritables biens communs numériques, ils ouvrent la voie à un autre modèle informatique au service des citoyens. Pourtant, bien que Linux, le système d'exploitation libre emblématique, existe depuis une trentaine d'années, ils sont encore au mieux méconnus, au pire considérés comme une régression. Il est urgent de dépassionner le débat de querelles entre techniciens pour donner tout son sens politique à une stratégie de migration vers ce modèle. De trop nombreux freins empêchent les communes de se lancer dans cette grande aventure : existence d'un système d'information lié à un monopole propriétaire, manque de connaissances techniques, absence de soutien politique, etc. Suite à une crise sanitaire sans précédent, le «monde d'après» nous incite à reprendre la maîtrise de nos données et logiciels, et de nous affranchir des monopoles propriétaires. Les logiciels libres sont un levier pour effectuer cette transition numérique. Cette transition est possible et à la portée de chaque commune, à condition d'en faire un projet politique et de planifier une stratégie de migration dans la durée. «La route est longue, mais la voie est libre», ainsi que le proclame l'association Framasoft, une des pionnières du logiciel libre.

12/2020

ActuaLitté

Contes et nouvelles

Ces fêlures du printemps

Ces récits originaux, dont la chute peut être surprenante, racontent le regard de l'enfant ou de l'adolescent sur l'adulte au travers du prisme de sa mémoire. L'évènement qui s'est un jour inscrit dans sa propre histoire a modifié sa vision du monde, des autres, de son avenir. De secrets en blessures, de découvertes en vengeances, du songe à la nostalgie, la tendresse et l'amour sont étroitement mêlés, parfois avec humour, à ces neuf tranches de vie.

02/2023

ActuaLitté

Informatique

Le logiciel, entre l'esprit et la matière

Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il exécute. Cette extraordinaire plasticité a permis à l'ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l'incroyable et souvent effrayante complexité du logiciel ? Comment éviter les " bugs " de programmation et résister aux attaques ? Comment établir qu'un logiciel est digne de confiance ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

04/2019

ActuaLitté

Animaux, nature

Le porc basque

Les sources historiques indiquent que, des le XIIIe siècle, l'élevage de porcs était important, voire dominant dans les montagnes basques. A une époque où elles étaient abondamment recouvertes de chênes, de hêtres et de châtaigniers, cet élevage semble avoir dépassé tous les autres en nombre de tètes par troupeau. Les porcs (qui fournissaient alors à Bayonne le jambon et le lard si réputés dans toute l'Europe) étaient envoyés à la glandée entre septembre et novembre selon une pratique qui était encore courante au milieu du XXe siècle. Au début des années 1980, qualifiée de race "en perdition" quelques années plus tôt, victime du productivisme ambiant, la vieille race de porc basco-béarnaise décrite au XIXe siècle est sur le point de disparaître quand se met en place un plan de sauvegarde élaboré par l'ITP, en partenariat avec l'INRA. Il trouve rapidement écho auprès de quelques éleveurs de la vallée des Aldudes qui se fixent pour objectif de sauver la race, de contribuer au développement de l'économie locale et de créer un marché pour les produits charcutiers issus de sa filière. En 1997, la reconnaissance officielle de la race porc pie noir du Pays basque par le ministère de l'Agriculture contribue à renforcer la dynamique de développement de cette production locale. Avec le porc Kintoa (reconnu AOP depuis 2017) et le jambon du Kintoa (un jambon sec issu d'un porc charcutier rustique de race pie noir du Pays basque identifié par une AOC en 2016 et protégé sur tout le territoire européen par une AOP obtenue en juillet 2019), la race est devenue le support d'une filière de charcuterie haut de gamme.

05/2020