Bonjour à tous.

J'utilise PHP pour générer une page Web qui affiche le contenu d'une base de donnée de comptabilité. Il y a des champs destinés à afficher des débits et des crédits, qui sont affichés à l'aide du programme suivant :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
function formatnombre($dd)
{
  if ($dd==0) return "";
  $d=trim(sprintf("%13.2f",$dd));
  return $d;
}
Et cela fait tout à fait ce à quoi je m'attends : par exemple 192.25 ou 260.00.

Dans le programme de génération de la page web, les deux valeurs de mon exemple ci-dessus sont prises directement dans le résultat de la requête sur un champ MySQL déclaré en "decimal(10.2)".

A la ligne d'après, je veux afficher la somme de ces deux valeurs avec la même routine. Et voici le problème : les zéros non significatifs après le point ne sont pas affichés.

Merci de m'aider à résoudre ce problème que je ne comprends pas.

NB voici l'en-tête de la page phpinfo :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
PHP Version 7.2.15-0ubuntu0.18.04.2