Bonjour, en fait, je cherchais une autre info et je suis retombé sur ce vieux poste alors je me suis dis que j'allais me répondre car personne ne l'avait fait a l'époque. Entre temps, il se trouve que le driver du nic de ma carte mere a été ajouté dans les dépôts de pocopico (backport igc : kernel 5 > kernel 4) donc aujourd'hui je n'utilise que celui ci