Si j'exécute les commandes suivantes dans le terminal start=$(date +%s) # wait a few seconds … end=$(date +%s) time=$(dc <<< "$end $start -p") echo "$time" echo "$(date -jr $time +%H:%M:%S)" Je reçois la sortie bizarre 10 # This is ok, I executed the second line ten seconds after the...