formater une chaine de caracteres

salut
j'ai un entier compris entre 1 et 900 et je veux le transformer en une chaine de " quatre " caracteres avec des zéros devant.
ex: 1 devient "0001",24 devient "0024", 458 devient "0458" etc...
comment faire, quelle fonction utiliser?
merci à tous

Salut !

Voici un moyen d'arriver a tes fins :

/* la methode convertie int en String $$$$ */

public static String intToString(int val) {
String chaine = (new Integer(val)).toString();
String result = new String();

for(int i=4;i>chaine.length();i--)
result = result.concat("0");

return result = result.concat(chaine);
}

/* exemple d'utilisation */
public static void main(String[] args) {

int i=13;
System.out.println(intToString(i)); /* donne 13 en 0013 */
i=4;
System.out.println(intToString(i)); /* 4 en 0004 */
i=608;
System.out.println(intToString(i)); /* 608 en 0608 */
i=900;
System.out.println(intToString(i)); /* 900 en 0900 */

}

Allez, a pluche ;-)