Un Algorithme de Temps Polynomial pour SAT