Les deux distributeurs de tickets sont hors service, alors la file au guichet s’allonge.