The listing of algorithms available for each programms has been
	changed and now algorithms are grouped (I/O, algorithms on
	letters, on boolean automatons, etc.).

	* doc/manual/vaucanson_toolkit.tex,
	* doc/manual/users_manual.tex: Change the listing of algorithms.
	Fix some typo and minor fixes.
	* doc/manual/images/a1_det.ps: New.
	* doc/manual/images/a1_det.eps,
	* doc/manual/images/a1_det_min.eps,
	* doc/manual/images/a1.eps: Remove.