Effectivement une page Facebook peut suffire.
-
Existe-t-il des "benchmarks" (classements) tenus à jour, et répertoriant un nombre suffisamment significatif de distributions GNU/Linux, selon leur "poids", vélocité ou types de matériels pouvant les accueillir ? https://www.distrowatch.com propose des informations de ce type, mais pas de récapitulatif des comparaisons en tant que tel.
-
Les benchmark comparent et classent les matériels mais pas les distributions Linux. Ils permettent de dire qu'un matériel est plus ou moins performant qu'un autre. Rien de tel pour les distributions Linux. Ce classement serait très difficile à réaliser. Cependant une recherche sur le net m'a renvoyé cette page https://www.phoronix.com/scan.php?page=article&item=10980xe-intel-linux&num=1 qui compare une dizaine de distributions et établie les classements et résultats à plusieurs tests.
-
J'ai souvenir d'un ODROID C2 plus performant dans la lecture vidéo 4K qu'un i3 6e ou 7e génération.