title: Werneria

text: Werneria est un genre d'amphibiens de la famille des Bufonidae.


title: Werneria

text: Les six espèces de ce genre se rencontrent au Cameroun, au Togo et au Gabon.


title: Werneria

text: Selon :


title: Werneria

text: Ce genre a été dédié au naturaliste autrichien Franz Werner (1867-1939).


title: Codage

text: Le substantif encodage et le verbe encoder sont attestés en informatique depuis 1969 dans le sens de "saisir et traduire en code simultanément" et utilisés comme antonymes de décodage ou décoder. Les termes de codage et coder peuvent aussi être utilisé.On utilisera le terme chiffrement quand le codage utilisé cherche à masquer l'information contenue ; le terme "cryptage", bien que fréquemment utilisé, n'a pas de légitimité en langue française.


title: Charles Davies Sherborn

text: Charles Davies Sherborn ( à Chelsea – ) est un géologue et un naturaliste britannique.


title: Charles Davies Sherborn

text: Il est principalement connu pour son "Index Animalium" qui paraît d'abord en 1902 (réédité entre 1922 et 1933 en trente-trois volumes) est une compilation de tous les genres et de toutes les espèces du règne animal, présents ou disparus. Son ouvrage de près de pages répertorie toute la littérature parue depuis la dixième édition de "Systema Naturae" de Carl von Linné (1758) jusqu'en 1800 et comporte près de entrées.


title: Charles Davies Sherborn

text: Il travaille au British Museum de 1888 à 1942. Il est le premier président de la Society for the Bibliography of Natural History.


title: Charles Davies Sherborn

text: Sa collection philatélique, conservée aujourd'hui à la British Library, est célèbre.


title: Théorème de complétude (calcul des propositions)

text: Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule formula_1 du calcul des propositions :


text: Un système de déduction correct doit être construit de façon que, à partir de formules vraies (tautologies), on puisse déduire d'autres formules vraies. Dans ce cas, si formula_4 est vérifié, alors formula_3 l'est également.


text: Le système de déduction sera complet, si inversement, il permet de déduire toute formule vraie. Autrement dit, si formula_3 est vérifié, le système de déduction doit permettre de démontrer qu'on a également formula_4.


text: Le théorème de complétude du calcul des propositions énonce que les systèmes de déduction, décrits dans les articles calcul des propositions ou déduction naturelle ou calcul des séquents, sont complets. Il y a équivalence entre être une tautologie et être prouvable.


text: Le théorème de complétude du calcul des propositions classique a été démontré par Paul Bernays en 1926.


text: Pour le calcul des propositions, il n’est pas nécessaire d’analyser la structure des formules atomiques en prédicats et objets. La seule propriété des propositions atomiques qui compte dans les calculs de la logique classique est leur véracité ou leur fausseté. Si on représente les propositions atomiques par des lettres, formula_9, formula_10, formula_11, ... ; on peut les concevoir comme des variables qui peuvent recevoir deux valeurs, formula_12 pour vrai, et formula_13 pour faux.


text: Un modèle est défini par l’attribution de valeurs de vérité, formula_12 ou formula_13, aux propositions atomiques. Par exemple formula_16 désigne le modèle formula_17 dans lequel il y a trois propositions atomiques formula_9, formula_10, et formula_11, la seconde étant fausse et les deux autres vraies.


text: On peut définir un calcul des vérités semblable au calcul des nombres et utilisant les connecteurs logiques "non" formula_21, "et" formula_22, "ou" formula_23, "implique" formula_24. Ses axiomes sont données par les tables de vérité suivantes :


text: Les règles relatives à formula_23 et formula_24 s'en déduisent en posant :


text: On peut alors calculer, par exemple, que dans le modèle formula_17 défini par formula_28 : On en conclut que formula_29 est vraie dans le modèle formula_28. On montre de même qu'elle est aussi vraie dans le modèle formula_31 et puisqu’elle ne contient que formula_9 comme proposition atomique, elle est vraie dans tous les modèles et est donc une tautologie.


text: On peut montrer que les systèmes de déduction cités en préambule permettent en particulier d'effectuer les déductions suivantes :


text: Nous allons maintenant démontrer que, dans ces systèmes : Il suffit de montrer le théorème pour des modèles finis. En effet, ordonnons linéairement les propositions atomiques, nous obtenons la suite formula_33, formula_34, formula_35... Un modèle initial ou bien valide formula_36 ou bien ne valide pas formula_36, mais ne fait pas les deux. Comme une proposition formula_1 ne contient qu’un nombre fini de propositions atomiques, notons formula_39 le plus grand indice parmi ceux des propositions formula_40 qui ont une occurrence dans formula_1. Si formula_1 est vraie dans tous les modèles initiaux de longueur formula_39, alors elle est vraie dans tous les modèles, puisque les propositions formula_44 n'ont pas d'occurrence dans formula_1 quand formula_46, donc la valeur de vérité de ces propositions atomiques n'a aucune incidence sur la véracité de formula_1.


text: Pour démontrer (i), on va d’abord démontrer (ii) et (iii) ci-dessous. Soit formula_1 une formule propositionnelle, et formula_17 un modèle. Notons formula_50 la conjonction de toutes les formules atomiques formula_40 telle que formula_52 est dans formula_17 et de toutes les négations des formules atomiques formula_40 telles que formula_55 est dans formula_17.


text: On va démontrer (ii) par induction sur la complexité des formules. Celle-ci est mesurée par le nombre maximal d’opérateurs emboités. Par exemple dans formula_57 , le "ou" et le "non" sont emboités l’un dans l’autre. Mais le "non" et le "et" ne le sont pas. Cette proposition est de complexité 2 parce qu’elle a au maximum deux opérateurs emboités.


text: Soit formula_36 une proposition de complexité 0, c’est-à-dire une proposition atomique. La formule formula_59 est dérivable, de même que toute formule du type formula_60, où formula_61 est n’importe quelle conjonction de propositions atomiques ou de leurs négations qui contient formula_36 parmi elles. Si formula_36 est vraie dans le modèle formula_17, formula_50 contient formula_36. (ii) est donc démontrée pour les propositions de complexité 0. La démonstration de (iii) est identique.


text: Supposons que (ii) et (iii) soient vraies pour toutes les propositions de complexité au plus égale à formula_39. Soit formula_1 une proposition de complexité formula_69. Deux cas sont possibles.


text: a) il y a un formula_70 tel que formula_71


text: b) il y a formula_88 et formula_89 tels que formula_90


text: Cela termine cette démonstration de (ii) et (iii).


text: Prouvons maintenant (i), le théorème de complétude, par induction sur la longueur des modèles. Soit formula_110 l’énoncé : Si formula_1 est vraie dans tous les modèles de longueur formula_39 alors formula_1 est dérivable. Démontrons par récurrence les énoncés formula_110. Prouvons d’abord formula_115. Supposons que formula_1 est vraie dans tous les modèles de longueur 1, c’est-à-dire les deux modèles formula_117 et formula_118. On a alors, d'après (ii) formula_119 et formula_120. Par la règle de disjonction des hypothèses, on en déduit que formula_121 mais formula_122 est elle-même une formule dérivable : c’est le principe du tiers-exclu. La règle du modus ponens suffit alors pour démontrer que formula_4. Supposons que formula_110 soit vrai. Soit formula_1 une proposition vraie dans tous les modèles de longueur formula_69. Soit formula_17 un modèle de longueur formula_39. formula_1 est vraie dans formula_130 et dans formula_131. D'après (ii), on a alors formula_132 et formula_133. Comme ci-dessus, on en déduit que formula_134. Comme formula_17 un modèle quelconque de longueur formula_39, l'hypothèse de récurrence formula_110 permet de conclure que formula_4. formula_139 est donc vérifiée.


text: Cela termine cette démonstration du théorème de complétude du calcul des propositions.


title: Merci la vie

text: Merci la vie est un film français de Bertrand Blier sorti en 1991.


title: Merci la vie

text: Deux jeunes filles se rencontrent sur une route. L'une pousse un chariot de supermarché avec deux goélands, l'autre, en robe de mariée, vient d'être battue puis abandonnée par un homme. Désormais amies, elles vont vivre des aventures rocambolesques.


title: Merci la vie

text: La critique a accueilli le film en le rapprochant d'un « Valseuses au féminin », ramenant au premier succès du réalisateur ("Les Valseuses") qui l'avait fait connaître.


title: Merci la vie

text: Jean Carmet reçoit en 1992 le César du meilleur acteur dans un second rôle pour son interprétation de Raymond Pelleveau, le père fatigué et usé par la vie.


title: Schismaderma carens

text: Schismaderma carens, unique représentant du genre Schismaderma, est une espèce d'amphibiens de la famille des Bufonidae.


title: Schismaderma carens

text: Cette espèce se rencontre :


title: Schismaderma carens

text: Sa présence est incertaine au Lesotho.


title: Schismaderma carens

text: Les mâles mesurent jusqu'à et les femelles jusqu'à .


title: Babyrousa babyrussa

text: Le Babiroussa (Babyrousa babyrussa) est une espèce de suidé sauvage asiatique. Le nom provient du malais, "babi" (« porc ») et "rusa" (« cerf »).


title: Babyrousa babyrussa

text: Babiroussa est le nom de l'espèce Babyrousa babyrussa si on considère qu'il n'y a qu'une seule espèce du genre "Babyrousa" ayant plusieurs sous-espèces. Si on considère que le genre a plusieurs espèces, alors Babyrousa babyrussa est dénommé babiroussa poilu ou doré.


title: Babyrousa babyrussa

text: Le babiroussa vit en Indonésie, sur les îles de Sulawesi, Buru, Togian et de Sula. On le rencontre dans les forêts tropicales, mais également sur les rivages des fleuves et des lacs. Ils évitent la végétation trop dense.


title: Babyrousa babyrussa

text: Le babiroussa se nourrit de feuilles, de fruits, de champignons et aussi de larves. Il se nourrit aussi dans la boue.


title: Babyrousa babyrussa

text: Le mâle a deux paires de défenses, dont deux canines pointues qui traversent son groin et se recourbent vers son crâne. Il peut arriver que la croissance de ces canines soit telle qu'elles vont jusqu'à traverser son crâne, ce qui peut aboutir à sa mort.


title: Babyrousa babyrussa

text: Sa peau est presque glabre. Il mesure environ un mètre de long pour un peu moins de au garrot. La masse atteint 100 kilogrammes pour les mâles et 60 kilogrammes pour les femelles. Ils peuvent vivre une douzaine d'années (le double en captivité).


title: Babyrousa babyrussa

text: Le babiroussa est un animal discret et timide, actif en particulier le matin. Diurne, il passe environ la moitié de sa vie à dormir. Il s'éloigne rarement de l'eau et sait nager.


title: Babyrousa babyrussa

text: Généralement, les mâles adultes sont solitaires alors que les femelles et leurs petits vivent en groupes.


title: Babyrousa babyrussa

text: Avant l'accouplement, les mâles combattent en se redressant sur leurs pattes arrière et en se frappant avec leur groin. Certaines personnes pensent qu'ils se servent de leurs défenses recourbées pour s'accrocher aux branches des arbres et impressionner les femelles, mais cela est peu probable, et d'autant moins que la plupart des mâles ont le bout des cornes qui touchent leur crâne. La durée de gestation est d'environ cinq mois et la portée comprend un à trois petits. Les petits peuvent très vite se nourrir d'aliments solides et sont sevrés peu après leur sixième mois. Ils sont matures au bout d'une année.


title: Babyrousa babyrussa

text: La population totale est estimée à 4000 individus, disséminés sur plusieurs îles. Cet animal est en voie de disparition, et il est assez rare d'en trouver dans des zoos en France.


title: Babyrousa babyrussa

text: En fonction des auteurs, il existe une seule espèce avec plusieurs sous-espèces:


title: Babyrousa babyrussa

text: Selon MSW :


title: Anouk Grinberg

text: Anouk Grinberg, née le à Uccle (Belgique), est une actrice française, également peintre et écrivaine.


title: Anouk Grinberg

text: Son arrière-grand-père paternel, Maxim Vinaver (1863-1926), a joué un rôle éminent en tant que juif et dirigeant du parti libéral des cadets en Russie. En 1919, il fuit la révolution bolchevique et se réfugie à Paris avec sa femme Rosa (1872-1951) et ses trois enfants : la future radiologue Valentine Cremer (1896-1983), le futur professeur d'université Eugène Vinaver (1899-1979) qui émigre en Angleterre à la fin des années 1920, et la future avocate Sophie Vinaver (1904-1964).


title: Anouk Grinberg

text: Son père, l'écrivain, auteur de théâtre et ancien PDG de Gillette Michel Vinaver, de son vrai nom Michel Grinberg, est le fils de Leon Grinberg (1900-1981) et de Sophie Vinaver. Né à Paris en 1927, il s'exile avec ses parents aux États-Unis en 1940.


title: Anouk Grinberg

text: Anouk Grinberg a été pendant plusieurs années la compagne de Bertrand Blier, avec qui elle a eu un fils. Depuis , elle partage la vie du mathématicien Michel Broué, qu'elle a épousé en 2016.


title: Anouk Grinberg

text: Sa nièce Louise Grinberg est, elle aussi, comédienne.


title: Anouk Grinberg

text: Anouk Grinberg commence sa carrière au théâtre à 13 ans, dans "Remagen" d’Anna Seghers, mis en scène par Jacques Lassalle, metteur en scène qu'elle retrouvera vingt ans plus tard dans "Chaos debout" de Véronique Olmi. Très vite, on lui confie de grands rôles : sous la direction de Richard Foreman, elle joue le diable dans "Faust ou la fête électrique" de Gertrude Stein ; Eve dans "La Cruche cassée" de Heinrich von Kleist, puis Agnès dans "L'École des femmes" de Molière, mises en scène par Bernard Sobel. Elle travaillera à trois reprises avec Alain Françon, dans "L'Ordinaire" et "Les Voisins" de Michel Vinaver, puis dans "Noises" d’Enzo Cormann.


title: Anouk Grinberg

text: Elle fait sa première incursion dans le théâtre privé, sous la direction de Michel Fagadau dans "Faut pas tuer maman" (nomination aux Molières). Jean-Louis Martinelli lui confie le rôle de la putain dans l'adaptation de "La Maman et la putain" de Jean Eustache (Prix de la critique). Patrice Chéreau la dirige dans "Le Temps et la chambre" de Botho Strauss (Nomination aux Molières). Didier Bezace la met en scène dans "Feydeau Terminus", trois pièces de Feydeau, avant de lui confier récemment le rôle d'Araminte (Prix de la critique et nomination aux Molières) dans "Les Fausses Confidences" de Marivaux aux côtés de Pierre Arditi. Autre passage dans le privé : "La Preuve", mise en scène de Bernard Murat (Nomination aux Molières). Philippe Calvario lui confie le personnage principal dans "Grand et petit" de Botho Strauss. Elle conçoit un spectacle-lecture pour le Théâtre de l'Atelier à partir des lettres de Rosa Luxemburg "Rosa, la vie", spectacle qui sera repris en 2009 au Théâtre de la Commune, puis en tournée. En 2014, elle a joué au Théâtre des Bouffes du Nord, puis en tournée, le célèbre dernier chapitre de Ulysse de James Joyce, "Molly Bloom", mis en scène par Marc Paquien, avec la complicité de Blandine Masson (Nomination aux Molères). En 2016, elle interprète « La Révolte » de Villiers de l’Isle-Adam, dans une mise en scène de Marc Paquien, au Théâtre des Bouffes du Nord, puis en tournée. En 2018, elle interprète Natalia Petrovna dans "Un mois à la campagne", de Tourgueniev, mis en scène par Alain Françon.


title: Anouk Grinberg

text: On la voit par ailleurs se produire dans des lectures publiques.


title: Anouk Grinberg

text: Elle tourne dès l'âge de 13 ans avec Michèle Rosier dans "Mon cœur est rouge", puis quelques années plus tard avec Marco Pico, Claude Goretta "Le Rapport du gendarme", Alain Tanner "La Vallée fantôme" ; Olivier Assayas "L'Enfant de l'hiver" et Philippe Garrel "J'entends plus la guitare". Elle obtient le Prix d'interprétation féminine au Festival international du film de Thessalonique 1995 pour son rôle dans "Sale gosse" de Claude Mourieras.


title: Anouk Grinberg

text: Elle se fait connaître du grand public grâce à son rôle dans "Merci la vie" de Bertrand Blier (Prix SACD Suzanne Bianchetti, Prix Arletty 1991, Prix Michel Simon 1990, Nomination aux césars). Elle tourne avec lui deux autres films, "Un, deux, trois soleil" puis "Mon homme" qui lui vaut le Prix d'Interprétation Féminine au Festival de Berlin.


title: Anouk Grinberg

text: Malgré des rôles dans "Entre chiens et loups" de Alexandre Arcady, "Les petites couleurs" de Patricia Plattner ou "Un héros très discret" de Jacques Audiard, sa carrière se fait par la suite plus discrète au cinéma. Entre 2002 et aujourd'hui, elle participe à plusieurs fictions pour la télévision : "Une preuve d'amour" de Bernard Stora, "Ma meilleure amie" de Élisabeth Rappeneau, "Le procès de Bobigny" de François Luciani (elle y interprète Gisèle Halimi), "Kaamelott - Livre V et VI" de Alexandre Astier, "Voici venir l'orage..." de Nina Companeez, "Camus" de Laurent Jaoui, "Joseph l'insoumis" de Caroline Glorion, "Le Sang de la vigne" de Marc Rivière.


title: Anouk Grinberg

text: Elle co-signe en , parmi du monde de la culture, la tribune « Nous ne sommes pas dupes ! », publiée dans le journal "Libération", pour soutenir le mouvement des Gilets jaunes et affirmant que « Les gilets jaunes, c'est nous ». À venir • 2017 (avril-juin) : Exposition à Flair Galerie  • 2017 (mai-juin) : Exposition à la Galerie GNG à Paris


title: Ecma International

text: , connu jusqu'en 1994 comme , est une organisation de standardisation active dans le domaine de l'informatique.


title: Ecma International

text: Ecma International développe des standards sur :


title: Auradou

text: Auradou est une commune du Sud-Ouest de la France, située dans le département de Lot-et-Garonne (région Nouvelle-Aquitaine). La commune est située sur la Tancanne.


title: Auradou

text: Le climat qui caractérise la commune est qualifié, en 2010, de « climat du Bassin du Sud-Ouest », selon la typologie des climats de la France qui compte alors huit grands types de climats en métropole. En 2020, la commune ressort du type « climat océanique altéré » dans la classification établie par Météo-France, qui ne compte désormais, en première approche, que cinq grands types de climats en métropole. Il s’agit d’une zone de transition entre le climat océanique et les climats de montagne et semi-continental. Les écarts de température entre hiver et été augmentent avec l'éloignement de la mer. La pluviométrie est plus faible qu'en bord de mer, sauf aux abords des reliefs.


title: Auradou

text: Les paramètres climatiques qui ont permis d’établir la typologie de 2010 comportent six variables pour les températures et huit pour les précipitations, dont les valeurs correspondent à la normale 1971-2000. Les sept principales variables caractérisant la commune sont présentées dans l'encadré ci-après.


title: Auradou

text: Avec le changement climatique, ces variables ont évolué. Une étude réalisée en 2014 par la Direction générale de l'Énergie et du Climat complétée par des études régionales prévoit en effet que la température moyenne devrait croître et la pluviométrie moyenne baisser, avec toutefois de fortes variations régionales. Ces changements peuvent être constatés sur la station météorologique de Météo-France la plus proche, « Sainte-Livrade-sur-Lot », sur la commune de Sainte-Livrade-sur-Lot, mise en service en 1989 et qui se trouve à à vol d'oiseau, où la température moyenne annuelle est de et la hauteur de précipitations de pour la période 1981-2010. Sur la station météorologique historique la plus proche, « Agen-La Garenne », sur la commune d'Estillac, mise en service en 1941 et à , la température moyenne annuelle évolue de pour la période 1971-2000, à pour 1981-2010, puis à pour 1991-2020.


title: Auradou

text: Auradou est une commune rurale, car elle fait partie des communes peu ou très peu denses, au sens de la grille communale de densité de l'Insee.


title: Auradou

text: Par ailleurs la commune fait partie de l'aire d'attraction de Villeneuve-sur-Lot, dont elle est une commune de la couronne. Cette aire, qui regroupe , est catégorisée dans les aires de à moins de .


title: Auradou

text: L'occupation des sols de la commune, telle qu'elle ressort de la base de données européenne d’occupation biophysique des sols Corine Land Cover (CLC), est marquée par l'importance des territoires agricoles (77,5 % en 2018), une proportion identique à celle de 1990 (77,6 %). La répartition détaillée en 2018 est la suivante :  zones agricoles hétérogènes (41,2 %), forêts (22,4 %), prairies (19,6 %), terres arables (13,9 %), cultures permanentes (2,8 %).


title: Auradou

text: L'IGN met par ailleurs à disposition un outil en ligne permettant de comparer l’évolution dans le temps de l’occupation des sols de la commune (ou de territoires à des échelles différentes). Plusieurs époques sont accessibles sous forme de cartes ou photos aériennes : la carte de Cassini (), la carte d'état-major (1820-1866) et la période actuelle (1950 à aujourd'hui).


title: Auradou

text: Le nom de la commune vient de "oratorium" (oratoire).


title: Auradou

text: Il existait un très ancien oratoire dédié à saint Martin qui a donné son nom à la commune.


title: Michel Vinaver

text: Michel Vinaver, né Michel Grinberg le à Paris, est un dramaturge et écrivain français, président-directeur général de l'entreprise Gillette France de 1966 à 1982.


title: Michel Vinaver

text: Il est le père de l'actrice Anouk Grinberg.


title: Michel Vinaver

text: Michel Vinaver est né à Paris en 1927 dans une famille juive originaire de Russie.


title: Michel Vinaver

text: Son grand-père, Maxim Vinaver (1863-1926), a joué un rôle éminent en tant que dirigeant communautaire juif et dirigeant du parti constitutionnel démocratique (les « cadets ») russe. En 1919, il fuit la révolution bolchevique et se réfugie à Paris avec sa femme Rosa (1872-1951) et ses trois enfants : la future radiologue Valentine Cremer (1896-1983), le futur romancier Eugène Vinaver (1899-1979) qui émigre en Angleterre à la fin des années 1920, et la future avocate Sophie Vinaver (1904-1964).


title: Michel Vinaver

text: Mariée à Léo Grinberg (1900-1981), Sophie Vinaver donne naissance à Michel Grinberg (dit Vinaver) en 1927. En 1940, la famille est contrainte à l’exil aux États-Unis à la suite de l'adoption des lois de Vichy.


title: Michel Vinaver

text: Michel Vinaver est le père de l'actrice Anouk Grinberg (née en 1963) et le grand-oncle de l'actrice Louise Grinberg (née en 1993).


title: Michel Vinaver

text: Engagé volontaire dans l’armée française en 1944-1945, il a effectué ses études secondaires à Paris, Cusset (Haute-Savoie), Annecy et New York.


title: Théorème de compacité

text: En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante :"un jour, il ne pleuvra pas ; il pleut ; demain il pleut ; après-demain il pleut ; dans 3 jours il pleut ; dans 4 jours il pleut ;…"La théorie n'est pas satisfaisable (toutes les phrases ne peuvent être vraies en même temps). Pourtant, toute partie finie est satisfaisable. En d'autres termes, la logique temporelle linéaire n'est pas compacte.


title: Théorème de compacité

text: En calcul propositionnel, une formule propositionnelle est dite "satisfaisable" si l'on peut donner des valeurs de vérité aux atomes constituant la formule de façon que celle-ci soit vrai. Par exemple, la formule "p et non q" est satisfaisable en mettant p à vrai et q à faux. Une telle assignation s'appelle une "valuation". Par exemple, "p à vrai et q à faux" est une valuation. Ainsi, une formule est satisfaisable s'il existe une valuation qui la satisfait. Plus généralement une théorie propositionnelle est satisfaisable s'il existe une valuation qui satisfait chacune des formules de cette théorie.


title: Théorème de compacité

text: La démonstration qui suit est donnée dans le cas où T est dénombrable (elle s'étend au cas général en utilisant le lemme de Zorn, plutôt que le lemme de König, ou l'axiome du choix dépendant). Soit T un ensemble infini dénombrable de formules propositionnelles et φ(0), φ(1)… une énumération des formules de T.


title: Théorème de compacité

text: Soit "p"(0), "p"(1)… une suite infinie dénombrable de variables propositionnelles avec lesquelles les formules de T sont construites.


title: Théorème de compacité

text: Construisons un arbre de la façon suivante.


title: Théorème de compacité

text: Comme tout sous-ensemble fini de propositions de T est satisfaisable, l'arbre peut être indéfiniment poursuivi, il est donc infini, il a un nombre infini de nœuds. Comme chaque nœud ne peut avoir que deux successeurs au plus, il est à branchement fini. D’après le lemme de König, il a donc une branche infinie. Cette branche définit un modèle dans lequel tous les φ("i") sont vrais. Cela termine cette preuve du théorème de compacité.


title: Théorème de compacité

text: Cette démonstration traite du cas général, c'est-à-dire lorsqu'on ne suppose pas d'hypothèses particulières sur l'ensemble des variables propositionnelles (en particulier, l'ensemble des variables propositionnelles n'est pas forcément dénombrable). On utilise alors le lemme de Zorn qui permet de fabriquer une valuation qui satisfait l'ensemble de formules.


title: Théorème de compacité

text: Soit A un ensemble de formules finiment satisfaisable, c'est-à-dire tel que toute partie finie de A soit satisfaisable. On définit H comme l'ensemble des ensembles de formules propositionnelles, finiment satisfaisables qui contiennent A. Formellement : formula_1 On montre que l'ensemble H, ordonné par l'inclusion, est inductif. Soit formula_2 une chaine, c'est-à-dire un sous-ensemble de H totalement ordonné. L'ensemble formula_3 défini comme l'union (croissante) des ensembles formula_4, est un majorant de la chaine. En effet, d'une part, H inclut chaque formula_5 pour formula_6, ainsi il est "plus grand" que chaque formula_5. D'autre part, il appartient à H car il contient A et est finiment satisfaisable (s'il ne l'était pas, il existerait un sous-ensemble fini insatisfaisable de formules inclus dans B', et donc, comme formula_2 est totalement ordonné, inclus dans un certain formula_9avec formula_10 ; cela n'est pas possible car formula_9est finiment satisfaisable).


title: Théorème de compacité

text: D'après le lemme de Zorn, H possède un élément maximal que l'on note formula_12. Cet ensemble possède la propriété d'être complet au sens où pour toute formule propositionnelle F, soit formula_13, soit formula_14. En effet, par l'absurde, en supposant le contraire, on déduit par maximalité de formula_12 que les ensembles formula_16 et formula_17 ne sont pas finiment satisfaisables et qu'il existe des ensembles finis formula_18 tels que formula_19 et formula_20 ne soient pas satisfaisables. Or formula_21 est un sous-ensemble fini de formula_12, donc satisfaisable. On déduit l'existence d'un valuation formula_23 telle que formula_24 (en particulier, formula_25 et formula_26). Or, on a formula_27 ou formula_28. Supposons par exemple que formula_27. Alors formula_30 ce qui contredit le fait que formula_31 ne soit pas satisfaisable.


title: Théorème de compacité

text: On va maintenant construire une valuation formula_23 qui satisfait formula_12, et donc qui satisfait A, car A est inclus dans formula_12. Comme formula_12est complet, pour toute variable propositionnelle formula_36, soit formula_37, ou alors formula_38 (il faut noter que ces deux cas s'excluent mutuellement car formula_12 est finiment satisfaisable). On pose alors formula_40 dans le premier cas et formula_41 dans le deuxième.


title: Théorème de compacité

text: On montre à présent que formula_23 satisfait formula_12. Soit formula_13 et formula_45 les variables propositionnelles apparaissant dans la formule F. On note formula_46 le littéral associé à formula_47 dans formula_12, c'est-à-dire que l'on pose formula_49 si formula_50 et formula_51 sinon. On pose alors formula_52. formula_53 est fini donc satisfaisable, il existe donc une valuation formula_54 qui satisfait B. Or nécessairement, pour tout formula_55 on a formula_56 donc formula_57, ce qui conclut la démonstration.


title: Théorème de compacité

text: Il existe une autre démonstration utilisant le théorème de Tykhonov, qui a recours à l'axiome du choix.


title: Théorème de compacité

text: Grâce au théorème de compacité de la logique propositionnelle, on peut démontrer que tout graphe est 3-coloriable si tout sous-graphe fini de celui-ci est 3-coloriable (théorème de De Bruijn-Erdős). Le théorème des quatre couleurs stipule que tout graphe planaire (fini) est 4-coloriable. Le théorème de compacité implique que tout graphe infini planaire est 4-coloriable. On peut aussi démontrer que le quart du plan est pavable avec un ensemble fini donné de tuiles de Wang si et seulement si tout carré fini est pavable avec ce même ensemble de tuiles. Le théorème de compacité permet aussi de démontrer que tout ordre partiel sur un ensemble infini peut s'étendre à un ordre total. Le théorème de compacité de la logique du premier ordre énonce que si toute partie finie d'une théorie du premier ordre est satisfaisable, c'est-à-dire, possède un modèle, alors la théorie elle-même est satisfaisable. C'est l'un des outils de base de la théorie des modèles, qui permet de montrer l'existence de nouvelles structures, modèles d'une théorie satisfaisable donnée. C'est une conséquence immédiate du théorème de complétude de Gödel (à condition de l'avoir démontré pour une théorie quelconque, non nécessairement dénombrable en particulier). Il peut également se démontrer directement, sans faire référence à la notion de démonstration.


title: Théorème de compacité

text: Si ℒ est un langage du premier ordre, considérons 𝒯 l'ensemble des théories complètes dans le langage ℒ, c'est-à-dire l'ensemble des théories "T" qui possèdent un modèle et qui sont maximales au sens suivant : si formula_58 est un énoncé de ℒ, alors ou bien formula_59 ou bien formula_60. Pour chaque énoncé formula_58 définissons formula_62 et munissons 𝒯 de la topologie dont une base d'ouverts est l'ensemble des formula_63. Puisque formula_64, cette base d'ouverts est stable par intersections finies ; un ensemble formula_65 est donc ouvert si et seulement si il est réunion quelconque d'ensembles formula_63. On remarque par ailleurs que le "complémentaire" de l'ouvert élémentaire formula_63 est formula_68 ; c'est un ouvert élémentaire. On peut donc aussi bien choisir les ensembles formula_69 comme base d'ouverts de la même topologie ou encore, ce qui revient au même, choisir les formula_70 comme base de fermés.


title: Théorème de compacité

text: Un voisinage élémentaire de formula_75 est de la forme formula_63 pour un certain énoncé formula_58 tel que formula_78. On a donc formula_74. D'après le théorème de Łoś formula_80. Or formula_81, de sorte que formula_82. Il en résulte que 𝒰 est convergent, vers formula_75.


title: Théorème de compacité

text: ; on a déjà observé que ces ensembles sont "fermés". Chaque intersection formula_84 (où formula_85) est non vide puisque, par hypothèse, formula_86 possède un modèle. D'après la propriété de Borel-Lebesgue (version ensembles fermés) appliquée au compact 𝒯, on a donc formula_87. Si formula_75 est élément de cette dernière intersection alors formula_89, et tout modèle de formula_75 est aussi un modèle de ℰ. Remarque. Les deux énoncés ci-desus sont en fait équivalents, la compacité de l'espace 𝒯 pouvant se démontrer à partir de la « version logique ».


title: Théorème de compacité

text: Ce principe énonce que si une formule formula_91 est vraie dans tous les corps de caractéristique nulle alors il existe un entier "k" tel que la formule formula_91 est vraie dans tous les corps de caractéristique supérieure ou égale à "k". En effet, considérons l'ensemble de formules suivants :


title: Théorème de compacité

text: Il s'agit d'un ensemble de formules non satisfaisable (car si l'ensemble de formules avait un modèle, comme il doit satisfaire les formules 1+1 ≠ 0, 1+1+1 ≠ 0, 1+1+1+1 ≠ 0… il est de caractéristique nulle et donc satisferait formula_91). Ainsi par le théorème de compacité, il existe un sous-ensemble fini de formules non satisfaisable et l'on peut supposer sans perte de généralité que ce sous-ensemble fini est de la forme


title: Théorème de compacité

text: Mais alors c'est exactement dire que formula_91 est conséquence sémantique de l'ensemble de formules


title: Théorème de compacité

text: Ce qui se reformule en formula_91 est vraie dans tous les corps de caractéristique supérieure ou égale à "k".


title: Théorème de compacité

text: Considérons l'ensemble des formules vraies dans le graphe où les sommets sont les entiers où deux entiers "n" et "n"+1 sont reliés par une arête. Si on ajoute à cet ensemble des formules de la forme « il n'y a pas de chemin de "a" à "b" de longueur "k" », alors on obtient un ensemble dont tout sous-ensemble fini est satisfaisable. Donc, l'ensemble total est satisfaisable. Un modèle de cet ensemble s'appelle un modèle non standard.


title: Théorème de compacité

text: Grâce au théorème de compacité, on peut démontrer qu'il n'existe pas de formule formula_91 du premier ordre qui exprime « il y a un nombre infini d'éléments ». En effet, par l'absurde, si tel était le cas, la théorie suivante contredirait le théorème de compacité :formula_97 "; il y a plus d'un élément ; il y a plus de deux éléments ; il y a plus de trois éléments ;…"De la même manière, la connexité d'un graphe, l'accessibilité dans un graphe ne sont pas exprimables en logique du premier ordre.


title: Théorème de compacité

text: Le théorème de compacité peut se reformuler de manière plus précise : si toute partie finie d'une théorie du premier ordre est satisfaisable, alors la théorie possède un modèle dont le cardinal est au plus dénombrable si sa signature est finie ou au plus le cardinal de sa signature. La démonstration du théorème de Löwenheim-Skolem ascendant utilise ce fait.


title: Théorème de compacité

text: La logique du second ordre n'est pas compacte.


title: Théorème de compacité

text: Les logiques modales complètes selon une axiomatisation avec des formules de Sahlqvist sont fortement complètes : c'est-à-dire, formula_91 est conséquence sémantique de T si et seulement si formula_91 est démontrable depuis T. Elles sont donc compactes.


title: Théorème de compacité

text: Les logiques modales où interviennent un plus petit point fixe ne sont pas compactes : logique temporelle linéaire, logique propositionnelle dynamique ("propositional dynamic logic") (l'argument est similaire à l'exemple donné dans l'introduction). En conséquence, elles ne peuvent avoir des axiomatisations fortement complètes : nous n'avons que formula_91 est valide si, et seulement si, formula_91 est démontrable.


title: Liste des municipalités du Manitoba

text: Le Manitoba est divisé en 203 municipalités locales. Il y a plusieurs types de municipalités au Manitoba dont les municipalités rurales (RM) (en anglais : "rural municipality"), les villages (VL) (en anglais : "village"), les villes (T et C) (en anglais : "city" et "town") et des districts de gouvernement local (LGD) (en anglais : "Local Government District"). La province comprend aussi 78 réserves indiennes (R), 4 établissements indiens (SE) et 11 territoires non-organisé (NO).


title: Liste des municipalités du Manitoba

text: Le Manitoba n'a pas de municipalités régionales.


title: Wilhelm Ludwig Rapp

text: Wilhelm Ludwig Rapp est un médecin et un naturaliste wurtembergeois, né le et mort le .


title: Wilhelm Ludwig Rapp

text: Il exerça la médecine à Stuttgart de 1818 à 1819 avant d'enseigner l'anatomie à l'université de Tübingen de 1819 à 1858.


title: Wilhelm Ludwig Rapp

text: Il enseigna également la zoologie et entreprit de nombreux voyages scientifiques en Europe.


title: Henri Moissan

text: Ferdinand Frédéric Henri Moissan ( à Paris - à Paris) était un pharmacien-chimiste français, spécialiste des corps à hautes températures. Il est principalement connu pour avoir isolé le premier le fluor. Ses travaux eurent beaucoup d'applications dans l'industrie. Il reçut le prix Nobel de chimie de 1906.


title: Henri Moissan

text: Henri Moissan est né dans une famille juive de Paris.


title: Henri Moissan

text: Il commence ses études au collège de Meaux. Après la Commune de Paris en 1870, il s'inscrit à l'École supérieure de pharmacie à Paris, où il obtient son diplôme de pharmacien de deuxième classe. Il s'intéresse en même temps à la chimie et rejoint le laboratoire d'Edmond Frémy (chaire de chimie appliquée aux corps inorganiques) au Muséum national d'histoire naturelle, où il suit les cours d'Henri Sainte-Claire Deville et Henri Debray. Il travaille également dans le laboratoire de Pierre-Paul Dehérain à l'École pratique des hautes études ainsi qu'au laboratoire de chimie de la Sorbonne. Il obtient sa licence de chimie en 1874 et son doctorat de chimie en 1880 avec une thèse sur le cyanogène ((CN)) et ses réactions pour former les cyanures.


title: Henri Moissan

text: Il travaille sur l'absorption du dioxyde de carbone et l'émission d'oxygène par les plantes. En 1882, il est nommé professeur agrégé à l'École supérieure de pharmacie de Paris (aujourd'hui, Faculté de pharmacie) et il commence à y travailler sur la chimie du fluor en 1883. Il isole le fluor en 1886 en réalisant l'électrolyse d'un mélange de fluorure de potassium (KF) et d'acide fluorhydrique (HF). Il est alors professeur de toxicologie à l'École supérieure de pharmacie.


title: Henri Moissan

text: En 1892, il émet une théorie démontrant la possibilité de synthétiser du diamant. Avec Frédéric Chaplet, il met au point un four à arc électrique permettant d'atteindre de hautes températures, jusqu'à , avec lequel il isole plusieurs métaux et met au point la fabrication de plusieurs composés tels que divers carbures réfractaires, en particulier des carbures métalliques ou de métalloïdes.


title: Henri Moissan

text: Les carbures de silicium obtenus s'approchent de l'aspect du diamant, en présentant parfois une dureté équivalente ou supérieure. Les carbures de bore présentent une dureté supérieure, en particulier les cristaux noirs et brillants BC ou le composé BC. Il effectue en 1905 la première identification du carbure de silicium dans une météorite. Un minéral rare sera aussi appelé « moissanite » en son honneur.


title: Henri Moissan

text: En 1892, il met au point la lampe à acétylène.


title: Henri Moissan

text: En 1896, ce chercheur, spécialiste de la chimie des hautes températures, assiste Charles Friedel lors de la création de l'École nationale supérieure de chimie de Paris, dont il est le directeur de 1899 à 1907. Il succède à Louis Joseph Troost à la chaire de chimie générale de la Faculté des sciences de Paris de 1900 à sa mort.


title: Henri Moissan

text: Il est lauréat de la médaille Davy en 1896. Il est lauréat du prix Nobel de chimie de 1906,


title: Henri Moissan

text: Il meurt soudainement d'une crise d'appendicite le , peu de temps après son retour de Stockholm, où il venait de recevoir son prix.


title: Henri Moissan

text: Henri Moissan était commandeur de la Légion d'honneur. Il fut élu membre de l'Académie de médecine en 1888 et de l'Académie des sciences en 1891. Également vice-président en 1890 puis président, en 1891, de l'Académie nationale de pharmacie.


title: Henri Moissan

text: La séparation du fluor par Moissan peut être résumée en trois expériences qu'il réalisa en 1886.


title: Henri Moissan

text: En 1885, il découvrit qu'un mélange de fluorure de potassium et d'acide fluorhydrique restait liquide aux températures inférieures à et conduisait la chaleur. Toutes ses tentatives furent vaines, jusqu'au moment où il mit au point un récipient en platine, ayant une forme de U.


title: Henri Moissan

text: Le et , il réalisa deux électrolyses d'acide fluorhydrique dans des conditions de températures différentes : et . Il fit également varier les conditions électriques. Il constata à la cathode un dégagement d'hydrogène et à l'anode d'un gaz que, dans un premier temps, il décrivit et, dans un deuxième temps, identifia comme étant du fluor gazeux ou du perfluorure d'hydrogène.


title: Henri Moissan

text: La troisième expérience lui permit de démontrer que le gaz inconnu ne contenait pas d'hydrogène et était donc du fluor. Il effectua l'électrolyse d'un mélange de fluorure de potassium (KF) et d'acide fluorhydrique (HF), qui combinent pour former le sel au solvant HF. Le gaz émis était entièrement absorbé par du fer rougi (formation de fluorure de fer) sans dégagement d'hydrogène. Il démontra par son expérience que l'augmentation de masse du morceau de fer correspondait à la masse d'hydrogène dégagée à la cathode.


title: Correction des eaux du Jura

text: La correction des eaux du Jura (CEJ) est une vaste entreprise d'aménagements hydrauliques réalisée en Suisse dans la région des trois lacs de Neuchâtel, Morat et Bienne. Ces aménagements comprennent des opérations de curage, d'assainissement et de détournement de cours d'eau. Les travaux ont eu lieu en trois phases au cours des .


title: Correction des eaux du Jura

text: La correction a permis de réguler l'hydrologie de la région des trois lacs. Elle limite le risque d'inondation et protège en particulier la région des crues de l'Aar. Elle a également libéré des terres en participant à l'assèchement de la zone marécageuse située entre ces lacs, et a favorisé ainsi l'accessibilité des sites palafittiques dans la région des Trois-Lacs, entraînant de nombreuses découvertes archéologiques. Elle est aussi l'occasion d'un intérêt renouvelé pour le site de la Tène, qui a donné son nom au second âge du fer européen.


title: Correction des eaux du Jura

text: De nombreux cours d'eau ont été aménagés en Suisse : le Rhône a subi plusieurs corrections depuis le et de tels travaux sont toujours d'actualité. Mais la correction des eaux du Jura reste la plus grande entreprise d'aménagement fluvial jamais réalisée en Suisse.


title: Correction des eaux du Jura

text: Située sur le Plateau suisse, au pied du massif du Jura, la région des trois lacs fait partie du bassin versant du Rhin, l'ensemble des cours d'eau de la région se jetant dans l'Aar, affluent du Rhin.


title: Correction des eaux du Jura

text: Avant les travaux entrepris en 1868, l'Aar n'alimentait pas le lac de Bienne mais se divisait en plusieurs branches à partir d'Aarberg pour rejoindre la Thielle, émissaire du lac, près de Büren an der Aare. En fonction des conditions météorologiques et hydrologiques, les dépôts alluvionnaires ainsi que des objets charriés par le courant pouvaient former des barrages sur le cours de l'Aar, engendrant une montée des eaux en amont.


title: Correction des eaux du Jura

text: La zone concernée par la correction des eaux du Jura s'étend sur environ entre La Sarraz et Luterbach, sur le territoire des actuels cantons de Vaud, Fribourg, Neuchâtel, Soleure et Berne.


title: Correction des eaux du Jura

text: Des recherches archéologiques ont montré que, depuis l'âge du bronze, le niveau des lacs et des rivières est monté de plusieurs mètres, devenant une menace pour la population dès 1500. De leur côté, dès le , les chroniques relatent des crues et des inondations régulières dans la région marécageuse du Seeland. Il est même arrivé que les trois lacs s'étendent au point de n'en former plus qu'un. En 1651, l'Aar déborde en amont de Soleure et forme un « grand lac de Soleure », depuis cette ville jusqu'aux trois lacs réunis. Selon Johann Rudolf Schneider, cette crue marque le niveau record des temps historiques.


title: Correction des eaux du Jura

text: Ces inondations ont eu de nombreuses conséquences sur les populations locales : dès la seconde moitié du , lorsque les premières plaintes sont enregistrées, l'appauvrissement des récoltes et le risque élevé d'épidémies de malaria poussent les habitants à abandonner leurs villages. Il n'est pas anodin que l'initiateur du projet de correction des eaux du Jura soit Johann Rudolf Schneider, médecin de son état. Au cours des , la recrudescence des crues que connaît l'ensemble du bassin hydrographique suisse contribue à l'aggravation de la situation, forçant les autorités à prendre des décisions afin de lutter contre ces inondations. Plusieurs projets sont alors lancés et des mesures prises, en particulier la suppression de différents ouvrages situés sur le cours de la Thielle à Brügg en 1674.


title: Correction des eaux du Jura

text: En 1707, un plan de la Thielle, du lac de Bienne jusqu'à sa jonction avec l'Aar, est dressé par Samuel Bodmer, un lieutenant d'artillerie et géomètre bernois. Dans cet ouvrage, celui-ci propose la réduction du cours de la rivière par la coupure d'un méandre. En 1749, Antoni Benjamin Tillier, premier fonctionnaire engagé par la Confédération pour ne s'occuper que de l'aménagement des rivières, fait curer le lit de la Thielle à Nidau et à Brügg.


title: Correction des eaux du Jura

text: Plus tard, deux inondations en 1831 et 1832 provoquent la création d'un comité d'initiative à Nidau. Au milieu des années 1830, ce comité présidé par Johann Rudolf Schneider travaille sur un projet de détournement de l'Aar dans le lac de Bienne et charge de cette mission, en 1840, l'ingénieur en chef du canton des Grisons, Richard La Nicca.


title: Correction des eaux du Jura

text: Deux ans plus tard, en 1842, Richard La Nicca présente son "Rapport assorti de propositions en vue de corriger les eaux du Jura". Celui-ci préconise la réalisation de différents travaux, à savoir le détournement de l'Aar d'Aarberg au lac de Bienne par le canal de Hagneck, celui de l'Aar augmentée de la Thielle à la sortie du lac de Bienne par le canal de Nidau-Büren ; la correction de la Broye entre les lacs de Morat et de Neuchâtel (canal de la Broye), de la Thielle entre les lacs de Neuchâtel et de Bienne (canal de la Thielle) et de l'Aar de Büren à l'embouchure de l'Emme à Luterbach. Enfin, le projet prévoit également l'assainissement des marécages dans le Grand Marais et les zones avoisinantes.


title: Correction des eaux du Jura

text: Son projet final, qui est par la suite mis en œuvre sous le nom de « première correction des eaux du Jura », est soumis aux autorités en 1852 : les différentes opérations sont classées en trois catégories :


title: Correction des eaux du Jura

text: Un arrêté fédéral, pris en 1867, prescrit la réalisation du projet de Richard La Nicca en tant qu'œuvre commune de la Confédération et des cantons de Vaud, Neuchâtel, Fribourg, Berne et Soleure. Dans un premier temps, seuls certains travaux de la première catégorie sont entrepris. Des travaux plus lourds (catégorie 2 ou 3) ne sont alors pas réalisables faute de moyens financiers, de vision politique et de connaissances techniques. Cette décision est accompagnée d'un crédit de cinq millions de francs pour accomplir une première tranche de travaux.


title: Correction des eaux du Jura

text: Les travaux débutent en 1868, soit 28 ans après les premiers débats des travaux du comité. Selon l'arrêté fédéral de 1867, la Confédération devait assumer la surveillance des travaux ; les autorités délèguent finalement cette charge à Richard La Nicca et William Fraisse dont les tâches consistent à superviser les chantiers et en rendre compte aux responsables politiques.


title: Correction des eaux du Jura

text: Pour les travaux de la première correction, deux corrections sont distinguées, l'inférieure et la supérieure : la « correction inférieure » regroupe la déviation de l'Aar et ses travaux associés autour du lac de Bienne ; la « correction supérieure » regroupe les travaux en amont de la Thielle (lacs de Neuchâtel et Morat). La « correction inférieure » est aussi appelée « correction bernoise » car les travaux concernant les zones en aval de Büren ayant été repoussés à des dates indéterminées, la « correction inférieure » ne concernait plus que le territoire bernois.


title: Correction des eaux du Jura

text: Les travaux de déviation de la Kander ont montré qu'il est nécessaire d'élargir et d'aménager le cours de la rivière émissaire d'un lac avant d'augmenter le débit entrant dans celui-ci. En effet, au cours de ces travaux, la Kander fut déviée dans le lac de Thoune sans que le cours de l'Aar à la sortie de ce lac ne soit aménagé en conséquence, ce qui provoqua des inondations à Thoune, ville située sur le cours de l'Aar à la sortie du lac. Cet épisode servit de leçon aux travaux hydrologiques en Suisse. Dans le cas du lac de Bienne, l'augmentation du débit entrant due à l'Aar a été estimée à 290 %.


title: Correction des eaux du Jura

text: La correction bernoise commence par la construction du canal de Nidau-Büren, canal émissaire du lac de Bienne, afin d'augmenter la capacité d'évacuation de ce lac. Peu de temps après le début des travaux du canal, le niveau du lac de Bienne diminuant, les travaux situés en amont de ce lac commencèrent. En 1873, le creusement du canal de Hagneck débuta. La principale difficulté de ces travaux fut la traversée des collines de Seerücken, passage long de et profond de qui nécessita l'excavation d'un million de m de matériaux.


title: Correction des eaux du Jura

text: Un vaste réseau de petits canaux de drainage fut aussi creusé afin d'assainir tous les marais situés entre les lacs. Ces travaux sont appelés « correction intérieure ».


title: Correction des eaux du Jura

text: Les travaux de la correction supérieure ont consisté en l'aménagement des cours d'eau reliant les trois lacs. L'ingénieur en chef dirigeant cette partie des travaux est le Neuchâtelois Henri Ladame. Les travaux débutent en 1874 par le creusement du canal de la Broye entre les lacs de Morat et Neuchâtel. La Broye est une rivière du plateau suisse, elle alimente le lac de Morat puis coule de ce lac dans celui de Neuchâtel, où elle rejoint la Thielle. Le canal de la Broye est en fait l'aménagement et la rectification du cours de la Broye entre ces deux lacs. En 1875, ce sont les travaux du canal de la Thielle qui commencent, canal reliant les lacs de Neuchâtel et Bienne. La Thielle est la rivière alimentant le lac de Neuchâtel, rejoignant ensuite le lac de Bienne. Avant la correction des eaux du Jura, elle devenait un affluent de l'Aar en aval du lac de Bienne. Depuis, la confluence a lieu dans ce lac. De même que pour celui de la Broye, les travaux de creusement du canal de la Thielle sont en fait un élargissement et une rectification du cours. Les travaux de ces deux canaux ont permis de faire disparaître des méandres, présents sur les anciens cours des deux rivières et de donner aux lacs un niveau commun.


title: Correction des eaux du Jura

text: Avec ces quatre canaux et divers barrages de régulation, la situation hydrologique du Seeland a changé : le niveau des lacs de Morat, Neuchâtel et Bienne s'est abaissé d'environ et ils forment comme un unique réservoir fonctionnant sur le principe des vases communicants. De plus, l'Aar passe dorénavant par le lac de Bienne.


title: Correction des eaux du Jura

text: Toutes ces modifications ont eu différentes conséquences sur les rives des lacs et sur la zone marécageuse intermédiaire. Les lacs ont diminué en superficie : le lac de Neuchâtel perdant , le lac de Bienne et le lac de Morat . Il fallut adapter divers éléments à ce nouveau niveau, notamment les bateaux à vapeur de grande taille qui effectuaient déjà un certain trafic sur les lacs, ainsi que les ports et les quais. Les travaux de la première correction des eaux du Jura ont eu les effets escomptés et sont considérés comme un succès. À Nidau, un monument est inauguré en 1908 en l'honneur de Johann Rudolf Schneider et de Richard La Nicca avec comme inscription « À ceux qui l’ont sauvé de sa grande détresse, le Seeland reconnaissant ». Cependant, des inquiétudes naquirent, concernant notamment l'affaissement d'anciennes tourbières dû à l'oxydation de la tourbe exposée à l'air par la baisse du niveau de l'eau. L'assèchement et l'aménagement des terrains plats entre les trois lacs ont pris quelques décennies mais ces terrains sont devenus de vastes zones agricoles.


title: Correction des eaux du Jura

text: La Nicca avait prévu la nécessité de la deuxième correction des eaux du Jura conçue pour consolider les résultats obtenus par la première.


title: Correction des eaux du Jura

text: Les premiers témoignages connus concernant la présence de sites palafittiques dans la région des Trois-Lacs datent de la fin du Moyen-Âge. Leur étude va cependant débuter durant la seconde moitié du à la suite de la découverte par Ferdinand Keller du site d'Obermeilen au bord du lac de Zurich. Une véritable « fièvre lacustre » va alors animer les rives des lacs suisses et mène à de nombreuses découvertes. Ces sites se trouvent notamment sur les rives de Concise, Auvernier, Hauterive (village de Hauterive-Champréveyres) et Cortaillod au bord du lac de Neuchâtel et de Lüscherz (Locras) et Mörigen sur celui de Bienne. Le site de la Tène, qui n'est pas palafittique et qui prêtera son nom au second âge du fer est également identifié durant cette période. Les sites sont explorés, mais ils sont à l'époque submergés, et les archéologues de l'époque (notamment Friedrich Schwab et Édouard Desor) doivent employer des pécheurs pour extraire les vestiges à l'aide de longues pinces et de dragues. Cette période de « fièvre lacustre » va participer au rapide développement de l'archéologie suisse. Ainsi Neuchâtel, canton essentiellement dénué de tradition antiquaire avant le milieu du siècle accueillera le premier Congrès international d'archéologie préhistorique en son chef-lieu en 1866.


title: Correction des eaux du Jura

text: La première correction des eaux causera un abaissement des eaux d'environ 2,7 mètres. Une série de sites palafittiques est ainsi exondée, les champs de poteaux signalant leur présence. La récolte des antiquités ainsi mises au jour prend alors des proportions inédites puisque que quiconque peut désormais y accéder sans grande difficulté. Ainsi, des artefacts d'os et de bois de cerf aboutissent par exemple sur les marchés de La Neuveville et du Landeron et font peu à peu l'objet d'un commerce international soutenu. La demande est si importante que des contrefaçons commencent à apparaître.


title: Correction des eaux du Jura

text: Les sites découverts avant la correction sont revisités, et font l'objet de fouilles plus systématiques. Ces sites sont aujourd'hui datés du Néolithique moyen au Bronze final, sans continuité temporelle entre eux. En revanche, dès les premières découvertes et durant plusieurs décennies, les archéologues de l'époque, en particulier Ferdinand Keller, pensent voir là l'existence d'une véritable « civilisation lacustre ». Cette civilisation ce serait étendue de façon continue du Néolithique à l'âge du Fer et aurait eu un véritable mode de vie « amphibie ». Inspirés d'exemples polynésiens, Keller et ses contemporains imaginent les maisons situées directement au-dessus des flots, érigées sur des plateformes reliées entre elles par des passerelles. On sait aujourd'hui que les villages se trouvaient en retrait des flots, sur des terrains certes humides, mais loin de l'image romantique de l'époque. Pour le très jeune État fédéral, ce « peuple lacustre » est l'occasion de se construire un mythe fondateur. Ainsi, ce « peuple » forme une mythologie attrayante, il vit en plaine comme la plupart des Suisses actuels tout en étant très ancien, puisque précédent la conquête romaine. Au plan universel, la « civilisation lacustre » est perçue comme un nouveau chaînon de l'évolution humaine, qui offre, pour les périodes les plus récentes de la préhistoire, des attestations très parlantes car exceptionnellement bien conservées. Cette théorie lacustre sera à l'origine d'un intense courant artistique et idéologique. À la fin des années 1920, des fouilles sont entreprises au bord du lac Feder en Allemagne qui mettront en doute puis mèneront à l'abandon progressif de la théorie lacustre. Pourtant, l'image des sites palaffitiques directement au-dessus de la surface de l'eau est restée bien présente dans l'imaginaire collectif.


title: Correction des eaux du Jura

text: L'ampleur des fouilles lancées par des privés, la quantité de contrefaçons et l'exportation vers l'étranger des vestiges vont progressivement forcer les cantons à intervenir. Avec la correction et l'accessibilité accrue aux sites en raison de la baisse du niveau de l'eau, la nécessité de légiférer devenait pressante. L'exportation des vestiges avait en effet pris des proportions impressionnantes, aucune période temporelle ou région d'Europe (non-Méditerranéenne) n'étant par exemple aussi bien représentée dans les musées américains que les sites lacustres, principalement suisses. Berne est le premier canton à réagir, en 1873, en décrétant que seul le canton est habilité à mener des fouilles archéologiques, et que tout le mobilier en étant issu lui appartient. Les mesures des cantons, marquées par l'improvisation face à une situation inédite sont de plusieurs types: interdictions ponctuelles des fouilles, établissement de permis de fouilles, organisation exclusive de fouilles par les autorités cantonales. Contrairement à d'autres grands travaux de l'époque comme la construction ferroviaire, la correction est issue d'une initiative étatique. C'est pourquoi, selon Kaeser, son caractère politique aurait favorisé l'intervention des autorités, soucieuses de protéger un patrimoine qu'elles-mêmes mettaient en danger. De plus, en l'absence encore de lois sur la protection du patrimoine archéologique, la situation de ces vestiges archéologiques, dans les lacs ou sur leurs rives, en faisaient "de facto" la propriété de l'Etat. Ces mesures forment ainsi les prémices des lois de protection du patrimoine, dès le début du .


title: Correction des eaux du Jura

text: Durant la première correction, un barrage provisoire est édifié sur le canal de Nidau-Büren afin de maintenir le niveau d'eau dans le lac de Bienne. De capacité insuffisante, il est rapidement remplacé par un nouvel ouvrage en 1887.


title: Correction des eaux du Jura

text: Celui-ci montre ses limites, notamment lors d'une crue en 1910. Les cantons de Vaud, Neuchâtel et Fribourg demandent sa destruction, mais il ne sera que modifié en 1911 et 1915 avant la construction du nouveau barrage de régulation de Port en 1936, achevée en 1939 : ce barrage permet le contrôle du niveau des trois lacs et du débit de l'Aar, les trois lacs servant de zone tampon absorbant les eaux de l'Aar en cas de crue.


title: Correction des eaux du Jura

text: Les travaux de la seconde correction furent moins lourds que ceux de la première. En partie déjà envisagés par La Nicca, ces travaux se sont déroulés entre 1962 et 1973. Ils ont essentiellement porté sur la construction du barrage de régulation de Flumenthal. Le cours de l'Aar a de nouveau été corrigé entre Büren et Flumenthal afin de faire disparaître le verrou de l'Emme. Les canaux de la Broye, de la Thielle et Nidau à Büren and der Aare ont été élargis et approfondis, leurs rives étant aussi aménagées.


title: Correction des eaux du Jura

text: Cette seconde correction des eaux du Jura a permis de réduire encore les variations de niveau des trois lacs : d'une part, le niveau des hautes eaux a été adapté à l'affaissement des terres, c'est-à-dire abaissé d'un mètre environ ; d'autre part, le niveau d'étiage a été relevé de presque un mètre, au profit de la navigation fluviale, de la pêche et du paysage. L'Aar est navigable entre Bienne et Soleure, un service régulier de bateaux y a d'ailleurs été établi.


title: Correction des eaux du Jura

text: Connaissant le potentiel des rives des lacs, la dimension archéologique est prise en compte dès le lancement du projet. Hanni Schwab est ainsi nommée directrice des travaux archéologiques en 1962 pour l'ensemble de la correction, sur tous les territoires cantonaux considérés. Si les découvertes réalisées dans ce cadre sont importantes et permettront à Hanni Schwab de publier quatre monographies, les fouilles liées à la construction des autoroutes suisses tendront à éclipser l'impact de cet organisme supracantonal dans la professionnalisation de l'archéologie suisse. Les fouilles liées à la seconde correction entraîneront d'innombrables découvertes ponctuelles, en particulier sur les rives des canaux réaménagés, ainsi qu'à la fouille notamment de deux sites fameux: le pont celtique de Cornaux (NE) et l'Oppidum celtique du Mont-Vully.


title: Correction des eaux du Jura

text: Depuis l'achèvement de la seconde correction des eaux du Jura, aucune grande inondation n'a eu lieu dans le Seeland, jusqu'en . Au début du mois, d'importantes précipitations causent des crues et des inondations dans toute la Suisse romande. Le lac de Neuchâtel dépasse de 1 m son niveau habituel, le niveau d'alerte crue monte à 4 sur 5.


title: Correction des eaux du Jura

text: La « condition de Murgenthal » est une règle fixée dans le cadre de la correction des eaux du Jura. Elle stipule que le débit de l'Aar ne doit pas dépasser à la station limnimétrique de Murgenthal qui est située en aval de la confluence de l'Aar et de l'Emme.


title: Correction des eaux du Jura

text: Quand le débit de l'Emme augmente, le débit de l'Aar augmente également en aval de leur confluence, ce qui peut engendrer des crues en aval dans les cantons de Soleure et d'Argovie. Ainsi, la « condition de Murgenthal » fixe le débit que l'Aar ne doit pas dépasser : si le débit augmente trop, le barrage de Port limite le débit de l'Aar en amont, les trois lacs servant à absorber la crête de la crue de l'Aar ; une fois que le débit de l'Emme le permet, le barrage de régulation de Port laisse de nouveau passer l'Aar avec un fort débit.


title: Correction des eaux du Jura

text: La correction des eaux du Jura a mis en place un système de gestion du débit de l'eau dans l'Aar. Cette situation a cependant montré ses limites avec la survenue d'inondations. En effet, en août 2007, le débit de l'Aar est monté à à Murgenthal et le lac de Bienne a dépassé sa limite de crue de 54 centimètres. Quelques années plus tard, au printemps 2015, le niveau du lac de Neuchâtel dépasse de 1 m son niveau normal, de nombreuses caves sont inondées.


title: Correction des eaux du Jura

text: En 2018, l'idée d'une troisième correction commence à prendre forme avec la réunion de députés des cantons de Berne, Fribourg, Neuchâtel, Soleure et Vaud. En effet, la région du Seeland est devenue centrale pour l'approvisionnement agricole suisse, mais les systèmes de drainage et d'irrigation doivent être revus. De plus, avec le réchauffement climatique, des étés plus chauds et secs sont prévus, la nappe phréatique sous l'ancien Grand-Marais sera mise en péril. Le projet propose donc la construction de liaisons permettant son alimentation avec les eaux de l'Aar et de la Sarine. Le coût du projet est estimé à 1 milliard de francs suisses. L'idée est accueillie avec scepticisme de la part des milieux de protection de la nature, ceux-ci jugeant que les espèces du marais de la Grande Cariçaie seraient mises en danger par ses travaux. De plus, la fondation suisse pour la protection et l'aménagement du paysage considère qu'une nouvelle correction ne ferait que repousser le problème d'une vingtaine d'années.


title: Thylacine

text: Le thylacine, appelé également loup marsupial, loup de Tasmanie ou encore tigre de Tasmanie, est un mammifère marsupial carnivore de la taille d’un loup, au pelage tigré. Depuis 1936, l’espèce est considérée comme éteinte ; cependant les amateurs de cryptozoologie espéraient prouver la présence de thylacines en Tasmanie en 2013, puis plus récemment en 2017 et en 2018.


title: Thylacine

text: Son nom scientifique est Thylacinus cynocephalus. Il appartient à la famille des thylacinidés. C'était la dernière espèce survivante de son genre, mais on a trouvé de nombreux fossiles d’espèces voisines dont les plus anciens remontent au début du Miocène. L’animal apparenté le plus proche encore en vie est le diable de Tasmanie.


title: Thylacine

text: Il était largement répandu en Australie et en Nouvelle-Guinée il y a plusieurs milliers d’années. Des bouleversements, notamment l’introduction du chien (dingo) vers le et la chasse intensive, réduisirent son habitat à la Tasmanie, au sud-est de l’Australie. On attribue sa disparition de Tasmanie à sa chasse intensive encouragée par des primes d’abattage, mais elle est due aussi à l’introduction des chiens et à l’enracinement des colons dans son milieu naturel.


title: Thylacine

text: Chassant généralement seul, le thylacine était plutôt nocturne ou semi-nocturne et se nourrissait de toutes sortes d’animaux, notamment de kangourous, de wallabies et d’oiseaux nichant à terre.


title: Thylacine

text: Le terme thylacine est tiré du grec ancien θύλακος "thúlakos ("poche, sac) et -ινος "-inos" (-ine).


title: Thylacine

text: Plusieurs autres noms ont été donnés à l'animal par les colons européens après leur arrivée sur l'île : loup de Tasmanie, tigre de Tasmanie, loup rayé, loup marsupial, tigre marsupial, loup-kangourou, opossum rayé, etc. Les appellations « loup de Tasmanie » et « loup marsupial » lui ont été attribuées du fait de sa ressemblance morphologique avec le loup, tandis que celles de « tigre de Tasmanie » et « tigre marsupial » l'ont été en raison de ses rayures rappelant celles du tigre.


title: Thylacine

text: Les Aborigènes de Tasmanie lui attribuèrent aussi plusieurs noms étant donné la large diffusion de l'animal dans l'île de Tasmanie : « Ka-nunnah » ou « Laoonana » chez les tribus des régions du sud de la Tasmanie, du mont Royal, de l'île Bruny et de la Baie de la Recherche, « Langunta » chez les tribus de la baie des Huîtres à Pittwater, « Loarinnah » chez les tribus du Nord-Ouest et de l'Ouest. Le célèbre chef aborigène Mannalargenna, originaire de la côte est de la Tasmanie, l'appelait « Cabberr-one-nen-er », tandis que Truganinni et Worrady, originaires de l'Île Bruny, l'appelaient « Can-nen-ner ».


title: Thylacine

text: Les scientifiques font remonter l’apparition du tigre de Tasmanie à environ 4 millions d’années. Les autres espèces de la famille des Thylacinidae remontent au début du Miocène, il y a 23 millions d’années. Depuis le début des années 1990, au moins sept espèces fossiles ont été découvertes dans le site fossilifère de Riversleigh qui appartient au Parc national Boodjamulla dans le nord-ouest du Queensland. Le Thylacine de Dickson ("Nimbacinus dicksoni") est la plus ancienne des sept espèces fossiles découvertes, datant de 23 millions d’années. Ce thylacinidé était beaucoup plus petit que ses plus récents cousins. La plus grande espèce, le Thylacine puissant ("Thylacinus potens") qui avait la taille d’un loup, était la seule espèce à survivre à la fin du Miocène. À la fin du Pléistocène et au début de l’Holocène, le Thylacine contemporain vivait (mais jamais en grand nombre) dans toute l’Australie et la Nouvelle-Guinée.


title: Thylacine

text: Exemple remarquable de convergence évolutive, le thylacine montrait de nombreuses similitudes avec les membres de la famille des canidés vivant dans l’hémisphère Nord : dents, mâchoires puissantes, talons décollés fortement du sol et même forme générale du corps. Puisque le thylacine occupait la même niche écologique en Australie que le loup sur d'autres continents, il a développé un grand nombre de caractéristiques communes avec ce dernier. Malgré cela, le thylacine n’est pas apparenté aux prédateurs de l’hémisphère Nord, son plus proche parent vivant étant le diable de Tasmanie ("Sarcophilus harrisii"). Des études phylogénétiques pratiquées sur l'ADN mitochondrial de spécimens de Thylacine ont démontré en 1989 sa parenté avec les marsupiaux carnivores australiens.


title: Thylacine

text: Les Aborigènes australiens connaissaient le thylacine. De nombreuses gravures et peintures rupestres de l’animal ont été découvertes dont certaines remontant au moins à mille ans avant notre ère. On peut voir des pétroglyphes de tigres de Tasmanie sur la presqu’île de Burrup dans le nord de l’Australie-Occidentale. Lors de l’arrivée des premiers explorateurs européens, l’animal était déjà rare en Tasmanie. Les Européens l’ont peut-être rencontré dès 1642 lorsqu’Abel Tasman est arrivé en Tasmanie. Lorsqu’il mit pied à terre, il signala avoir vu sur le rivage les traces de « bêtes sauvages ayant des griffes comme un Tigre ». Marc Joseph Marion du Fresne, en arrivant en Tasmanie à bord du "Mascarin" en 1772, signala avoir vu un « chat-tigre » mais on ne peut garantir qu’il s’agisse d’un thylacine car il y parle aussi du Chat marsupial à queue tachetée ("Dasyurus maculatus"). La première rencontre avérée d’un tigre de Tasmanie a été faite par des explorateurs français, le 13 mai 1792, comme l’a noté le naturaliste Jacques Labillardière dans son journal de l’expédition dirigée par Antoine Bruny d'Entrecasteaux. Cependant, ce n’est qu’en 1805 que William Paterson, le vice-gouverneur de Tasmanie, envoya une description détaillée pour publication dans la ' et le '.


title: Thylacine

text: La première description scientifique détaillée du thylacine a été rédigée par l’adjoint du géomètre en chef de la Tasmanie, George Harris en 1808, cinq ans après l’implantation de la première colonie sur l’île. Harris avait classé le thylacine dans le genre "Didelphis" créé par Linné pour les opossums américains, le décrivant comme "Didelphis cynocephala", l’« opossum à tête de chien ». La reconnaissance du fait que les marsupiaux australiens étaient fondamentalement différents des genres de mammifères connus a conduit à la création du système de classification moderne. En 1796, Geoffroy Saint-Hilaire a créé le genre "Dasyurus" dans lequel il a placé ce thylacine en 1810, sous le nom de "Dasyurus cynocephalus". Pour résoudre le problème de mélange de grec et de latin dans le nom de l’espèce, ce dernier a été modifié en « "cynocephalus" ». En 1824, il a été classé dans son propre genre dédié, "Thylacinus", par Temminck. Le nom vernaculaire découle directement du nom de genre, lui-même d’origine grecque (""), signifiant sac ou valise diplomatique.


title: Thylacine

text: Les descriptions du loup de Tasmanie sont assez variables, fondées uniquement sur les spécimens conservés, les témoignages écrits, les peaux et les squelettes restants, les photographies et les films noir et blanc de l’animal en captivité et les histoires locales.


title: Thylacine

text: Le loup de Tasmanie ressemblait à un grand chien, au poil court avec une longue queue raide, serpentiforme et soyeuse tendue dans le prolongement du corps comme celle des kangourous. De nombreux colons européens l’ont comparé à la hyène, en raison de sa posture inhabituelle et de son attitude générale. Son pelage jaune-brun portait 15 bandes sombres bien distinctes sur le dos, la croupe et la base de la queue, qui ont valu à l’animal son surnom de « tigre de Tasmanie ». Les rayures étaient plus marquées chez les jeunes spécimens, pâlissant au fur et à mesure que l’animal vieillissait. L’une des bandes s’étendait jusqu’à la face externe de la cuisse. Son pelage était serré et doux, d’environ de long, les jeunes avaient une touffe de poils à l’extrémité de la queue. Les oreilles, arrondies et dressées, mesuraient environ de long et étaient couvertes d’une courte fourrure. Le pelage avait une coloration variant du beige clair au marron foncé, le ventre étant de couleur crème.


title: Thylacine

text: Les thylacines adultes mesuraient entre 100 et de longueur, y compris la queue d’environ 50 à . Le plus grand spécimen jamais mesuré faisait du nez à l’extrémité de la queue. Ils mesuraient environ au garrot et pesaient de 20 à . Il existait un faible dimorphisme sexuel, les mâles étant en moyenne plus gros que les femelles.


title: Thylacine

text: La femelle avait une poche marsupiale avec quatre mamelles, mais contrairement à de nombreux autres marsupiaux, la poche s’ouvrait vers l’arrière de son corps. Les mâles possédaient une poche scrotale, fait unique en son genre chez les marsupiaux australiens dans laquelle ils pouvaient rentrer leur scrotum.


title: Thylacine

text: Le loup de Tasmanie était en mesure d’ouvrir ses mâchoires jusqu’à 120 degrés, valeur inhabituelle chez les autres carnivores. On peut l’observer sur une courte séquence de film réalisé par David Fleay en 1933 sur un thylacine en captivité. Les mâchoires, puissantes, avaient une forte musculature et possédaient 46 dents. Sa denture est particulière, parmi celle des marsupiaux car elle ne possède que 7 prémolaires-molaires par côté au lieu de 8, à comparer à celles des canidés qui possèdent respectivement 6 et 7 prémolaires-molaires supérieurs et inférieurs.


title: Thylacine

text: Ses empreintes étaient facilement reconnaissables, différentes de celles des autres animaux autochtones (diables de Tasmanie, wombats) ou introduits (renards, chats, chiens). Les thylacines avaient un très grand coussinet plantaire avec quatre doigts (aux pattes postérieures ("hindfoot"), cinq aux pattes antérieures ("forefoot")) placés presque en ligne droite. Les griffes étaient non rétractables.


title: Thylacine

text: Les premières études scientifiques sur l’animal donnaient à penser qu’il possédait un odorat puissant, ce qui lui aurait permis de suivre facilement ses proies mais l’analyse de la structure de son cerveau a révélé que ses bulbes olfactifs n’étaient pas bien développés. Toutefois, il disposait d’une bonne vue et d’une ouïe excellente pour s’adonner à la chasse. Certains observateurs l’ont décrit comme ayant une forte odeur distinctive, d’autres une odeur animale légère, agréable, et certains pas d’odeur du tout. Il est possible que le loup de Tasmanie, à l’instar de son cousin, le diable de Tasmanie, ne dégageait une odeur que lorsqu’il se sentait menacé.


title: Thylacine

text: Sa démarche paraissait un peu raide et maladroite, ce qui le rendait incapable de courir à grande vitesse. Il pouvait également effectuer des bonds, de la même façon qu’un kangourou - ce qui a été vu à plusieurs reprises chez des spécimens en captivité. Guiler pense que ce type de déplacement rapide n’était utilisé par l’animal que lorsqu'il se sentait en danger, pour fuir, sur les premiers mètres, afin d'avoir une petite avance sur ses poursuivants. L’animal était également en mesure de se tenir en équilibre sur ses pattes postérieures, à la manière d'un kangourou ou d'un lapin en alerte, afin d'observer et écouter son environnement, pendant de courtes périodes, généralement quelques secondes. Cela a aussi été vu notamment en captivité. Un spécimen naturalisé au Muséum-Aquarium de Nancy, enregistré en 1886, est justement représenté dans cette position. Cependant, cette représentation, probablement faite par un taxidermiste local n'ayant aucune connaissance de l'espèce, peut aujourd'hui induire en erreur le public sur le fait que l'animal se déplaçait constamment à la manière d'un kangourou. Le Muséum ne pouvant pas intervenir sur le positionnement du spécimen -tant d'un point de vue patrimonial, qu'historique ou même éthique- a décidé de le conserver en réserve. C'est un exemple de naturalisation, portant dans sa représentation-même, une histoire de la connaissance de l'espèce dans un lieu et à un temps donné .


title: Thylacine

text: Bien qu’il n’y ait pas d’enregistrement des cris du thylacine, des observateurs de l’animal dans la nature et en captivité ont noté qu’il émettait des grognements et des sifflements lorsqu’il se sentait agressé, souvent accompagnés par un écartement menaçant des mâchoires. Au cours de la chasse, il émettait une série de petits sons gutturaux rapides et répétés, des sortes d’aboiements, qui devaient probablement servir pour la communication entre les membres de la famille Il avait aussi un long cri gémissant probablement utilisé pour l’identification à distance et un faible bruit de reniflement utilisé pour la communication rapprochée entre les membres de la famille.


title: Thylacine

text: On sait peu de choses sur le comportement ou l’habitat du thylacine. Quelques observations ont été réalisées sur l’animal en captivité, mais elles sont limitées, difficilement extrapolables à son comportement dans la nature. La plupart des observations ont été faites durant la journée alors que le thylacine était un animal nocturne. Elles datent du début du et sont certainement biaisées car l’espèce était très stressée par les conditions de vie qui lui étaient imposées et qui allaient bientôt conduire à son extinction. Certaines caractéristiques comportementales ont été déduites à partir du comportement de son proche parent, le diable de Tasmanie.


title: Thylacine

text: Sur le continent australien, le thylacine préférait probablement vivre dans les forêts sèches d’eucalyptus, les zones humides et les prairies. Les peintures rupestres aborigènes montrent que le thylacine a vécu dans toute l’Australie et en Nouvelle-Guinée. Une preuve de l’existence de l’animal en Australie vient d’une carcasse desséchée découverte dans une grotte dans la plaine de Nullarbor en Australie occidentale en 1990. La datation au carbone 14 a révélé qu’elle avait environ ans.


title: Thylacine

text: En Tasmanie, il préférait les zones boisées clairsemées, sur les côtes ou à l’intérieur du pays, c’est-à-dire les endroits les plus recherchés par les colons britanniques à la recherche de zones de pâturage pour leur bétail. L’animal avait un territoire de chasse allant de 40 à ² mais on a observé sur un même territoire des groupes trop nombreux pour être tous de la même famille.


title: Thylacine

text: Le thylacine chassait la nuit ou au crépuscule, se reposant le jour dans une petite grotte ou le creux d’un tronc d’arbre, sur un nid de brindilles, d’écorces ou de fougères. Il avait tendance à se replier dans les collines et les forêts pour se reposer dans la journée et à chasser la nuit dans des prairies. Les premiers observateurs ont noté que l’animal était généralement timide et secret, effrayé par la présence de l’homme et évitant son contact, même si, parfois, il a montré quelques traits de curiosité à son égard.


title: Thylacine

text: On a des preuves qu’il se reproduisait tout au long de l’année (découverte de petits dans la poche marsupiale toute l’année), bien que le pic de la saison de reproduction se soit situé en hiver et au printemps. Il y avait jusqu’à quatre jeunes par portée (généralement deux ou trois), que la mère transportait dans sa poche marsupiale pendant trois mois au maximum, puis protégeait jusqu’à ce qu’ils aient au moins la moitié de leur taille d’adulte. Au départ, les jeunes étaient sans poils et aveugles, mais ils avaient les yeux ouverts et étaient couverts de poils au moment où ils quittaient la poche. Après leur sortie de la poche marsupiale et jusqu’à ce qu’ils soient aptes à aider leurs parents à la chasse, les jeunes restaient dans leur tanière pendant que la mère chassait. En captivité, on n’a pu élever et faire reproduire qu’une seule fois avec succès le thylacine, au zoo de Melbourne en 1899.


title: Thylacine

text: L'examen des articulations du coude des os conservés de cet animal laisse penser que son comportement de chasse était de type affût en solitaire plutôt qu’en meute.


title: Thylacine

text: On estime que son espérance de vie dans la nature était de 5 à 7 ans, bien que des spécimens aient survécu en captivité jusqu’à 9 ans.


title: Thylacine

text: Des loups marsupiaux auraient notamment été observés associés à des diables de Tasmanie, bien qu’il ait été également rapporté que les diables s’attaquaient aux petits du loup marsupial lorsqu’ils n’étaient pas surveillés.


title: Thylacine

text: Le thylacine était exclusivement carnivore. Son estomac musclé avait la capacité de se distendre pour permettre à l’animal de manger de grandes quantités de nourriture quand il en avait la possibilité, probablement une adaptation pour compenser les longues périodes au cours desquelles la chasse était infructueuse et la nourriture rare. L’analyse de sa trame osseuse et son observation en captivité donnent à penser qu’il repérait d’abord sa future proie et la poursuivait jusqu’à épuisement. Certaines études concluent que l’animal pouvait chasser en petits groupes familiaux, avec un groupe principal rabattant les proies vers un individu qui attendait en embuscade. Des trappeurs ont rapporté qu’il chassait en embuscade.


title: Thylacine

text: Parmi ses proies, on trouvait des kangourous, des wallabies, des wombats, des oiseaux et des petits animaux comme des potoroos et des opossums. Une de ses proies favorites semble avoir été l’émeu de Tasmanie autrefois très courant dans la région. L’émeu était un grand oiseau qui partageait son habitat avec le thylacine et a été chassé par les Européens jusqu’à son extinction vers 1850, ce qui coïncide peut-être avec le déclin du nombre de tigres de Tasmanie. On a d’ailleurs signalé que dingos et renards pouvaient aller à la chasse à l’émeu sur le continent.


title: Thylacine

text: Il était également connu pour s’attaquer au bétail, en particulier aux moutons, raison pour laquelle il a été largement persécuté chassé par les hommes.


title: Thylacine

text: Tout au long du , on a souvent décrit le thylacine comme un animal assoiffé de sang, mais peu de documents sérieux rapportent de tels faits ; l’origine de cette légende semble en réalité se trouver dans un récit de seconde main. Les premiers colons européens croyaient que l’animal se nourrissait de moutons et de volaille. En captivité, ils étaient nourris avec une grande variété de viandes, comme des lapins et des wallabies morts ainsi que du bœuf, du mouton, de la volaille et, occasionnellement, du cheval.


title: Thylacine

text: Bien que l'on ne sache que peu de choses sur l’écologie du loup marsupial, l’analyse de sa convergence morphologique et probablement comportementale avec les canidés (par exemple le loup), les hyènes et les félidés modernes (tels que le léopard), aide à reconstituer son rôle probable dans son écosystème. Il occupait le créneau du plus grand prédateur terrestre en Tasmanie et sans doute aussi dans la partie continentale de l’Australie avant l’introduction du dingo. Dans ce rôle de « plus grand prédateur », il était complété en Tasmanie par trois dasyuridés autochtones de plus petite taille – le diable de Tasmanie, le chat marsupial moucheté et le chat marsupial à queue tachetée. Toutes ces espèces existent encore en Tasmanie; seul le chat marsupial à queue tachetée survit sur le continent.


title: Thylacine

text: Le dernier thylacine sauvage fut abattu en Tasmanie par un fermier en 1930. Une des causes de la disparition de cette espèce fut la chasse dont il a fait l'objet de la part des éleveurs de moutons, et les primes offertes depuis les années 1830 pour chaque tête, entre 1888 et 1909, près de thylacines ont été tués ainsi. La déforestation, la concurrence avec les chiens errants introduits et la raréfaction de ses proies ont pu contribuer à sa disparition.


title: Thylacine

text: Le thylacine semble avoir disparu d'Australie il y a  ans environ (peut-être plus en Nouvelle-Guinée). Sa disparition est attribuée à la concurrence des Aborigènes aidés par les dingos arrivés en Australie « il y a environ à ans », sans doute amenés par des navigateurs austronésiens.


title: Thylacine

text: Des doutes existent quant au rôle exact du dingo dans cette disparition car les deux espèces n’auraient pas toujours été en concurrence directe. Le dingo est un prédateur essentiellement diurne, alors qu’on estime que le thylacine chassait surtout la nuit. En outre, le thylacine était plus puissant que le dingo, ce qui lui aurait donné l’avantage dans des confrontations.


title: Thylacine

text: Des peintures rupestres du parc national de Kakadu montrent clairement que les thylacines ont été chassés dans la région dès l’arrivée de l’homme et l’on pense que les dingos et les thylacines se nourrissaient du même type de proie. Leurs territoires de chasse se chevauchaient manifestement : on a trouvé des fossiles de thylacines à proximité de ceux de dingos. Mais l’adoption du dingo comme compagnon de chasse par les Aborigènes aurait mis les thylacines sous une pression accrue.


title: Thylacine

text: L'introduction par l'homme de mammifères placentaires a aussi eu pour conséquence l'apparition d'une compétition avec les marsupiaux indigènes et a entraîné l'extinction d'un bon nombre de ces derniers.


title: Thylacine

text: Bien que disparus depuis longtemps du continent australien au moment où les colons européens sont arrivés, les thylacines ont survécu jusque dans les années 1930 en Tasmanie. Au début de la colonisation européenne, on les trouvait surtout dans les régions du nord de l’État. Mais s’ils ont rarement été aperçus, ils ont été lentement crédités de nombreuses attaques sur les moutons, ce qui a conduit à la création de primes d’abattage pour contrôler leur nombre. La société "Van Diemen’s Land Company" a ainsi offert des primes dès 1830 et, entre 1888 et 1909, le gouvernement de Tasmanie payait une livre par tête d’animal abattu (10 shillings pour un jeune). Il fut ainsi versé primes, mais on estime que de nombreux thylacines ont été tués sans qu’une prime ne soit versée. Dans l’opinion publique, sa disparition est attribuée aux inlassables efforts déployés par les agriculteurs et les chasseurs de primes. Toutefois, il est probable que plusieurs facteurs aient conduit à son déclin et son extinction : la concurrence avec les chiens sauvages (introduits par les colons), la destruction de son habitat, la raréfaction concomitante de ses proies et une maladie analogue à la maladie de Carré qui a tué de nombreux spécimens en captivité à l’époque.


title: Thylacine

text: Quelle que soit la raison de leur diminution, les spécimens étaient devenus très rares dans la nature à la fin des années 1920. Il y a eu plusieurs efforts pour sauver l’espèce de l’extinction. Des documents du comité de gestion du cap Wilson datant de 1908 comportaient des recommandations pour réintroduire des thylacines dans plusieurs lieux appropriés du Victoria, sur le continent. En 1928, le Comité consultatif pour la protection de la faune originaire de la Tasmanie avait recommandé la création d’une réserve afin de protéger les thylacines survivants, en proposant des sites potentiels d’habitats appropriés, comme la région de l’Arthur-Pieman dans l’ouest de la Tasmanie.


title: Thylacine

text: Le dernier thylacine sauvage abattu le fut en 1930 par l’agriculteur Wilf Batty à Mawbanna, dans le nord-est de l’État. L’animal (supposé être un mâle) avait été vu tourner autour du poulailler de Batty depuis plusieurs semaines.


title: Thylacine

text: Des particuliers possèdent parfois des peaux de thylacine, comme la peau Wilson rachetée par le National Museum of Australia en 1987.


title: Thylacine

text: L'Homme est la cause de l'extinction. Lors de l'arrivée des colons, il fut classé comme tueur de mouton et chassé intensivement. À cause de ce titre, les colons offraient une prime à tous ceux qui abattaient des spécimens de thylacine.


title: Thylacine

text: Le dernier tigre de Tasmanie à vivre en captivité, dénommé par la suite « Benjamin » (bien que son sexe n’ait jamais été confirmé), a été capturé en 1933 et envoyé au zoo de Hobart où il a vécu pendant trois ans. Frank Darby, affirmant avoir été gardien au zoo de Hobart, a expliqué dans un article de journal de mai 1968 que l’on avait donné « Benjamin » comme nom à l’animal. Toutefois, il n’existe aucune documentation permettant de penser qu’il ait jamais eu un nom et Alison Reid (le conservateur du zoo à l’époque) et Michael Sharland (alors journaliste pour le zoo) ont nié que Frank Darby ait déjà travaillé au zoo ou que le nom de Benjamin ait jamais été utilisé pour l’animal. Darby semble également être la source de l’affirmation selon laquelle le dernier thylacine était un mâle ; les photographies donnent à penser qu’il s’agissait d’une femelle. Ce thylacine est décédé le . Il aurait succombé à la suite de négligences : on l’aurait empêché de rejoindre son abri et laissé soumis aux conditions météorologiques extrêmes de la Tasmanie (chaleur accablante pendant la journée, températures glaciales la nuit). La dernière séquence cinématographique d’un spécimen vivant (62 secondes d’images en noir et blanc prises en 1933 par le naturaliste David Fleay) montre un animal faisant des va-et-vient derrière sa clôture. Depuis 1996, le 7 septembre est devenu en Australie la « journée nationale des espèces menacées » et ce pour commémorer la mort du dernier thylacine.


title: Thylacine

text: Bien qu’un mouvement de protection du tigre de Tasmanie se soit fait jour en 1901 dans le pays, mouvement favorisé en partie par la difficulté croissante à obtenir des spécimens pour les collections d’outre-mer, les difficultés politiques ont empêché l’entrée en vigueur de toute forme de protection jusqu’en 1936. Le gouvernement de Tasmanie a présenté seulement le 10 juillet 1936 son projet de protection officielle de l’espèce, 59 jours avant la mort en captivité du dernier spécimen connu.


title: Thylacine

text: Le Thylacine avait le statut d'espèce menacée jusque vers 1980, les standards internationaux de l'époque demandant qu'une espèce ne soit déclarée éteinte qu'après que 50 ans se sont écoulés sans témoignage confirmé. Ce critère officiel étant alors atteint, il fut déclaré officiellement éteint par l'UICN en 1982 et par la Tasmanie en 1986. La Convention sur le commerce international des espèces de faune et de flore sauvages menacées d'extinction (CITES) l'a déclaré comme espèce éteinte en 2013».


title: Thylacine

text: Bien que le loup de Tasmanie soit officiellement considéré comme disparu, de nombreuses personnes pensent que l’animal existe encore. Des personnes prétendent régulièrement l’avoir vu en Tasmanie, sur le continent australien et même dans la partie indonésienne de la Nouvelle-Guinée près de la frontière avec la Papouasie-Nouvelle-Guinée. La mort accidentelle d'un jeune mâle sur la côte occidentale de la Tasmanie en 1961, soit 25 ans après sa date d'extinction officielle, contribua à enflammer les imaginations. L’association pour la recherche sur les espèces rares de la faune australienne déclare disposer de rapports de personnes ayant déclaré avoir vu l’animal en Australie depuis 1936, date de sa disparition officielle, tandis que le centre australien sur la recherche des animaux mystérieux en a enregistré 138 jusqu’en 1998, et que l'administration chargée de l'environnement en Australie-Occidentale en a enregistré 65 dans son secteur sur la même période. Les chercheurs indépendants Buck et Joan Emburg, après compilation d’un certain nombre de sources, déclarent disposer de 360 observations en Tasmanie et 269 sur le continent australien après la dernière observation officielle. Sur le continent, les observations sont le plus souvent signalées dans le sud du Victoria.


title: Thylacine

text: Des rapports déclarant avoir vu des renards (introduits pour la première fois en 1864, puis aux environs de l’an 2000) sont pris très au sérieux en Tasmanie alors qu’on a peu de preuves de la présence de l’espèce sur l’île. Alors que le groupe de travail sur la présence de renards en Tasmanie reçoit des subventions gouvernementales, il n’y en a plus pour les recherches sur le loup de Tasmanie. La difficulté de localiser les renards dans la nature sauvage tasmanienne indique que la survie du thylacine dans les zones non habitées par l’homme n'est pas impossible.


title: Thylacine

text: Bien que de nombreuses observations aient été immédiatement récusées, certaines ont retenu fortement l’attention. En 1982, un chercheur du département des parcs et de la faune de Tasmanie, Hans Naarding, a pu observer pendant trois minutes un animal qu’il pensait être un thylacine, la nuit dans un site près d’Arthur River dans le nord-ouest de l’État. L’observation a conduit à une vaste campagne de recherche d’une durée d’une année financée par le gouvernement, mais en vain. En janvier 1995, un autre agent des parcs et de la faune a déclaré avoir vu un thylacine dans la région de Pyengana dans le nord-est de la Tasmanie aux premières heures du matin. Mais les recherches entreprises n’ont révélé aucune trace de l’animal. En 1997, des habitants et des missionnaires vivant près du Puncak Jaya en Nouvelle-Guinée occidentale, ont déclaré avoir vu des thylacines. La population locale connaissait apparemment leur existence depuis de nombreuses années, mais n’en avait jamais parlé.


title: Thylacine

text: En février 2005, Klaus Emmerichs, un touriste allemand, a affirmé avoir pris des photos numériques d’un thylacine vu près du lac Saint Clair mais l’authenticité des photos n’a pas été établie. Les photos n’ont été publiées qu’en avril 2006, quatorze mois après l’observation. Les photographies, qui ne montrent que l’arrière de l’animal, ne sont pas, pour ceux qui les ont étudiées, une preuve de son identification en tant que thylacine.


title: Thylacine

text: En 2018, une photo d'un thylacine prise par la camera de surveillance d'un Australien circule sur les réseaux sociaux et dans la presse, mais il n'y a pas eu de confirmation scientifique et officielle.


title: Thylacine

text: En 1983, Ted Turner a offert une récompense de dollars australiens à qui apporterait la preuve de l’existence actuelle du loup de Tasmanie. Mais, en réponse à une lettre envoyée par un chercheur sur le thylacine, Murray McAllister, en 2000, Turner a indiqué que la récompense avait été supprimée. En mars 2005, le magazine australien d’information "The Bulletin", dans le cadre de son , a offert dollars de récompense à qui capturerait un thylacine vivant sans le blesser. Lorsque l’offre est arrivée à son terme, fin juin 2005, personne n’avait pu produire de preuve de l’existence de l’animal. Une prime de 1,75 million de dollars a, par la suite, été offerte par un voyagiste de Tasmanie, Malcolm Stewart. Mais le piégeage du loup de Tasmanie est illégal aux termes de la loi, de sorte que toute récompense pour sa capture est non valide, car aucun permis de piégeage n’a été accordé.


title: Thylacine

text: L’Australian Museum de Sydney a entamé un projet de clonage en 1999. L’objectif était d’utiliser du matériel génétique prélevé à partir de spécimens conservés au début du , notamment un embryon de thylacine conservé dans l’éthanol depuis 1866, afin de cloner de nouveaux individus et de restaurer l’espèce.


title: Thylacine

text: La plupart des spécialistes estiment cependant que ce projet, au coût estimé à 48 millions de dollars, est difficilement réalisable (20 % de chance de réussite). Plusieurs microbiologistes sérieux ont abandonné le projet lorsque le professeur Mike Archer, directeur du muséum à l’époque, fut nommé en 2002 pour le "Bent Spoon Award", une pseudo-récompense attribuée aux idées pseudo-scientifiques ou paranormales paraissant les plus absurdes.


title: Thylacine

text: En 2002, les chercheurs du projet parvinrent à extraire de l’ADN réplicable à partir des spécimens conservés. Le 15 février 2005, le muséum annonça qu’il arrêtait le projet après que des tests eurent démontré que l’ADN collecté était trop dégradé pour être utilisable. En mai 2005, le professeur Michael Archer, doyen de la faculté des sciences de l’Université de Nouvelle-Galles du Sud, anciennement directeur de l’Australian Museum et chercheur en biologie de l’évolution, annonça que le projet allait être relancé par un groupe d’universités intéressées et un institut de recherche.


title: Thylacine

text: L’"International Thylacine Specimen Database" (ITSD), achevée en avril 2005, constitue l’aboutissement d’un projet de recherche de quatre ans visant à cataloguer et photographier, si possible, tous les spécimens connus de Thylacines préservés dans les musées, universités ou collections privées. Les fichiers sont tenus par la Société zoologique de Londres.


title: Thylacine

text: En 2008, les chercheurs Andrew J. Pask et Marilyn B. Renfree, de l'Université de Melbourne, et Richard R. Behringer, de l'Université du Texas à Austin, ont rapporté avoir réussi à restaurer la fonctionnalité d'un activateur de gène Col2a1 obtenu à partir de tissus de thylacine vieux de 100 ans, et conservés dans l'éthanol, issus de collections de musées. Le matériel génétique a été activé dans des souris transgéniques. Cette recherche a relancé l'espoir de reconstituer un jour une population de thylacines. La même année, un autre groupe de chercheurs a réussi à séquencer le génome mitochondrial complet de deux spécimens de thylacines issus de musées. Leur succès laisse à penser qu'il pourrait être possible de séquencer le génome nucléaire complet de spécimens de thylacines provenant de musées. Leurs résultats ont été publiés dans la revue Genome Research en 2009.


title: Thylacine

text: Mike Archer, au TED2013, a évoqué la possibilité de ressusciter le thylacine, ainsi que les batraciens éteints du genre "Rheobatrachus".


title: Thylacine

text: Stewart Brand a parlé à TED2013 de l'éthique et des possibilités de désextinction d'espèces et a fait référence au thylacine dans son intervention.


title: David Knopfler

text: David Knopfler, musicien britannique originaire de Newcastle-upon-Tyne, est né le à Glasgow. Il est l'un des membres fondateurs du groupe de rock Dire Straits, avec son frère Mark Knopfler.


title: David Knopfler

text: Il a contribué aux deux premiers albums du groupe ("Dire Straits" et "Communiqué") en tant que guitariste à la rythmique exceptionnelle. Écrasé par la popularité de son frère Mark, leader incontesté de Dire Straits, il décide de quitter le groupe pendant la réalisation du troisième album, "Making Movies", en 1980. Il se lance alors dans une carrière en solo.


title: David Knopfler

text: Knopfler naît à Glasgow, en Ecosse, d'une mère anglaise, Louisa Mary, professeure, et d'un père juif hongrois, Erwin Knopfler, architecte.


title: David Knopfler

text: A l'âge de deux ans, sa famille emménage à Newcastle upon Tyne, en Angleterre, où il y grandit et fréquenta par la suite la Gosforth Grammar School.


title: David Knopfler

text: A 11 ans, il possède une guitare, un piano et une batterie, et à 14 ans, il joue et chante ses propres compositions dans des clubs folks.


title: David Knopfler

text: Après avoir fréquenté l'Ecole polytechnique de Bristol, Knopfler devient travailleur social à Londres, où il partage un appartement avec John Illsley.