Formatage de nombres

Bonjour,
J'ai cherché sur php.net et j'ai pas vraiment trouvé mon bonheur.Alors avant de réinventer la roue je préfaire poster ici.
J'ai un nombre qui est sur 1, 2, 3 ou 4 chiffres et je voudrais qui soit complété par des 0 pour former un nombre à 4 chiffres.
Est ce qu'il existe une fonction qui fait ça.
Donc si vous avez une info la dessus je suis preneur
merci d'avance ;)

Salut,

ce n'est quand même pas très dur de faire un petit bout de code qui te dis que tant que la taille de ton nombre est inférieur à 4 alors ton nombre = tonombre.(4-la taille de ton nombre X 0)

tant que strlen($i)<4 {
$i=$i."0";
}

Il y a aussi sprintf(), avec l'exemple ci-dessous qui te rajoute des 0 devant:

Code:

---

1 2 3 4 5 6

<?php $nbr = 12; $nbr = sprintf( "%04d", $nbr ); echo $nbr; // affiche 0012 ?>

---

Merci bkill
J'ai posté car je pensais qu'il existait une fonction plus appropié qu'un bout de code (dj-julio) car pour le moment je développe encore car j'aime bien apprendre de nouvelles choses donc si c'est pour utiliser ses aquis et ne pas chercher l'efficacité à quoi ça sert que PHP se décarcasse à évoluer son code ?