merci pour e le puon de départ echo leading_zero(789, 8, 0); Output
echo
: 00000789
echo leading_zero(789, 7, 0);