* htdocs/inc/Facture.php: allow numeric characters in file names