This program is a solution for the solitaire game (french version), with
a trivial backtracking.

Authors: Jean-Christophe Filliātre (www.lri.fr/~filliatr)
	 Xavier Urbain             (www.lri.fr/~urbain)