Distributeur de billets : comment faire s’il vous donne moins que prévu ?