* wrap/python/spot.i (tgba._repr_svg_): Call dot to output SVG using the same logic as in Vaucanson 2.