Part de marché des OS : Android recule