* Extensions pour l'interpréteur de GNOME