'; $referant=$_SERVER['HTTP_REFERER']; } echo '
'; ?> '; echo "if (document.getElementById('spinnerMsg')) document.getElementById('spinnerMsg').innerHTML +=' ".$spinnerMsg."';"; echo ""; ob_flush(); flush(); ob_flush(); sleep(1); // ← PAUSE ici (3 secondes) avant la suite du traitement PHP } ?>