rewrite sauv.bases