Formatage des nombres avec des zéros non significatifs en PHP

Bonjour à tous ! Je suis débutant en PHP et j'ai rencontré une tâche apparemment simple, mais je n'arrive pas à trouver la bonne solution. Je dois afficher les ID des commandes dans un format où le nombre occupe toujours, disons, 5 caractères. Si l'ID est 1, il doit s'afficher comme "00001". Si l'ID est 123, alors comme "00123". C'est-à-dire que des zéros sont ajoutés à gauche jusqu'à la longueur souhaitée. J'ai essayé d'utiliser simplement la concaténation de chaînes, par exemple : `$order_id = '00000' . $id;`, mais cela ne fonctionne pas lorsque le nombre a déjà plusieurs chiffres. On obtient "00000123", alors qu'il faudrait "00123". J'ai essayé de chercher dans la documentation, mais il y a beaucoup de fonctions et je suis confus. Voici un exemple de mon code qui ne donne pas le résultat souhaité : ```php ``` Pouvez-vous me dire, s'il vous plaît, comment ajouter correctement des zéros non significatifs à un nombre en PHP ? Et existe-t-il une méthode universelle qui fonctionnera pour des nombres de différentes longueurs ? Merci d'avance pour votre aide !