Réponse acceptée !
Salut,
Tu peux aussi utiliser la fonction number_format.
prototype: string number_formt(int $nombre, int dec, char sep_dec, char sep_mil)
$nombre: nombre à formater,
dec: nombre de chiffres aprés le '.',
sep_dec: caractère de séparation de la partie flottante ('.' par défaut)
sep_mil: caractère de séparation des milliers de la partie entière.
ex:
$nombre = 12345.56;
echo number_format($nombre,3,"."," ");
// retourne 12 345.560