classe php de manipulation dynamique des fichiers html