Ordinateur portatif (n.)