Histoire.

L'abbaye de Fontenay est fondée en 1119 par saint Bernard de Clairvaux, et reçoit le nom de "Fontenay" car le site comporte de nombreuses sources. Elle est consacrée par le pape cistercien Eugène III le en présence de dix cardinaux, huit évêques et de nombreux abbés du jeune Ordre, dont celui de Clairvaux.  Malgré cette protection royale, l'abbaye est pillée à plusieurs reprises pendant les guerres qui ravagent la Bourgogne mais jouit d'une influence croissante jusqu'au. A partir de cette période, la recrudescence de l'instauration du régime de la « commende », supprimant l'élection des abbés par les moines au profit de l'arbitraire royal, marque le début de son déclin.  À partir du, l'abbaye de Fontenay n'est plus que l'ombre de ce qu'elle avait été : les moines sont obligés, faute de pouvoir l'entretenir financièrement, de détruire le réfectoire. L'hôtel particulier de Montbard, le Petit Fontenet est vendu en 1768 au naturaliste Buffon qui y installe sa bibliothèque et son laboratoire de chimie. La Révolution ne chasse qu'une dizaine de moines de l'abbaye, alors qu'elle en avait abrité plusieurs centaines.  En 1791, l'abbaye est vendue pour, avec toutes ses terres à Claude Hugot qui, profitant des installations hydrauliques des moines, la transforme en papeterie, elle le reste pendant près d'un siècle.  En 1820, elle devient la propriété d'Élie de Montgolfier (de la famille des inventeurs de la montgolfière).  En 1906, l'abbaye est rachetée par Édouard Aynard (grand-père d'Andrée Putman), banquier lyonnais et amateur d'art. Entre 1905 et 1911 de grands travaux de restauration sont entrepris pour lui rendre son aspect médiéval. Les usines sont démolies, le sol de l'église dégagé sur et l'aile gauche du cloître est remontée pierre par pierre.  En 1981, l'abbaye est inscrite au patrimoine mondial de l'UNESCO.  En 2006, elle est toujours la propriété de la famille Aynard. Ouverte au public, on peut en visiter une grande partie.

Les bâtiments ouverts à la visite.

L'église abbatiale.

Elle a été construite de 1127 à 1150 selon un plan cruciforme et des proportions qui lui valent d'être considérée comme une "église-type" de l'architecture cistercienne. Elle mesure de long, le transept mesurant. La nef de de large, est flanquée de deux bas-côtés. Les grandes arcades sont en berceau brisé, reposant sur des colonnes aux chapiteaux à décor lancéolé avec un faible relief, respectant ainsi la règle cistercienne.  Le chœur, de forme carrée, est plus bas que la nef. Le pavage est fait de céramiques, qui recouvraient auparavant l'ensemble du sol de l'édifice.  Au Moyen Âge, la façade était précédée d'un porche. À l'intérieur, on peut admirer une "Vierge à l'Enfant" datant du. Cette statue fut longtemps exposée aux intempéries dans le cimetière de Touillon (commune voisine de l'abbaye). La Vierge porte l'enfant Jésus sur son bras gauche, il entoure le cou de sa mère de son bras droit et tient sur sa poitrine une colombe aux ailes déployées avec sa main gauche. Nul autre mobilier n'est visible, les stalles originales ayant été abîmées par l'humidité, obligeant à un relèvement du sol de près d'un mètre à la fin du.

Le cloître.

Il s'agit d'une des parties les plus remarquables du site. Il mesure trente-six mètres sur trente-huit, les quatre galeries, tout en conservant une grande unité, présentent certaines différences de construction. Elles sont composées chacune de huit travées formant archivolte et doubles arcades reposant sur des piliers avec doubles colonnettes à chapiteaux lancéolés.  C'est le cœur de l'abbaye, car c'est là que se croisaient les moines, la galerie située à l'est, était la plus fréquentée, car elle est en prise directe sur la nef de l'église, et menait les moines aux offices, à la salle capitulaire et à son extrémité sud, un escalier menait au dortoir. En 1911, lors de travaux, on y découvrit l’"armarium", un placard creusé dans le mur où étaient rangés les livres liturgiques d'usage courant ainsi que d'autres utilisés par les moines pour leur "Lectio divina".  La galerie sud est la galerie du réfectoire. Elle contenait un lavabo, disparu depuis, côté cour, en face de la porte du réfectoire. Dans le cloître, se déroulaient les processions, des promenades de lecture ou de prière.

La salle capitulaire (ou chapitre).

C'est la partie la plus importante de la vie de l'abbaye, c'est là qu'étaient prises les décisions concernant la communauté après lecture d'un chapitre de la Règle de Saint Benoît.  Elle s'ouvre sur la galerie est du cloître par une grande arcade cintrée, flanquée de chaque côté d'une double baie.  À l'origine la salle capitulaire était parfaitement carrée, elle était formée de trois larges travées en voûte d'ogive et reposant sur des colonnettes, la troisième travée fut détruite par un incendie vers 1450. Au début du on a abattu la cloison entre la salle capitulaire et le parloir. Les clés de voûte sont ornées par un motif floral simple.

La salle des moines.

Dans le prolongement de la salle capitulaire et du parloir, se trouve la salle des moines. Cette grande salle recouverte de douze voûtes d'ogives formant six travées mesure trente mètres de long. Elle était affectée à des tâches diverses ; c'est sans doute dans l'une de ses parties que les moines copistes recopiaient et enluminaient les manuscrits.

Le dortoir.

Le dortoir occupe tout le premier étage du bâtiment des moines, au-dessus de la salle capitulaire. On y accède par un escalier d'une vingtaine de marches. Il fut incendié au, et la charpente fut remplacée par celle que l'on peut admirer de nos jours et qui a une forme de coque de navire renversé. La règle de Saint Bernard imposait une salle commune avec des paillasses disposées à même le sol, et non des chambres individuelles.

La forge.

Le bâtiment se trouve à la limite sud de la propriété, il mesure cinquante-trois mètres de long sur treize mètres cinquante, sur voutes d'ogives reposant sur des colonnes centrales et aux murs sur des culots en pyramide tronquée. Il a été construit par les moines à la fin du afin de travailler le minerai qui était extrait de la colline dominant le monastère. La dérivation du ruisseau de Fontenay, le long du mur de la forge, faisait tourner des roues qui actionnaient les martinets pour battre le fer.

Bâtiments abbatiaux extérieurs à l’enceinte actuelle (certains non visitables).

L'enfermerie.

Isolé à l'extrémité du dortoir, ce petit bâtiment du est souvent considéré, de par son nom comme une ancienne prison. Il est vrai que les abbés avaient droit de haute et basse justice sur les terres de l'abbaye. Certains préfèrent y voir un lieu où l'on conservait (« enfermait ») les biens les plus précieux de l'abbaye, livres ou objets de culte. Le mur pignon de cette construction n'est autre que l'unique élément subsistant du réfectoire du.

La galerie Seguin.

Datant de 1850, ce bâtiment, situé à l'emplacement de l'ancien réfectoire et des cuisines, fut édifié par Marc Seguin, gendre d'Élie de Montgolfier. Important scientifique français du, Marc Seguin construisit notamment les premiers chemins de fer en France.

Le logis abbatial et la « maison rouge ».

En retrait du bâtiment, cet élégant édifice de la première moitié du était le logement des abbés commendataires, les nouveaux abbés nommés par le roi, lorsque Fontenay passa sous le régime de la commende en 1547. Habitations coquettes, ces bâtiments sont loin de la rigueur cistercienne.

Le colombier et le chenil.

À gauche du palais abbatial, le colombier borde le chemin qui mène à l'église. Les murs de sa tour ont plus d'un mètre d'épaisseur et sa construction doit remonter au. De l'autre côté du chemin, deux sculptures de chiens rappellent l'emplacement de l'ancien chenil. Les chiens des ducs de Bourgogne qui chassaient dans la forêt y étaient en pension.

L'infirmerie.

En sortant dans le jardin par la porte située entre la salle du chapitre et la salle des moines, on aperçoit l'infirmerie et sa terrasse, construction du dont les murs remontent à la fondation de l'abbaye. Les moines cultivaient les plantes médicinales à proximité de ce bâtiment où étaient soignés les malades, à l'écart du reste de la communauté.

La chapelle des étrangers et la boulangerie.

Le grand bâtiment qui abrite l'actuelle librairie et le musée lapidaire de l'abbaye date du. C'était la chapelle des étrangers qui n'avaient pas le droit de pénétrer dans l'enceinte monastique. La boulangerie, à l'extrémité nord, conserve encore son ancienne cheminée cylindrique.

La porterie et l'hôtellerie.

Surmonté d'un étage reconstruit au, c'était le logement du frère portier. À droite de l'escalier, on distingue la niche du chien et le trou dans le mur par lequel il pouvait passer la tête. À droite de la porterie, l'hôtellerie occupait une partie du bâtiment actuel.

L'abbaye de Fontenay est une abbaye cistercienne (aujourd'hui désaffectée) fondée en 1119 sur la commune française de Marmagne, dans le département de la Côte-d'Or et la région Bourgogne-Franche-Comté. Elle est située à la confluence de la combe Saint-Bernard et de la vallée du ruisseau de Fontenay.


Synopsis.

Pierre Brochant, célèbre éditeur parisien, organise chaque mercredi avec des amis un « dîner de cons » : chaque organisateur amène avec lui un « con », intarissable sur un sujet précis, qu'il a déniché au hasard. Ensuite, les organisateurs se moquent des « cons » toute la soirée sans que ces derniers s'en rendent compte. À l'issue du repas, on choisit le champion.  Un ami, Jean Cordier, lui en a trouvé un fabuleux lors d'un trajet en TGV : François Pignon, employé du ministère des Finances qui se passionne pour les constructions de maquettes en allumettes. Pierre Brochant, victime d’un tour de reins à la suite d'un faux mouvement au golf, décide de le recevoir chez lui avant de l’emmener au dîner, afin de l’« étudier » un peu. Offusquée par le concept d’un dîner de cons et ne souhaitant pas en être complice en rencontrant l’intéressé, Christine, la femme de Pierre, décide de quitter les lieux sous le regard du docteur Sorbier, appelé pour le tour de reins de Brochant, qui semble amusé par le concept de dîner de cons.  Brochant est immobilisé chez lui pour recevoir Pignon et devra se résoudre à renoncer à son dîner. Soudain, Christine laisse un message sur son répondeur pour lui annoncer leur rupture. Pignon, que sa femme Florence a quitté deux ans auparavant pour un collègue que lui-même trouve stupide, comprend sa souffrance psychologique et se met en tête de l’aider malgré les supplications continuelles de Brochant pour être laissé seul.  Brochant demande à Pignon d'appeler le docteur Sorbier pour soigner son tour de reins, aggravé par une chute malencontreuse de Pignon alors qu'ils partaient pour se rendre au dîner. Une nouvelle maladresse de Pignon lui fait appeler le mauvais numéro dans le carnet d’adresses de Brochant. Lorsqu'il demande le nom de la personne au bout du fil, croyant alors parler à « Marlène, sa sœur », il confie dans le détail à cette dernière la détresse amoureuse de Brochant. Brochant explique alors à Pignon qu'il a révélé à Marlène Sasseur, une nymphomane hystérique amoureuse de lui, qu'il est désormais célibataire. Ce dernier, voulant à tout prix éviter qu'elle ne débarque chez lui, charge alors Pignon de la rappeler et de lui dire que sa femme est rentrée, car il sait que s'il le fait lui-même, il en aura pour des heures. Pignon commet une nouvelle gaffe et Marlène est déterminée à venir. Brochant appelle Marlène à son tour, et, dans la conversation téléphonique, Marlène suspecte que sa femme est retournée auprès de Juste Leblanc, qui était le meilleur ami de Pierre, avant qu'il ne lui prenne Christine, femme et coautrice de Leblanc pour leur livre, "Le Petit Cheval de Manège". Pignon et Brochant élaborent un stratagème pour en avoir le cœur net. Pignon se fait passer pour un producteur de films, le Belge George Van Brugel des "Films du Plat Pays", souhaitant adapter au cinéma le livre écrit à l’époque par Leblanc et Christine. Pignon se prend au jeu et en finit par oublier Christine. Brochant le charge alors de rappeler Leblanc, mais, par maladresse, Pignon révèle à Leblanc le numéro de téléphone auquel il est joignable, qui n’est autre que le numéro de Brochant. Juste Leblanc, qui a démasqué la supercherie, n’a cependant pas gardé de rancœur envers son vieil ami et lui propose de lui dire quelque chose si jamais il en sait plus.  Pierre se prépare à aller au lit et enjoint Pignon de faire barrage si Marlène se rendait chez lui. Prise de remords, Christine décide de rentrer à la maison. Pignon l’intercepte sur le pas de la porte et, la prenant pour Marlène, ment sur l’état affectif de Brochant en lui affirmant qu’il n’est pas affecté du tout par le départ de sa femme. Apprenant de surcroît l’existence d’une maîtresse de son mari, Christine s’en va pour de bon. Pignon confirme à Brochant qu'il a viré Marlène et Juste Leblanc arrive pour aider Pierre à retrouver Christine.  Leblanc suspectant que Christine pourrait s’être réfugiée dans les bras d’un publicitaire connu, l'obsédé sexuel Pascal Meneaux, qui lui a déjà fait des avances, Brochant doit se résoudre à quémander l’aide de Pignon, qui peut lui trouver son adresse, par l’intermédiaire de Lucien Cheval, son collègue du Ministère des Finances qui travaille en ce moment sur le contrôle fiscal de Meneaux. Alors que Pignon regarde le match de foot pour savoir quand est la mi-temps afin d'appeler Cheval tranquillement, il est appelé par un Brochant furieux. La véritable Marlène Sasseur est arrivée au domicile de Brochant. Ne désirant pas la voir, Brochant l’éjecte sans ménagement de son appartement. Brochant se rend compte que Pignon a en réalité renvoyé sa femme et lui ordonne de partir immédiatement, mais Leblanc le convainc de rester afin qu'il appelle Cheval. Après une querelle de supporters de football, qui l'oblige à rappeler une deuxième fois, Pignon invite Cheval à les rejoindre dans l’appartement de Brochant. Branle-bas de combat ensuite pour dissimuler les bibelots et autres tableaux de valeur – provenant visiblement de revenus non déclarés au fisc – qui parsèment l’appartement, Cheval étant « un des meilleurs contrôleurs de la boîte ». N’ayant comme boisson que des grands crus à servir à ses invités, et ayant appris que Cheval a une bonne connaissance des vins, Brochant ajoute du vinaigre dans le vin qu’il compte lui servir pour prétendre qu’il vit modestement. Dès son arrivée, Cheval n’est toutefois pas dupe, ayant repéré les marques sur les murs ou la poussière sur les tables qui trahissent la présence récente de certains objets. Cependant, Cheval reste hilare et ne rate jamais une occasion de faire des plaisanteries, au grand dam de Brochant. Ce dernier s'énerve et Cheval lui donne immédiatement l'adresse. Leblanc lui propose une stratégie : appeler Meneaux en se faisant passer pour un ami de son associé Jean-Paul Roussin et lui faire croire que Brochant et des amis costauds viennent chez lui pour tout casser car il est au courant pour Meneaux et sa femme. Soit Meneaux vire Christine par panique, soit elle n'est pas chez lui.  Alors que Pignon n’avait cette fois-ci fait aucune gaffe dans le texte à réciter pour passer le coup de téléphone anonyme à Meneaux, ce dernier lui apprend qu’il n’est pas avec Christine, mais avec Charlotte, la femme de Cheval, son contrôleur fiscal, qui le persécute depuis des mois. Désappointé, Cheval rappelle Meneaux et ordonne à sa femme de quitter les lieux immédiatement. Il avale d’une traite le verre de vin trafiqué par Brochant, ce qui l'oblige à se rendre en catastrophe vers les toilettes. Mal orienté par Pignon, il découvre la pièce où ont été entreposés tous les biens de valeur que Brochant voulait lui dissimuler. Reprenant ses esprits, Cheval promet de revenir très prochainement pour un contrôle fiscal en bonne et due forme.  Leblanc quitte l'appartement et promet à Brochant de le prévenir si Christine donne des nouvelles lorsque le téléphone sonne. C'est l'hôpital qui prévient que cette dernière a eu un accident de voiture. Brochant décide de se rendre à l'hôpital seul malgré son tour de reins. Le téléphone sonne à nouveau, Pignon décroche et réceptionne un appel désespéré de Marlène Sasseur, qui regrette de s’être éprise de Brochant, qu’elle considère méchant et égoïste. Elle lui révèle que Brochant participe chaque semaine à un dîner de cons. Pignon comprend alors la véritable nature du dîner auquel il a été convié.  Alors que Pignon réclame des explications sur le dîner, Christine appelle, elle est toujours fâchée après Pierre et lui apprend qu’elle ne veut pas le voir. Ironique avec Pignon, qui le voit désormais comme un homme méchant et désespéré, Brochant se réfugie dans l’alcool et les médicaments.  Pignon décide alors de sa propre initiative d’appeler Christine. Il réussit à la convaincre de changer d’avis en lui expliquant tous les efforts réalisés par son mari pour la retrouver ce soir, et en lui garantissant qu’il s’est débarrassé de sa maîtresse, s’est réconcilié avec son ami Leblanc et a affronté un contrôleur fiscal. Il lui explique également le désastre qu'a provoqué sa rupture avec sa femme deux ans auparavant dans sa vie. Devant l’incrédulité de Christine, qui suspecte que cette conversation a été commandée par Brochant, Pignon prétexte avoir quitté l’appartement et appelé d’une cabine téléphonique. Au terme de cet appel, Christine promet de réfléchir et tout semble enfin arrangé, et Brochant s’excuse humblement auprès de Pignon pour l’avoir considéré comme un « con », s’engageant à ne plus jamais utiliser ce mot à la légère. C’est alors que Christine appelle le domicile de son mari et Pignon décroche le combiné, une nouvelle maladresse qui laissera Christine, voyant que Pignon lui a menti, douter de la sincérité de son mari et raccrocher immédiatement. Tout est à recommencer. La dernière scène montre Pignon navré essayant de rattraper sa bourde irréparable, devant Brochant répétant sans cesse « Mais quel con! ».

Accueil.

Accueil critique.

Sur l'agrégateur américain Rotten Tomatoes, le film récolte d'opinions favorables pour 46 critiques. Sur Metacritic, il obtient une note moyenne de pour.

Le Dîner de cons est un film français réalisé par Francis Veber, sorti en 1998. Veber adapte sa propre pièce de théâtre du même nom dans laquelle Jacques Villeret jouait le même rôle.


Carrière.

Il dispute les tournois juniors du Grand Chelem en 1981, Roland-Garros (défaite contre Mats Wilander en 1/8) Wimbledon (1/32) et l'US Open (1/8).  En, il débute sur le tournoi Challenger de Oporto au Portugal et en sur le circuit principal à Bordeaux et en Coupe Davis où il réalise une remontée de deux sets à rien contre Andrei Chesnokov. Fin 1983, il participe à son premier tournoi du Grand Chelem à l'Open d'Australie puis atteint sa première finale à Adélaïde, mais il lui faudra attendre 1985 et une pour remporter son premier titre, à Rotterdam. Il est absent des courts pendant quatre mois fin 1985 à début 1986 à cause d'une blessure au genou.  Il a disputé deux finales de Grand Chelem à l'US Open en 1986 et à l'Open d'Australie en 1989, toutes deux perdues contre son compatriote Ivan Lendl, sa « bête noire » qui l'a aussi battu en demi-finales de Roland-Garros et de Milan ainsi qu'en finale de Hambourg auxquelles on peut ajouter les finales d'Anvers en 1987 et 1989.  Il a obtenu trois victoires de prestige :
En 1987 à Key Biscayne (futur Masters de Miami en 1990), tournoi considéré cette année-là comme le « Grand Chelem » puisqu'il se déroule sous la même forme qu'en Grand Chelem, c'est-à-dire 7 tours en 5 manches.
En 1987, il remporte la finale du Masters WCT face à John McEnroe qui était l'équivalent du Masters de l'ATP, les deux circuits étaient concurrents à l'époque.
En 1988 aux Jeux olympiques de Séoul, il remporte le titre du simple messieurs à l'occasion du retour du tennis aux Jeux olympiques (ainsi qu'une médaille de bronze en double avec pour partenaire Milan Šrejber).  Il est le seul joueur à battre Mats Wilander en Grand Chelem en 1988, en 1/4 de finale de Wimbledon, ensuite en 1/2 il mène deux sets à rien mais perd finalement le match contre Stefan Edberg.  Il remporte la première édition de la Hopman Cup en 1989 avec Helena Suková.  Il fait partie des joueurs qui ont remporté des tournois sur toutes les surfaces et un des rares à l'avoir fait sur une année, en 1987 (Gazon, terre battue, dur, moquette indoor).  En double il a remporté le Masters avec Tomáš Šmíd en 1987.  Il arrête prématurément sa carrière en à Wimbledon (à 26 ans et 8 années sur le circuit) pour cause de blessure au dos, il influencera par la suite beaucoup de joueurs tels que Marcelo Ríos, Andreï Medvedev, Karol Kučera, Martina Hingis et Andy Murray à ses débuts, avant que celui-ci n'adopte un style de jeu plus défensif.  Malgré son palmarès relativement faible au regard de ses capacités et sa carrière météorique, Miloslav Mečíř est considéré comme un joueur majeur de l'histoire du tennis. Il s'est fait aussi remarquer par son comportement décontracté, imperméable à toute forme de stress.  À l'US Open 1986, il est le dernier joueur à jouer une finale de Grand Chelem avec une raquette en bois. Le dernier vainqueur est Yannick Noah.  Il n'a jamais joué en double mixte hormis à la Hopman Cup.  Il était surnommé "le chat" pour son incroyable toucher de balle et sa félinité dans ses déplacements, en dépit de son grand gabarit ( et ).  Il est actuellement capitaine de l'équipe de Slovaquie de Coupe Davis.

Miloslav Mečíř, né le à Bojnice, est un joueur de tennis slovaque, ayant joué pour la Tchécoslovaquie. Professionnel de 1982 à 1990, il a remporté onze titres en simple messieurs, dont deux titres majeurs, la médaille d'or olympique à Séoul en 1988 ainsi que les WCT Finals en 1987. Il a également été finaliste de l'US Open en 1986 et de l'Open d'Australie en 1989, et s'est adjugé trois "Grand Prix Super Series", ancêtres des Masters 1000, à Hambourg en 1985, à Miami en 1987, ainsi qu'à Indian Wells en 1989.


Histoire.

L'Académie jésuite.

Les débuts de ce qui allait devenir l’université remontent au, lorsque l’empereur Léopold de Habsbourg autorisa par décret l'institution d’une Académie Jésuite dans la ville libre de Zagreb. En vertu de ce décret, l'enseignement de la philosophie acquérait un statut formel et légal, et la "Neoacademia Zagrabiensis" devenait officiellement une institution d'enseignement supérieur nationale.  L’académie continua d'être administrée par les Pères Jésuites pendant plus d'un siècle, jusqu'à ce que cet ordre soit dissout sur ordre du pape Clément XIV en 1773. Cette année-là, l’académie comptait 200 étudiants.  En 1776, l'impératrice Marie-Thérèse promulgua par décret la fondation de l’Académie royale des sciences de Zagreb (), comprenant des facultés de philosophie, de théologie et de droit. L’étude des sciences politiques fut prise en charge par la faculté de droit, et furent ainsi intégrées aux cours de l'Académie. Chaque faculté de l’Académie royale des sciences disposait de plusieurs chaires, consacrées à une ou plusieurs disciplines à la fois.  Malgré de multiples changements administratifs, l’académie de Zagreb demeura jusqu'en 1874 le principal établissement d'enseignement supérieur de Croatie, et forma la plupart des membres de l’"intelligentsia" du pays.

Création de l'université.

L’évêque Josip Juraj Strossmayer proposa en 1861 la fondation de l’université de Zagreb au Parlement de Croatie. C'est en 1869, à l’occasion de sa visite à Zagreb, que l’empereur François-Joseph signa le décret portant création de l’université de Zagreb. Cinq ans plus tard, le Parlement enregistra la loi créant l'université, et celle-ci fut ratifiée par l’empereur le. La cérémonie d'inauguration eut lieu le, faisant ainsi de Zagreb la troisième université de la région hongroise de l’Empire d'Autriche-Hongrie.  En 1874 l’université ne comptait que quatre facultés :

Organisation.

Il y a 29 facultés, 3 académies des arts et un centre universitaire :

Recteurs.

Les recteurs de l'université depuis qu'elle a ce statut en 1874 ː

L’université de Zagreb (en croate "Sveučilište u Zagrebu", en latin "Universitas Studiorum Zagrabiensis") est une université de Zagreb en Croatie, fondée en 1669. Installée dans le quartier de Jarun, elle comporte plus de étudiants. C'est la plus ancienne université des Balkans. Depuis 1874, plus de étudiants ont obtenu un diplôme de licence, plus de une maîtrise et plus de un doctorat.


Biographie.

Issu d'une lignée de chevaliers qui avait pour emblème Wieniawa, Jan Długosz fait ses études à l'Université Jagellonne de Cracovie. Ensuite, l'évêque de Cracovie Zbigniew Oleśnicki le prend à son service. Ce grand personnage est déjà très influent à la fin du règne du roi de Pologne Władysław II Jagellon. Quand ce dernier meurt, laissant la succession à Władysław III, son fils mineur, Oleśnicki prend en mains les rênes de l'État. Au service de l'évêque, dont il est le confident, Długosz occupe d'abord la fonction d'écrivain, puis celle de chancelier. Il devint aussi chanoine du chapitre de Cracovie, alors même qu'il n'est investi que du sous-diaconat (1436). Il reçoit le sacerdoce seulement en 1440. En 1450, le chapitre de Cracovie lui accorda pour son service, une maison, aujourd'hui appelée « la maison de Długosz » et située rue Kanoniczna, près du château royal de Wawel. Vers 1460, il est chanoine, fort bien doté, de la collégiale de Sandomierz.  Après la mort d'Oleśnicki, Długosz devient précepteur de six fils du nouveau roi Kazimierz IV et remplit aussi différentes missions diplomatiques en Prusse, en Hongrie, en Autriche, en Palestine et en Bohême. Lorsqu'en 1471, Władysław, fils de Kazimierz IV, devient roi de Bohême, Jan Długosz est nommé archevêque de Prague, pour avoir négocié cette accession au trône. Néanmoins, craignant de ne pouvoir mener sa tâche à bien, en pays hussite, il refuse cette nomination. Il préféra le canonicat de Gniezno, puis en 1479, l'archevêché de Lwów. Mais il meurt le 19 mai 1480, alors même que le pape donne son accord à son investiture.

Œuvre.

Jan Długosz rédige son "Histoire de la Pologne" à la mort de Zbigniew Oleśnicki, en 1455. Il commence par l'histoire de son temps, c'est-à-dire des années 1410-1434. Travaillant jusqu'à sa mort en 1480, il rédige parallèlement l'histoire du passé de son pays, depuis les origines les plus lointaines, et l'histoire dont il est chaque jour le témoin. Ainsi naît une œuvre colossale, les "Annales seu cronicae incliti Regni Poloniae", composée de douze livres, dont dix racontent l'Histoire jusqu'en 1409, les deux derniers, beaucoup plus volumineux que les précédents, concernant l'époque contemporaine de Długosz.  Parallèlement à l'histoire de la Pologne, Jan Długosz écrit la série des "Żywoty" (Vies), dont des vies de saints, typiques de l'hagiographie médiévale : saint Stanisław, et la bienheureuse Kinga ; les biographes des ordinaires des différents diocèses, celles des archevêques de Gniezno, des évêques de Cracovie, de Wrocław, de Poznań, de Włocławek et de Płock, y sont chronologiquement classées.  Au cours des dernières années de sa vie, il rédige "Insignia seu clenodia Regni Poloniae ( Klejnoty Długoszowe" ou "Armoiries de Długosz"). C'est le plus ancien armoriai du Royaume de Pologne : le second ne fut établi qu'un siècle plus tard. Długosz décrit les blasons des domaines polonais, des évêchés et de certaines familles chevaleresques. Ici encore, il est pionnier.  Un Prix Jan Długosz est décerné chaque année depuis 1998 à Cracovie lors de la Foire du livre de Cracovie.

Jan Długosz ( à Brzeźnica - à Cracovie), dit aussi en latin "Johannes Longinus", est un diplomate, ecclésiastique et historien polonais.


Biographie.

Du cavalier au feld-maréchal, 1756–1790.

Frédéric Josias de Saxe-Cobourg-Saalfeld naît à Cobourg dans la nuit du 26 au 27 décembre 1737. Il est le plus jeune fils du duc François-Josias de Saxe-Cobourg-Saalfeld et de la princesse Anne-Sophie de Schwarzbourg-Rudolstadt, et, à ce titre, s'oriente vers une carrière militaire. Il entre dans l'Armée impériale le 4 janvier 1756 comme "Rittmeister" au régiment de cuirassiers "Anspach". Le jeune prince — il n'a alors que 18 ans — fait ses premières armes lors de la guerre de Sept Ans et s'y distingue par sa bravoure. Il se bat à Lobositz, Prague et Hochkirch, où il est grièvement blessé, puis à Landshut et Liegnitz. Entre temps, il a reçu son élévation au grade d’"Oberstleutnant" le 16 avril 1758, avant d'être fait "Oberst" (colonel) le 16 janvier de l'année suivante.  Après la fin des hostilités, Saxe-Cobourg est nommé successivement général-major le 30 juillet 1766, "Feldmarschall-Leutnant" le mai 1773 et "General der Kavallerie" le 22 août 1786, associé au poste de gouverneur militaire de la Galicie et de la Bucovine. Il obtient en outre la charge d’"Inhaber" (propriétaire) du régiment de dragons en 1769. Les affrontements reprennent avec la guerre de Succession de Bavière, à laquelle il participe de 1778 à 1779. En 1788, il est envoyé sur le front ottoman à la tête d'un corps d'armée et envahit la Moldavie. Après une série de combats victorieux face à l'armée d'Ibrahim Pacha, le prince vient mettre le siège devant la ville de Chocim le 15 mai. La place capitule le 16 septembre, livrant aux Impériaux un important matériel.  Saxe-Cobourg continue sur sa lancée et, avec le concours des troupes russes du général Souvorov, bat les Ottomans à Focşani le 21 juillet 1789. Fait chevalier de l'ordre militaire de Marie-Thérèse, il remporte une nouvelle victoire sur les Turcs lors de la bataille de Râmnic le 22 septembre, et sort vainqueur à Martinestje le lendemain. À la suite de cet affrontement, il est élevé à la dignité de feld-maréchal le 3 octobre. Il se lance ensuite à la conquête de la Valachie et s'empare de Bucarest, où il est accueilli avec enthousiasme par la population. Il conclut sa campagne par la prise d'Orșova en avril 1790.

Guerres révolutionnaires, 1793–1794.

Premières victoires en Belgique et en France.

Au mois de février 1793, le prince de Saxe-Cobourg est nommé "Reichsgeneralfeldmarschall", grade qui lui est confirmé par décret le 8 avril, et commandant en chef de l'armée impériale dans les Pays-Bas. Le Saint-Empire est alors partie prenante de la Première Coalition contre la France révolutionnaire. Le mars, Cobourg attaque le corps de réserve français sous le commandement du général Lanoue à Aldenhoven ; chargés par la cavalerie impériale, les troupes révolutionnaires sont mises en déroute, perdant hommes, sept canons et deux drapeaux. Deux jours plus tard, les Français abandonnent le siège de Maastricht. Le 18 mars, Cobourg se heurte près de Neerwinden à l'armée française du général Charles François Dumouriez. Les effectifs s'équilibrent à environ hommes de part et d'autre. En position défensive, le prince divise son armée en trois groupes : l'archiduc Charles à droite, Colloredo et le duc de Wurtemberg au centre et enfin Clerfayt à gauche avec les réserves. L'attaque française commence au matin, bouscule le flanc gauche des Impériaux et enlève Neerwinden, mais Clerfayt parvient à rétablir la situation et reprend le village après une lutte acharnée. Assaut après assaut, Dumouriez tente vainement de percer les lignes de Cobourg. Il ordonne la retraite le matin du 19 mars, après avoir perdu hommes et 30 canons, contre seulement pertes chez les impériaux. Le 23 mars, Cobourg défait une dernière fois Dumouriez à Louvain.  La victoire de Neerwinden ouvre à l'armée de Cobourg les portes de la Belgique. À ce stade, le prince est partisan d'une entente diplomatique avec la France en vue de mettre fin à la guerre, allant même jusqu'à déclarer :. Durement sermonné par le cabinet de Vienne, il est toutefois contraint à l'action. Les forces de la Coalition, comprenant l'armée impériale et le corps anglo-hanovrien auxquels s'ajoute un contingent néerlandais, totalisent alors hommes sous les ordres de Cobourg. Ce dernier assiège rapidement Condé-sur-l'Escaut et Valenciennes qui capitulent au mois de juillet 1793, créant une brèche dans le dispositif de défense français. Parallèlement aux opérations de siège, il remporte les batailles de Raismes, le 8 mai, et de Famars le 23 mai. Il obtient ensuite la reddition du Quesnoy le 13 septembre, mais ses alliés échouent à enlever Dunkerque. La situation stratégique reste cependant très favorable à la Coalition :

Le temps des revers : Wattignies et Fleurus.

Cambrai et Bouchain, dépourvues de garnison, sont à la merci de Cobourg, mais le commandant de l'armée impériale choisit d'abord de prendre Maubeuge. Le siège commence le 30 septembre 1793. De son côté, pressé par le Comité de salut public, le général Jean-Baptiste Jourdan, nouveau commandant en chef de l'armée française du Nord, décide de prendre l'offensive pour battre les forces de Cobourg et libérer Maubeuge. L'armée impériale prend position sur les hauteurs de Wattignies que le prince fait fortifier et garnir d'artillerie. Confiant dans ses chances de succès, il déclare :, un mot peut-être apocryphe. La bataille de Wattignies débute le 15 octobre. Les attaques françaises se succèdent toute la journée mais sont refoulées de partout, aussi bien à droite qu'à gauche et au centre, si bien que Cobourg croit la bataille gagnée. Cependant, les combats reprennent le lendemain avec la même intensité ; emmenés par leurs chefs, Jourdan et Carnot en tête, les Français se rendent maîtres du terrain en dépit des efforts des troupes de Cobourg. Tardivement renforcé par le duc d'York, Cobourg ordonne la retraite derrière la Sambre et lève le siège de Maubeuge. Son armée prend peu après ses quartiers d'hiver et reste inactive jusqu'en avril de l'année suivante.  À cette date, le prince lance une offensive contre la forteresse de Landrecies qui, selon la stratégie des coalisés, doit servir de point de concentration des armées alliées avant d'entamer la marche sur Paris. Cobourg dispose pour cette campagne d'environ hommes, répartis entre les forces du à gauche, les siennes au centre et celles du comte de Clerfayt à droite. Arrivé depuis peu au quartier-général des armées à Valenciennes, c'est l'empereur François II en personne qui dirige l'ensemble, supplantant ainsi Cobourg au commandement suprême des forces de la Coalition. Landrecies, rapidement assiégée, capitule le 30 avril 1794 en dépit des tentatives de secours du général Pichegru. Le manque de coordination entre les généraux et les rivalités qui les opposent affectent cependant la cohésion du haut commandement allié. Cobourg est sévèrement battu à la bataille de Tourcoing le 18 mai, laissant sur le terrain hommes et six canons. Mack, le chef d'état-major, qui a parlé avant le combat d' l'armée française, est remplacé. Le prince prend sa revanche quelques jours plus tard à Tournai où il contraint Pichegru à la retraite après lui avoir infligé des pertes d'environ. Le retour de l'empereur à Vienne intervient dès le 13 juin, ce qui permet à Cobourg de reprendre la direction générale des opérations.  Le général en chef des armées de la Coalition a alors face à lui deux armées françaises, bientôt renforcées par une troisième sous le commandement de Jourdan. Le 12 mai, ce dernier a déjà réussi à expulser Beaulieu de la ville d'Arlon ; puis, refoulant le corps du prince de Kaunitz, ses troupes ont franchi la Sambre et mis le siège devant Charleroi. Devant l'urgence de la situation, Kaunitz, trop faible pour s'interposer, sollicite l'appui de Cobourg. Celui-ci, après plusieurs jours de marches forcées, arrive enfin à proximité de la place le 26 juin et se prépare aussitôt à livrer bataille, sans savoir que Charleroi s'est rendu la veille aux assiégeants. Les forces françaises se retranchent sur les hauteurs de Fleurus, avec Kléber à Trazegnies, Championnet à Heppignies et les deux divisions Marceau et Lefebvre à Lambusart. De son côté, supervisant lui-même les opérations à gauche, Cobourg délègue le commandement du centre au général Quasdanovich et celui de l'aile droite au prince d'Orange. Les attaques s'effectuent cependant sans coordination aucune dans le camp des Alliés. Orange s'élance le premier mais est tenu en échec devant Trazegnies ; puis c'est au tour de Quasdanovich d'entrer dans l'action, qui parvient dans un premier temps à arracher Heppignies avant d'en être chassé par une contre-attaque conjuguée des troupes de Jourdan et de Championnet. Le prince de Cobourg, enfin, s'engage en dernier avec la colonne de droite avec laquelle il se dirige sur Lambusart. La division Marceau est très vite accablée sous le nombre et il faut l'intervention de Lefebvre, puis des réserves commandées par Jourdan pour rejeter les Impériaux de la localité. Tenu en échec sur l'ensemble du front, et informé sur ces entrefaites de la capitulation de Charleroi, le prince se résout à battre en retraite. Les pertes s'équilibrent à environ hommes dans les deux camps.  La défaite de Cobourg à Fleurus entraîne la perte de Bruxelles le 10 juillet et, à court terme, de toute la Belgique. Le 16, peu après la chute de Namur, il est vaincu une dernière fois par Jourdan aux environs de Louvain. À la suite de cet ultime revers, il demande à être relevé de son commandement tout en rejetant la responsabilité de la défaite sur ses subordonnés, qu'il accuse d'avoir volontairement fait échouer la campagne pour intriguer contre lui. Le prince est démis de ses fonctions le 9 août 1794 et est remplacé le septembre par le comte de Clerfayt. Il se retire ensuite dans ses terres de Cobourg où il meurt le 26 février 1815, à l'âge de 77 ans.

Famille.

Frédéric Josias est le frère cadet de Christian François de Saxe-Cobourg-Saalfeld (1730–1797), qui a également fait carrière dans l'armée sans dépasser toutefois le grade de général-major. Son neveu, Louis Charles Frédéric de Saxe-Cobourg-Saalfeld (1755–1806), devient quant à lui "Feldmarschall-Leutnant" en 1796.  En 1789, le prince épouse Thérèse Stroffeck dans un mariage morganatique. Leur fils Friedrich (1789–1873) devient "Baron von Rohmann" sans pouvoir prétendre aux titres de son père.

Considérations.

Très courageux de sa personne, doté d'un calme et d'un sang-froid remarquables, Saxe-Cobourg reste cependant sur le plan tactique un chef prudent, plus habile à diriger des opérations défensives que des attaques de grande ampleur. À Fleurus, sa décision de culbuter l'armée française sur tous les points se révèle doublement inefficace, d'une part en raison de l'étendue du champ de bataille — — et d'autre part l'impossibilité de coordonner l'action de ses subordonnés depuis un seul point. Il est également critiqué pour avoir ordonné la retraite alors que l'issue des combats peut encore lui être favorable. Le repli de ses troupes, en dépit de la perte de la Belgique, s'effectue toutefois avec succès et lui permet de sauver la quasi-totalité de ses forces de la destruction.  Dans l'ensemble, ses campagnes en Belgique et en France se soldent par un échec. À sa décharge, il convient cependant de noter que les dissensions au sein du commandement allié altèrent le bon déroulement des opérations. Dans sa lettre de démission à l'empereur François II, Cobourg accuse ses généraux d'avoir fait volontairement échouer la campagne à force d'intrigues et d'une.  Son élévation au sommet de la hiérarchie militaire doit beaucoup à ses victoires contre les Turcs durant la campagne de 1788 à 1789, en grande partie dues à sa bonne entente avec son homologue russe, le général Alexandre Souvorov qu'il considère comme son maître. Dans son "Précis historique" sur Souvorov, un ancien officier d'état-major confirme que. À l'issue de ses 37 années de service, Saxe-Cobourg a été le témoin de 13 campagnes et 16 batailles, dont 11 en tant que commandant en chef durant les guerres révolutionnaires.

Hommages.

Dans les années 1792 à 1793, le musicien Joseph Haydn compose en son honneur la "Josias-Coburg-Marsch" (« La marche de Josias Cobourg »).

Le prince Frédéric Josias de Saxe-Cobourg-Saalfeld est un feld-maréchal du Saint-Empire servant dans l'Armée impériale, né le à Cobourg et mort le dans cette même ville. Il commence sa carrière militaire à l'âge de 18 ans dans un régiment de cuirassiers avec lequel il prend part à la guerre de Sept Ans. Sa bravoure lui permet d'accéder rapidement aux grades supérieurs : colonel en 1759, il devient officier général au cours des années suivantes et, à ce titre, prend la tête d'un corps d'armée lors de la guerre austro-turque. Il guerroie avec succès en Moldavie où il remporte les victoires de Focşani, Râmnic et Martinestje contre les Ottomans, ce qui lui vaut la dignité de feld-maréchal en 1789.


Présentation informelle.

En lambda-calcul, tout est fonction.

L'idée de base du lambda-calcul est que "tout est fonction". Une fonction est en particulier exprimée par une expression qui peut contenir des fonctions qui ne sont pas encore définies : ces dernières sont alors remplacées par des variables. Il existe une opération de base, appelée "application" :  Appliquer l'expression formula_1 (qui décrit une fonction) à l'expression formula_2 (qui décrit une fonction) se note formula_3.

Comment « fabriquer » des fonctions?

On peut aussi fabriquer des fonctions en disant que si "E" est une expression, on crée la fonction qui à "x" fait correspondre l'expression "E;" On écrit "λx.E" cette nouvelle fonction.  Le nom de la variable n'est pas plus important qu'il ne l'est dans une expression comme "∀x P(x)" qui est équivalente à "∀y P(y)". Autrement dit si "E[y/x]" est l'expression "E" dans laquelle toutes les occurrences de "x" ont été renommées en "y", on considérera que les expressions "λx.E" et "λy.E[y/x]" sont équivalentes.  En utilisant les outils dont on vient de se doter, on obtient, par applications et abstractions, des fonctions assez compliquées que l'on peut vouloir simplifier ou évaluer. Simplifier une application de la forme "(λx.E) P" revient à la transformer en une variante de l'expression "E" dans laquelle toute occurrence libre de "x" est remplacée par "P". Cette forme de simplification s'appelle une contraction (ou une β-"contraction" si l'on veut rappeler que l'on applique la règle β du lambda-calcul).

Quelques fonctions.

Sur cette base, on peut construire quelques fonctions intéressantes, comme la "fonction identité" formula_4, qui est la fonction qui à formula_5 fait correspondre formula_5, autrement dit la fonction formula_7. On peut aussi construire la fonction constante égale à formula_5, à savoir formula_9.  De là on peut construire la fonction qui fabrique les fonctions constantes, pourvu qu'on lui donne la constante comme paramètre, autrement dit la fonction formula_10, c'est-à-dire la fonction qui à formula_5 fait correspondre la fonction constamment égale à formula_5.  On peut aussi par exemple construire une fonction formula_13 qui permute l'utilisation des paramètres d'une autre fonction, plus précisément si formula_14 est une expression, on voudrait que formula_15 fonctionne comme formula_16. La fonction formula_17 est la fonction formula_18. Si on applique la fonction formula_17 à formula_20 on obtient formula_21 que l'on peut simplifier en formula_22.  Jusqu'à maintenant nous avons été assez informels. L'idée du lambda-calcul consiste à fournir un langage précis pour décrire les fonctions et les simplifier.

Syntaxe.

Le lambda calcul définit des entités syntaxiques que l'on appelle des "lambda-termes" (ou parfois aussi des "lambda expressions") et qui se rangent en trois catégories :  L’application peut être vue ainsi : si est une fonction et si est son argument, alors est le résultat de l'application à de la fonction.  L’abstraction peut être interprétée comme la formalisation de la fonction qui, à, associe, où contient en général des occurrences de.  Ainsi, la fonction qui prend en paramètre le lambda-terme et lui ajoute "2" (c'est-à-dire en notation mathématique courante la fonction ) sera dénotée en lambda-calcul par l'expression. L'application de cette fonction au nombre "3" s'écrit et s'« évalue » (ou se normalise) en l'expression "3+2".

Origine du λ.

Alonzo Church connaissait la relation entre son calcul et celui des "Principia Mathematica" de Russell et Whitehead. Or ceux-ci utilisent la notation formula_23 pour noter l'abstraction, mais Church utilisa à la place la notation formula_24 qui devint par la suite formula_25. Peano a lui aussi défini l'abstraction dans son "Formulaire de mathématique", il utilise notamment la notation, formula_26 pour noter la fonction formula_27 telle que formula_28.

Notations, conventions et concepts.

Parenthésage.

Pour délimiter les applications, on utilise des parenthèses, mais par souci de clarté, on omet certaines parenthèses. Par exemple, on écrit "x" "x"... "x" pour (("x" "x")... "x").  Il y a en fait deux conventions :

Curryfication.

Shönfinkel et Curry ont introduit la curryfication : c'est un procédé pour représenter une fonction à plusieurs arguments. Par exemple, la fonction qui au couple ("x", "y") associe "u" est considérée comme une fonction qui, à "x", associe une fonction qui, à "y", associe "u". Elle est donc notée : "λx.(λy.u)". Cela s'écrit aussi "λx.λy.u" ou "λxλy.u" ou tout simplement "λxy.u". Par exemple, la fonction qui, au couple ("x", "y") associe "x"+"y" sera notée "λx.λy.x+y" ou plus simplement "λxy.x+y".

Variables libres et variables liées.

Dans les expressions mathématiques en général et dans le lambda calcul en particulier, il y a deux catégories de variables : les variables libres et les variables liées (ou "muettes"). En lambda-calcul, une variable est liée par un λ. Une variable liée a une portée et cette portée est locale. De plus, on peut renommer une variable liée sans changer la signification globale de l'expression entière où elle figure. Une variable qui n'est pas liée est dite libre.

Variables liées en mathématiques.

Par exemple dans l'expression formula_29, la variable formula_5 est libre, mais la variable formula_31 est liée (par le formula_32). Cette expression est « la même » que formula_33 car formula_31 était un nom local, tout comme l'est formula_35. Par contre formula_36 ne correspond pas à la même expression car le formula_35 est libre.  Tout comme l'intégrale lie la variable d'intégration, le formula_38 lie la variable qui le suit.  Exemples:

Définition formelle des variables libres en lambda-calcul.

On définit l'ensemble "VL(t)" des "variables libres" d'un terme "t" par récurrence :

Terme clos et terme ouvert.

Un terme qui ne contient aucune variable libre est dit clos (ou fermé). On dit aussi que ce lambda-terme est un "combinateur" (d'après le concept apparenté de logique combinatoire).  Un terme qui n'est pas clos est dit ouvert.

Substitution et α-conversion.

L'outil le plus important pour le lambda-calcul est la substitution qui permet de remplacer, dans un terme, une variable par un terme. Ce mécanisme est à la base de la réduction qui est le mécanisme fondamental de l'évaluation des expressions, donc du « calcul » des lambda-termes.  La substitution dans un lambda terme "t" d'une variable "x" par un terme "u" est notée "t[x := u]". Il faut prendre quelques précautions pour définir correctement la substitution afin d'éviter le phénomène de capture de variable qui pourrait, si l'on n'y prend pas garde, rendre liée une variable qui était libre avant que la substitution n'ait lieu.  Par exemple, si "u" contient la variable libre "y" et si "x" apparaît dans "t" comme occurrence d'un sous terme de la forme "λy.v", le phénomène de capture pourrait apparaître. L'opération "t[x := u]" s'appelle la substitution dans "t" de "x" par "u" et se définit par récurrence sur "t" :  Remarque : dans le dernier cas on fera attention à ce que "y" ne soit pas une variable libre de "u". En effet, elle serait alors « capturée » par le lambda externe. Si c'est le cas, on renomme "y" et toutes ses occurrences dans "v" par une variable "z" qui n'apparaît ni dans "t" ni dans "u".  L'α-conversion identifie "λy.v" et "λz.v[y := z]". Deux lambda-termes qui ne diffèrent que par un renommage (sans capture) de leurs variables liées sont dits "α-convertibles". L'α-conversion est une relation d'équivalence entre lambda-termes.  Exemples :  Remarque : l'α-conversion doit être définie avec précaution avant la substitution. Ainsi dans le terme "λx.λy.xyλz.z", on ne pourra pas renommer brutalement "x" en "y" (on obtiendrait "λy.λy.yyλz.z") en revanche on peut renommer "x" en "z".  Définie ainsi, la substitution est un mécanisme externe au lambda-calcul, on dit aussi qu'il fait partie de la méta-théorie. À noter que certains travaux visent à introduire la substitution comme un mécanisme interne au lambda-calcul, conduisant à ce qu'on appelle les calculs de "substitutions explicites".

Réductions.

Une manière de voir les termes du lambda-calcul consiste à les concevoir comme des arbres ayant des nœuds binaires (les applications), des nœuds unaires (les λ-abstractions) et des feuilles (les variables). Les réductions ont pour but de modifier les termes, ou les arbres si on les voit ainsi ; par exemple, la réduction de "(λx.xx)(λy.y)" donne "(λy.y)(λy.y)". On appelle "rédex" un terme de la forme "(λx.u) v", où u et v sont des termes et x une variable. On définit la bêta-contraction (ou β-contraction) de "(λx.u) v" comme "u[x := v]". On dit qu'un terme "C[u]" se réduit en "C[u']" si "u" est un rédex qui se β-contracte en "u"', on écrit alors "C[u]"→"C[u']", la relation → est appelée "contraction".  Exemple de contraction :  "(λx.xy)a " donne "(xy)[x := a] = ay".  On note → la fermeture réflexive transitive de la relation de contraction → et on l'appelle "réduction". Autrement dit, une réduction est une suite finie, éventuellement vide, de contractions.  On définit = comme la fermeture réflexive symétrique et transitive de la contraction et elle est appelée "bêta-conversion", β-"conversion", ou plus couramment bêta-équivalence ou β-"équivalence".  La β-équivalence permet par exemple de comparer des termes qui ne sont pas réductibles l'un envers l'autre, mais qui après une suite de β-contractions arrivent au même résultat. Par exemple "(λy.y)x = (λy.x)z" car les deux expressions se contractent pour donner "x".  Formellement, on a "M = M' " si et seulement si "∃ N,..., N" tels que "M = N, M'=N" et, pour tout "i" inférieur à "p" et supérieur à "0", "N→ N" ou "N→ N".  Cela signifie que dans une conversion on peut appliquer des réductions ou des relations inverses des réductions (appelées "expansions").  On définit également une autre opération, appelée êta-réduction, définie ainsi : "λx.ux → u", lorsque x n'apparait pas libre dans u. En effet, "ux" s'interprète comme l'image de "x" par la fonction "u". Ainsi, "λx.ux" s'interprète alors comme la fonction qui, à "x", associe l'image de "x" par "u", donc comme la fonction "u" elle-même.

La normalisation : notions de calcul et de terme en forme normale.

Le calcul associé à un lambda-terme est la suite de réductions qu'il engendre. Le terme est la description du calcul et la "forme normale" du terme (si elle existe) en est le résultat.  Un lambda-terme t est dit en forme normale si aucune bêta-contraction ne peut lui être appliquée, c'est-à-dire si "t" ne contient aucun rédex, ou encore s'il n'existe aucun lambda-terme "u" tel que "t → u". La structure syntaxique des termes en forme normale est décrite plus loin.  On dit qu'un lambda-terme "t" est normalisable s'il existe un terme "u" auquel on ne peut appliquer aucune bêta-contraction et tel que "t = u". Un tel "u" est appelé la "forme normale" de "t".  On dit qu'un lambda-terme "t" est fortement normalisable si toutes les réductions à partir de "t" sont "finies".  Si un terme est fortement normalisable, alors il est normalisable.

Deux théorèmes fondamentaux.

Théorème de Church-Rosser : soient "t" et "u" deux termes tels que "t = u". Il existe un terme "v" tel que "t → v" et "u → v".  Théorème du losange (ou de confluence) : soient "t", "u" et "u" des lambda-termes tels que "t → u" et "t → u". Alors il existe un lambda-terme "v" tel que "u → v" et "u → v".  Grâce au "Théorème de Church-Rosser" on peut facilement montrer l’unicité de la forme normale ainsi que la cohérence du lambda-calcul (c'est-à-dire qu'il existe au moins deux termes distincts non bêta-convertibles).

Structure des termes en forme normale.

On peut décrire la structure des termes en forme normale qui forment l'ensemble formula_50. Pour cela on décrit des termes dits neutres qui forment l'ensemble formula_51. Les termes neutres sont les termes dans lesquels une variable (par exemple formula_5) est appliquée à des termes en forme normale. Ainsi, par exemple, formula_53 est neutre si formula_54... formula_55 sont en forme normale. Les termes en forme normale sont les termes neutres précédés de zéro, un ou plusieurs λ, autrement dit, des abstractions successives de termes en forme normale. Ainsi formula_56 est en forme normale. On peut décrire les termes en forme normale par une grammaire.  "Exemples" : formula_5 est neutre, donc aussi en forme normale. formula_58 est en forme normale. formula_59 est neutre. formula_60 est en forme normale. formula_61, car il n'est pas neutre et il n'est pas une abstraction d'un terme en forme normale, mais aussi parce qu'il est lui-même un β-rédex, donc β-réductible.

Différents lambda-calculs.

Sur la syntaxe et la réduction du lambda-calcul on peut adapter différents calculs en restreignant plus ou moins la classe des termes. On peut ainsi distinguer deux grandes classes de lambda-calculs : le lambda-calcul non typé et les lambda-calculs typés. Les types sont des annotations des termes qui ont pour but de ne garder que les termes qui sont normalisables, éventuellement en adoptant une stratégie de réduction. On espère ainsi avoir un lambda-calcul qui satisfait les propriétés de Church-Rosser et de normalisation.  La correspondance de Curry-Howard relie un lambda calcul typé à un système de déduction naturelle. Elle énonce qu'un type correspond à une proposition et un terme correspond à une preuve, et réciproquement.

Le lambda-calcul non typé.

Des codages simulent les objets usuels de l'informatique dont les entiers naturels, les fonctions récursives et les machines de Turing. Réciproquement le lambda-calcul peut être simulé par une machine de Turing. Grâce à la thèse de Church on en déduit que le lambda-calcul est un modèle universel de calcul.

Les booléens.

Dans la partie Syntaxe, nous avons vu qu'il est pratique de définir des primitives. C'est ce que nous allons faire ici.  Ceci n'est que la définition d'un codage, et l'on pourrait en définir d'autres.  Nous remarquons que :  et que : Nous pouvons alors définir un lambda-terme représentant l'alternative: "if-then-else". C'est une fonction à trois arguments, un booléen "b" et deux lambda termes "u" et "v", qui retourne le premier si le booléen est vrai et le second sinon.  Notre fonction est bien vérifiée:  On verra de la même manière que À partir de là nous avons aussi un lambda-terme pour les opérations booléennes classiques :

Les entiers.

Le codage des entiers qui suit s'appelle les "entiers de Church" du nom de leur concepteur. On pose :  et d'une manière générale : Ainsi, l'entier n est vu comme la fonctionnelle qui, au couple "≺f, x≻", associe "f (x)".

Quelques fonctions.

Il y a deux manières de coder la fonction "successeur", soit en ajoutant un "f" en tête, soit en queue. Au départ nous avons "n = λfx.f x" et nous voulons "λfx.f x". Il faut pouvoir rajouter un "f" soit au début des "f" (« sous » les lambdas), soit à la fin.  Les autres fonctions sont construites avec le même principe. Par exemple l'addition, en « concaténant » les deux lambda-termes : "λnpfx.n f (p f x)".  Pour coder la "multiplication", on utilise le f pour « propager » une fonction sur tout le terme : "λnpf.n (p f)"  Le "prédécesseur" et la "soustraction" ne sont pas simples non plus. On en reparlera plus loin.  On peut définir le test à 0 ainsi : "if0thenelse = λnab.n (λx.b) a", ou bien en utilisant les booléens "λn.n (λx.faux) vrai".

Les itérateurs.

Définissons d'abord une fonction d'itération sur les entiers : itère = "λnuv.n u v"  "v" est le cas de base et "u" une fonction. Si "n" est nul, on calcule "v", sinon on calcule "u (v)".  Par exemple l'addition qui provient des équations suivantes  peut être définie comme suit. Le cas de base "v" est le nombre "p", et la fonction "u" est la fonction successeur. Le lambda-terme correspondant au calcul de la somme est donc :  On remarquera que "add n p → n "successeur" p".

Les couples.

On peut coder des couples par "c = λz.z a b" où "a" est le premier élément et "b" le deuxième. On notera ce couple "(a, b)". Pour accéder aux deux parties on utilise "π = λc.c (λab.a)" et "π = λc.c (λab.b)". On reconnaîtra les booléens "vrai" et "faux" dans ces expressions et on laissera le soin au lecteur de réduire "π(λz.z a b)" en "a".

Les listes.

On peut remarquer qu'un entier est une liste dont on ne regarde pas les éléments, en ne considérant donc que la longueur. En rajoutant une information correspondant aux éléments, on peut construire les listes d'une manière analogue aux entiers : [a ;... ; a] = λgy. g a (... (g a y)...). Ainsi :

Les itérateurs sur les listes.

De la même manière qu'on a introduit une itération sur les entiers on introduit une itération sur les listes. la fonction liste_it se définit par λlxm.l x m comme pour les entiers. Le concept est à peu près le même mais il y a des petites nuances. Nous allons voir par un exemple.  exemple : La longueur d'une liste est définie par x :: l est la liste de tête x et de queue l (notation ML). La fonction longueur appliquée sur une liste l se code par :  ou tout simplement

Les arbres binaires.

Le principe de construction des entiers, des couples et des listes se généralise aux arbres binaires : Un arbre est soit une feuille, soit un nœud. Dans ce modèle, aucune information n'est stockée au niveau des nœuds, les données (ou clés) sont conservées au niveau des feuilles uniquement. On peut alors définir la fonction qui calcule le nombre de feuilles d'un arbre : nb_feuilles = λa.arbre_it a (λbc.add b c) (λn.1), ou plus simplement: nb_feuilles = λa.a add (λn.1)

Le prédécesseur.

Pour définir le prédécesseur sur les entiers de Church, il faut utiliser les couples. L'idée est de reconstruire le prédécesseur par itération : pred = λn.π (itère n (λc.(π c, successeur (π c))) (0,0)). Puisque le prédécesseur sur les entiers naturels n'est pas défini en 0, afin de définir une fonction totale, on a ici adopté la convention qu'il vaut 0.  On vérifie par exemple que pred 3 → π (itère 3 (λc.(π c, successeur (π c))) (0,0)) → π (2,3) → 2.  On en déduit que la soustraction est définissable par : sub = λnp.itère p pred n avec la convention que si p est plus grand que n, alors sub n p vaut 0.

La récursion.

En combinant prédécesseur et itérateur, on obtient un "récurseur". Celui-ci se distingue de l'itérateur par le fait que la fonction qui est passée en argument a accès au prédécesseur.  rec = λnfx.π (n (λc.(f (π c) (π c), successeur (π c))) (x, 0))

Combinateurs de point fixe.

Un combinateur de point fixe permet de construire pour chaque "F", une solution à l'équation "X = F X". Ceci est pratique pour programmer des fonctions qui ne s'expriment pas simplement par itération, telle que le pgcd, et c'est surtout nécessaire pour programmer des fonctions partielles.  Le combinateur de point fixe le plus simple, dû à Curry, est :  Turing a proposé un autre combinateur de point fixe : On vérifie que formula_62 quel que soit g. Grâce au combinateur de point fixe, on peut par exemple définir une fonction qui prend en argument une fonction et teste si cette fonction argument renvoie vrai pour au moins un entier : teste_annulation = λg.Y (λfn.ou (g n) (f (successeur n))) 0.  Par exemple, si on définit la suite alternée des booléens "vrai" et "faux" : alterne = λn.itère n non faux, alors, on vérifie que : teste_annulation alterne → ou (alterne 0) (Y (λfn.ou (alterne n) (f successeur n)) (successeur 0)) → ou (alterne 1) (Y (λfn.ou (alterne n) (f successeur n)) (successeur 1)) → vrai.  On peut aussi définir le pgcd : pgcd = Y (λfnp.if0thenelse (sub p n) (if0thenelse (sub n p) p (f p (sub n p))) (f n (sub p n))).

Connexion avec les fonctions partielles récursives.

Le récurseur et le point fixe sont des ingrédients clés permettant de montrer que toute fonction partielle récursive est définissable en λ-calcul lorsque les entiers sont interprétés par les entiers de Church. Réciproquement, les λ-termes peuvent être codés par des entiers et la réduction des λ-termes est définissable comme une fonction (partielle) récursive. Le λ-calcul est donc un modèle de la calculabilité.

Le lambda-calcul simplement typé.

On annote les termes par des expressions que l'on appelle des "types". Pour cela, on fournit un moyen de donner un type à un terme. Si ce moyen réussit, on dit que le terme est bien typé. Outre le fait que cela donne une indication sur ce que « fait » la fonction, par exemple, elle transforme les objets d'un certain type en des objets d'un autre type, cela permet de garantir la normalisation forte, c'est-à-dire que, pour tous les termes, toutes les réductions aboutissent à une forme normale (qui est unique pour chaque terme de départ). Autrement dit, tous les calculs menés dans ce contexte terminent. Les types simples sont construits comme les types des fonctions, des fonctions de fonctions, des fonctions de fonctions de fonctions vers les fonctions, etc. Quoi qu'il puisse paraître, le pouvoir expressif de ce calcul est très limité (ainsi, l'exponentielle ne peut y être définie, ni même la fonction formula_63).  Plus formellement, les types simples sont construits de la manière suivante:  Intuitivement, le second cas représente le type des fonctions acceptant un élément de type formula_65 et renvoyant un élément de type formula_66.  Un contexte formula_70 est un ensemble de paires de la forme formula_71 où formula_5 est une variable et formula_73 un type. Un jugement de typage est un triplet formula_74 (on dit alors que formula_75 est bien typé dans formula_70), défini récursivement par:  Si on a ajouté des constantes au lambda calcul, il faut leur donner un type (via formula_70).

Les lambda-calculs typés d'ordres supérieurs.

Le lambda-calcul simplement typé est trop restrictif pour exprimer toutes les fonctions calculables dont on a besoin en mathématiques et donc dans un programme informatique. Un moyen de dépasser l'expressivité du lambda-calcul simplement typé consiste à autoriser des variables de type et à quantifier sur elles, comme cela est fait dans le système F ou le calcul des constructions.

Le lambda calcul et les langages de programmation.

Le lambda-calcul constitue la base théorique de la programmation fonctionnelle et a ainsi influencé de multiples langages de programmation. Le premier d'entre eux est Lisp qui est un langage non typé. Plus tard, ML et Haskell, qui sont des langages typés, seront développés.

Les indices de de Bruijn.

Les indices de de Bruijn sont une notation du lambda calcul qui permet de représenter par un terme, chaque classe d'équivalence pour l'α-conversion. Pour cela, de Bruijn a proposé de remplacer chaque occurrence d'une variable par un entier naturel. Chaque entier naturel dénote le nombre de λ qu'il faut croiser pour relier l'occurrence à son lieur.  Ainsi le terme " λ x. x x" est représenté par le terme " λ 0 0" tandis que le terme " λx. λy. λz.x z (y z)" est représenté par " λ λ λ 2 0 (1 0)", parce que, dans le premier cas, le chemin de "x" à son lieur ne croise aucun λ, tandis que, dans le deuxième cas, le chemin de "x" à son lieur croise deux λ (à savoir "λy" et "λz"), le chemin de "y" à son lieur croise un λ (à savoir "λz") et le chemin de "z" à son lieur ne croise aucun λ.  Comme autre exemple, le terme "(λ x λ y λ z λ u. (x (λ x λ y. x))) (λ x. (λ x. x) x)" et un terme qui lui est α-équivalent, à savoir "(λ x λ y λ z λ u. (x (λ v λ w. v))) (λ u. (λ t. t) u)" sont représentés par (λ λ λ λ (3 (λ λ 1))) (λ (λ 0) 0) (voir la figure).

Jean-Andoche Junot, duc d’Abrantès, dit « la Tempête », né le à Bussy-le-Grand et mort le à Montbard, est un général français du Premier Empire, colonel général des hussards.


Étymologie.

La première référence à ce mot est biblique : dans la Genèse (10:5), le pluriel "goyim" () est employé pour désigner les nations, plus souvent non israélites. Il peut toutefois être utilisé pour désigner Israël, notamment lorsque Dieu promet à Abraham de faire de sa descendance un « grand peuple » ("goy gadol" - Gen. 12:2) et à Israël de devenir une nation sainte ("goy kadosh" — Exode 19:6).

Les goyim dans la Bible hébraïque.

Le terme "goy" apparaît plus de 550 fois dans le Tanakh. Il se réfère le plus souvent au peuple d'Israël dans les premiers livres puis, moins souvent et en particulier dans les derniers livres, aux autres peuples. La traduction parfois adoptée en français est de parler des "gentils" pour désigner les nations non juives. La mention de "Goyim" dans Genèse 14:1 n'est généralement pas traduite, et désigne, selon certains, les Gutis.  Qu'il soit au singulier, ou au pluriel, le mot "goy" réfère toujours à une collectivité, jamais à des individus. Des non-Israélites ou non-Juifs comme Ruth, Laban ou Abimelekh sont désignés en fonction de leur pays d'appartenance. Le terme désignant un étranger est "nokhri", également traduit par "Gentil".

Les goyim dans le Nouveau Testament.

Le terme "goyim" est calqué en grec, tant dans la Septante que dans le Nouveau Testament par "ethnè", qui a le même double sens, mais signifie en réalité la plupart du temps, d'après le contexte, les « non juifs ».

Les goyim dans le Talmud.

Les Talmuds ont été compilés à une époque où les Juifs avaient perdu leur autonomie politique et territoriale. Ils étaient en contact fréquent avec des Gentils, d'où l'importance que ceux-ci tiennent dans ces sommes de tradition rabbinique. Le mot "goy" désigne désormais non seulement les nations, mais aussi les individus ; il acquiert même la forme féminine, "goya". Quant au rôle des "goyim" ou leur représentation aux yeux des Sages,  En effet, selon, le principe le plus important de la Torah est « Ceci est le livre des générations d'Adam etc. » Il n'y a qu'un homme, dont descend toute l'humanité, enfants d'Israël comme ceux des 70 nations.

Les goyim et le salut.

Pour ne pas faire partie du peuple juif, les "goyim" n'en sont pas pour autant dispensés de leur part dans le monde à venir. N'ayant pas reçu la Torah, ils ne sont cependant pas astreints au joug de ses "mitzvot" (prescriptions), qu'une tradition rabbinique évalue à 613. La même tradition rabbinique déduit de deux versets de la parashat No'ah (Genèse 9:4-6) sept prescriptions, énoncées dans le Talmud : Ces sept prescriptions, appelées lois noahides, passent pour être l'alliance contractée par Dieu avec Noé et ses fils. Elles sont donc pour le judaïsme les plus générales et les plus anciennes, et sont supposées s'appliquer à l'ensemble de l'humanité, puisque celle-ci tout entière descend selon la Bible de Noé. Les enfants d'Israël en sont une branche apparue postérieurement et choisie par Dieu pour recevoir Sa Loi, ainsi que ses commandements plus nombreux.  Le "hassid oumot haolam", « juste parmi les nations » est celui qui respecte ces sept lois noa'hides, et a donc sa part au monde à venir, quand les Juifs doivent en observer six cent treize. Néanmoins, Dieu est supposé avoir un attachement particulier pour Son peuple, et Sa miséricorde compense la difficulté.

Accusations chrétiennes.

Au Moyen Âge, chrétiens et juifs convertis au christianisme lancent des accusations envers le Talmud au cours de disputations publiques, disant y trouver des passages démontrant le rejet inhérent au judaïsme envers les "goyim". Certaines reviennent de façon récurrentes :  La première de ces accusations, qui connaîtra une grande longévité puisqu'elle figurera encore dans le procès de Mendel Beilis au, repose sur une citation de Keritot 6b, réitérée dans Yebamot 61a : « « Vous êtes nommés "adam" (homme), et les nations du monde ne sont pas nommées "adam" ».  Ce passage du Talmud rapproche en fait deux versets bibliques, Lévitique 18:5 qui porte le terme "ha-adam", c'est-à-dire l'homme en général, et Ézéchiel 34:31, dans lequel figure "adam", c'est-à-dire, selon le Talmud, "Adam", la lignée messianique qui descend du premier homme au fils de l'Homme, seule soumise à l'ensemble des lois de la Torah.L'accusation chrétienne se base donc sur une traduction identique de deux termes différents, "ha-adam" et "adam", qui se lit « Vous êtes nommés "adam" (homme), et les nations du monde ne sont pas nommées "ha-adam" » (la lignée messianique soumise à la Halakha). C'est d'ailleurs en conséquence de cette exonération des règles de la Halakha qu'il était de coutume parmi les Juifs d'employer des Gentils qui accomplissaient les tâches interdites aux Juifs le Sabbath, comme allumer un feu, bien que cet usage fût "stricto sensu" déconseillé par le Talmud. Ces Gentils étaient appelés "goy chel chabbath" ou selon une appellation yiddisch plus courante "shabbes goy", et de nombreux rabbins rédigèrent des "responsa" en faveur du maintien de cet usage.  La seconde accusation (interdiction sous peine de mort d'enseigner le Talmud aux gentils) est basée sur la sentence d'un Sage dans Sanhédrin 59a, « un Goy qui étudie la Torah et un Juif qui l'y aide devraient être mis à mort. » Outre le fait qu'il n'y est pas question du Talmud mais de la Torah, il ne s'agit pas d'une décision mais d'une discussion entre deux collègues, dont le second (auquel le Talmud donne raison) rétorque qu'« un Goy qui étudie la Torah est comme un Grand-Prêtre » ("Cohen gadol"). Les apologues du Talmud enseignent ailleurs que la Torah fut proposée aux 70 nations, avant Israël, et que les commandements furent enseignés en 70 langues, ceci afin de souligner l'universalité de son message.  La troisième accusation (les Juifs ont juré une guerre éternelle aux chrétiens) est basée sur la sentence « c'est une règle connue, qu'Esaü hait Jacob ». Or, Esaü est allégoriquement associé à Rome. Les chrétiens inversaient donc la sentence. En disant que Rome (la chrétienté) haïssait Jacob (le peuple juif), les Juifs voulaient justifier leur haine de Rome (la chrétienté). On peut cependant remarquer que l'accusation implique une inversion de la phrase, et surtout que la Rome de celle-ci est la capitale de l'empire romain païen, et pas celle de la chrétienté. En effet, le Sage à l'origine de cet enseignement vécut en, à l'époque où Rome venait de détruire la Judée après l'insurrection de Bar Kokhba ; c'est donc la Rome de Hadrien, ses généraux et successeurs qu'il visait. En outre, le commentaire de Deutéronome 16:20 par Rabbenou Be'haye précise que « la Torah exige du juif qu'il applique le même niveau de droiture envers les goyim qu'à l'égard de ses frères juifs ».  La quatrième accusation (les Juifs remercient Dieu tous les jours de ne pas les avoir faits "goyim") est basée sur la bénédiction du matin "chèlo assani goy" (Qui ne m'as pas fait goy) qui fut rédigée aux temps où "goyim" était synonyme de "païens" et « priaient un Dieu qui ne sauve pas ». Cette prière n'implique pas de rejet inconditionnel des non-Juifs.  Ainsi que l'explique un rabbin "conservative",, bien qu'au, Rachi doive rappeler aux Juifs que les "Goyim" ne sont plus des païens. Cette méfiance envers les païens n'exclut pas que ceux-ci puissent être détenteurs de grands savoirs, ni qu'il y ait des hommes justes et pieux dans ces nations, et que tous les justes, Juifs et Gentils, ont leur part au monde à venir.

Les "Goyim" dans la littérature rabbinique.

Le "Sefer Hassidim", écrit au enseigne : « Si un Juif tente de tuer un non-Juif, viens à l'aide du non-Juif. » Et, selon le commentaire du Or Ha'hayim, datant du, les 70 nations sont la clé de la symbolique de la Menorah : « Les sept chandelles de la Menorah [dans le Beit Hamiqdach] correspondent aux nations des Gentils, qui sont au nombre de 70. Chacune [des chandelles] fait allusion à dix [nations]. Ceci fait allusion au fait qu'elles brillent toutes face à la [chandelle] occidentale, qui correspond au peuple juif. »  Cependant, Juda Halevi, se demandant ce qui a valu aux enfants d'Israël leur élection divine, en conclut à une prédisposition innée des Juifs à la prophétie.  L'opinion de Juda Halevi fut suivie par de nombreux rabbins, mais combattue par d'autres, dont Moïse Maïmonide et des rabbins modernes, qui pensent au contraire qu'Abraham ne fut élu qu'à la suite de ses recherches intenses sur la vérité. De plus, elle fut largement abandonnée, à l'exception de certains haredim, après la Shoah.

Stéréotypes.

Selon Leo Rosten, au fil de l'histoire juive, le "goy" devint pour les Juifs ce que le barbare était aux Romains, et le mot acquit des sens secondaires, dont certains déplaisants (de même que le Juif fut affublé de certains traits détestables, au point d'en devenir l'archétype, et que le mot "juif", qui ne désignait à l'origine qu'un membre de la nation judaïte ou un adhérent à la doctrine judaïque, acquit certains sens figurés insultants). Ces sens secondaires étant tributaires des siècles de persécution par différentes nations, le "goy" est souvent synonyme d'antisémite, d'une personne obtuse, insensible, sans cœur.  Le "goy" est souvent représenté dans l'humour juif comme un stéréotype de grossièreté brutale et d'inintelligence, dont il est possible de triompher avec un peu de finesse. Par exemple :  Ou encore : Par ailleurs, ainsi que l'écrit, qui commente un sketch de Jack Benny : agressé par un voyou qui lui pointe une arme et lui demande la bourse ou la vie, l'humoriste proteste : « J'y réfléchis! »  Le terme "goy" demeure cependant plus neutre et plus commun que par exemple les insultes "" ou "Shiksa", qui décrivent un jeune homme ou jeune fille non-juive ayant des relations amoureuses avec une personne juive et sont tirés de la racine "scheketz", « abomination, ». Toutefois, les termes.  "Goy", "schiksa" et "schaygetz", furent également utilisés entre Juifs après la Haskala pour railler un Juif qui ne suit pas les règles religieuses et le mode de vie juifs.

Usage moderne.

En hébreu moderne et en yiddish, le mot "goy" est le terme consacré pour le Gentil. Il n'y a pas d'autre terme en yiddish, et il est souvent utilisé de façon neutre. En français, par contre, comme le terme "Gentil" existe (bien que vieilli), l'usage de "goy" peut être considéré comme injurieux, même s'il reste à simplement désigner le non-juif. Il en est de même en anglais. Certaines structures « politiquement correctes » sont désormais utilisées plus fréquemment, comme « Gentil » ou « non-Juif ».

Terme « antigoyisme ».

Certains auteurs généralement qualifiés d'antisémites utilisent désormais le néologisme « antigoyisme » pour désigner un rejet effectif ou supposé d'un non-juif de la part de la communauté juive ou d'un membre de celle-ci.  Le terme « antigoyisme » (on trouve aussi parfois « antigentilisme ») est un néologisme construit autour du mot "goy" et désigne une attitude présumée de méfiance, de mépris, de rejet, d'hostilité ou de haine de la part de la communauté juive ou d'une partie des individus s'y rattachant contre des communautés ou individus ne faisant pas partie de celle-ci. Il est surtout utilisé dans une optique de dénonciation d'un aspect particulier du judaïsme. Henry Ford, dans son livre "Le Juif international", emploie le terme pour le combiner de manière cyclique au terme « antisémitisme », l'un étant le pendant de l'autre. Jean-Pierre Graf et Bernard-Claude Gauthier, dans un chapitre du livre du collectif d'auteurs "Lawrence Durrell", emploient le terme de la même façon. En 2006, en France, l'humoriste Dieudonné, qui sera condamné pour des propos incitant à la haine raciale, s’est indigné de l’« antigoyisme » tout-puissant en France. John Spritzler, chercheur à l'université Harvard, emploie le terme « antigentilisme ». Erich Ludendorff, qui avait participé au putsch de la Brasserie avec Hitler, l'emploie dans son livre de 1934 : "Deutsche Abwehr: Antisemitismus gegen Antigojismus".

Le terme de goy ou goï (héb., nation) apparaît dans la Torah afin de désigner une « nation » pourvue d'institutions et d'un territoire, par opposition au « peuple » (héb., 'am), qui qualifie plutôt un groupe (ethnique) de personnes ayant des origines communes. Dans le "Dictionnaire de la Bible hébraïque" par Marchand Ennery, goy est équivalent à "peuple, nation".


Enfance.

Sa mère, Gisèle, une princesse de Bourgogne dont elle reçoit le nom de baptême, la met au monde vers 985, après deux garçons, Henri et Bruno (futur évêque d'Augsbourg), et avant une fille, Brigitte. C'est l'époque où son père se réconcilie définitivement avec l'impératrice Théophano, régente d'Allemagne. Elle reçoit une éducation chrétienne très poussée, notamment de la part de l'évêque Wolfgang de Ratisbonne, confesseur et conseiller de la cour ducale. Toute son enfance, elle voit son père en conflit presque constant avec la Hongrie. En août 995, son père meurt, laissant la Bavière à son fils aîné, le futur empereur Henri II. Gisèle est aussitôt fiancée à l'héritier de la Hongrie. Elle a alors une dizaine d'années.

Mariage.

Souhaitée autant par la cour allemande d'Otton III que par Géza de Hongrie, l'union qui eut lieu au château de Scheyern à la fin de 995 ou au début de 996 ne se fit pas sans concessions : les Hongrois cédaient le sud-ouest de la Moravie et le bassin de Vienne. De plus, ils acceptaient une évangélisation accrue du pays. En échange, la Bavière promettait la paix : durant neuf siècles, la frontière demeura presque stable sur la Morava et la Leitha. Une suite nombreuse accompagna Gisèle au pays de son époux et beaucoup étaient des religieux.

Descendance.

Étienne lui donna plusieurs fils : l'aîné, peut-être nommé Otton, devait être né avant 1002 et un autre se serait également prénommé Étienne, mais ils sont morts jeunes et les sources qui les mentionnent sont très tardives alors que les informations sont plus riches concernant le cadet, Émeric de Hongrie, qui deviendra Saint Émeric. Né en 1007, il mourut pourtant en 1031 avant ses parents. La théorie affirmant qu'Agathe, épouse du prince anglais Édouard l'Exilé (ou d'Outremer), était une fille d'Étienne et de Gisèle est aujourd'hui écartée.

Veuvage.

Veuve en 1038, elle vit bientôt Pierre, neveu et successeur de son époux, renier ses engagements vis-à-vis de lui et tyranniser les habitants, elle comprise. D'abord dépouillée de ses biens, elle finit par abandonner son pays d'adoption en 1045 pour regagner sa Bavière natale. Elle se retira au monastère de Niedernburg, à Passau, y prit le voile et y mourut vers 1060. Son tombeau se trouve à Passau, en Bavière.  Elle fut déclarée bienheureuse en 1975.

Gisèle, fille du duc de Bavière Henri le Querelleur, fut l'épouse d'Étienne et la première reine de Hongrie. Décédée vers 1060.


Origines.

La langue abkhaze appartient au groupe caucasien du nord-ouest de langues qui est distinct de la famille de langue géorgienne. Cependant, l'opinion savante (la plupart du temps occidentale et géorgienne) favorise la notion que le peuple autochtone d'Abkhazie a été directement lié à la tribu de Heniochi, qui a vécu le long des rivages du nord-est de la Mer Noire, sur les pentes méridionales des montagnes de Caucase.

Religion.

La religion principale des Abkhazes habitant en Abkhazie est le christianisme orthodoxe. Selon le professeur Lang l'évangélisation de Sainte Nina a inclus les royaumes géorgiens occidentaux de Lazica, de Colchis et d'Abkhazie. Plus tard, pendant l’invasion ottomane au de l’Abkhazie, beaucoup de gens se sont convertis à l'Islam. Beaucoup d'Abkhazes qui étaient des musulmans ont émigré au dans l'empire ottoman.

Histoire.

Au début du Moyen Âge, le royaume abkhaze a coexisté avec le royaume géorgien. L'Abkhazie et les royaumes géorgiens ont été par la suite unifiés dans un état dès le début du.  Dans les années 1860, l’Abkhazie a été annexée par l'empire russe, à un moment où la Géorgie s'était désagrégée en divers royaumes et principautés locales. Pendant cette période et aussi par la suite, une partie significative de la population abkhaze (qui admet un mélange de croyance islamique, chrétienne et païenne) a été expulsée ou déplacée vers l'empire ottoman.  Après la révolution de 1917, l’Abkhazie s'est trouvée occupée par la République Démocratique de Géorgie, mais a été conquise par l'Armée rouge peu après. Ensuite elle entre dans l'Union Soviétique, parallèlement à une république souveraine, dans la composition de ce qui s'est appelée la fédération transcaucasienne, statut confirmé en 1925 dans la nouvelle constitution de l’Abkhazie. Ce statut, cependant, a été réduit en 1931 à une République autonome, et l’Abkhazie est redevenue une partie de la Géorgie. Pendant la période soviétique (particulièrement sous Staline), l’Abkhazie a subi une « géorgification », et les Abkhazes ont subi la discrimination. Lavrenty Beria, la tête du parti communiste géorgien en 1930, a joué un rôle actif en mettant en application cette politique. En conséquence, la population des Abkhazes a brusquement changé durant les deux générations suivantes.  En 1989, le nombre d'Abkhazes était environ (18 % de la population de la république), alors que la population géorgienne était de (45 %). Le nombre d'Arméniens (15 % de la population entière) et de Russes (14 %) a également sensiblement augmenté. En 1993, la majorité de la population ethniquement géorgienne a été expulsée d'Abkhazie. Ainsi, depuis cette année-là, l'Abkhazie forme une pluralité ethnique faite de 45 % d'Abkhazes, les Russes, les Arméniens, les Géorgiens, les Grecs et les Juifs composant la plupart du reste de la population. Sur un total d'environ Abkhazes, vivent en Abkhazie. La population totale de l'Abkhazie est estimée à personnes ; cependant, les recensements de population sont contestés.

Les Abkhazes (abkhaze : Аҧсуаа, ) sont un groupe ethnique caucasien, habitant principalement en Abkhazie, un État du Caucase enclavé entre la Russie et la Géorgie. Une grande diaspora abkhaze habite en Turquie qui sont des descendants d'Abkhazes qui ont émigré de l’Abkhazie à la fin du. Beaucoup vivent également dans d'autres pays de l'ancienne Union Soviétique comme la Russie et l'Ukraine.


Évolutions.

La base de données des virus connus est basée sur celle de l'ancien projet libre antivirus OpenAntiVirus ; celle-ci contenait environ signatures. En février 2005, la base de données contient souches connues. Début avril 2006, elle atteint les souches connues puis le, logiciels malveillants connus.  En août 2007, ClamAV est l'un des meilleurs antivirus du marché, classé au cours d'un test public second derrière Kaspersky.  Le, ClamAV est racheté par la société Sourcefire, société qui a déjà acquis Snort. Sourcefire dit vouloir offrir du support et de la formation à ClamAV dès le dernier trimestre 2007. Sourcefire affirme que ClamAV restera sous licence GPL. Pour l'équipe de développement de ClamAV, cette acquisition par Sourcefire offrira des moyens supplémentaires financiers et humains, et surtout une excellente base de signatures. Début septembre 2007, il dépasse la barre des logiciels malveillants reconnus et début février 2008, celle des logiciels malveillants reconnus ; début décembre 2008, plus de logiciels malveillants reconnus et début décembre 2009, la barre des logiciels malveillants reconnus est dépassée puis le, celle du million est dépassée : signatures exactement.  Le, Tomasz Kojm (initiateur du projet), Alberto Wu, Luca Gibelli et Edwin Török quittent Sourcefire.  Le 23 juillet 2013, Cisco acquiert la société Sourcefire pour un montant de 2,7 milliards de dollars.  Le 28 juillet 2014, ClamAV affiche signatures et le mars 2017,.

libclamav.

libclamav est la bibliothèque moteur de ClamAV, utilisée dans d'autres logiciels. C'est un logiciel libre écrit en C et distribué selon les termes de la licence publique générale GNU.

Interfaces graphiques.

Différentes interfaces graphiques sont disponibles :

Utilisation de ClamAV en milieu professionnel.

ClamAV est utilisé dans la des pare-feu Check Point « NGX VPN-1 Edge Embedded » ainsi que dans les pare-feu Barracuda Network et SecuriteInfo.com, en tant qu'antivirus filtrant les flux en transit.  Nous retrouvons aussi cet antivirus dans les applications NetASQ, EdenWall, RadicalSpam et LinkGate (Sysun Secure).

ClamAV (« "Clam AntiVirus" »), est un logiciel antivirus pour systèmes UNIX. Il est généralement utilisé avec les serveurs de courriels pour filtrer les courriels. ClamAV est l'un des rares antivirus disponible sous GNU/Linux et MacOS. Les virus ciblés sont majoritairement des virus s'attaquant au système d'exploitation Microsoft Windows, et non pas aux systèmes sur lesquels ClamAV s'installe.