function zoomer(k)
{  svgdoc = this.map.document.embeds[0].getSVGDocument();
 root = svgdoc.firstChild();
var old_taille=root.currentScale;
new_taille=old_taille*k;
root.currentScale=new_taille;
if(k>1){
old_x=root.currentTranslate.x;
x=old_x-100;root.currentTranslate.x=x;
old_y=root.currentTranslate.y;
y=old_y-30;root.currentTranslate.y=y;}
else{
old_x=root.currentTranslate.x;
x=old_x+100;root.currentTranslate.x=x;
old_y=root.currentTranslate.y;
y=old_y+30;root.currentTranslate.y=y;}
}

function pan(k1,k2)

{svgdoc=this.map.document.embeds[0].getSVGDocument();
root=svgdoc.firstChild();var old_taille=root.currentScale;
if (k1!=0)
{old_x=root.currentTranslate.x;
x=old_x+k1*20;root.currentTranslate.x=x;
}
else
{old_y=root.currentTranslate.y;
y=old_y+k2*20;root.currentTranslate.y=y;
}
}
function reset()
{svgdoc = this.map.document.embeds[0].getSVGDocument();
root=svgdoc.firstChild();
root.currentTranslate.x=0;
root.currentTranslate.y=0;
root.currentScale=1;}