À quoi sert la métrique ? — Martin Steinrück