add a second constructor
add aUneSolution() method implementation
add aUneSolutionNonDeterministe() method implementation