<?php
  if (file_exists("fichier"))
  {
    if(is_dir("fichier"))
    {
       $resultat = rmdir("