Résolution générale : microprogrammes non libres

Calendrier

Période de débat : 18 août 2022 7 septembre 2022
La période de débat a été prolongée de sept jours par le responsable du projet Debian. [message]

Déposant de la proposition A

Steve McIntyre [[email protected]] [texte de la proposition] [amendement]

Parrains de la proposition A

  1. Tobias Frost [[email protected]] [message]
  2. Luca Boccassi [[email protected]] [message]
  3. Ansgar [[email protected]] [message]
  4. Louis-Philippe Véronneau [[email protected]] [message]
  5. Sebastian Ramacher [[email protected]] [message]
  6. Samuel Henrique [[email protected]] [message]
  7. Timo Röhling [[email protected]] [message]
  8. Philip Hands [[email protected]] [message]
  9. Joerg Jaspert [[email protected]] [message]
  10. Cyril Brulebois [[email protected]] [message]
  11. Iain Lane [[email protected]] [message]
  12. Holger Levsen [[email protected]] [message]
  13. Philipp Kern [[email protected]] [message]
  14. Anton Gladky [[email protected]] [message]
  15. Moritz Mühlenhoff [[email protected]] [message]
  16. Gunnar Wolf [[email protected]] [message]

Proposition A

Nous inclurons les paquets de microprogrammes non libres de la section non-free-firmware de l'archive Debian dans nos supports officiels (images de l'installateur et images autonomes). Les binaires des microprogrammes inclus seront normalement activés par défaut lorsque le système détermine qu'ils sont requis, mais quand c'est possible, nous inclurons des moyens pour que l'utilisateur les désactive à l'amorçage (option du menu de démarrage, ligne de commande du noyau, etc.).

Lors de l'exécution de l'installateur ou du système autonome, nous fournirons à l'utilisateur des informations sur les microprogrammes chargés (aussi bien les libres que les non libres), et nous sauvegarderons aussi ces informations sur le système cible de sorte que l'utilisateur puisse les retrouver plus tard. S'il se trouve que des microprogrammes sont nécessaires, le système cible sera aussi configuré pour utiliser par défaut le composant non-free-firmware dans le ficher sources.list d'apt. Nos utilisateurs devraient recevoir les mises à jour de sécurité et les correctifs importants pour les binaires des microprogrammes exactement comme pour tous les autres logiciels installés.

Nous publierons ces images en tant que médias officiels de Debian, remplaçant le jeu de médias actuel qui n'inclut pas les paquets de microprogrammes non libres.

Déposant de la proposition B

Gunnar Wolf [[email protected]] [texte de la proposition]

Parrains de la proposition B

  1. Tobias Frost [[email protected]] [message]
  2. Holger Levsen [[email protected]] [message]
  3. Sean Whitton [[email protected]] [message]
  4. Steve McIntyre [[email protected]] [message]
  5. Mathias Behrle [[email protected]] [message]
  6. Tiago Bortoletto Vaz [[email protected]] [message]
  7. Laura Arjona Reina [[email protected]] [message]
  8. Jonathan Carter [[email protected]] [message]
  9. Philipp Kern [[email protected]] [message]

Proposition B

Nous inclurons les paquets de microprogrammes non libres de la section non-free-firmware de l'archive Debian dans nos supports officiels (images de l'installateur et images autonomes). Les binaires des microprogrammes inclus seront normalement activés par défaut lorsque le système détermine qu'ils sont requis, mais quand c'est possible, nous inclurons des moyens pour que l'utilisateur les désactive à l'amorçage (option du menu de démarrage, ligne de commande du noyau, etc.).

Lors de l'exécution de l'installateur ou du système autonome, nous fournirons à l'utilisateur des informations sur les microprogrammes chargés (aussi bien les libres que les non libres), et nous sauvegarderons aussi ces informations sur le système cible de sorte que l'utilisateur puisse les retrouver plus tard. S'il se trouve que des microprogrammes sont nécessaires, le système cible sera aussi configuré pour utiliser par défaut le composant non-free-firmware dans le ficher sources.list d'apt. Nos utilisateurs devraient recevoir les mises à jour de sécurité et les correctifs importants pour les binaires des microprogrammes exactement comme pour tous les autres logiciels installés.

Même si nous publions ces images comme médias officiels de Debian, elles ne remplaceront pas les jeux de médias actuels qui n'incluent pas de paquets de microprogrammes non libres, mais seront proposées à côté. Les images qui incluent les microprogrammes non libres seront proposées de façon plus visible de manière que les débutants pourront les trouver plus facilement ; les images complètement libres ne seront pas dissimulées ; leurs liens seront sur les mêmes pages du projet, mais avec une visibilité moins importante.

Déposant de la proposition C

Bart Martens [[email protected]] [texte de la proposition] [amendement]

Parrains de la proposition C

  1. Stefano Zacchiroli [[email protected]] [message]
  2. Laura Arjona Reina [[email protected]] [message]
  3. Holger Levsen [[email protected]] [message]
  4. Steve McIntyre [[email protected]] [message]
  5. Philip Rinn [[email protected]] [message]
  6. Jonas Smedegaard [[email protected]] [message]
  7. Paul Wise [[email protected]] [message]
  8. Simon Josefsson [[email protected]] [message]

Proposition C

Le projet Debian est autorisé à réaliser des médias de distribution (images de l'installateur et images autonomes) contenant des programmes non libres provenant de l'archive Debian disponible en téléchargement en même temps que les médias libres de manière que l'utilisateur sait, avant de procéder au téléchargement, quels médias sont les médias libres.

Déposant de la proposition D

Simon Josefsson [[email protected]] [texte de la proposition]

Parrains de la proposition D

  1. Jonas Smedegaard [[email protected]] [message]
  2. Holger Levsen [[email protected]] [message]
  3. Hubert Chathi [[email protected]] [message]
  4. Guilhem Moulin [[email protected]] [message]
  5. Santiago Ruano Rincón [[email protected]] [message]
  6. Shengjing Zhu [[email protected]] [message]

Proposition D

Nous continuerons à soutenir l'esprit du Contrat social de Debian qui dit dans son premier paragraphe :

   Debian demeurera totalement libre.

   Le document intitulé Principes du logiciel libre selon
   Debian énonce les critères grâce auxquels le projet Debian
   détermine si un travail est libre. Nous promettons que
   le système Debian et tous ses composants seront libres selon
   ces principes et nous aiderons les personnes qui créent et utilisent
   à la fois des travaux libres et non libres sur Debian. Nous ne
   rendrons pas le système dépendant d'un composant non libre.

Par conséquent, nous n'inclurons aucun logiciel non libre dans Debian, ni dans l'archive principale, ni dans les images officielles de l'installateur, les images autonomes ou pour le nuage ou autres, et par défaut nous n'activerons rien qui provienne de non-free ou contrib.

Nous continuerons aussi à soutenir l'esprit du Contrat social de Debian qui dit dans son cinquième paragraphe :

   Travaux non conformes à nos standards sur les logiciels libres

   Nous reconnaissons que certains de nos utilisateurs demandent à pouvoir
   utiliser des travaux qui ne sont pas conformes aux principes du logiciel
   libre selon Debian. Les paquets correspondant prennent place dans des
   sections nommées contrib (contributions) et non-free
   (non libre). Les paquets de ces sections ne font pas partie du
   système Debian, bien qu'ils aient été configurés afin d'être utilisés
   avec lui. Nous encourageons les fabricants de CD à lire les licences de
   ces paquets afin de déterminer s'ils peuvent les distribuer. Ainsi, bien
   que les travaux non libres ne fassent pas partie de Debian, nous prenons
   en compte leur utilisation et fournissons donc l'infrastructure
   nécessaire (à l'image de notre système de suivi des bogues et de nos
   listes de diffusion).

Ainsi nous renforçons l'interprétation que tout installateur ou image qui contient un logiciel non libre ne fait pas partie du système Debian, mais que nous soutenons leur utilisation et nous invitons d'autres gens à distribuer ce genre de travail.

Déposant de la proposition E

Russ Allbery [[email protected]] [texte de la proposition]

Parrains de la proposition E

  1. Richard Laager [[email protected]] [message]
  2. Ansgar [[email protected]] [message]
  3. Simon Richter [[email protected]] [message]
  4. Kunal Mehta [[email protected]] [message]
  5. Tobias Frost [[email protected]] [message]
  6. Steve McIntyre [[email protected]] [message]
  7. Holger Levsen [[email protected]] [message]

Proposition E

Cette option du scrutin remplace le Contrat social de Debian (un document fondateur) selon le point 4.1.5 de la constitution et il est donc nécessaire d'avoir une majorité qualifiée de 3 contre 1.

Le Contrat social de Debian est remplacé par une nouvelle version qui est identique à la version actuelle à tous égards exceptée qu'elle ajoute la phrase suivante à la fin du point 5 :

    Les supports officiels de Debian peuvent inclure des microprogrammes qui
    autrement ne font pas partie du système Debian pour permettre l'utilisation
    de Debian avec du matériel qui nécessite ce type de microprogrammes.

Le projet Debian fait aussi la déclaration suivante dans une publication du jour :

Nous inclurons les paquets de microprogrammes non libres de la section non-free-firmware de l'archive Debian dans nos supports officiels (images de l'installateur et images autonomes). Les binaires des microprogrammes inclus seront normalement activés par défaut lorsque le système détermine qu'ils sont requis, mais quand c'est possible, nous inclurons des moyens pour que l'utilisateur les désactive à l'amorçage (option du menu de démarrage, ligne de commande du noyau, etc.).

Lors de l'exécution de l'installateur ou du système autonome, nous fournirons à l'utilisateur des informations sur les microprogrammes chargés (aussi bien les libres que les non libres), et nous sauvegarderons aussi ces informations sur le système cible de sorte que l'utilisateur puisse les retrouver plus tard. S'il se trouve que des microprogrammes sont nécessaires, le système cible sera aussi configuré pour utiliser par défaut le composant non-free-firmware dans le ficher sources.list d'apt. Nos utilisateurs devraient recevoir les mises à jour de sécurité et les correctifs importants pour les binaires des microprogrammes exactement comme pour tous les autres logiciels installés.

Nous publierons ces images en tant que médias officiels de Debian, remplaçant le jeu de médias actuel qui n'inclut pas les paquets de microprogrammes non libres.

Déposant de la proposition F

Holger Levsen [[email protected]] [texte de la proposition]

Parrains de la proposition F

  1. Steve McIntyre [[email protected]] [message]
  2. Timo Röhling [[email protected]] [message]
  3. Tiago Bortoletto Vaz [[email protected]] [message]
  4. Étienne Mollier [[email protected]] [message]
  5. Judit Foglszinger [[email protected]] [message]
  6. David Prévot [[email protected]] [message]
  7. Tobias Frost [[email protected]] [message]
  8. Gunnar Wolf [[email protected]] [message]
  9. Didier Raboud [[email protected]] [message]

Proposition F

Choix 6 : modification du contrat social pour avoir des microprogrammes non libres dans l'installateur, conserver deux installateurs

Cette option du scrutin remplace le Contrat social de Debian (un document fondateur) selon le point 4.1.5 de la constitution et il est donc nécessaire d'avoir une majorité qualifiée de 3 contre 1.

Le Contrat social de Debian est remplacé par une nouvelle version qui est identique à la version actuelle à tous égards exceptée qu'elle ajoute la phrase suivante à la fin du point 5 :

    Les supports officiels de Debian peuvent inclure des microprogrammes qui
    autrement ne font pas partie du système Debian pour permettre l'utilisation
    de Debian avec du matériel qui nécessite ce type de microprogrammes.

Le projet Debian fait aussi la déclaration suivante dans une publication du jour :

Nous inclurons les paquets de microprogrammes non libres de la section non-free-firmware de l'archive Debian dans nos supports officiels (images de l'installateur et images autonomes). Les binaires des microprogrammes inclus seront normalement activés par défaut lorsque le système détermine qu'ils sont requis, mais quand c'est possible, nous inclurons des moyens pour que l'utilisateur les désactive à l'amorçage (option du menu de démarrage, ligne de commande du noyau, etc.).

Lors de l'exécution de l'installateur ou du système autonome, nous fournirons à l'utilisateur des informations sur les microprogrammes chargés (aussi bien les libres que les non libres), et nous sauvegarderons aussi ces informations sur le système cible de sorte que l'utilisateur puisse les retrouver plus tard. S'il se trouve que des microprogrammes sont nécessaires, le système cible sera aussi configuré pour utiliser par défaut le composant non-free-firmware dans le ficher sources.list d'apt. Nos utilisateurs devraient recevoir les mises à jour de sécurité et les correctifs importants pour les binaires des microprogrammes exactement comme pour tous les autres logiciels installés.

Nous publierons ces images en tant que médias officiels de Debian, en même temps que le jeu de médias actuel qui n'inclut pas les paquets de microprogrammes non libres.

Quorum

Avec la liste actuelle des développeurs ayant voté, nous avons :

 Nombre actuel de développeurs = 991
 Q (racine carrée(nb de développeurs) / 2 ) = 15.7400762386972
 K min(5, Q )           = 5
 Quorum  (3 x Q )       = 47.2202287160916
    

Quorum

Données et statistiques

Pour cette résolution générale, comme d'habitude, des statistiques sur les bulletins et les accusés de réception sont rassemblées périodiquement durant la période du scrutin. De plus, la liste des votants sera enregistrée. La feuille de compte pourra être aussi consultée.

Majorités requises

Les propositions 5 et 6 ont besoin d’une majorité qualifiée à 3 contre 1

Majorité

Résultat

Affichage graphique des résultats

Dans le graphique ci-dessus, les nœuds en rose n'ont pas obtenu la majorité requise, le bleu est le gagnant. L’octogone est utilisé pour les options qui n’ont pas battu l'option par défaut.

Dans le tableau suivant, la correspondance ligne[x] colonne[y] représente le nombre de suffrages où le candidat x est classé devant le candidat y. Une explication plus détaillée de la matrice des gagnants peut vous aider à comprendre ce tableau. Pour comprendre la méthode Condorcet, l'entrée de Wikipédia est assez instructive.

Grille des résultats
 Option
  1 2 3 4 5 6 7
Option 1   158 206 270 72 129 264
Option 2 170   235 286 121 75 291
Option 3 144 99   294 127 84 306
Option 4 80 64 53   74 55 135
Option 5 229 219 229 279   169 289
Option 6 216 253 266 298 163   311
Option 7 91 63 51 197 63 42  

En regardant à la ligne 2, colonne 1, Recommander un installateur contenant des microprogrammes non libres
est classé devant Un seul installateur, incluant des microprogrammes non libres sur 170 bulletins

En regardant à la ligne 1, colonne 2, Un seul installateur, incluant des microprogrammes non libres
est classé devant Recommander un installateur contenant des microprogrammes non libres sur 158 bulletins.

Couples de défaites

Contenu de l'ensemble de Schwartz

Gagnant

Debian utilise la méthode Condorcet pour les élections. De façon très simpliste, la méthode Condorcet pure pourrait s'expliquer ainsi :
Considérer tous les couples possibles de candidats. Le gagnant selon Condorcet, s'il existe, est le candidat qui bat chacun des autres candidats en duel singulier. Le problème est que dans des élections complexes, il pourrait y avoir des relations circulaires dans lesquels A bat B, B bat C et C bat A. La plupart des variations de la méthode Condorcet utilisent divers moyens pour résoudre ces cas. Veuillez lire la méthode Schulze pour de plus amples informations. La variante de Debian est expliquée dans la constitution, au paragraphe A.6


Secrétaire du projet Debian