Dell 5130
Installation
Windows
Start button -> Devices and printers.
Add a printer, click on The printer that I want isn't listed
Add a printer using a TCP/IP address or hostname
Hostname or IP Address : 193.190.246.64
Click on Windows Update
Go take a coffee or make a chinese green tea.
Select HP and HP LJ300-400 color MFP M375-M475 PCL 6
Linux
Go to System settings/Printers. Click on Add.
Select Appsocket/HP JetDirect and fill the ip address : 193.190.246.64
If your system does not automatically recognize the the printer, you need to select it from a list. The brand is Dell, the model is 5130cdn.
If you cannot find this type of printer, it means you need to download the drivers :
Drivers for Fedora/Redhat like
Once installed, you need to start over the procedure to install the printer.
When you want to print, don't forget to check the paper size. Sometimes, you need to change from US Letter to A4.
Mac
Go to System settings -> Printers and Scanners
Add a printer, click on IP tab, add the IP : 193.190.246.64
Click on Add and check the case Duplex printing unit.