Ordinateurs portables Gateway — pilotes