Formatter la sortie en ksh

Pour avoir des chiffres sur 3 digits en shell, il suffit de formatter la variable via un typeset : 

let a=1

typeset -RZ3 variable

echo "a=$a"

a=001