A PHP-GTK experiment allowing to create Desktop Widgets with PHP