Formatage de nombre avec des zéros non significatifs en PHP

Bonjour à tous ! Je suis débutant en PHP et j'ai rencontré un problème. Je dois afficher les numéros de commande au format "0001", "0012", "0123", etc. C'est-à-dire que le nombre doit toujours occuper 4 caractères, et les chiffres manquants doivent être remplis par des zéros à gauche. J'ai essayé de simplement concaténer des chaînes, comme : ```php $orderNumber = 1; echo "000" . $orderNumber; // affiche "0001" ``` Mais cela ne fonctionne que pour les nombres de 1 à 9. Si le nombre devient 10, on obtient "00010", alors qu'il faudrait "0010". Si c'est 100 — "000100" au lieu de "0100". Bref, c'est complètement faux. Je sais qu'il existe la fonction str_pad() en PHP, mais je ne comprends pas bien comment l'appliquer correctement aux nombres. J'ai essayé comme ça : ```php $num = 7; echo str_pad($num, 4, "0"); ``` Ça semble fonctionner, mais je ne suis pas sûr que ce soit la meilleure méthode. Existe-t-il des fonctions intégrées spécialement pour le formatage des nombres ? Ou des subtilités que j'ignore ? Par exemple, que faire si le nombre a déjà plus de 4 chiffres ? Ou s'il s'agit d'un nombre décimal ? S'il vous plaît, dites-moi comment faire.