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 [93sam@debian.org] [texte de la proposition] [amendement]

Parrains de la proposition A

Tobias Frost [tobi@debian.org] [message]
Luca Boccassi [bluca@debian.org] [message]
Ansgar [ansgar@debian.org] [message]
Louis-Philippe Véronneau [pollo@debian.org] [message]
Sebastian Ramacher [sramacher@debian.org] [message]
Samuel Henrique [samueloph@debian.org] [message]
Timo Röhling [roehling@debian.org] [message]
Philip Hands [philh@debian.org] [message]
Joerg Jaspert [joerg@debian.org] [message]
Cyril Brulebois [kibi@debian.org] [message]
Iain Lane [laney@debian.org] [message]
Holger Levsen [holger@debian.org] [message]
Philipp Kern [pkern@debian.org] [message]
Anton Gladky [gladk@debian.org] [message]
Moritz Mühlenhoff [jmm@debian.org] [message]
Gunnar Wolf [gwolf@debian.org] [message]

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 [gwolf@debian.org] [texte de la proposition]

Parrains de la proposition B

Tobias Frost [tobi@debian.org] [message]
Holger Levsen [holger@debian.org] [message]
Sean Whitton [spwhitton@debian.org] [message]
Steve McIntyre [93sam@debian.org] [message]
Mathias Behrle [mbehrle@debian.org] [message]
Tiago Bortoletto Vaz [tiago@debian.org] [message]
Laura Arjona Reina [larjona@debian.org] [message]
Jonathan Carter [jcc@debian.org] [message]
Philipp Kern [pkern@debian.org] [message]

Proposition B

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 [bartm@debian.org] [texte de la proposition] [amendement]

Parrains de la proposition C

Stefano Zacchiroli [zack@debian.org] [message]
Laura Arjona Reina [larjona@debian.org] [message]
Holger Levsen [holger@debian.org] [message]
Steve McIntyre [93sam@debian.org] [message]
Philip Rinn [rinni@debian.org] [message]
Jonas Smedegaard [js@debian.org] [message]
Paul Wise [pabs@debian.org] [message]
Simon Josefsson [jas@debian.org] [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 [jas@debian.org] [texte de la proposition]

Parrains de la proposition D

Jonas Smedegaard [js@debian.org] [message]
Holger Levsen [holger@debian.org] [message]
Hubert Chathi [uhoreg@debian.org] [message]
Guilhem Moulin [guilhem@debian.org] [message]
Santiago Ruano Rincón [santiago@debian.org] [message]
Shengjing Zhu [zhsj@debian.org] [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 [rra@debian.org] [texte de la proposition]

Parrains de la proposition E

Richard Laager [rlaager@debian.org] [message]
Ansgar [ansgar@debian.org] [message]
Simon Richter [sjr@debian.org] [message]
Kunal Mehta [legoktm@debian.org] [message]
Tobias Frost [tobi@debian.org] [message]
Steve McIntyre [93sam@debian.org] [message]
Holger Levsen [holger@debian.org] [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 :

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 [holger@debian.org] [texte de la proposition]

Parrains de la proposition F

Steve McIntyre [93sam@debian.org] [message]
Timo Röhling [roehling@debian.org] [message]
Tiago Bortoletto Vaz [tiago@debian.org] [message]
Étienne Mollier [emollier@debian.org] [message]
Judit Foglszinger [urbec@debian.org] [message]
David Prévot [taffit@debian.org] [message]
Tobias Frost [tobi@debian.org] [message]
Gunnar Wolf [gwolf@debian.org] [message]
Didier Raboud [odyx@debian.org] [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 :

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

L’option 1 a atteint le quorum : 264 > 47.2202287160916
L’option 2 a atteint le quorum : 291 > 47.2202287160916
L’option 3 a atteint le quorum : 306 > 47.2202287160916
L’option 4 a atteint le quorum : 135 > 47.2202287160916
L’option 5 a atteint le quorum : 289 > 47.2202287160916
L’option 6 a atteint le quorum : 311 > 47.2202287160916

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é

L'option 1 obtient la majorité. 2.901 (264/91) > 1
L'L'option 2 obtient la majorité. 4.619 (291/63) > 1
L'L'option 3 obtient la majorité. 6.000 (306/51) > 1
Renoncement à l'option 4 pour cause de majorité. 0.685 (135/197) <= 1
L'option 5 obtient la majorité. 4.587 (289/63) >= 3
L'option 6 obtient la majorité. 7.405 (311/42) >= 3

Résultat

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.

Option 1 "Un seul installateur, incluant des microprogrammes non libres"
Option 2 "Recommander un installateur contenant des microprogrammes non libres"
Option 3 "Permettre de présenter des installateurs non libres à côté de l'installateur libre"
Option 4 "Un installateur avec des microprogrammes non libres ne fait pas partie de Debian"
Option 5 "Modification du contrat social pour avoir des microprogrammes non libres dans l'installateur, un seul installateur"
Option 6 "Modification du contrat social pour avoir des microprogrammes non libres dans l'installateur, conserver deux installateurs"
Option 7 "Aucun des précédents"

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

L'option 2 bat l’option 1 par ( 170 - 158) = 12 voix.
L'option 1 bat l’option 3 par ( 206 - 144) = 62 voix.
L'option 5 bat l’option 1 par ( 229 - 72) = 157 voix.
L'option 6 bat l’option 1 par ( 216 - 129) = 87 voix.
L'option 1 bat l’option 7 par ( 264 - 91) = 173 voix.
L'option 2 bat l’option 3 par ( 235 - 99) = 136 voix.
L'option 5 bat l’option 2 par ( 219 - 121) = 98 voix.
L'option 6 bat l’option 2 par ( 253 - 75) = 178 voix.
L'option 2 bat l’option 7 par ( 291 - 63) = 228 voix.
L'option 5 bat l’option 3 par ( 229 - 127) = 102 voix.
L'option 6 bat l’option 3 par ( 266 - 84) = 182 voix.
L'option 3 bat l’option 7 par ( 306 - 51) = 255 voix.
L'option 5 bat l’option 6 par ( 169 - 163) = 6 voix.
L'option 5 bat l’option 7 par ( 289 - 63) = 226 voix.
L'option 6 bat l’option 7 par ( 311 - 42) = 269 voix.

Contenu de l'ensemble de Schwartz

Option 5 "Modification du contrat social pour avoir des microprogrammes non libres dans l'installateur, un seul installateur"

Gagnant

Option 5 "Modification du contrat social pour avoir des microprogrammes non libres dans l'installateur, un seul installateur"

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