Bonsoir,
 
A l'aide d'une regexp, j'extraie d'un nom de fichier une ref.
cette ref est composée de 5 chiffres, de 0 à 9.
mais lorsque je nomme mes fichiers, pour qu'ils soient toujours placés dans le meme ordre, je mets 0 avant.
Par exemple, pour le 21e fichier, sa ref est de la forme 00021.
 
Or, dans ma base de données, la primary key, pour la ref 00021, est 21.
 
Je cherche donc un moyen de suppimer les 0 en début de chaine.
 
N'etant pas un dieu de php, j'ai épluché la doc mais n'ai pas trouvé de fonctions allant en ce sens.
Je pense que la fonction que je cherche est l'équivalent de trim mais pour des 0...
 
 
--edit: titre

(int)$ref;

merci
 
mais je me suis en fait rendu compte que ce n'etait pas la peine, car mysql ne considere apparament pas les 0 mathématiquement inutiles...
 
ainsi je lui passe 00021 et il me sort la ref 21.
 
donc tout est ok