Debian : un logiciel de protestation intégré dans la distribution