This patch offers several new algorithms on transducers seen as
	automata over a free monoid product. Some projections are now
	available: 'domain' which creates an automaton which transitions
	are labeled by the first component of each word of the fmp
	transducer, 'image' which does the same with the second component
	and 'identity' which transforms an automaton in a fmp transducer
	by creating, for each word, a pair containing twice this word.
	Furthermore, evaluation is now available and a new function has
	been added to the fmp context headers in order to facilitate the
	call to the evaluation algorithm, just as it is already done for
	transducers.

	* include/vaucanson/algorithms/projections_fmp.hh,
	* include/vaucanson/algorithms/projections_fmp.hxx: New. Add 'domain',
	'image' and 'identity' projections for fmp transducers.
	* include/vaucanson/algorithms/evaluation_fmp.hh,
	* include/vaucanson/algorithms/evaluation_fmp.hxx: New. Add an
	evaluation algorithm for fmp transducers.
	* include/Makefile.am: Update accordingly.

	* src/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh: New.
	Write a test for the evaluation on fmp transducers.
	* src/tests/automata/algos/fmp_transducers/Makefile.am: Update
	accordingly.

	* include/vaucanson/contexts/fmp_transducer_functions.thh,
	* include/vaucanson/contexts/fmp_transducer_functions.thxx: Add the
	'evaluation' function to ease the interface with the user.