https://www.informatique-mania.com/pt/systemes-dexploitation/linux/quelles-sont-les-distributions-linux-les-mieux-utilisees-et-les-plus-legeres/