diverses : - suppression de @ dérangeants - modification de la recherche de l'existence d'un fichier patch - réordonnancement des éléments d'affichage