Existe-t-il une fonction SQL toute faite permettant de formater un nombre avec des zéros en tête ?
exemple 2 serait retourné en temps que chaine 002

Merci