Donc au final, FreeBSD apporte quoi de différent pour l'utilisateur habituel, par rapport à Debian GNU/Linux ?