flush -- Vide les buffers de sorties
void flush(void);
Vide les buffers de sorties e PHP et tout ce que PHP utilisait (CGI, un serveur web, etc.)
