David Madore's WebLog: 2021-01

Vous êtes sur le blog de David Madore, qui, comme le reste de ce site web, parle de tout et de n'importe quoi (surtout de n'importe quoi, en fait), des maths à la moto et ma vie quotidienne, en passant par les langues, la politique, la philo de comptoir, la géographie, et beaucoup de râleries sur le fait que les ordinateurs ne marchent pas, ainsi que d'occasionnels rappels du fait que je préfère les garçons, et des petites fictions volontairement fragmentaires que je publie sous le nom collectif de fragments littéraires gratuits. • Ce blog eut été bilingue à ses débuts (certaines entrées étaient en anglais, d'autres en français, et quelques unes traduites dans les deux langues) ; il est maintenant presque exclusivement en français, mais je ne m'interdis pas d'écrire en anglais à l'occasion. • Pour naviguer, sachez que les entrées sont listées par ordre chronologique inverse (i.e., la plus récente est en haut). Cette page-ci rassemble les entrées publiées en janvier 2021 : il y a aussi un tableau par mois à la fin de cette page, et un index de toutes les entrées. Certaines de mes entrées sont rangées dans une ou plusieurs « catégories » (indiqués à la fin de l'entrée elle-même), mais ce système de rangement n'est pas très cohérent. Le permalien de chaque entrée est dans la date, et il est aussi rappelé avant et après le texte de l'entrée elle-même.

You are on David Madore's blog which, like the rest of this web site, is about everything and anything (mostly anything, really), from math to motorcycling and my daily life, but also languages, politics, amateur(ish) philosophy, geography, lots of ranting about the fact that computers don't work, occasional reminders of the fact that I prefer men, and some voluntarily fragmentary fictions that I publish under the collective name of gratuitous literary fragments. • This blog used to be bilingual at its beginning (some entries were in English, others in French, and a few translated in both languages); it is now almost exclusively in French, but I'm not ruling out writing English blog entries in the future. • To navigate, note that the entries are listed in reverse chronological order (i.e., the most recent is on top). This page lists the entries published in January 2021: there is also a table of months at the end of this page, and an index of all entries. Some entries are classified into one or more “categories” (indicated at the end of the entry itself), but this organization isn't very coherent. The permalink of each entry is in its date, and it is also reproduced before and after the text of the entry itself.

[Index of all entries / Index de toutes les entréesLatest entries / Dernières entréesXML (RSS 1.0) • Recent comments / Commentaires récents]

Entries published in January 2021 / Entrées publiées en janvier 2021:

↓Entry #2677 [older| permalink|newer] / ↓Entrée #2677 [précédente| permalien|suivante] ↓

(vendredi)

Pourquoi les confinements donnent-ils l'impression de marcher ?

Encore un de ces billets de blog que je n'ai pas vraiment envie d'écrire (parce que ça remue beaucoup de frustration) et, du coup, je traîne des pieds. Mais à force d'expliquer sans arrêt la même chose, il faut bien que je consente à l'écrire quelque part de façon un peu rédigée et complète, pour pouvoir y faire référence.

Ce que je veux argumenter ici, donc, c'est qu'on n'a pas de preuve certaine que les confinements ont un effet sur l'épidémie. Alors avant d'aller plus loin il faut bien que je souligne que quand j'écris il n'est pas prouvé que les confinements marchent, ce n'est pas il est prouvé que les confinements ne marchent pas, ce n'est même pas je pense qu'ils ne marchent pas (pour que ce soit clair, je suis maintenant tout à fait convaincu que les dommages psychologiques, sociaux, politiques et économiques sont très largement supérieurs aux bénéfices de leurs effets épidémiologiques, mais ce n'est pas pareil que de dire que ces bénéfices sont nuls). Les gens qui ne comprennent pas la différence entre il n'est pas prouvé que X est vrai et il est prouvé que X n'est pas vrai peuvent lire cette vieille entrée de ce blog. Bon, normalement tout le monde devrait savoir ça, mais je sais que ce que je dit a déjà été déformé et caricaturé par le passé.

La raison pour laquelle je prends le soin d'expliquer ça, c'est que je commence à en avoir marre d'entendre dire comme une évidence que le (premier et/ou deuxième) confinement français a très bien marché (et donc : qu'il faut recommencer). Ce qui est vrai, c'est que l'épidémie a beaucoup régressé pendant le confinement : ce n'est pas pareil que de dire qu'elle a régressé à cause du confinement. Et je suis particulièrement désolé de voir des esprits scientifiques, qui devraient pourtant bien savoir que la corrélation n'est pas causalité, sauter sur l'inférence, et, quand on leur signale le problème, s'en tirer avec des arguments embarrassés selon lesquels, bon, en général, la corrélation n'est pas causalité, mais là c'est quand même bien évident que le mécanisme est le bon. Est-ce évident, justement ? C'est surtout ce point que je veux explorer. Car si énormément de publications scientifiques ont été consacrées à démontrer ou à quantifier la corrélation entre confinements et régression épidémique, je n'ai pas connaissance de tentatives pour justifier (plus sérieusement que c'est évident, parce que je n'ai pas d'autre idée, ou parce que les autres idées me semblent tarabiscotées) que cette corrélation est une causalité (ou mieux, pour déterminer quelle part de la corrélation est due à une causalité directe, et quelle part est due à des apparences de causalité par exemple provenant de causes communes confondantes).

Quoi qu'on pense du coût social des confinements, c'est au moins un point épistémologique majeur que de rappeler que, comme j'aime bien dire, la corrélation est peut-être corrélée à la causalité, mais elle ne l'implique pas. C'est un point qu'on traite très bien dans les essais thérapeutiques au niveau individuel mais qu'on semble avoir complètement perdu de vue s'agissant d'une mesure collective comme les confinements. Alors, certes, la preuve sera difficile, mais ce n'est pas une raison pour ne même pas essayer (et je vais revenir sur des pistes possibles dans ce sens).

L'étape zéro avant même de commencer à discuter la question de savoir si les confinements marchent, c'est de définir les termes.

Le mot confinement, évidemment : le problème, et je l'ai déjà signalé, est qu'il désigne tout et n'importe quoi entre une simple fermeture des restaurants et l'emprisonnement de toute la population. Pire encore, non seulement la mesure est à géométrie variable, mais quand on dit qu'on fait un confinement, on fait tout un tas de mesures en même temps qui interagissent de façon compliquée entre elles, et il n'est pas clair si le mot confinement regroupe celle-ci, ou celle-là, ou la conjonction de toutes. J'ai régulièrement vu avancé l'argument qu'on devrait confiner la France parce que la Norvège s'en était mieux tirée que la Suède en confinant plus tôt — le problème est que si on appelle confinement ce qu'a fait la Norvège au sommet de ses mesures, alors la France est confinée depuis des mois. Pour moi, le mot confinement devrait être restreint dans son emploi aux mesures de confinement des individus à domicile (pour les autres mesures on parlera par exemple de fermeture des commerces, de fermeture des écoles, d'incitation au télétravail, etc.), et comme le confinement volontaire est peu polémique (ce qui ne veut pas dire qu'il soit forcément efficace, mais au moins ses coûts sont nettement plus modérés), je me concentre surtout sur les confinements autoritaires, c'est-à-dire les restrictions de mouvement ou de fréquentation des individus, assortis d'une répression pénale (amende, peines de prison…) et/ou d'une surveillance policière, et, dans le cas de la France et d'une poignée d'autres pays, d'une petite touche de bureaucratie kafkaïenne (les auto-attestations). Mais certains de mes arguments pourront s'appliquer à d'autres mesures, ce n'est pas tellement mon propos ici d'évoquer leur coût que de discuter de la difficulté à prouver leur efficacité (difficulté qui doit cependant, évidemment, se mesurer à l'aune des dommages causés par la mesure : c'est moins grave d'interdire les matchs de foot et de se rendre compte que ça ne sert à rien que de mettre des dizaines de millions de personnes en prison pendant des mois pour rien). En tout état de cause, c'est à celui qui formule un argument en faveur d'une mesure de définir très précisément le périmètre de la mesure visée par son argument, ce n'est pas à moi de le faire.

Mais l'incertitude porte aussi sur le mot marcher, et ce, à plusieurs niveaux. Le but est certainement de faire régresser l'épidémie, donc c'est à cette jauge-là qu'il faut définir marcher ; il y a éventuellement une ambiguïté sur le thermomètre utilisé (tests positifs ? personnes effectivement malades ? passages aux urgences ? entrées à l'hôpital ? admissions en réanimation ? décès ?), mais ce n'est pas le plus important (le choix du thermomètre deviendrait bien plus crucial si on discutait de protections différenciées des personnes vulnérables, par exemple ; mais ce n'est pas ce que j'évoque ici). Ce qui est plus important, en revanche, c'est de se demander sur quel périmètre géographique et surtout temporel on évalue la réussite de la mesure : car l'hypothèse naturelle est qu'un confinement ne fait que repousser le problème dans le temps, et pourrait très bien l'aggraver à l'avenir plus qu'il ne l'améliore dans le présent, ce qui peut néanmoins se défendre comme mesure transitoire (le temps de mettre en place quelque chose), mais comme je l'ai déjà souligné ce n'est plus vraiment l'argumentaire utilisé par les confinementistes. Toutefois, ce n'est pas vraiment de ces questions que je veux parler ici.

Il y a une autre ambiguïté à signaler sur le mot marcher, c'est quel mécanisme d'action on reconnaît comme justifié. Quand on dit qu'un médicament est efficace, on veut généralement dire qu'il est plus efficace qu'un placebo : l'homéopathie, par exemple, ne marche pas, c'est-à-dire qu'elle n'est pas plus efficace qu'un placebo. Pourtant, les placebos ont vraiment un effet, donc ce n'est pas strictement correct de dire que l'homéopathie n'a pas d'effet : il peut y avoir non seulement corrélation mais même causalité entre le fait qu'un patient prenne un médicament homéopathique et que sa santé s'améliore. Il est tout à fait possible (et même, à mes yeux, passablement probable) que les confinements aient, de la même façon, un effet placebo collectif (je vais revenir sur ses mécanismes possibles) : ce n'est pas pareil que de dire qu'ils ne marchent pas, mais cela soulève la question de savoir si on doit considérer que cela fait partie de la définition du mot marcher. Là encore, la charge devrait être sur ceux qui défendent les confinements d'expliquer précisément ce qu'ils en attendent.

Et bien sûr, il y aurait encore un débat à avoir, même s'il était prouvé que les confinements sont suffisants pour causer tel ou tel effet, pour savoir s'ils sont également nécessaires. Là aussi, je ne fais que le signaler au passage, ce n'est pas mon propos ici, mais cela fait partie de la longue série des analyses auxquelles les confinementistes auraient dû se livrer pendant l'année qu'ils ont eu pour essayer de justifier leurs méthodes, et dont ils se sont dispensés parce que regardez la courbe ! ça descend, c'est donc que ça marche !. Passons.

Corrélation n'est pas causalité : ce n'est pas parce que la courbe épidémique régresse quand on déclenche un confinement qu'elle régresse parce qu'on a déclenché un confinement. (C'est du même ordre que on a donné au patient de l'hydroxychloroquine, et il a guéri : ça me désole particulièrement que des gens aient été capables de voir dès le début que les « preuves » de Didier Raoult n'en étaient pas, et n'arrivent pas à démontrer le même esprit critique s'agissant des confinements. Évidemment, maintenant on a mieux que juste ce n'est pas prouvé contre la chloroquine, on a des preuves que son efficacité est, au mieux, très faible, et inférieure à ses risques dans les circonstances usuelles d'administration ; mais dès le début il y avait lieu de se montrer sceptique, et certains n'ont pas manqué de le faire. Bien que Didier Raoult fût une sommité médicale, soit dit en passant, et bien qu'il y eût un mécanisme d'action plausible (l'hydroxychloroquine est un ionophore connu pour transporter le Zn²⁺ dans le cytoplasme où il a une action inhibitrice sur l'ARN-réplicase ; ceci est à mettre en parallèle avec : le confinement est connu pour limiter la mobilité et ceci devrait inhiber la reproduction du virus) : on a exigé des preuves, et ces preuves ne sont pas venues parce que la chose à prouver n'était pas vraie.)

Ce n'est pas parce que la courbe épidémique régresse quand on déclenche un confinement qu'elle régresse parce qu'on a déclenché un confinement, disais-je. Même si ça se produit de façon reproductible, ça ne prouve toujours rien : le fait que ça se répète montre certes que ce n'est pas le hasard qui joue, et ce n'est pas ce que je prétends. Il y a d'autres explications possibles, qu'on peut plus ou moins regrouper sous le chapeau : au lieu que le confinement cause la régression épidémique, il se peut très bien que le confinement et la régression épidémique soient deux conséquences d'une cause commune. Ou, pour prendre l'analyse en termes de corrélations, qu'il y ait une variable confondante.

Normalement je devrais m'en tenir là : si on me dit que les confinements marchent-la-preuve-voyez-la-courbe, ou, de façon plus sophistiquée, voyez telle analyse montrant une excellente corrélation, je peux me contenter de dire ce n'est pas une preuve : la corrélation n'implique pas la causalité et éventuellement d'ajouter c'est à vous de démontrer qu'il n'y a pas une cause commune. Le fait de ne pas arriver à imaginer de telle cause commune n'est pas une excuse. (Bien sûr, ça ne vous interdit pas de croire que le mécanisme causal prima facie évident, le confinement cause la régression épidémique est le bon : encore une fois, je ne dis pas qu'il est faux, je dis qu'il n'est pas prouvé, ou au minimum, que son ampleur n'est pas connue.) Mais je conviens que ce ne serait pas très correct de ma part de m'arrêter là, donc il faut au moins que je montre quelques exemples de raisons de penser que l'existence de causes communes (aux confinements et à la régression épidémique) est crédible.

Le point crucial, c'est que les confinements ne sont pas déclenchés au hasard (et heureusement !), ni dans l'espace, ni dans le temps. Les confinements ont, donc, des causes : ces causes sont à chercher dans le déroulement de l'épidémie elle-même, mais aussi dans l'opinion publique (qui peut les réclamer, et dont l'action des pouvoirs publics est plus ou moins l'émanation). Or l'état de l'épidémie et la situation de l'opinion sont précisément le genre de choses qu'on doit soupçonner d'avoir un effet des plus importants sur l'évolutione future de l'épidémie. Il n'est donc pas du tout déraisonnable d'imaginer une cause commune au confinement et à un reflux épidémique.

Ce n'est pas pour rien qu'on exige, dans les essais thérapeutiques, de travailler de façon randomisée, c'est-à-dire que le groupe de contrôle et le groupe de traitement soient choisis aléatoirement et pas en fonction, par exemple, de la gravité des symptômes (et ensuite qu'ils soient traités à l'identique) : si on a tendance à exclure les cas les plus graves du traitement, on aura l'impression que le médicament traité est d'autant plus efficace — ou bien si déclenche le traitement à un certain stade des symptômes alors qu'on cadence différemment les observations dans le groupe de contrôle, on aura des biais du même genre. C'est la raison pour laquelle il est si difficile de tirer des conclusions d'études observationnelles (c'est-à-dire dans lesquelles on a simplement des informations sur des traitements qui ont été appliqués et sur les résultats, sans savoir comment ont été décidés les traitements), et, si on veut le faire au moins en partie, il faut se livrer à une traque sans pitié des variables confondantes.

↑Entry #2677 [older| permalink|newer] / ↑Entrée #2677 [précédente| permalien|suivante] ↑

↓Entry #2676 [older| permalink|newer] / ↓Entrée #2676 [précédente| permalien|suivante] ↓

(jeudi)

Ma fascination pour les collections

Je continue à m'efforcer de parler d'autre chose que de covid. Après un peu de maths, je vais parler un peu de moi, en évoquant un de mes goûts, ou peut-être un trait de personnalité, je ne sais pas bien comment le qualifier. C'est sans doute à rapprocher de mon obsession pour la symétrie. Parlons donc de quelque chose d'un peu léger, que je ne prends pas très au sérieux (c'est quelque chose que je fais pour m'amuser), mais qui est probablement quand même révélateur à mon sujet.

Disons que j'aime collectionner les choses ; mais selon des modalités que je ne crois pas être vraiment typiques pour les collectionneurs. Je n'ai aucun intérêt pour collecter les timbres, les fèves, les petits soldats, les étiquettes, les pots de yaourts, les boîtes de sardines, les tire-bouchon ou ce genre de choses : ce n'est pas juste que je n'ai pas spécialement d'intérêt pour aucune de ces choses, c'est plutôt que pour qu'une collection ait le potentiel de m'intéresser il faut qu'il y ait une certaine cohérence (le plus souvent : visuelle et/ou de marque/provenance) dans les objects collectionnés, il faut que ça ne parte pas trop dans tous les sens, et c'est mieux si la collection a un espoir raisonnable de pouvoir être finie.

Dit comme ça c'est un peu abstrait. Prenons un exemple assez typique : je me suis mis à accumuler les gels douche Adidas (photo ici sur Twitter). Comment est-ce que ça a commencé ? Pas spécialement par l'envie de les collectionner : j'avais un gel douche qui me plaisait, il se trouvait que c'était un Adidas (Team Force, pour être précis) ; puis j'en ai acheté un deuxième (peut-être Get Ready, je ne suis plus très sûr), je me suis mis à utiliser l'un ou l'autre selon mon humeur, ou l'un et l'autre pour différentes parties du corps, et je me suis mis à aimer avoir ce choix. Puis j'en ai acheté quelques autres. Et ça a viré à la collection. Et c'est là qu'il y a un mécanisme psychologique qui a certainement un rapport avec ma fascination pour la symétrie : dès lors que je commence à avoir une grosse majorité de gels douche Adidas, j'ai envie de n'avoir plus que ça.

En ce moment, j'ai les suivants à côté de ma baignoire (il y en a deux de plus que sur la photo) : Active Start, Get Ready, Adipower, Team Force, Champions League (Victory Edition), Champions League (Champions Edition), Champions League (Dare Edition), Sport Energy, After Sport, Muscle Massage, Dynamic Pulse, Adipure, Climacool et Ice Dive. Et même si je ne les utilise pas tous (Climacool et Ice Dive ne me plaisent pas trop, par exemple), je fais mon choix entre un bon paquet d'entre eux, en fonction de mon humeur (et, comme je le disais, de la partie du corps : je n'utilise pas le même gel douche pour mon pubis et ma tête). Je pense sincèrement pouvoir distinguer, au nez, quasiment la totalité de cette liste (il y a d'ailleurs des associations qui restent gravées dans mon esprit : par exemple, quand je prenais des leçons de conduite (pour le permis B), j'utilisais le Active Start, et maintenant à chaque fois que je l'ouvre ça me fait repenser à cette période).

Par ailleurs, j'ai aussi une collection, qui va avec, d'eaux de toilette aussi par Adidas : Victory League, Get Ready (For Him), Team Force, Team Five, Champions League (Victory Edition), Champions League (Champions Edition), Champions League (Arena Edition), Champions League (Star Edition), Champions League (Dare Edition) et Dynamic Pulse. Alors oui, il y a plusieurs choses qui m'agacent à différents titres : ce n'est pas exactement la même liste (je ne sais pas si Adidas sort toujours un gel douche avec le même nom quand ils sortent une eau de toilette ; dans l'autre sens, je suis quasiment sûr que non) ; le fait qu'il y ait à la fois un Victory League et un Champions League (Victory Edition) est une manœuvre du Club Contexte (je ne sais d'ailleurs pas pourquoi il y autant de Champions League — peut-être qu'ils en sort un par an ?) ; les parfums ne collent pas tout à fait entre les gels douche et les eaux de toilette (j'adore l'eau de toilette Champions League (Victory Edition), alors que le gel douche du même nom me plaît beaucoup moins) ; beaucoup dans la liste (aussi bien côté gels douches que côté eaux de toilettes) ne sont plus trouvables et ça me désole (pas juste pour l'aspect collection, mais il y en a dont j'aime vraiment bien l'odeur) : je regrette de ne jamais avoir pu mettre la main sur le Team Five en version gel douche et d'avoir fini le gel douche Champions League (Arena Edition), et je suis triste d'arriver bientôt au bout de mon Dynamic Pulse et Champions League (Champions Edition) ; aussi, mon flacon d'eau de toilette Dynamic Pulse est plus petit que les autres (je n'ai pas fait gaffe en passant commande), c'est insupportable parce que ça rompt la symétrie.

Mais bon, les gels douche et eaux de toilette Adidas ne sont qu'un exemple. En voici un autre : juste avant le premier confinement, le poussinet et moi avons acheté une machine à café (avant ça, j'avais pour principe que je prenais toujours le café à l'extérieur, ça faisait partie du rituel, j'aimais bien regarder les gens passer en le buvant, ou bien en discutant de maths avec des collègues) et donc des capsules pour mettre dedans. Forcément, j'ai voulu avoir un peu de choix, j'ai acheté deux ou trois parfums différents de capsules Or compatibles Nespresso — et rapidement c'est devenu une collection (photo ici sur Twitter). En ce moment, à côté de la machine, il y a : Or absolu, Or rose, Forza, Splendente, Supremo, Sontuoso, Satinato, Delicioso, (Lungo) Profundo, (Lungo) Elegante et Decaffeinato (j'ai aussi eu Colombia et Papua New Guinea, mais je les ai finis et mon Carrefour Market local n'en a plus). Contrairement aux gels douche et eaux de toilette Adidas, je ne pense pas pouvoir les distinguer : je suis même à peu près convaincu que si toutes ces capsules étaient rigoureusement identiques je ne remarquerais rien du tout ; mais ça m'amuse de faire semblant de faire un choix, ou de proposer à mon poussinet cette longue liste d'adjectifs italiens. Mais il y aussi des intrus dans ma cuisine : j'ai également des capsules Nespresso de Nespresso : je n'arrive pas bien à décider si ça me dérange ou si je dois commencer une nouvelle collection ou accepter que la collection comporte deux marques différentes — pour l'instant, je les range un peu à part.

Ajout () : Au rayon des parfums, il faut aussi que je signale ma fascination pour la collection Demeter ; j'en avais parlé ici (évidemment ces sagouins ont cassé tous leurs liens entre temps, mais la plupart de ces parfums sont encore trouvables chez eux) : j'en ai acheté un bon paquet à l'époque, dans le format le plus petit possible parce que mon but n'était pas de parfumer quoi que ce soit mais de m'exercer au jeu de la reconnaissance des odeurs. Bon, il est vrai que cette collection est maintenant un peu… encombrante, parce que j'ai une boîte (que j'ai tapissée de papier bulle) pleine de minuscules bouteilles en verre qu'il ne faut Surtout Pas Casser parce que ça parfumerait tout l'appartement du Mélange de Tous les Parfums de l'Univers pendant des siècles.

Un objet facile à collectionner, ce sont les stylos. On pourrait dire que je choisis mes modèles de stylos pas seulement pour leur confort d'écriture mais aussi pour le fait qu'ils existent en un grand nombre de couleurs différentes. J'aime bien, par exemple, les V5 Hi-Tecpoint de Pilot, et j'en ai en noir, bleu, rouge, vert, rose, violet et bleu clair. J'étais particulièrement content, il y a quelques années, de découvrir que Muji (無印良品) vendait un set de stylos à encre gel avec 15 couleurs différentes ; mais j'ai été très déçu, depuis, de découvrir que (a) ces stylos ont tendance à se boucher, et (b) ils ne commercialisent plus le set de 15 couleurs, seulment un set beaucoup plus limité de 9. Sinon, un jour, je suis entré dans une papeterie (Eyrolles, rue des Écoles, pour ne pas la nommer), j'ai vu le choix impressionnant qu'ils avaient de surligneurs Stabilo Boss, et j'en ai acheté un de chaque (photo ici sur Twitter).

Je peux sans doute aussi ranger sous l'étiquette « collection », car même si ce n'en est pas une ça active les mêmes neurones dans mon cerveau, le fait que je me suis acheté une série de flûtes à bec (une sopranino, une soprano, une alto et une ténor ; la basse était trop chère pour la plaisanterie), toutes du même fabricant. Il y a des collections que je n'ai pas faites alors que j'aurais peut-être voulu : je racontais dans cette entrée, par exemple, que j'étais agacé que les livres que j'ai de la série Fondation d'Asimov ne sont pas tous du même éditeur (spécifiquement, je regrette de ne pas avoir ceux avec les dessins de Tim White sur la couverture). En revanche, toujours au niveau des livres, j'ai une collection assez étendue des livres (par ailleurs assez excellents) de la série DTV-Atlas, des sortes de memento synthétiques, en allemand, sur toutes sortes de sujets scientifiques, techniques ou culturels, toujours sur le format « une page d'illustration, une page de texte ». (À une certaine époque, à chaque fois qu'il allait dans un pays germanophone, mon père me ramenait un DTV-Atlas.) Et bien sûr, comme beaucoup de matheux, j'ai dans ma bibliothèque énormément de livres de la série GTM de Springer (et un certain agacement du fait qu'ils ne sont pas tous exactement au même format).

Et puis, il y a les vêtements. La manie à ce sujet m'est venue relativement récemment. Je ne sais plus bien à quel moment j'ai décidé que je voulais m'acheter une nouvelle tenue pour faire ma muscu (c'était avant le covid, à l'époque où je pouvais encore faire de la muscu en salle…) : j'en ai acheté une de la marque Venum parce que j'aime bien l'esthétique (tee-shirt de compression, pantalon de compression, et fightshort) ; puis ils ont sorti un autre modèle qui me plaisait encore plus, et j'ai acheté ça, et c'est devenu une collection, et maintenant j'en ai un nombre assez embarrassant.

C'est un peu selon la même logique que, pour ce qui est de mes vêtements de tous les jours, je me suis mis à porter la marque DC Shoes : je leur ai acheté quelques trucs parce que j'aimais bien le style et le logo, puis c'est devenu une sorte de collection, et aussi une sorte de défi idiot, de réussir à ne porter que des vêtements de cette marque (tout à l'heure, par exemple : boxer, débardeur, tee-shirt, chaussettes, pantalon, hoodie, bandana (porté comme foulard), blouson, chaussures, tour de cou, bonnet, gants, et l'incontournable accessoire de mode de l'année, le masque anti-covid ; ah, et le portefeuille, aussi). Il n'y a pas beaucoup de marques pour lesquelles on puisse faire ça, en fait (ne serait-ce que les sous-vêtements et les chaussures, ce n'est pas évident de trouver de la même marque). À un moment, mes étudiants se moquaient de moi à cause de ça[#], alors j'ai pris l'habitude de donner l'exemple de dc* comme premier exemple d'une expression rationnelle dans mon cours sur le sujet. Mais le petit jeu va devoir cesser, parce qu'il semble que DC Shoes ne fasse plus de sous-vêtements.

[#] Enfin, à cause du fait que je portais toujours des hoodies de cette marque (mais différents à chaque fois). A priori ils ne pouvaient pas voir mes sous-vêtements. ☺️

Là ce n'est plus vraiment pareil qu'une collection : ce n'est pas la même chose d'accumuler plein d'objets quasiment identiques et différant uniquement par la couleur ou le parfum ou le goût, et de chercher à avoir une panoplie complète de la même marque, mais il est clair que cela remplit la même forme de satisfaction dans mon cerveau. À part la tenue de musu Venum et les vêtements de tous les jours DC Shoes, je peux mentionner mon équippement de moto qui est presque[#2] entièrement Dainese (dans les trois cas, il se trouve que j'aime beaucoup le style du logo — il y a peut-être quelque chose là-dessous aussi).

[#2] Presque en été parce que mon casque est de la marque AGV, qui a été rachetée par Dainese, mais qui ne porte pas leur logo. Mais en hiver, je porte des gants chauffants, or Dainese n'en fait pas, donc il a bien fallu que je prenne une autre marque (Five, en l'occurrence). Mine de rien, ça me contrarie : quelque part, ça me dérange plus que tout soit de la même marque à une exception que si c'était plus hétéroclite (je pourrais par exemple porter des bottes d'une autre marque, comme ça je n'aurais de Dainese que le « textile » — blouson, pantalon, coupe-vent, tour de cou et sous-combinaison, ce serait plus cohérent ; mais bon, comme l'équipement de moto coûte quand même cher, je préfère réserver les maniaqueries sur les collections aux choses que je peux acheter sans trop réfléchir, comme des stylos).

Voilà, il y a sans doute d'autres choses que je collectionne sans vraiment y faire attention (je ne suis pas tellement obsédé par mes collections : elles ont même tendance à se développer sans que j'y fasse attention), certaines sont un peu plus « classiques » (je collectionne aussi, ou plutôt je collectionnais parce que je commence à en avoir trop, les bibles, c'est-à-dire les éditions et traductions différentes de la bible, et là je ne cherche pas spécialement une cohérence de marque ni d'apparence) ; mais je pense que les exemples que je viens de donner sont les plus caractéristiques.

↑Entry #2676 [older| permalink|newer] / ↑Entrée #2676 [précédente| permalien|suivante] ↑

↓Entry #2675 [older| permalink|newer] / ↓Entrée #2675 [précédente| permalien|suivante] ↓

(mercredi)

La réalisabilité de Kleene (comme prélude au topos effectif)

Interrompons un petit peu la succession de rants au sujet du covid pour parler un peu de maths. Je déterre pour le terminer un vieux texte que j'avais commencé il y a environ deux ans et que j'avais abandonné, mais auquel je repense parce que j'ai reréfléchi à des questions adjacentes. Le but est ici de définir un concept à cheval entre la logique et la calculabilité qui s'appelle la réalisabilité de Kleene. Plus tard (un jour, si j'en trouve le temps et la patience) j'aimerais parler du topos effectif, et comme le topos effectif contient (généralise, donne un cadre catégorique à) la réalisabilité de Kleene, il sera utile que j'aie au moins écrit à ce sujet avant, même si en principe on n'a pas besoin de passer par cette étape intermédiaire.

Tout ceci a un rapport avec la logique intuitionniste : j'ai déjà écrit un post de blog à ce sujet, qu'il peut être utile d'avoir lu, mais il faut admettre qu'il est extrêmement brouillon et mal structuré. En tout état de cause, il n'est pas nécessaire de savoir ce que c'est que la logique intuitionniste pour comprendre la définition de la réalisabilité de Kleene. (Le principal prérequis à ce qui va suivre est de savoir les bases de la calculabilité : ce qu'est une machine de Turing — ou toute autre représentation des fonctions partielles calculables —, et savoir qu'on peut les encoder par des entiers naturels ; donc comprendre une expression comme le résultat de l'exécution de la machine de Turing codée par l'entier e sur l'entier n en entrée. c'est-à-dire l'image de n par la e-ième fonction calculable partielle, qui sera noté en ci-dessous.) Néanmoins, comme la réalisabilité de Kleene est compatible avec les règles de la logique intuitionniste (elle réalise tous les théorèmes de l'arithmétique de Heyting), et est inspirée par (et rend rigoureux) les principes (informels) de Brouwer-Heyting-Kolmogorov, c'est bien d'en avoir au moins une idée ; cette connexion avec la logique intuitionniste sera encore plus forte dans le topos effectif : on peut dire sommairement qu'un topos est une sorte de « monde mathématique alternatif » régis par les lois de la logique intuitionniste (et le topos effectif est un tel monde où la calculabilité joue un rôle central et notamment toutes les fonctions ℕ→ℕ sont calculables).

Mais le but de cette entrée-ci n'est pas de décrire le topos effectif (pas qu'il soit très long à définir, mais ça devient long si on veut en dire le minimum pour que ce soit intéressant). C'est de présenter une notion plus ancienne, la réalisabilité de Kleene, qui sert de fondement ou de prolégomène à la construction du topos effectif. Je dois avouer que le sens profond de cette notion m'échappe encore, et j'ai vaguement l'impression que personne ne la comprend aussi profondément qu'il voudrait ; je ne sais même pas bien ce que Kleene cherchait à faire en introduisant cette notion. Mais superficiellement, l'idée est qu'on définit une notion que je vais noter n ⊪ φ, lire n réalise φ, entre un entier naturel n et une formule logique φ de l'arithmétique du premier ordre (je vais rappeler ce que c'est plus bas), et dont le sens intuitif est que n apporte une sorte de témoignage(?) algorithmique de la véracité de φ (néanmoins, on va voir que φ n'est pas forcément vraie dans le monde classique, et il va s'agir d'expliquer le rapport entre ces notions).

Le rapport avec le topos effectif sera notamment que les énoncés arithmétique du premier ordre qui sont réalisables (au sens où il existe un n qui les réalise) seront exactement ceux qui seront vrais dans le topos effectif. En particulier, la réalisabilité permet de faire un pont vers la logique intuitionniste, même en partant de la logique classique : on n'a pas besoin de savoir ce qu'est la logique intuitionniste ni comment elle fonctionne pour définir la relation n ⊪ φ, mais une fois qu'on l'a définie, on constate qu'elle fonctionne de façon fondamentalement intuitionniste en φ (et notamment, réaliser la double négation ¬¬φ n'est pas du tout pareil que réaliser φ). Par ailleurs, la relation n ⊪ φ est elle-même une formule logique (avec une variable n de plus que la formule de départ), on peut se demander sous quelle condition elle-même est réalisable, ou démontrable (ou démontrablement réalisable), etc., et les réponses sont assez satisfaisantes.

Avant de donner la définition, je dois rappeler des choses sur la logique, qu'on peut sans doute se contenter de lire en diagonale parce que ce qui suit est vraiment standard et peu surprenant.

D'abord, qu'est-ce que c'est qu'une formule de l'arithmétique du premier ordre ? Il s'agit d'une formule fabriquée à partir des connecteurs logiques et de quantificateurs qui ne peuvent porter que sur les entiers naturels. En voici une définition plus précise :

Pour commencer, un terme (de l'arithmétique du premier ordre) est une expression formée à partir d'un stock illimité de variables (que j'appellerai généralement k, , m, n, p, q, etc.) et des constantes représentant les entiers naturels (0, 1, 2, etc.) au moyen des opérations de somme (+), produit (×, souvent noté par simple concaténation) et, pour me simplifier la vie, d'élévation à la puissance (↑, souvent noté en plaçant le deuxième argument en exposant du premier) ; une formule atomique (de l'arithmétique du premier ordre) est celle exprimant l'égalité entre deux termes, par exemple m=2n ou pk+qk=nk sont des formules atomiques ; mettons qu'on accepte aussi comme atomiques les formules d'inégalité, comme ij, cela me simplifiera aussi la vie ; les variables libres d'une formule atomique sont toutes les variables qui y apparaissent (par exemple, dans m=2n, il y a deux variables libres, m et n). Une formule (de l'arithmétique du premier ordre) est définie inductivement de la façon suivante : (A) toute formule atomique est une formule, ainsi que les formules ⊤ (tautologiquement vraie, qu'on peut considérer comme synonyme de 0=0 si on préfère) et ⊥ (tautologiquement fausse, qu'on peut considérer comme synonyme de 0=1 si on préfère), (B) si φ et ψ sont deux formules, alors φψ (conjonction logique), φψ (disjonction logique) et φψ (implication logique) en sont, et leurs variables libres sont celles de φ et de ψ, ainsi que ¬φ (négation de φ, qu'on considérera comme une abréviation pour φ⇒⊥) qui a les mêmes variables libres que φ, et (C) si φ est une formule alors ∀n.φ et ∃n.φ sont des formules ayant les variables libres de φ sauf n (notons qu'elle avait parfaitement le droit de ne pas figurer dans φ, par exemple ∃n.(0=0) est une formule légitime — et d'ailleurs vraie). Il faudrait ajouter des parenthèses dans ce que je viens d'écrire pour éviter les ambiguïtés d'écriture, mais je vais supposer que mon lecteur saura le faire sans plus d'explication. Par ailleurs, il faudrait définir la substitution d'un terme pour une variable libre : si φ(n) désigne une formule ayant possiblement la variable libre n, et si t est un terme, alors φ(t) désigne la substitution de t pour la variable n (là où elle est libre, donc pas à l'intérieur d'éventuels quantificateurs ∀n ni ∃n).

Si t est un terme ne faisant pas intervenir la variable n, on utilise les notations ∀nt.φ et ∃nt.φ comme abréviations (sucre syntaxique) de ∀n.(nt ⇒ φ) et ∃n.(nt ∧ φ). Une formule dont tous les quantificateurs sont de cette forme est dite (arithmétique) à quantificateurs bornés ou (arithmétique) Δ₀. L'intérêt des formules à quantificateurs bornés est que leur véracité peut se tester de façon « finitaire » (si on veut, on a un algorithme qui, donnée une formule à quantificateur bornés, termine de façon certaine en temps fini en renvoyant vrai ou faux selon que la formule est vraie ou fausse).

Une formule n'ayant aucune variable libre est appelée un énoncé.

Ensuite, j'ai besoin de deux notions de codage classiques. Premièrement, on peut coder (=représenter) les couples d'entiers naturels par des entiers naturels : pour ça, je choisis une bijection ℕ²→ℕ calculable (et même primitive récursive, disons (p,q)↦2p(2q+1)−1 pour fixer les idées) dont je note ⟨p,q⟩ l'image du couple (p,q). Deuxièmement, j'ai aussi besoin de coder (=représenter) les machines de Turing (ou toute autre façon de représenter les fonctions calculables partielles ℕ⇢ℕ) par des entiers naturels. Il y a plusieurs notations vaguement standard pour désigner l'exécution de la e-ième machine de Turing (i.e., celle codée par l'entier naturel e) sur l'entier n, c'est-à-dire l'image de n par la e-ième fonction calculable partielle : on note ça parfois Φe(n) (voire φe(n), mais j'ai choisi la lettre ‘φ’ pour désigner des formules logiques donc je ne peux pas), parfois {e}(n), ce qui est une notation franchement pourrie ; une notation plus rare, mais moins problématique, et c'est celle que je vais utiliser, est en (cf. ci-dessous pour l'écriture formelle de cette expression dans l'arithmétique du premier ordre). J'écrirai en↓ pour signifier que en est défini, y compris dans des expressions comme en↓=v (de nouveau, cf. ci-dessous).

Bref, ⟨p,q⟩ désignera le couple (p,q) codé sous forme d'un entier naturel, et en désignera le résultat de l'exécution du programme codé par l'entier naturel e sur l'entier naturel n passé en entrée (et peut donc ne pas être définie si le programme en question n'est pas correct, ou si son exécution ne termine pas, ou si le résultat n'est pas un entier naturel correct).

L'opération en ne fait pas partie du langage de l'arithmétique, mais on peut l'y définir : c'est-à-dire que l'affirmation l'exécution du programme [codé par] e sur l'entrée n termine et renvoie la valeur v (qu'on peut abréger en↓=v) peut s'écrire comme une formule de l'arithmétique du premier ordre. Pour être même un chouïa plus précis, il existe une formule T(e,n,x), le prédicat T de Kleene, qu'on peut écrire explicitement mais je ne le ferai pas, et qui est même à quantificateurs bornés (Δ₀ : cf. ci-dessus), dont le sens intuitif est l'exécution du programme e sur l'entrée n termine avec pour trace d'exécution x (la trace d'exécution étant le détail de tous les calculs qu'a fait, par exemple, la machine de Turing désignée par e) ; et une fonction U(x) dont on peut supposer — et je le ferai — que c'est simplement la projection x=⟨t,v⟩ ↦ v sur la seconde coordonnée, qui transforme une trace d'exécution x en le résultat v renvoyé par le calcul. Ainsi, en↓ (l'exécution du programme e sur l'entrée n termine) s'écrit/signifie ∃x.T(e,n,x) ; et en↓=v (l'exécution du programme e sur l'entrée n termine et renvoie v) s'écrit/signifie ∃t.(T(e,n,⟨t,v⟩)).

★ Voici maintenant la définition de la réalisabilité de Kleene, par induction sur la complexité de la formule réalisée :

  • lorsque φ est une formule atomique (y compris ⊤ ou ⊥), n ⊪ φ signifie simplement φ (i.e., que φ est vraie) : autrement dit, n'importe quel entier naturel réalise une formule atomique vraie, et aucun entier naturel ne réalise une formule atomique fausse ;
  • on a n ⊪ (φψ) lorsque n=⟨p,q⟩ où p ⊪ φ et q ⊪ ψ : autrement dit, les entiers naturels qui réalisent une conjonction sont ceux qui codent un couple formé d'un réalisateur de chaque terme de la conjonction ;
  • on a n ⊪ (φψ) lorsque n=⟨0,p⟩ où p ⊪ φ ou bien n=⟨1,q⟩ où q ⊪ ψ : autrement dit, les entiers naturels qui réalisent une disjonction sont ceux qui codent un couple dont le premier membre indique quel terme de la disjonction est réalisé et le second le réalise ;
  • on a n ⊪ (φψ) lorsque, pour tout p tel que p ⊪ φ, on a (np↓) ⊪ ψ : autrement dit, les entiers naturels qui réalisent une implication sont ceux qui codent un programme (une fonction calculable (partielle)) qui, quand on lui fournit en entrée un entier p réalisant l'antécédent de l'implication, termine en temps fini et renvoie un entier réalisant la conclusion ;
  • en particulier (puisque ¬φ signifie φ⇒⊥ et qu'aucun entier ne réalise ⊥), on a n ⊪ ¬φ (pour n'importe quel n) lorsqu'il n'existe aucun entier p tel que p ⊪ φ ;
  • on a n ⊪ ∀x.φ(x) lorsque, pour tout k, on a (nk↓) ⊪ φ(k) (ou, pour être tout à fait précis, (nk↓) ⊪ φ(‘k’) où ‘k’ désigne la constante qui désigne l'entier naturel k, et φ(‘k’) la substitution de cette constante pour x dans la formule φ(x)) : autrement dit, les entiers naturels qui réalisent une quantification universelle sont ceux qui codent une fonction calculable (totale) qui, quand on lui fournit en entrée un entier k, renvoie un entier réalisant l'instance φ(k) en question de la formule universellement quantifiée ;
  • on a n ⊪ ∃x.φ(x) lorsque n=⟨k,p⟩ où pφ(k) (ou, pour être tout à fait précis, pφ(‘k’) comme dans le point précédent) : autrement dit, les entiers naturels qui réalisent une quantification existentielle sont ceux qui codent un couple dont le second membre un entier réalisant l'instance de la formule existentiellement quantifiée donnée par le premier membre.

Pour être tout à fait exact, je définis par les mêmes clauses énumérées ci-dessus deux variantes de la réalisabilité : il y a une notion dans l'univers mathématique, si j'ose dire, ambiant (n étant un entier naturel et φ une formule de l'arithmétique du premier ordre, n ⊪ φ a le sens défini par les clauses ci-dessus), et il y a une réalisabilité formalisée qui consiste à voir les clauses ci-dessus elles-mêmes dans l'arithmétique du premier ordre, c'est-à-dire qu'on va définir, par exemple, n ⊪ (φψ) comme la formule ∃n.(n=⟨p,q⟩ ∧ (pφ) ∧ (qψ)) et ainsi de suite. Il n'y a pas forcément besoin de distinguer ces deux notions, mais il est important de noter que la réalisabilité peut être formalisée, et donc que n ⊪ φ est elle-même une formule de l'arithmétique du premier ordre (pour n une variable libre n'apparaissant pas libre dans φ). (Ce n'est pas tellement différent de la formalisation de la notion de démonstration : l'affirmation φ est démontrable dans l'arithmétique de Peano, par exemple, est un énoncé arithmétique lorsque φ en est un : cf. ici pour plus d'explications.)

On lit n ⊪ φ en disant que n réalise φ ou que φ est réalisée par n, et n.(nφ) en disant que φ est réalisable.

↑Entry #2675 [older| permalink|newer] / ↑Entrée #2675 [précédente| permalien|suivante] ↑

↓Entry #2674 [older| permalink|newer] / ↓Entrée #2674 [précédente| permalien|suivante] ↓

(lundi)

Quel est le but précis des confinements ?

Je ne sais toujours pas bien quoi penser des nouveaux variants britannique et sud-africain du SARS-CoV-2, mais je me sens un peu comme le personnage de Bill Murray dans Groundhog Day, Phil, condamné à revivre les mêmes événements d'un éternel hiver : si ces variants viraux sont ne serait-ce que vaguement aussi contagieux que la plupart des experts pensent qu'ils sont, il va se répandre sur essentiellement toute la planète aussi inévitablement que la forme ancestrale allait le faire : je me revois comme début 2020, à expliquer qu'il fallait au minimum prendre la chose au sérieux et se préparer mentalement à la possibilité d'un désastre à l'horizon d'environ deux mois.

Alors, certes, comme Phil dans Un jour sans fin, nous avons au moins un peu d'expérience tirée de 2020 et pouvant peut-être aider à rendre 2021 moins désastreux que 2020. Nous avons des vaccins (qui marchent vraisemblablement encore contre les nouveaux variants, et même si ce n'est pas le cas il ne faudra pas énormément de temps pour les « mettre à jour »), mais au rythme où la plupart des pays vaccinent, il faudra bien toute l'année pour qu'ils aient un rôle épidémiologique vraiment important (pour ne pas parler de la France, qui est pour l'instant tellement mauvaise pour vacciner que ça en devient un scandale national, comme les masques il y a un an, là aussi j'ai des vibrations de jour de la marmotte qui me viennent) : en attendant, au mieux, les vaccins diminueront la létalité du virus, atténueront l'hécatombe chez les personnes âgées, mais je vais y revenir. Et certes, nous avons maintenant une certaine préparation psychologique à la crise : je sais maintenant que la létalité de la covid est beaucoup plus faible que ce que nous craignions il y a un petit peu moins d'un an ; et je suis raisonnablement confiant que la civilisation ne va pas s'effondrer pour le moment (je n'ai jamais cru ça immensément probable, mais comme je l'écrivais ici, même si ça n'a que 5% de chances de se produire et que ça tue 99.9% de l'humanité si c'est le cas, c'est toujours plus inquiétant qu'un virus qui, dans le pire des cas, en tuera bien moins que 2%).

Et puis il y a l'outil préféré du gouvernement français : les confinements autoritaires. Ce qui me terrifie bien sûr avec ces nouvelles variantes, c'est que (de nouveau : si elles sont ne serait-ce que vaguement aussi contagieuses que ce qu'on craint) suivant la logique d'un gouvernement shadok qui ne sait que pomper, pomper plus fort, et pomper encore plus fort tant que ça ne marche pas, on soit partis pour aller vers un confinement extraordinairement brutal et dystopien tant ils n'arriveront pas à stabiliser l'épidémie, et chercheront toujours à appliquer les mêmes méthodes, encore et toujours plus fort, encore et toujours plus répressives. Et même si on arrive à stabiliser l'épidémie, on voit mal comment ce confinement pourrait être levé ou relaxé : le gouvernement n'ose même pas relaxer le couvre-feu, au contraire, il l'étend, toujours selon la logique shadok que quand quelque chose ne marche pas c'est sans doute qu'il faut en faire plus. Va-t-on donc passer l'essentiel de l'année 2021 emprisonnés ? Comme il y a un an, ce qui contribue à ma très désagréable impression de répétition, je ne vois pas d'issue au dilemme.

La moindre des choses serait d'avoir un débat sur la question un peu à l'avance, et, comme l'an dernier, malgré la quantité de palabres qui sont dépensées autour du covid, le débat n'a jamais vraiment lieu. Le débat ne peut pas avoir lieu tant que les confinementistes, à commencer par ceux qui sont au pouvoir en France, refusent d'exposer une position claire (ils ne sont pas obligés d'avoir tous la même, bien sûr, mais chacun devrait en avoir une, et je n'en connais pas un seul qui en ait donné une) : qu'est-ce qu'ils préconisent exactement ? (i.e., qu'est-ce qu'un confinement ? dans quelles conditions l'applique-t-on ? à quel moment ? quel en est le but précis ?) quelle est l'évaluation des bénéfices attendus de cette stratégie ? quelle est l'évaluation de ses coûts ? quelle est la fonction d'objectif utilisée ? (et il faudra bien passer par la question inconfortable : à combien de morts supposés évités un jour de confinement national est-il considéré comme bénéfique, ou comment juge-t-on cela ?) quels sont les raisons de penser que la stratégie sera bénéfique ? et quels seront les critères permettant de conclure après coup que la stratégie aura réussi ? Répondre à toutes ces questions (au moins au mieux de leur connaissance — je ne demande pas l'infaillibilité) est, il me semble, la moindre des choses qu'on peut exiger de quelqu'un qui propose une mesure, surtout une mesure aussi radicale que l'emprisonnement de tout un pays. Malheureusement, aucun confinementiste (et certainement pas ceux du ministère de la santé ou du conseil scientifique du gouvernement français) n'a fait ne serait-ce qu'un effort honnête pour répondre à ces questions (sauf peut-être très vaguement celle de prédire un bénéfice en nombre de morts évités — avec un modèle insultant de simplicité qui supposait toujours que l'épidémie continuerait sa progression exponentielle en l'absence de confinement). Ni avant le premier confinement, ni pendant, ni entre les deux, ni pendant le second, ni maintenant que le risque d'un troisième est très sérieux.

Je suis donc perpétuellement laissé devant ces questions face à un grand néant faute de matière à débattre : j'en suis réduit à répondre à des arguments indigents comme la comparaison entre la Suède et la Norvège (dont je ne comprends pas bien comment elle se glisse dans le débat vu que, de ce que je comprends, ni la Norvège ni le Danemark, non plus que la Suède, n'ont jamais pratiqué de confinement consistant à abolir la liberté de circulation : on peut certainement discuter du bien-fondé de ce qu'ils ont fait, mais je n'appelle pas ça un confinement, et en tout cas ça n'a rien à voir avec les emprisonnements tels que pratiqués dans des pays comme la France, et ça ne peut donc rien nous apprendre à leur sujet). Ou à affronter les pinaillages des gens qui s'offusquent que j'utilise le mot emprisonnement (ce que je trouve incroyablement malhonnête : si les confinementistes croient vraiment au bien-fondé de leur outil, ils doivent assumer pleinement le fait que c'est, selon eux, un moindre mal de retenir des dizaines de millions de personnes enfermées contre leur volonté, et que ça s'appelle emprisonner, au lieu d'utiliser ce stupide euphémisme qu'est confiner, qui a pourtant bien le même sens ; la seule motivation à vouloir absolument distinguer emprisonner et confiner est si on pense qu'il est normal que les personnes incarcérées pour purger une peine doivent, en outre, être maltraitées pour pouvoir être vraiment en prison, et je trouve ça profondément inhumain).

Le problème est qu'en laissant le débat ainsi moisir, on en arrive au pied du mur, et qu'au pied du mur il est si facile d'invoquer des arguments purement émotionnels, comme le fameux pas de choix !. Ce n'est pas le débat qu'on souhaiterait avoir.

Essayons donc de structurer un peu les différents buts qui ont été proposés pour justifier les confinement, et de comprendre comment ils se relient. (Ceci est donc une sorte de pendant de l'entrée précédente où je m'interrogeais sur la genèse de l'idée du confinement.)

Je crois que j'ai entendu essentiellement les arguments suivants comme buts pour les confinements :

  1. éliminer complètement l'épidémie (viser le zéro covid), ou au moins aussi complètement qu'on le pourra ;
  2. aplatir la courbe, c'est-à-dire ralentir l'épidémie en diminuant sa vitesse de reproduction, pour la rendre tenable par le système de santé ; ce qui est peut-être la même chose que :
  3. limiter le nombre de morts en général ; mais il faut probablement distinguer :
  4. limiter le nombre de morts chez les personnes âgées ou les plus vulnérables ;
  5. éviter le débordement des hôpitaux (notamment des services de réanimation) et le risque de refus de soins qui va avec ;
  6. limiter le nombre de malades, y compris chez les jeunes, par crainte des formes graves de la maladie ; ou simplement :
  7. gagner du temps, à un moment précis de l'épidémie, le temps de mettre en place une stratégie différente.

Tout ça n'est pas forcément incompatible, mais il faut être précis dans ce qu'on dit, et les confinementistes se gardent bien d'expliciter clairement leur position, laissant croire que tout ça est la même chose, ou que le confinement va faire tout ça à la fois dans une sorte de mélange heureux de tout ce qui est pour le mieux. Mais dès qu'on critique une de ces positions, ils se réfugient sur une autre, ce qui rend la stratégie finalement impossible à réfuter (et c'est pour ça que je demande un débat où ils expliqueraient, ou du moins où le gouvernement expliquerait, clairement quelle est sa position).

↑Entry #2674 [older| permalink|newer] / ↑Entrée #2674 [précédente| permalien|suivante] ↑

Continue to older entries. / Continuer à lire les entrées plus anciennes.


Entries by month / Entrées par mois:

2022 Jan 2022 Feb 2022 Mar 2022 Apr 2022 May 2022 Jun 2022 Jul 2022 Aug 2022 Sep 2022
2021 Jan 2021 Feb 2021 Mar 2021 Apr 2021 May 2021 Jun 2021 Jul 2021 Aug 2021 Sep 2021 Oct 2021 Nov 2021 Dec 2021
2020 Jan 2020 Feb 2020 Mar 2020 Apr 2020 May 2020 Jun 2020 Jul 2020 Aug 2020 Sep 2020 Oct 2020 Nov 2020 Dec 2020
2019 Jan 2019 Feb 2019 Mar 2019 Apr 2019 May 2019 Jun 2019 Jul 2019 Aug 2019 Sep 2019 Oct 2019 Nov 2019 Dec 2019
2018 Jan 2018 Feb 2018 Mar 2018 Apr 2018 May 2018 Jun 2018 Jul 2018 Aug 2018 Sep 2018 Oct 2018 Nov 2018 Dec 2018
2017 Jan 2017 Feb 2017 Mar 2017 Apr 2017 May 2017 Jun 2017 Jul 2017 Aug 2017 Sep 2017 Oct 2017 Nov 2017 Dec 2017
2016 Jan 2016 Feb 2016 Mar 2016 Apr 2016 May 2016 Jun 2016 Jul 2016 Aug 2016 Sep 2016 Oct 2016 Nov 2016 Dec 2016
2015 Jan 2015 Feb 2015 Mar 2015 Apr 2015 May 2015 Jun 2015 Jul 2015 Aug 2015 Sep 2015 Oct 2015 Nov 2015 Dec 2015
2014 Jan 2014 Feb 2014 Mar 2014 Apr 2014 May 2014 Jun 2014 Jul 2014 Aug 2014 Sep 2014 Oct 2014 Nov 2014 Dec 2014
2013 Jan 2013 Feb 2013 Mar 2013 Apr 2013 May 2013 Jun 2013 Jul 2013 Aug 2013 Sep 2013 Oct 2013 Nov 2013 Dec 2013
2012 Jan 2012 Feb 2012 Mar 2012 Apr 2012 May 2012 Jun 2012 Jul 2012 Aug 2012 Sep 2012 Oct 2012 Nov 2012 Dec 2012
2011 Jan 2011 Feb 2011 Mar 2011 Apr 2011 May 2011 Jun 2011 Jul 2011 Aug 2011 Sep 2011 Oct 2011 Nov 2011 Dec 2011
2010 Jan 2010 Feb 2010 Mar 2010 Apr 2010 May 2010 Jun 2010 Jul 2010 Aug 2010 Sep 2010 Oct 2010 Nov 2010 Dec 2010
2009 Jan 2009 Feb 2009 Mar 2009 Apr 2009 May 2009 Jun 2009 Jul 2009 Aug 2009 Sep 2009 Oct 2009 Nov 2009 Dec 2009
2008 Jan 2008 Feb 2008 Mar 2008 Apr 2008 May 2008 Jun 2008 Jul 2008 Aug 2008 Sep 2008 Oct 2008 Nov 2008 Dec 2008
2007 Jan 2007 Feb 2007 Mar 2007 Apr 2007 May 2007 Jun 2007 Jul 2007 Aug 2007 Sep 2007 Oct 2007 Nov 2007 Dec 2007
2006 Jan 2006 Feb 2006 Mar 2006 Apr 2006 May 2006 Jun 2006 Jul 2006 Aug 2006 Sep 2006 Oct 2006 Nov 2006 Dec 2006
2005 Jan 2005 Feb 2005 Mar 2005 Apr 2005 May 2005 Jun 2005 Jul 2005 Aug 2005 Sep 2005 Oct 2005 Nov 2005 Dec 2005
2004 Jan 2004 Feb 2004 Mar 2004 Apr 2004 May 2004 Jun 2004 Jul 2004 Aug 2004 Sep 2004 Oct 2004 Nov 2004 Dec 2004
2003 May 2003 Jun 2003 Jul 2003 Aug 2003 Sep 2003 Oct 2003 Nov 2003 Dec 2003

[Index of all entries / Index de toutes les entréesLatest entries / Dernières entréesXML (RSS 1.0) • Recent comments / Commentaires récents]