MAJ doc mots clé répertoire et zip

Methodology.org

@@ -109,12 +109,15 @@ L'exécution locale supporte plusieurs mots clés, qu'il est possible d'ajouter
 après la commande d'exécution :
 - =solution= : copie dans le répertoire d'exécution les fichiers de =cf= et
   =hf=, en écrasant éventuellement les fichiers de =rf= ou =ef= déjà présent ;
-- le nom d'un mode supporté par iVPL (voir documentation d'iVPL), dans ce cas,
+- le nom d'un répertoire : copie les fichiers de ce répertoire dans le
+  répertoire d'exécution (typiquement utile pour tester le code d'un étudiant) ;
+- le nom d'un fichier =.zip= : extrait le contenu de ce fichier dans le
+  répertoire d'exécution (même usage que le nom de répertoire) ;
+- dans tous les autres cas, le mot clé est considéré comme le nom d'un mode
+  supporté par iVPL (voir documentation d'iVPL). Dans ce cas,
   le mode est activé pour l'exécution. C'est le cas typiquement des modes
   =debug= (sorties plus verbeuses pour iVPL) ou =keep_files= (non suppression
-  des fichiers temporaires) ;
-- le nom d'un répertoire : copie les fichiers de ce répertoire dans le
-  répertoire d'exécution.
+  des fichiers temporaires).
 Voici quelques exemples de commandes généralement utiles :
 - information maximale, pour debugger une solution en train d'être écrite :
   #+BEGIN_SRC shell :exports code