$fichier=fopen('trace.log','w');
fwrite($fichier,'OK');
fclose($fichier);