On prend un numéro au distributeur de tickets ou on attend au guichet ?