doc/plugins/giac
