Comment Debian vote : la résolution générale

Qui décide de ce qui entre dans Debian

Une résolution générale Debian (GR) est un vote de l’ensemble du projet. Elle permet à Debian de trancher une question de politique plutôt que de la laisser à une seule personne. Les votants sont les Debian Developers, au nombre d’environ un millier. Le scrutin est préférentiel et comporte toujours une option que personne n’a proposée : « Aucune des réponses ci-dessus ». Cette option peut l’emporter sur toutes les propositions du bulletin. Dans ce cas, le projet a décidé de ne pas décider.

Rien de tout cela ne relève de la légende. La Constitution Debian précise qui peut prendre quelles décisions, comment une proposition arrive au scrutin, comment les votes sont comptés et quelles décisions nécessitent plus qu’une majorité simple. Il est utile de la lire avant de choisir une distribution pour un serveur, car elle vous indique comment une modification de politique atteint votre machine et de quel délai de préavis vous disposez.

La Constitution et ce qu’elle corrige

Debian a ratifié la version 1.0 de sa Constitution le 2 décembre 1998. Le texte en vigueur est la version 1.9, ratifiée le 26 mars 2022. Le document répertorie toutes les versions précédentes en tête, car le seul moyen de le modifier est le vote qu’il décrit.

Quatre parties jouent un rôle ici. Les Développeurs agissant collectivement détiennent l’autorité finale. Le Debian Project Leader (DPL) est élu chaque année. Le Technical Committee (TC) tranche les litiges techniques entre mainteneurs. Le Project Secretary organise les votes et statue sur la procédure.

La section 4.1 énumère les pouvoirs dont disposent les Développeurs en tant que groupe :

• Nommer ou révoquer le Project Leader.
• Modifier la Constitution, avec une majorité de 3:1.
• Prendre ou annuler toute décision relevant des pouvoirs du Project Leader ou d’un Delegate.
• Prendre ou annuler toute décision relevant des pouvoirs du Technical Committee, avec une majorité de 2:1.
• Publier, remplacer et retirer les documents et déclarations de politique non techniques.

Les rapports de majorité sont au cœur de cette conception. Annuler une décision du leader requiert une majorité simple, car une décision du leader est censée être provisoire. Annuler une décision du Technical Committee requiert une majorité de 2:1, car le comité a été chargé de trancher pour une raison précise. Modifier la Constitution ou un document fondateur tel que le Social Contract requiert une majorité de 3:1. Plus une décision est difficile à annuler, plus le seuil requis pour la prendre est élevé.

Qui vote, et ce que le leader peut réellement faire

Seuls les Debian Developers votent. Il s’agit des membres du projet admis dans le cadre de la procédure Debian New Member. Cette procédure inclut les personnes qui ne maintiennent aucun paquet, mais accomplissent d’autres tâches pour le projet. Un contributeur qui n’a pas suivi cette procédure ne reçoit aucun bulletin, pas plus qu’un utilisateur. Le vote appartient à chaque membre individuellement. Les employeurs ne disposent donc ni d’un siège ni d’un bloc de voix.

Le DPL est élu chaque printemps selon le même système de classement, avec « None of the above » comme option par défaut, pour un mandat d’un an. Lors de l’élection de 2026, les candidatures ont été ouvertes du 7 au 13 March, la campagne s’est déroulée jusqu’au 3 April, et le vote a eu lieu du 4 au 17 April 2026. Sruthi Chandran était la seule candidate et a été élue : le décompte a enregistré 289 votes préférant la candidate à None of the above, contre 50 dans l’autre sens. Le résultat a été publié le 18 April 2026.

Cette fonction a moins de pouvoir que son titre ne le laisse penser. Le DPL nomme les délégués, parle au nom du projet, tranche les questions qui nécessitent une action urgente et décide des sujets dont personne d’autre n’est responsable. Le DPL ne peut pas imposer une politique technique par décret, car la section 4.1 permet aux Developers d’annuler toute décision que le leader est autorisé à prendre. Cette annulation nécessite seulement une majorité simple.

Le Project Secretary est la fonction discrète qui permet au reste de fonctionner. Le Secretary publie le bulletin, convoque le vote, effectue le décompte et tranche les questions de procédure, par exemple la majorité requise pour une option donnée.

Comment une résolution générale est proposée et soutenue

Une résolution commence par un e-mail envoyé à une liste publique, en pratique debian-vote@lists.debian.org. Tout le monde peut la lire. Seul un Developer peut en proposer une.

La Constitution indique qu’une résolution ou une option de vote « est introduite si elle est proposée par un Developer et soutenue par au moins K autres Developers ». K dépend de la taille du projet, tout comme le quorum :

2022 non-free firmware vote, published quorum 47.9765567751584

  developers on the roll      1023
  Q  = sqrt(1023) / 2       = 15.992
  K  = min(Q, 5)            = 5        sponsors needed to introduce an option
  3Q = quorum               = 47.977   votes an option must draw to survive

Q correspond à la moitié de la racine carrée du nombre de Developers actuels, et K vaut Q ou 5, selon la plus petite de ces deux valeurs. Debian compte largement plus de 100 Developers depuis des décennies ; en pratique, K vaut donc 5. Cinq autres Developers doivent répondre sur la liste pour soutenir la proposition. Ce seuil est volontairement bas. Soutenir une proposition ne signifie pas être d’accord avec elle : cela signifie que la question mérite d’être soumise au vote.

La période de discussion commence ensuite. Elle dure au minimum 2 semaines et au maximum 3 semaines. Pendant cette période, tout autre Developer peut ajouter une option différente au même scrutin, avec cinq soutiens qui lui sont propres. Depuis la réécriture de la procédure de résolution générale par un vote en janvier 2022, toutes les options sont placées sur un pied d’égalité. La personne à l’origine de la proposition ne bénéficie d’aucun statut particulier par rapport aux autres.

C’est pourquoi un scrutin Debian se résume rarement à une question oui ou non. Une résolution générale prend généralement la forme d’une liste de propositions concurrentes, rédigées par différentes personnes pendant la période de discussion.

À la fin de la discussion, le Project Secretary publie le scrutin et appelle au vote. Il doit le faire dans un délai de sept jours. Les périodes de vote récentes ont duré 2 semaines : du 18 septembre au 1 octobre 2022 pour la résolution sur les firmware, et du 15 au 28 août 2026 pour celle qui est actuellement ouverte.

Pourquoi le bulletin utilise un classement et ce que fait l’option par défaut

Debian compte les votes avec une méthode de Condorcet. Chaque votant classe les options par ordre de préférence. Le décompte compare ensuite chaque paire d’options : pour les options A et B, il compte combien de bulletins classent A devant B, et combien classent B devant A. Une option qui remporte toutes ses confrontations directes est gagnante. Lorsque les préférences forment un cycle et qu’aucune option de ce type n’existe, la constitution élimine les défaites les plus faibles jusqu’à ce qu’un gagnant apparaisse dans l’ensemble de Schwartz, c’est-à-dire le groupe d’options qu’aucune option extérieure au groupe ne bat.

Le classement élimine le problème de la dispersion des votes. Quatre propositions qui sont globalement d’accord ne peuvent pas s’annuler mutuellement, car un votant qui en préfère une peut toujours classer les trois autres devant les options qu’il n’approuve pas.

Chaque bulletin de General Resolution se termine par l’option par défaut. La constitution précise qu’elle « n’a ni proposant ni sponsors et ne peut être ni amendée ni retirée ». Aujourd’hui, elle s’appelle « Aucune des propositions ci-dessus ». Jusqu’à la modification du processus votée en janvier 2022, elle s’appelait « Discussion supplémentaire », et les anciennes pages de résultats utilisent encore ce nom.

L’option par défaut sert de référence aux deux règles qui peuvent à elles seules faire échouer une proposition :

• Quorum : toute option autre que l’option par défaut qui n’obtient pas au moins 3Q votes la classant devant l’option par défaut est écartée. Cela représentait environ 48 votes en 2022.
• Supermajorité : toute option autre que l’option par défaut qui ne bat pas l’option par défaut selon le ratio requis est écartée. Une proposition à 3:1 doit battre « Aucune des propositions ci-dessus » par trois voix contre une.

Relisez la deuxième règle, car c’est celle dont on se souvient le plus souvent mal. Dans Debian, une supermajorité est mesurée par rapport à l’option par défaut. Les propositions concurrentes n’interviennent pas dans ce calcul.

Si l’option par défaut l’emporte nettement, aucune proposition n’est adoptée et la question revient sur la liste. C’est un résultat réel. Classer l’option par défaut devant une option est une façon pour un développeur de dire : « Je préférerais que Debian ne dise rien plutôt qu’elle dise cela ».

Depuis mars 2022, les bulletins sont secrets. La résolution qui les a rendus secrets a été proposée par Sam Hartman et soumise au vote du 13 au 26 mars 2022. L’option gagnante masque quel développeur a soumis quel bulletin, tout en permettant à un votant de vérifier que son propre vote a bien été pris en compte. Avant cela, chaque bulletin classé était publié avec le nom du votant.

Ce qu’une résolution générale a réellement changé

Le système d’init, deux fois. Le 11 février 2014, le Comité technique a décidé « que le système d’init par défaut pour les architectures Linux dans jessie devait être systemd », après une impasse que le président, Bdale Garbee, a tranchée avec sa voix prépondérante. La propre résolution du comité ajoutait que, si le projet adoptait une résolution générale sur les systèmes d’init avant la publication de jessie, « cette décision remplacerait le résultat de ce vote ». Ian Jackson a proposé cette résolution générale. Le vote s’est déroulé du 5 au 18 novembre 2014, et l’option gagnante était « Une résolution générale n’est pas nécessaire ». Le projet a utilisé le scrutin pour refuser de revenir sur la décision de son propre comité.

La question est revenue en décembre 2019 sous le titre « Systèmes d’init et systemd », avec sept options substantielles rédigées par cinq développeurs, allant de « Se concentrer sur systemd » à « La prise en charge de plusieurs systèmes d’init est requise ». Le vote s’est déroulé du 7 au 27 décembre 2019, et le dépouillement a enregistré 425 votes. L’option gagnante était « systemd, mais nous soutenons l’étude des alternatives ».

Les firmwares non libres et l’installeur que vous téléchargez. En 2022, le projet a voté pour déterminer si l’installeur officiel devait inclure les firmwares non libres nécessaires aux cartes réseau et à d’autres matériels. Six propositions ont été soumises au vote. Le vote s’est déroulé du 18 septembre au 1 octobre 2022, et l’option gagnante était « Modifier le Contrat social pour les firmwares non libres dans l’installeur, un seul installeur ». Comme cette option modifiait le Contrat social, elle devait l’emporter sur l’option par défaut avec un rapport de 3:1, ce qui a été le cas.

Ce vote est l’exemple le plus clair d’un scrutin qui atteint votre machine. Debian 12 « bookworm », publiée le 10 juin 2023, a déplacé la plupart des paquets de firmware de non-free vers un nouveau composant non-free-firmware, et son installeur active ce composant lorsque le matériel en a besoin. Avant le vote, utiliser une machine équipée d’une carte réseau nécessitant un firmware signifiait qu’il fallait savoir télécharger une image non officielle. Le message publié sur la liste de diffusion, le scrutin et l’ISO que vous téléchargez forment une seule chaîne d’événements.

Ne rien dire, volontairement. En avril 2021, le projet a voté pour déterminer s’il devait publier une déclaration publique au sujet du retour de Richard Stallman au conseil d’administration de la Free Software Foundation. Huit options ont été soumises au vote. L’option gagnante était « Debian ne publiera pas de déclaration publique sur cette question ». Une résolution peut établir que le projet n’a pas de position collective. C’est une décision qu’un service de presse d’entreprise prend rarement.

Une résolution en cours : l’utilisation des LLM dans Debian

Le processus est actuellement en cours concernant les grands modèles de langage (LLM). La discussion sur la résolution « Utilisation des LLM dans Debian » s’est déroulée sur debian-vote du 23 juillet au 13 août 2026. Elle a abouti à huit propositions, chacune présentée par un développeur différent :

• Aucune contribution de LLM à Debian via le Contrat social
• Autoriser les contributions assistées par l’IA sous certaines conditions
• Rejeter les LLM dans la mesure du possible et mettre à jour le Code de conduite
• Accepter les contributions de l’IA pour les travaux spécifiques à Debian
• Utilisation responsable de l’IA générative
• Une approche prudente de l’IA générative
• Debian est créée par des humains
• Éviter l’utilisation des LLM : la destruction du climat est rédhibitoire

La première proposition modifie le Contrat social. Elle nécessite donc une majorité de 3:1 par rapport à l’option par défaut. Les sept autres nécessitent une majorité simple. Le vote a ouvert le 15 août 2026 et se termine le 28 août 2026.

Rien dans ce texte ne permet de prévoir le résultat, et aucun résultat n’est annoncé. À la fin du vote, le Secrétaire publie le décompte avec la matrice complète des confrontations par paires sur les pages de vote Debian. Cette page est la seule source qu’il convient de citer. Une proposition antérieure, « Interprétation des DFSG concernant les modèles d’intelligence artificielle (IA) », a été retirée en 2025 avant d’atteindre le stade du vote. Le retrait fait également partie du processus : DFSG désigne les Debian Free Software Guidelines, et les personnes à l’origine d’une proposition peuvent la retirer lorsqu’elle n’est pas prête. Le débat plus large ne concerne pas uniquement Debian, et d’autres projets définissent leurs propres politiques concernant les contributions assistées par l’IA par des voies très différentes.

Ce que cela signifie lorsque vous choisissez une distribution serveur

Comparez clairement les deux modes de décision.

Dans Debian, une modification de politique fait l’objet d’un document public avant de devenir une politique. Vous pouvez lire la proposition le jour de sa publication, suivre l’apparition des options concurrentes, voir le nom des sponsors, connaître la première date à laquelle le vote peut avoir lieu et lire le décompte ensuite. Le coût est la lenteur. Chacun de ces votes a donné lieu à plusieurs semaines de discussion, et la question du système init a nécessité cinq ans et deux résolutions avant de parvenir à une réponse stable.

Dans Ubuntu, l’orientation est définie au sein d’une entreprise. La page de gouvernance d’Ubuntu décrit un Community Council et un Technical Board. Elle précise également que le sponsor du projet, Mark Shuttleworth, établit une liste restreinte de candidats pour les deux instances et dispose d’une voix prépondérante dans chacune d’elles, sous le titre de dictateur bienveillant autoproclamé à vie. Le résultat est rapide. Le 14 février 2014, trois jours après la décision du comité Debian en faveur de systemd, Shuttleworth a annoncé qu’Ubuntu abandonnerait Upstart, le système init que Canonical avait écrit et livré depuis 2006, pour suivre Debian vers systemd. Debian est parvenue au même résultat au moyen d’un vote du comité, d’une General Resolution en 2014, puis d’une autre en 2019.

Aucun de ces modèles n’est intrinsèquement meilleur, et ils échouent de manière différente. Un vote est lent, et un groupe déterminé peut remettre la même question au vote jusqu’à ce que l’électorat change d’avis. Une décision d’entreprise est rapide, et elle peut être annulée lors d’une réunion stratégique à laquelle vous n’assistiez pas. Ce que vous choisissez, c’est la source de vos informations : une liste publique à laquelle vous pouvez vous abonner, ou une annonce de release que vous lisez le jour de sa publication.

Au quotidien, vous ressentirez cette différence à travers la politique de release plutôt qu’à travers les votes. La suite pratique est donc les suites stable, testing et unstable de Debian sur un serveur. Si vous comparez les deux familles pour une nouvelle machine, la question de la gouvernance n’est qu’un élément parmi d’autres. L’histoire de la séparation entre Debian et Ubuntu présente le reste, tandis que le choix d’un système d’exploitation pour votre VPS replace ce choix à côté des autres candidats. Le schéma est ancien, et la manière dont les familles de distributions se sont séparées montre à quel point la gouvernance, et non le code, a souvent été à l’origine du fork.

Lire soi-même le résultat d’un vote

Vous n’avez pas besoin d’être Developer pour suivre tout cela. Quatre emplacements contiennent toutes les informations :

• L’index des votes à https://www.debian.org/vote/ répertorie chaque résolution par année, y compris celles qui ont été retirées.
• Chaque page de vote répertorie les propositions, les sponsors nommés, les dates de discussion et de vote, ainsi que la majorité requise pour chaque option.
• Chaque page de résultats affiche la matrice par paires et les calculs. Les lignes concernant le quorum ressemblent à Option 1 Reached quorum: 307 > 47.6943392867539.
• Les archives de debian-vote et de debian-devel-announce contiennent les arguments qui ont conduit aux différentes options.

La constitution elle-même se trouve à https://www.debian.org/devel/constitution.. L’annexe A décrit le vote. C’est la section à lire si un résultat semble surprenant.

FAQ

Qui peut voter sur une résolution générale Debian ?

Les développeurs Debian, c’est-à-dire les membres du projet admis par la procédure New Member de Debian. Ils sont environ un millier. Ce groupe comprend aussi des membres qui ne maintiennent aucun paquet, mais qui contribuent au projet autrement. Les contributeurs qui n’ont pas rejoint le projet, les mainteneurs de paquets qui ne sont pas membres et les utilisateurs ne reçoivent pas de bulletin de vote. Le vote appartient au membre à titre individuel. Un employeur ne dispose donc ni d’un siège ni d’un bloc de voix.

Que se passe-t-il si « Aucune des propositions ci-dessus » remporte une résolution générale ?

Aucune proposition n’est adoptée et la question revient sur la mailing list. L’option par défaut figure sur chaque bulletin, ne peut pas être retirée et sert aussi de référence pour deux autres règles : une option qui n’obtient pas suffisamment de voix pour atteindre le quorum et qui est classée au-dessus de l’option par défaut est éliminée, et une option qui ne bat pas l’option par défaut avec le ratio requis est également éliminée. Une proposition qui exige une majorité de 3:1 doit donc battre « Aucune des propositions ci-dessus » avec un rapport de trois voix contre une. Ses propositions concurrentes ne sont pas prises en compte dans ce calcul.

Une résolution générale peut-elle annuler une décision du Technical Committee ou du Project Leader ?

Oui. La constitution prévoit un seuil différent pour chaque cas. Pour annuler une décision que le Project Leader ou un Delegate était autorisé à prendre, une majorité simple suffit. Pour annuler une décision du Technical Committee, il faut un ratio de 2:1. Pour modifier la constitution ou un document fondateur comme le Social Contract, il faut un ratio de 3:1. En novembre 2014, le projet a organisé un vote pour déterminer s’il fallait annuler la décision du comité concernant les systèmes init. Il a choisi de ne pas le faire, car l’option « Une résolution générale n’est pas nécessaire » a remporté le vote.

Combien de temps faut-il entre la proposition et le résultat d’une résolution générale ?

Environ un mois lorsqu’aucun événement inhabituel ne se produit. La discussion dure au moins 2 semaines et au plus 3. Le Project Secretary publie ensuite le bulletin et ouvre le vote dans les sept jours suivant la fin de la discussion. Les dernières périodes de vote ont duré 2 semaines. La résolution de 2026 sur l’utilisation des LLM illustre le déroulement habituel : discussion du 23 juillet au 13 août 2026, puis vote du 15 au 28 août 2026.