Installer les firmware Realtek sur Debian (Realtek 8125B)

Il y a quelques jours, je me suis fait un tout petit plaisir, et je me suis acheté une carte réseau 2.5GB pour mon serveur maison (celle-ci exactement)

Cette carte utilise le chip Realtek 8125B, certainement le chip le plus courant pour du 2.5G. C'est celui qu'on trouve sur presque toutes les...