Differences

This shows you the differences between two versions of the page.

--- commit:2019:06_11 [2019/06/07 18:18] – created papeleux
+++ commit:2019:06_11 [2019/06/07 18:19] (current) – papeleux
@@ Line 22: / Line 22: @@
 quit()
 </code>
-  * la commande "quit()" était de trop (vu qu'il n'y a pas d'interactive Loop , une fois la commande "meta()" executée, on ressort de l'interpréteur (qui  peut donc être détruit proprement)
+  * la commande "quit()" était de trop  : vu qu'il n'y a pas d'interactive Loop , une fois la commande "meta()" executée, on ressort de l'interpréteur (qui  peut donc être détruit proprement)
 ===== Fichiers ajoutés/supprimés : =====