Bonjour, je cherche une distribution Linux ultra légère pour Mini-PC, Marque TEC Modèle Tectbook 022293, processeur Arm, 256 Ram, actuellement en Windows CE 6. Merci à vous ! bdais@free.fr