AJout Minisat