SAT : des victoires contre les problèmes difficiles