"; //echo "strlen(preg_replace(\"[0-9_]\",\"\",$doss_date))=strlen(".preg_replace("/[0-9_]/","",$doss_date).")
"; //echo "\$doss_date=$doss_date
"; if(strlen(preg_replace("/[0-9_.]/","",$doss_date))!=0){ echo "
Erreur! Le paramètre date fourni n'est pas correct.
\n"; echo "Retour à l'index
\n"; echo "