CitationMorganLe nom du paquetage debian, c'est w32codecs et c'est un paquetage de Christian Marillat.