Un timer en bash

Il est parfois utile de connaître la durée d’exécution d’une commande en bash. Voici un timer qui fait le boulot.