Live Linux café du 11.07.19, les OS alternatifs