https://diffusion.lavoisier.fr/flux/nouveautes-theories-mathematiques-appliquees-a-l-informatique.atom
Diffusion Lavoisier : Nouveautés des diffusés Lavoisier
2017-06-01T12:00:00+01:00
Diffusion Lavoisier
leslibraires@lavoisier.fr
https://images.lavoisier.net/logo/lavoisier2014-print.jpg
https://images.lavoisier.net/logo/lavoisier2014-print.jpg
Les nouveautés en Théories, mathématiques appliquées à l'informatique
© 2024 Diffusion Lavoisier
https://diffusion.lavoisier.fr/informatique/scilab-elements-de-programmation-et-exemples-d-applications/blanchet/editions-lavoisier/collection-information-numerique-traitement-interpretation-communication/livre/9782746248014
Traitements, algorithmes et simulation avec Scilab
2017-06-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/1316991269.jpg" alt="Couverture de l'ouvrage :Traitements, algorithmes et simulation avec Scilab" /><br /><p style="margin-top: 0">
Scilab fait partie des environnements de développement et de simulation
qui sont aujourd’hui incontournables pour l’enseignement des sciences de
l’ingénieur et la recherche appliquée.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Les thèmes les plus théoriques tels que probabilités ou transformées de
Fourier sont abordés dans cet ouvrage par le biais de programmes sans
négliger toutefois les aspects théoriques et les principaux résultats
qui sont donnés en annexe.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
L’automatique et l’algorithmique numérique constituent deux chapitres «
applicatifs ». Le premier aborde l’automatique « temps continu » avec
étude du comportement des systèmes, bouclage et calcul de correcteurs.
Le second présente les grands classiques de l’algorithme numérique tels
que la résolution d’équations simples ou différentielles ou d’équations
algébriques par les techniques itératives.
</p>
<p style="margin-top: 0">
L’outil de simulation Xcos de Scilab offre de grandes possibilités qui
viennent en complément de la programmation directe. La résolution
d’équations différentielles non linéaires en est une application notable.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Des indications et les corrigés des exercices sont donnés en fin
d’ouvrage.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Ce livre tente, au-delà de la simple utilisation de Scilab, de présenter
des applications mettant en œuvre programmation, algorithmes ou
simulation. Il propose ainsi des éléments de base sur les sciences de
l’ingénieur, éléments qui sont autant de sources d’exercices et de
problèmes pour les étudiants des premier et deuxième cycles.
</p>
https://diffusion.lavoisier.fr/informatique/problemes-de-satisfaction-de-contraintes/ghedira/editions-lavoisier/collection-informatique/livre/9782746245150
Problèmes de satisfaction de contraintes
2013-05-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/1316204223.jpg" alt="Couverture de l'ouvrage :Problèmes de satisfaction de contraintes" /><br />De par leur forte complexité et leur omniprésence aussi bien dans le monde
académique qu’industriel, les problèmes de satisfaction de contraintes
(CSP) continuent à susciter l'intérêt des scientifiques dans les domaines
de la recherche opérationnelle et de l’intelligence artificielle. Un CSP
comporte un ensemble de variables ayant chacune un domaine de valeurs
ainsi qu'un ensemble de contraintes, l’objectif étant d’instancier les
variables de manière à satisfaire toutes les contraintes. Formalismes,
techniques et extensions relatives aux CSP sont détaillés et illustrés par
des exemples didactiques tels que le problème des 4-reines. Problèmes de
satisfaction de contraintes s’adresse aux ingénieurs en leur facilitant
l’accès à ce domaine, aux chercheurs en leur exposant les notions de base
tout en leur apportant une bibliographie étendue, et aux enseignants et
étudiants en leur fournissant un support de cours.
https://diffusion.lavoisier.fr/informatique/structures-de-donnees-et-methodes-formelles-collection-telecom/guyomard/editions-lavoisier/livre/9782817801995
Structures de données et méthodes formelles
2011-04-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2546082.jpg" alt="Couverture de l'ouvrage :Structures de données et méthodes formelles" /><br />Ce livre a pour thème principal l'étude des <b>structures de
données.</b> Il s'agit de constituants logiciels dont la qualité
conditionne le bon fonctionnement et l'efficacité de la plupart des
applications informatiques. L'originalité de l'ouvrage réside dans le lien
qu'il établit avec la discipline des méthodes formelles pour <b>le
génie logiciel.</b><br>En montrant comment il est possible de
calculer les opérations qui accompagnent ces structures à partir d'une
spécification rigoureuse, il jette un regard neuf sur le domaine.<br>Dans
une première partie, l'auteur présente les bases de la discipline : la
théorie des ensembles (avec comme support les notations et principes de la
méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et
l'analyse (classique mais aussi amortie) des algorithmes.<br>La seconde
partie se focalise sur l'étude approfondie de <b>cinq structures de
données typiques</b> : les ensembles simples, les ensembles
composites, les files simples, les files de priorité, et les tableaux
flexibles. L'ensemble de l'exposé répond quant à lui à une double logique
: une perspective historique (à chaque époque correspondent des structures
de données caractéristiques) et une démarche fonctionnelle (les opérations
sont des fonctions qui délivrent une valeur).<br>De nombreux
exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux
informaticiens, professionnels, étudiants ou enseignants désireux de faire
évoluer leurs connaissances et leur pratique des <b>structures de
données</b> ainsi que de leurs liens avec les méthodes formelles.
https://diffusion.lavoisier.fr/informatique/reseaux-de-calcul/vicat-blanc-primet/editions-lavoisier/collection-architecture-applications-service/livre/9782746230064
Réseaux de calcul
2010-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2141235.jpg" alt="Couverture de l'ouvrage :Réseaux de calcul" /><br />Réseaux de calcul étudie le cœur de trois nouvelles architectures informatiques distribuées : les grappes, les grilles et les nuages de calcul. Il présente leur système nerveux central respectif constitué d'un réseau complexe d'interconnexion et de protocoles de communication spécifiques. Le lecteur trouvera les clés pour comprendre les contraintes et les problématiques essentielles auxquelles doit faire face un réseau de calcul : faible latence, très haut débit, haute performance, prédictibilité et sécurité. Les différents concepts et les technologies hétérogènes utilisées sont développés afin de permettre d'appréhender aussi bien les caractéristiques et les évolutions des composants physiques que les logiciels et les protocoles de communication spécifiques. Cet ouvrage met en perspective les solutions et les technologies mises en œuvre dans les grappes, les grilles et les nuages pour guider les programmeurs et les utilisateurs d'applications de calcul distribué vers des modèles de programmation et d'utilisation efficaces adaptés à chaque besoin.
https://diffusion.lavoisier.fr/informatique/partitionnement-de-graphe/bichot/editions-lavoisier/traite-ic2/livre/9782746230057
Partitionnement de graphe
2010-07-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2141234.jpg" alt="Couverture de l'ouvrage :Partitionnement de graphe" /><br />L'optimisation du partitionnement de graphe est un problème théorique qui a des applications multiples, mais souvent méconnues, entre autres en calcul numérique, calcul parallèle, dessin des composants informatiques, analyse d'image et de vidéo. Ces dernières années ont vu de nouveaux challenges apparaître. La taille des graphes à partitionner a explosé, passant de quelques milliers de sommets à plusieurs millions. Cet ouvrage a pour ambition de présenter au lecteur néophyte, comme à l’expert en informatique ou en mathématiques appliquées, des méthodes et des outils pour résoudre le problème du partitionnement de graphe. A cette fin, nous avons réuni plusieurs chapitres méthodologiques détaillant différentes approches d’optimisation du partitionnement de graphe, comme la méthode multi-niveaux, les métaheuristiques, la parallélisation ou le partitionnement d’hypergraphes. Plusieurs applications viennent compléter cet ouvrage, sur des sujets aussi différents que les réseaux mobiles, la résolution de systèmes linéaires, la segmentation d’image, le trafic aérien, les réseaux sociaux, etc.
https://diffusion.lavoisier.fr/informatique/fourmis-artificielles-2-nouvelles-directions-pour-une-intelligence-collective/monmarche/editions-lavoisier/traite-ic2/livre/9782746223493
Fourmis artificielles 2 : nouvelles directions pour une intelligence collective
2009-11-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2140727.jpg" alt="Couverture de l'ouvrage :Fourmis artificielles 2 : nouvelles directions pour une intelligence collective" /><br /><b>Les fourmis artificielles</b> sont issues de l'observation de la nature : les sociétés animales, telles que les colonies de fourmis, ont développé des comportements collectifs d'une efficacité et d'une robustesse fascinantes. <br />La motivation d'imiter la nature a été forte et, durant la dernière décennie, <b>les fourmis artificielles</b> ont connu un développement rapide dans la communauté des chercheurs, principalement confrontés à des problèmes d'optimisation. Puis, les algorithmes ayant fait leurs preuves, ils sont entrés dans leur phase de diffusion dans le monde industriel. <br />L'objectif de ces <b>deux volumes</b> est de donner un panorama de la situation à laquelle les algorithmes de <b>fourmis artificielles</b> sont parvenus. <br /><b>Le volume 1</b> permet de comprendre les bases des algorithmes de <b>fourmis artificielles,</b> et de découvrir un panorama d'applications dans le domaine de l'optimisation, en particulier dans le cadre industriel. <br /><b>Le volume 2 </b> traite de problématiques plus larges, c'est-à-dire non limitées à l'optimisation, et donne un aperçu des recherches actuelles dans le domaine des <b>fourmis artificielles.</b>
https://diffusion.lavoisier.fr/informatique/optimisation-combinatoire-5-problemes-paradigmatiques-et-nouvelles-problematiques/paschos/editions-lavoisier/traite-ic2/livre/9782746216969
Optimisation combinatoire 5
2007-03-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2140124.jpg" alt="Couverture de l'ouvrage :Optimisation combinatoire 5" /><br />Avant-propos -<i>V. PASCHOS</i>. <b>PROBLÈMES PARADIGMATIQUES</b>. Chapitre 1. Satisfaisabilité optimale -<i>C. BAZGAN</i>. Chapitre 2. Le voyageur de commerce -<i>J. MONNOT, S. TOULOUSE</i>. Chapitre 3. Problèmes de coloration dans les graphes -<i>D. DE WERRA, D. KOBLER</i>. <b>PROBLÉMATIQUES NOUVELLES</b>. Chapitre 4. Approximation multicritère -<i>E. ANGEL, E. BAMPIS, L. GOURVÈS</i>. Chapitre 5. Plus courts chemins robustes -<i>V. GABREL, C. MURAT</i>. Chapitre 6. Une vision algorithmique de la théorie des jeux -<i>A. GIANNAKOS, V. PASCHOS</i>. Chapitre 7. Résolution exacte des problèmes NP-difficiles -<i>G.-J. WOEGINGER, traduit en français par Hadrien HUGOT</i>. Index.
https://diffusion.lavoisier.fr/informatique/logique-s-langages-formels-et-complexite-pour-l-informatique/jussien/editions-lavoisier/collection-informatique/livre/9782746213951
Logique(s), langages formels et complexité pour l'informatique
2006-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2139849.jpg" alt="Couverture de l'ouvrage :Logique(s), langages formels et complexité pour l'informatique" /><br />Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.
https://diffusion.lavoisier.fr/informatique/ordonnancement-pour-l-informatique-parallele/moukrim/editions-lavoisier/traite-ic2/livre/9782746207301
Ordonnancement pour l'informatique parallèle
2003-10-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2139203.jpg" alt="Couverture de l'ouvrage :Ordonnancement pour l'informatique parallèle" /><br />La problématique des ordonnancements et du parallélisme est particulièrement vaste. Les nouvelles technologies telles que les ordinateurs à architecture parallèle ou les réseaux de machines distribuées ne sont effectivement pas toujours aussi performantes que les machines monoprocesseur. Cet ouvrage tente de présenter un panel des problèmes liés aux ordonnancements parallèles et certaines méthodes de résolution. Il expose des résultats de nature théorique concernant des problèmes d'ordonnancement ainsi que des difficultés concernant le réseau physique Internet. Sont abordés des problèmes d'ordonnancement avec délais et contraintes de communication, des problèmes concernant le débit du réseau Internet, d'autres questions liées à l'équilibrage de charge de calcul, et enfin des problèmes d'ordonnancement parallèle avec contraintes de temps réel. Cet ouvrage est plus particulièrement destiné aux étudiants en fin de deuxième et en troisième cycle d'informatique, aux élèves ingénieurs spécialisés en informatique, aux chercheurs, universitaires ou industriels. Les lecteurs y trouverons une source de problèmes émergeants, points de départ de futures thèses en parallélisme
https://diffusion.lavoisier.fr/informatique/traitement-de-donnees-complexes-et-commande-en-logique-floue/bouchon-meunier/editions-lavoisier/traite-ic2/livre/9782746205444
Traitement de données complexes et commande en logique floue
2003-01-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2139023.jpg" alt="Couverture de l'ouvrage :Traitement de données complexes et commande en logique floue" /><br />Cet ouvrage a pour objectif de donner un aperçu des principaux domaines d'application de la logique floue. Il est largement consacré à la méthodologie dont peuvent avoir besoin les chercheurs, les ingénieurs et les étudiants. Les contributions présentent un certain nombre d'applications de la logique floue. La première à trait aux bases de données qui seront exploitées par celle-ci. Elle les interrogera au moyen de requêtes souples et permettra de les gérer même si ces bases de données demeurent mal connues. La diversité des variables de la commande d'un processus sera le deuxième champ d'application de la logique floue. On abordera ici la notion de capteur flou pour la mesure détaillée et les principes de la commande floue. La logique floue est également utile au traitement des images particulièrement pour les contours d'objets, leurs mesures, leur position relative et la fusion d'images. Les méthodes se servant de la théorie des sous-ensembles flous en apprentissage inductif et l'extraction de connaissances en environnement flou représentent ensuite deux nouvelles applications de la logique floue. L'ouvrage proposera pour terminer des exemples de méthodes mêlant logique floue à d'autres techniques.
https://diffusion.lavoisier.fr/informatique/logique-et-theorie-des-systemes-digitaux/thayse/editions-lavoisier/livre/9782746205864
Logique et théorie des systèmes digitaux
2002-11-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2139065.jpg" alt="Couverture de l'ouvrage :Logique et théorie des systèmes digitaux" /><br />Cet ouvrage développe une théorie des systèmes digitaux, fort semblable à la théorie des systèmes analogiques de traitement de l'information, et base cette théorie sur une formalisation où le comportement des systèmes digitaux est modélisé au moyen de fonctions booléennes ou de formules de la logique. Logique et théorie des systèmes digitaux se veut introductif et ne suppose du lecteur qu'une certaine familiarité avec le formalisme des fonctions booléennes et avec celui de la logique formelle. L'ordinateur constitue le type même de système digital , l'information y est traitée sous forme discrète, c'est-à-dire non continue. Outre le domaine de l'informatique, la plupart des techniques de transmission de l'information sont basées sur des technologies digitales. C'est dire l'importance que ces technologies ont acquise et l'intérêt de leur formalisation. L'ouvrage présente une théorie unifiée des techniques de synthèse des systèmes digitaux, théorie qui s'applique aussi bien aux synthèses matérielles que logicielles, et aussi bien selon les paradigmes de la programmation impérative que de la programmation déclarative.
https://diffusion.lavoisier.fr/informatique/introduction-aux-methodes-formelles-2-ed/monin/editions-lavoisier/livre/9782746201408
Introduction aux méthodes formelles
2000-06-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2138623.jpg" alt="Couverture de l'ouvrage :Introduction aux méthodes formelles" /><br />Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
https://diffusion.lavoisier.fr/informatique/algorithmique-parallele-et-distribuee/lavallee/editions-lavoisier/traite-des-nouvelles-technologies/livre/9782866012502
Algorithmique paralléle et distribuée
1999-01-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2214777.jpg" alt="Couverture de l'ouvrage :Algorithmique paralléle et distribuée" /><br />Cet ouvrage examine les problèmes fondamentaux dans les systèmes distribués (terminaison, apprentissage et détection d'états stables, routage, structuration de réseau, élection) ou sur les machines parallèles à mémoire partagée (plus court chemin, arbre couvrant,...). Il propose des algorithmes implémentables, aborde la réflexion théorique et construit un modèle permettant de mesurer l'efficacité des algorithmes parallèles et distribués. Ce modèle est ici appliqué pour trois algorithmes parallèles classiques (recherche du maximum, tri, fusion) et pour l'algorithme distribué d'élection asynchrone.
https://diffusion.lavoisier.fr/informatique/distributed-computing-opodis-98-proceedings-of-the-2nd-international-conference-amiens-dec-1998/bui/editions-lavoisier/livre/9782866017378
Distributed computing, OPODIS'98. (proceedings of the 2nd international conference Amiens, dec 1998)
1999-01-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2215263.jpg" alt="Couverture de l'ouvrage :Distributed computing, OPODIS'98. (proceedings of the 2nd international conference Amiens, dec 1998)" /><br />This book contains the proceedings of the conference on principles of distributed systems, held in Amiens, France, in December 1998.
https://diffusion.lavoisier.fr/informatique/methodes-iteratives-de-decomposition-de-domaines-et-communications-en-calcul-parallele-calculateurs-paralleles-reseau-et-systemes-repartis-vol-10-n-4/el-baz/editions-lavoisier/livre/9782866017361
Méthodes itératives de décomposition de domaines et communications en calcul parallèle(Calculateurs parallèles réseau & systèmes répartis vol 10 n°4)
1998-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2215262.jpg" alt="Couverture de l'ouvrage :Méthodes itératives de décomposition de domaines et communications en calcul parallèle(Calculateurs parallèles réseau & systèmes répartis vol 10 n°4)" /><br />Ce numéro thématique de la revue "Calculateurs Parallèles Réseaux et Systèmes Répartis" présente les articles soumis à l'issue du Colloque "Méthodes de Décomposition de Domaines Itératives et Communications en Calcul Parallèle", septembre 1997. Les méthodes de décomposition de domaine itératives et leur mise en oeuvre en parallèle sont actuellement un domaine de recherche très actif aussi bien en ce qui concerne les aspects théoriques qui relèvent de l'analyse numérique ou de l'Informatique que vis-à-vis de leur application à des problèmes industriels.
https://diffusion.lavoisier.fr/informatique/l-apprentissage-de-la-complexite/clergue/editions-lavoisier/collection-systemes-complexes/livre/9782866016418
L'apprentissage de la complexité
1997-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2215167.jpg" alt="Couverture de l'ouvrage :L'apprentissage de la complexité" /><br />Cet ouvrage est une introduction à la complexité, longtemps considérée comme un obstacle qu'il fallait contourner soit en simplifiant les situations réputées complexes soit en réduisant celles-ci à l'analyse de leurs composants élémentaires. Il décrit successivement l'apprentissage, les systèmes non-linéaires, l'intelligence collective, les théories du chaos...
https://diffusion.lavoisier.fr/informatique/techniques-du-multithread-du-parallelisme-dans-les-processus-cnam-syntheses-informatiques/zignin/editions-lavoisier/livre/9782866015626
Techniques du multithread
1996-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2215088.jpg" alt="Couverture de l'ouvrage :Techniques du multithread" /><br />1. Machines parallèles et multithread Machines parallèles à mémoire commune - Machines parallèles à mémoire distribuée - Ordre de grandeur des performances - Multithread concurrent - Multithread parallèle 2. Les systèmes multithread Le multithread dans SOLARIS - Light Weight Processes ou processus légers - Les threads et leurs attributs - Synchronisation entre threads - Les processus et le multithread 3. Exemples de programmes multithread Copie de fichiers - Client/serveur sur un réseau - Serveur pour un système de fenêtres - Multiplication de matrices 4. Perspectives et domaines d'applications Glossaire - Bibliographie
https://diffusion.lavoisier.fr/informatique/evaluation-des-algorithmes-distribues-analyse-complexite-methodes/lavault/editions-lavoisier/collection-informatique/livre/9782866014605
Evaluation des algorithmes distribués
1995-01-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2214986.jpg" alt="Couverture de l'ouvrage :Evaluation des algorithmes distribués" /><br />Ce livre propose un tour d'horizon de l'état de la complexité des algorithmes et de ses méthodes. Il présente l'analyse de la quasi-totalité des algorithmes fondamentaux du domaine. Les douze chapitres sont assortis de nombreux exercices corrigés et de notes bibliographiques.
https://diffusion.lavoisier.fr/informatique/algorithmes-paralleles-analyse-et-conception/authie/editions-lavoisier/livre/9782866014148
Algorithmes parallèles : analyse et conception
1994-03-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2214940.jpg" alt="Couverture de l'ouvrage :Algorithmes parallèles : analyse et conception" /><br />Ce livre offre, en plus d'un cours d'algorithmique parallèle proprement dit, une présentation des architectures de machines commercialisées, des outils d'exploitation et des solutions aux problèmes de mise en oeuvre du parallélisme, telles la distribution équilibrée du travail et la régulation dynamique de la charge des processeurs.
https://diffusion.lavoisier.fr/informatique/algorithmique-et-programmation/griffiths/editions-lavoisier/livre/9782866013233
Algorithmique et programmation
1992-09-01T12:00:00+01:00
<img src="https://images.lavoisier.net/vignettes/2214849.jpg" alt="Couverture de l'ouvrage :Algorithmique et programmation" /><br />1. Introduction2. Des programmes pour commencer3. Les tris4. Des structures de données5. Récurrence et récursivité6. La marche arrière7. Transformations de programmes8. Quelques structures de données particulièresBibliographieRéférencesGlossaireSolutions de certains exercices