Thanks. I tried it, it executed properly, but it’s still not working.
I think I’m about to give up, I’m not using this printer so much and I’ll boot on windows the rare times I need it. I’m not surprised though, Brother printers are always atrociously bad with drivers, even on windows. For comparison, I just installed a Samsung M2026W laser printer without a hitch. 3mn, it works. Brother : 3 hours (at least), doesn’t work. But I learned how to install AUR packages.
Anyways, thanks for your quick support, that’s awesome !