<map id="G" name="G">
<area shape="rect" id="node3" href="$a00781.html" title="System&#45;wide configuration helpers." alt="" coords="5,83,208,112"/>
<area shape="rect" id="node5" href="$a00667_source.html" title="vaucanson/config/pconf.hh" alt="" coords="11,160,203,189"/>
</map>
