<area shape="rect" href="$a00514.html" title="System&#45;wide configuration helpers." alt="" coords="5,84,211,111">
<area shape="rect" href="$a00915.html" title="vaucanson/config/pconf.hh" alt="" coords="12,161,204,188">
