Delete generateur.html~