Bonjour, je sais qu'il y a une fonction php qui le permet mais je l'ai oublié :

J'ai une variable : $var = 3, et je voudrais ajouter deux zéro pour obtenir var=003 mais si j'ai var = 23 je veux que sa donne var= 023.

Plus moyen de retrouver cette fonction.

Merci d'avance.